#BEGIN: [Sat Sep 2 11:30:39 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-sano382 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/le450_15c.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/le450_15c_02.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark sano-382 -Xmx54g SimpleSolver /benchmark/2022benchmark/benchmark/color04/le450_15c.col /benchmark/2022benchmark/benchmark/color04/le450_15c_02.dat s 20 25 26 33 40 58 68 86 89 90 99 104 144 169 171 192 199 200 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 335 404 419 432 437 444 449 t 20 25 26 33 40 47 58 68 86 89 90 99 104 144 169 171 192 200 202 207 221 227 251 258 269 278 290 303 304 311 314 324 335 404 419 422 432 437 444 449 a YES a 20 25 26 33 40 58 68 86 89 90 99 104 144 169 171 192 199 200 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 335 404 419 432 437 444 449 a 20 25 26 33 40 47 58 68 86 89 90 99 104 144 169 171 192 199 200 202 207 221 227 245 258 269 278 290 303 304 311 314 324 335 404 419 432 437 444 449 a 20 25 26 33 40 47 58 68 86 89 90 99 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 335 404 419 432 437 444 449 a 20 25 26 33 40 47 58 68 86 89 90 99 104 144 169 171 192 200 202 207 221 227 251 258 269 278 290 303 304 311 314 324 335 404 419 422 432 437 444 449 Command being timed: "java -cp bin -Xmx54g SimpleSolver /benchmark/2022benchmark/benchmark/color04/le450_15c.col /benchmark/2022benchmark/benchmark/color04/le450_15c_02.dat" User time (seconds): 0.34 System time (seconds): 0.02 Percent of CPU this job got: 274% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.13 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): 95908 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 8 Minor (reclaiming a frame) page faults: 20851 Voluntary context switches: 977 Involuntary context switches: 5 Swaps: 0 File system inputs: 0 File system outputs: 72 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 2 11:30:39 2023]