#BEGIN: [Mon Sep  4 12:31:20 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#INSTANCE1: /benchmark/random_instance/random_instance037_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance037_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance037_graph001.col /benchmark/random_instance/random_instance037_graph001_01.dat
c /benchmark/random_instance/random_instance037_graph001.col
c /benchmark/random_instance/random_instance037_graph001_01.dat
*** Info : (clingo): INTERRUPTED by signal!
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.002 seconds
s 48 452 415 274 163 41 288 153 29 364 346 151 215 376 326 390 223 95 103 64 358 479 311 284 159 38 73 57 46 293 202 186 353 90 193 157 297 266 438 208 5 465 271 11 426 194 308 340 235 214 54 404 104 260 115 255 187 309 125 387 128 7 470 306 134 16 53 454 441 45 424 247 367 380 444 447 286 245 136 331 56 8 51 407 219 148 443 481 118 428 40 93 429 243 23 69 312 143 290 138 34 261 379 1 12 209 158 296 129 181 399 343 305 412 14 264 43 230 258 52 66 360 71 265 344 140 341 65 88 236 112 174 31 15 124 195 456 282 394 464 19 359 347 156 42 80 216 382 414 336 349 434 391 166 105 228
t 383 131 64 296 7 292 123 426 206 11 12 380 30 422 398 55 158 8 329 189 268 451 200 101 59 33 1 333 448 73 183 457 408 238 79 177 35 77 16 194 402 140 138 369 187 167 6 121 24 34 345 394 281 377 214 473 289 463 125 176 181 288 456 446 195 14 417 230 255 475 174 276 364 287 243 84 359 349 116 147 389 239 391 45 103 38 258 388 57 272 474 347 93 285 311 338 387 216 404 60 100 65 259 440 3 43 157 360 410 453 52 308 163 107 186 305 48 406 136 286 407 328 112 340 264 411 153 304 275 341 339 455 154 461 31 464 104 170 95 299 284 133 219 401 421 263 242 267 317 201 424 175 220 409 148 228
c UNKNOWN
c REACHABILITY UNKNOWN
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance037_graph001.col /benchmark/random_instance/random_instance037_graph001_01.dat"
	User time (seconds): 2332.13
	System time (seconds): 7.86
	Percent of CPU this job got: 288%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 13:32.25
	Average shared text size (kbytes): 0
	Average unshared data size (kbytes): 0
	Average stack size (kbytes): 0
	Average total size (kbytes): 0
	Maximum resident set size (kbytes): 23233300
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 7795392
	Voluntary context switches: 282395
	Involuntary context switches: 5390
	Swaps: 0
	File system inputs: 0
	File system outputs: 120
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 12:44:53 2023]