runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246912-1500688662/watcher-4246912-1500688662 -o /tmp/evaluation-result-4246912-1500688662/solver-4246912-1500688662 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1809244761 HOME/instance-4246912-1500688662.xml
pid=317
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.13 12.87 13.30 11/270 320
/proc/meminfo: memFree=31538508/32770624 swapFree=5736/259420
[pid=320] ppid=317 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/320/stat : 320 (xcsp3-exec) S 317 320 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4135393 9740288 345 33554432000 4194304 5098028 140724404247568 140724404245672 139918526481020 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40030208 140724404253838 140724404254048 140724404254048 140724404256747 0
/proc/320/statm: 2378 345 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 14.13 12.87 13.30 11/270 320
/proc/meminfo: memFree=31538508/32770624 swapFree=5736/259420
[pid=320] ppid=317 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/320/stat : 320 (xcsp3-exec) S 317 320 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4135393 9740288 345 33554432000 4194304 5098028 140724404247568 140724404245672 139918526481020 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40030208 140724404253838 140724404254048 140724404254048 140724404256747 0
/proc/320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200259 s]
/proc/loadavg: 14.13 12.87 13.30 11/270 320
/proc/meminfo: memFree=31538508/32770624 swapFree=5736/259420
[pid=320] ppid=317 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/320/stat : 320 (xcsp3-exec) S 317 320 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4135393 9740288 345 33554432000 4194304 5098028 140724404247568 140724404245672 139918526481020 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40030208 140724404253838 140724404254048 140724404254048 140724404256747 0
/proc/320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300246 s]
/proc/loadavg: 14.13 12.87 13.30 11/270 320
/proc/meminfo: memFree=31538508/32770624 swapFree=5736/259420
[pid=320] ppid=317 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/320/stat : 320 (xcsp3-exec) S 317 320 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4135393 9740288 345 33554432000 4194304 5098028 140724404247568 140724404245672 139918526481020 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40030208 140724404253838 140724404254048 140724404254048 140724404256747 0
/proc/320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70018 s]
/proc/loadavg: 14.13 12.87 13.30 11/270 320
/proc/meminfo: memFree=31538508/32770624 swapFree=5736/259420
[pid=320] ppid=317 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/320/stat : 320 (xcsp3-exec) S 317 320 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4135393 9740288 345 33554432000 4194304 5098028 140724404247568 140724404245672 139918526481020 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40030208 140724404253838 140724404254048 140724404254048 140724404256747 0
/proc/320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 321 sig 9
??? kill 320 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800263 s]
/proc/loadavg: 14.13 12.87 13.30 11/270 320
/proc/meminfo: memFree=31538508/32770624 swapFree=5736/259420
[pid=320] ppid=317 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/320/stat : 320 (xcsp3-exec) S 317 320 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4135393 9740288 345 33554432000 4194304 5098028 140724404247568 140724404245672 139918526481020 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40030208 140724404253838 140724404254048 140724404254048 140724404256747 0
/proc/320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.22427 s]
/proc/loadavg: 14.13 12.87 13.30 21/291 352
/proc/meminfo: memFree=31335956/32770624 swapFree=5736/259484
[pid=320] ppid=317 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/320/stat : 320 (xcsp3-exec) S 317 320 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4135393 9740288 345 33554432000 4194304 5098028 140724404247568 140724404245672 139918526481020 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40030208 140724404253838 140724404254048 140724404254048 140724404256747 0
/proc/320/statm: 2378 345 289 221 0 87 0
[pid=321] ppid=320 vsize=13801768 CPUtime=3.91 cores=1,3,5,7,9,11,13,15
/proc/321/stat : 321 (java) S 320 320 16473 0 -1 1077944320 18178 0 0 0 357 34 0 0 20 0 28 0 4135393 14133010432 61530 33554432000 4194304 4196468 140724520952368 140724520934912 139993123254007 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
/proc/321/statm: 3450442 61530 3245 1 0 3437675 0
[pid=321/tid=322] ppid=320 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/321/task/322/stat : 322 (java) S 320 320 16473 0 -1 1077944384 7368 0 0 0 104 4 0 0 20 0 28 0 4135394 14133010432 61530 33554432000 4194304 4196468 140724520952368 139993127494784 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=324] ppid=320 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/321/task/324/stat : 324 (java) S 320 320 16473 0 -1 1077944384 83 0 0 0 1 2 0 0 20 0 28 0 4135395 14133010432 61530 33554432000 4194304 4196468 140724520952368 139993055390736 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=325] ppid=320 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/321/task/325/stat : 325 (java) S 320 320 16473 0 -1 1077944384 31 0 0 0 2 3 0 0 20 0 28 0 4135395 14133010432 61530 33554432000 4194304 4196468 140724520952368 139993054338192 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=326] ppid=320 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/321/task/326/stat : 326 (java) S 320 320 16473 0 -1 1077944384 131 0 0 0 2 3 0 0 20 0 28 0 4135395 14133010432 61530 33554432000 4194304 4196468 140724520952368 139993053285136 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=327] ppid=320 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/321/task/327/stat : 327 (java) S 320 320 16473 0 -1 1077944384 48 0 0 0 2 3 0 0 20 0 28 0 4135395 14133010432 61530 33554432000 4194304 4196468 140724520952368 139993052232592 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=328] ppid=320 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/321/task/328/stat : 328 (java) S 320 320 16473 0 -1 1077944384 45 0 0 0 2 4 0 0 20 0 28 0 4135395 14133010432 61530 33554432000 4194304 4196468 140724520952368 139993051179536 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=330] ppid=320 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/321/task/330/stat : 330 (java) S 320 320 16473 0 -1 1077944384 58 0 0 0 2 3 0 0 20 0 28 0 4135395 14133010432 61530 33554432000 4194304 4196468 140724520952368 139992717298320 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=331] ppid=320 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/321/task/331/stat : 331 (java) S 320 320 16473 0 -1 1077944384 68 0 0 0 2 4 0 0 20 0 28 0 4135395 14133010432 61530 33554432000 4194304 4196468 140724520952368 139992716245264 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=332] ppid=320 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/321/task/332/stat : 332 (java) S 320 320 16473 0 -1 1077944384 26 0 0 0 1 2 0 0 20 0 28 0 4135395 14133010432 61530 33554432000 4194304 4196468 140724520952368 139992715192720 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=333] ppid=320 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/321/task/333/stat : 333 (java) S 320 320 16473 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 4135397 14133010432 61530 33554432000 4194304 4196468 140724520952368 139992652651248 139993123265154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=334] ppid=320 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/321/task/334/stat : 334 (java) S 320 320 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4135398 14133010432 61530 33554432000 4194304 4196468 140724520952368 139992651597472 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=335] ppid=320 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/321/task/335/stat : 335 (java) S 320 320 16473 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4135398 14133010432 61530 33554432000 4194304 4196468 140724520952368 139992650544368 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=341] ppid=320 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/321/task/341/stat : 341 (java) S 320 320 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4135402 14133010432 61530 33554432000 4194304 4196468 140724520952368 139992649492944 139993123272603 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=347] ppid=320 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/321/task/347/stat : 347 (java) R 320 320 16473 0 -1 4202560 2336 0 0 0 52 0 0 0 20 0 28 0 4135402 14133010432 61530 33554432000 4194304 4196468 140724520952368 139992648440176 139993109317984 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=348] ppid=320 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/321/task/348/stat : 348 (java) R 320 320 16473 0 -1 4202560 2337 0 0 0 51 0 0 0 20 0 28 0 4135402 14133010432 61530 33554432000 4194304 4196468 140724520952368 139991849619160 139993103889847 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=349] ppid=320 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/321/task/349/stat : 349 (java) R 320 320 16473 0 -1 4202560 1620 0 0 0 56 0 0 0 20 0 28 0 4135402 14133010432 61530 33554432000 4194304 4196468 140724520952368 139991848563888 139993104430149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=350] ppid=320 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/321/task/350/stat : 350 (java) R 320 320 16473 0 -1 1077944384 2324 0 0 0 55 0 0 0 20 0 28 0 4135402 14133010432 61530 33554432000 4194304 4196468 140724520952368 139991847516192 139993123264213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=351] ppid=320 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/321/task/351/stat : 351 (java) S 320 320 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4135402 14133010432 61530 33554432000 4194304 4196468 140724520952368 139991846468576 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=352] ppid=320 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/321/task/352/stat : 352 (java) S 320 320 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4135403 14133010432 61530 33554432000 4194304 4196468 140724520952368 139991845416112 139993123265154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 13811280
[startup+1.30131 s]
/proc/loadavg: 14.13 12.87 13.30 21/291 352
/proc/meminfo: memFree=31335956/32770624 swapFree=5736/259484
[pid=320] ppid=317 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/320/stat : 320 (xcsp3-exec) S 317 320 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4135393 9740288 345 33554432000 4194304 5098028 140724404247568 140724404245672 139918526481020 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40030208 140724404253838 140724404254048 140724404254048 140724404256747 0
/proc/320/statm: 2378 345 289 221 0 87 0
[pid=321] ppid=320 vsize=13801768 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/321/stat : 321 (java) S 320 320 16473 0 -1 1077944320 18898 0 0 0 411 34 0 0 20 0 19 0 4135393 14133010432 61786 33554432000 4194304 4196468 140724520952368 140724520934912 139993123254007 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
/proc/321/statm: 3450442 61786 3248 1 0 3437675 0
[pid=321/tid=322] ppid=320 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/321/task/322/stat : 322 (java) S 320 320 16473 0 -1 1077944384 7376 0 0 0 104 4 0 0 20 0 19 0 4135394 14133010432 61786 33554432000 4194304 4196468 140724520952368 139993127496848 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=324] ppid=320 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/321/task/324/stat : 324 (java) S 320 320 16473 0 -1 1077944384 83 0 0 0 1 2 0 0 20 0 19 0 4135395 14133010432 61786 33554432000 4194304 4196468 140724520952368 139993055390736 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=325] ppid=320 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/321/task/325/stat : 325 (java) S 320 320 16473 0 -1 1077944384 31 0 0 0 2 3 0 0 20 0 19 0 4135395 14133010432 61786 33554432000 4194304 4196468 140724520952368 139993054338192 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=326] ppid=320 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/321/task/326/stat : 326 (java) S 320 320 16473 0 -1 1077944384 131 0 0 0 2 3 0 0 20 0 19 0 4135395 14133010432 61786 33554432000 4194304 4196468 140724520952368 139993053285136 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=327] ppid=320 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/321/task/327/stat : 327 (java) S 320 320 16473 0 -1 1077944384 48 0 0 0 2 3 0 0 20 0 19 0 4135395 14133010432 61786 33554432000 4194304 4196468 140724520952368 139993052232592 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=328] ppid=320 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/321/task/328/stat : 328 (java) S 320 320 16473 0 -1 1077944384 45 0 0 0 2 4 0 0 20 0 19 0 4135395 14133010432 61786 33554432000 4194304 4196468 140724520952368 139993051179536 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=330] ppid=320 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/321/task/330/stat : 330 (java) S 320 320 16473 0 -1 1077944384 58 0 0 0 2 3 0 0 20 0 19 0 4135395 14133010432 61786 33554432000 4194304 4196468 140724520952368 139992717298320 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=331] ppid=320 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/321/task/331/stat : 331 (java) S 320 320 16473 0 -1 1077944384 68 0 0 0 2 4 0 0 20 0 19 0 4135395 14133010432 61786 33554432000 4194304 4196468 140724520952368 139992716245264 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=332] ppid=320 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/321/task/332/stat : 332 (java) S 320 320 16473 0 -1 1077944384 26 0 0 0 1 2 0 0 20 0 19 0 4135395 14133010432 61786 33554432000 4194304 4196468 140724520952368 139992715192720 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=333] ppid=320 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/321/task/333/stat : 333 (java) S 320 320 16473 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 19 0 4135397 14133010432 61786 33554432000 4194304 4196468 140724520952368 139992652651456 139993123265154 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=334] ppid=320 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/321/task/334/stat : 334 (java) S 320 320 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 4135398 14133010432 61786 33554432000 4194304 4196468 140724520952368 139992651597472 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=335] ppid=320 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/321/task/335/stat : 335 (java) S 320 320 16473 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 4135398 14133010432 61786 33554432000 4194304 4196468 140724520952368 139992650544368 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=341] ppid=320 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/321/task/341/stat : 341 (java) S 320 320 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 4135402 14133010432 61786 33554432000 4194304 4196468 140724520952368 139992649491712 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=347] ppid=320 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/321/task/347/stat : 347 (java) S 320 320 16473 0 -1 1077944384 2408 0 0 0 58 0 0 0 20 0 19 0 4135402 14133010432 61786 33554432000 4194304 4196468 140724520952368 139992648420448 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=348] ppid=320 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/321/task/348/stat : 348 (java) S 320 320 16473 0 -1 1077944384 2405 0 0 0 55 0 0 0 20 0 19 0 4135402 14133010432 61786 33554432000 4194304 4196468 140724520952368 139991849610480 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=349] ppid=320 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/321/task/349/stat : 349 (java) S 320 320 16473 0 -1 1077944384 1960 0 0 0 64 0 0 0 20 0 19 0 4135402 14133010432 61786 33554432000 4194304 4196468 140724520952368 139991848557968 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=350] ppid=320 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/321/task/350/stat : 350 (java) S 320 320 16473 0 -1 1077944384 2512 0 0 0 59 0 0 0 20 0 19 0 4135402 14133010432 61786 33554432000 4194304 4196468 140724520952368 139991847515136 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
[pid=321/tid=351] ppid=320 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/321/task/351/stat : 351 (java) S 320 320 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 4135402 14133010432 61786 33554432000 4194304 4196468 140724520952368 139991846468576 139993123264213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14061568 140724520957116 140724520957292 140724520957292 140724520959951 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 1.31236
CPU time (s): 4.47218
CPU user time (s): 4.12207
CPU system time (s): 0.350113
CPU usage (%): 340.774
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.12207
system time used= 0.350113
maximum resident set size= 247948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3217
involuntary context switches= 391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018845 second user time and 0.024175 second system time
The end