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-4244374-1500682693/watcher-4244374-1500682693 -o /tmp/evaluation-result-4244374-1500682693/solver-4244374-1500682693 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1094285431 HOME/instance-4244374-1500682693.xml
pid=17340
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: 15.82 13.18 8.21 3/240 17344
/proc/meminfo: memFree=31984688/32770624 swapFree=5900/216524
[pid=17344] ppid=17340 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17344/stat : 17344 (xcsp3-exec) S 17340 17344 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3536300 9740288 345 33554432000 4194304 5098028 140725302868848 140725302866952 140652178788988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13246464 140725302875278 140725302875488 140725302875488 140725302878187 0
/proc/17344/statm: 2378 345 289 221 0 87 0
[startup+0.100141 s]
/proc/loadavg: 15.82 13.18 8.21 3/240 17344
/proc/meminfo: memFree=31984688/32770624 swapFree=5900/216524
[pid=17344] ppid=17340 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17344/stat : 17344 (xcsp3-exec) S 17340 17344 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3536300 9740288 345 33554432000 4194304 5098028 140725302868848 140725302866952 140652178788988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13246464 140725302875278 140725302875488 140725302875488 140725302878187 0
/proc/17344/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200268 s]
/proc/loadavg: 15.82 13.18 8.21 3/240 17344
/proc/meminfo: memFree=31984688/32770624 swapFree=5900/216524
[pid=17344] ppid=17340 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17344/stat : 17344 (xcsp3-exec) S 17340 17344 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3536300 9740288 345 33554432000 4194304 5098028 140725302868848 140725302866952 140652178788988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13246464 140725302875278 140725302875488 140725302875488 140725302878187 0
/proc/17344/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300231 s]
/proc/loadavg: 15.82 13.18 8.21 3/240 17344
/proc/meminfo: memFree=31984688/32770624 swapFree=5900/216524
[pid=17344] ppid=17340 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17344/stat : 17344 (xcsp3-exec) S 17340 17344 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3536300 9740288 345 33554432000 4194304 5098028 140725302868848 140725302866952 140652178788988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13246464 140725302875278 140725302875488 140725302875488 140725302878187 0
/proc/17344/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700173 s]
/proc/loadavg: 15.82 13.18 8.21 3/240 17344
/proc/meminfo: memFree=31984688/32770624 swapFree=5900/216524
[pid=17344] ppid=17340 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17344/stat : 17344 (xcsp3-exec) S 17340 17344 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3536300 9740288 345 33554432000 4194304 5098028 140725302868848 140725302866952 140652178788988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13246464 140725302875278 140725302875488 140725302875488 140725302878187 0
/proc/17344/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50121 s]
/proc/loadavg: 15.82 13.18 8.21 9/294 17409
/proc/meminfo: memFree=31690868/32770624 swapFree=5900/216596
[pid=17344] ppid=17340 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17344/stat : 17344 (xcsp3-exec) S 17340 17344 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3536300 9740288 345 33554432000 4194304 5098028 140725302868848 140725302866952 140652178788988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13246464 140725302875278 140725302875488 140725302875488 140725302878187 0
/proc/17344/statm: 2378 345 289 221 0 87 0
[pid=17345] ppid=17344 vsize=13801768 CPUtime=6.47 cores=1,3,5,7,9,11,13,15
/proc/17345/stat : 17345 (java) S 17344 17344 16913 0 -1 1077944320 22874 0 0 0 628 19 0 0 20 0 28 0 3536300 14133010432 53286 33554432000 4194304 4196468 140733720488576 140733720471120 140212261273335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
/proc/17345/statm: 3450442 53286 3243 1 0 3437675 0
[pid=17345/tid=17347] ppid=17344 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17347/stat : 17347 (java) S 17344 17344 16913 0 -1 1077944384 7884 0 0 0 105 3 0 0 20 0 28 0 3536300 14133010432 53286 33554432000 4194304 4196468 140733720488576 140212265514112 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17349] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17349/stat : 17349 (java) S 17344 17344 16913 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 53286 33554432000 4194304 4196468 140733720488576 140212228832272 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17350] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17350/stat : 17350 (java) S 17344 17344 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3536301 14133010432 53352 33554432000 4194304 4196468 140733720488576 140211859426448 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17351] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17351/stat : 17351 (java) S 17344 17344 16913 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 53352 33554432000 4194304 4196468 140733720488576 140211858373392 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17352] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17352/stat : 17352 (java) S 17344 17344 16913 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 53352 33554432000 4194304 4196468 140733720488576 140211857320848 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17353] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17353/stat : 17353 (java) S 17344 17344 16913 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 53352 33554432000 4194304 4196468 140733720488576 140211856267792 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17354] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17354/stat : 17354 (java) S 17344 17344 16913 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 53352 33554432000 4194304 4196468 140733720488576 140211855215248 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17355] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17355/stat : 17355 (java) S 17344 17344 16913 0 -1 1077944384 106 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 53352 33554432000 4194304 4196468 140733720488576 140211854162192 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17356] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17356/stat : 17356 (java) S 17344 17344 16913 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3536301 14133010432 53352 33554432000 4194304 4196468 140733720488576 140211853109648 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17359] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17359/stat : 17359 (java) S 17344 17344 16913 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 28 0 3536304 14133010432 53352 33554432000 4194304 4196468 140733720488576 140210925918960 140212261284482 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17360] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17360/stat : 17360 (java) S 17344 17344 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3536304 14133010432 53352 33554432000 4194304 4196468 140733720488576 140210924865184 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17361] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17361/stat : 17361 (java) S 17344 17344 16913 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3536305 14133010432 53352 33554432000 4194304 4196468 140733720488576 140210923812080 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17365] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17365/stat : 17365 (java) S 17344 17344 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3536308 14133010432 53352 33554432000 4194304 4196468 140733720488576 140210922760656 140212261291931 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17366] ppid=17344 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17366/stat : 17366 (java) R 17344 17344 16913 0 -1 4202560 3710 0 0 0 83 0 0 0 20 0 28 0 3536309 14133010432 53352 33554432000 4194304 4196468 140733720488576 140210921689416 140212245669592 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17367] ppid=17344 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17367/stat : 17367 (java) R 17344 17344 16913 0 -1 4202560 2578 0 0 0 77 1 0 0 20 0 28 0 3536309 14133010432 53352 33554432000 4194304 4196468 140733720488576 140210920641096 140212242794735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17368] ppid=17344 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17368/stat : 17368 (java) R 17344 17344 16913 0 -1 4202560 2981 0 0 0 77 0 0 0 20 0 28 0 3536309 14133010432 53352 33554432000 4194304 4196468 140733720488576 140210919594680 140212238868080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17369] ppid=17344 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17369/stat : 17369 (java) R 17344 17344 16913 0 -1 4202560 3490 0 0 0 76 1 0 0 20 0 28 0 3536309 14133010432 53352 33554432000 4194304 4196468 140733720488576 140210918545560 140212240214811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17370] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17370/stat : 17370 (java) S 17344 17344 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3536309 14133010432 53352 33554432000 4194304 4196468 140733720488576 140210917497824 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17371] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17371/stat : 17371 (java) S 17344 17344 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3536309 14133010432 53352 33554432000 4194304 4196468 140733720488576 140210916445360 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
Current children cumulated CPU time (s) 6.47
Current children cumulated vsize (KiB) 13811280
[startup+3.10148 s]
/proc/loadavg: 15.82 13.18 8.21 23/302 17417
/proc/meminfo: memFree=31571404/32770624 swapFree=5900/216596
[pid=17344] ppid=17340 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17344/stat : 17344 (xcsp3-exec) S 17340 17344 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3536300 9740288 345 33554432000 4194304 5098028 140725302868848 140725302866952 140652178788988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13246464 140725302875278 140725302875488 140725302875488 140725302878187 0
/proc/17344/statm: 2378 345 289 221 0 87 0
[pid=17345] ppid=17344 vsize=13801768 CPUtime=18.82 cores=1,3,5,7,9,11,13,15
/proc/17345/stat : 17345 (java) S 17344 17344 16913 0 -1 1077944320 35425 0 0 0 1861 21 0 0 20 0 28 0 3536300 14133010432 63503 33554432000 4194304 4196468 140733720488576 140733720471120 140212261273335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
/proc/17345/statm: 3450442 63503 3251 1 0 3437675 0
[pid=17345/tid=17347] ppid=17344 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17347/stat : 17347 (java) S 17344 17344 16913 0 -1 1077944384 7884 0 0 0 105 3 0 0 20 0 28 0 3536300 14133010432 63503 33554432000 4194304 4196468 140733720488576 140212265514112 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17349] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17349/stat : 17349 (java) S 17344 17344 16913 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 63503 33554432000 4194304 4196468 140733720488576 140212228832272 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17350] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17350/stat : 17350 (java) S 17344 17344 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3536301 14133010432 63503 33554432000 4194304 4196468 140733720488576 140211859426448 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17351] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17351/stat : 17351 (java) S 17344 17344 16913 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 63503 33554432000 4194304 4196468 140733720488576 140211858373392 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17352] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17352/stat : 17352 (java) S 17344 17344 16913 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 63503 33554432000 4194304 4196468 140733720488576 140211857320848 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17353] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17353/stat : 17353 (java) S 17344 17344 16913 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 63503 33554432000 4194304 4196468 140733720488576 140211856267792 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17354] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17354/stat : 17354 (java) S 17344 17344 16913 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 63503 33554432000 4194304 4196468 140733720488576 140211855215248 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17355] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17355/stat : 17355 (java) S 17344 17344 16913 0 -1 1077944384 106 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 63503 33554432000 4194304 4196468 140733720488576 140211854162192 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17356] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17356/stat : 17356 (java) S 17344 17344 16913 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3536301 14133010432 63503 33554432000 4194304 4196468 140733720488576 140211853109648 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17359] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17359/stat : 17359 (java) S 17344 17344 16913 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 28 0 3536304 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210925918960 140212261284482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17360] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17360/stat : 17360 (java) S 17344 17344 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3536304 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210924865184 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17361] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17361/stat : 17361 (java) S 17344 17344 16913 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3536305 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210923812080 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17365] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17365/stat : 17365 (java) S 17344 17344 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3536308 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210922760656 140212261291931 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17366] ppid=17344 vsize=13801768 CPUtime=1.79 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17366/stat : 17366 (java) R 17344 17344 16913 0 -1 4202560 8444 0 0 0 178 1 0 0 20 0 28 0 3536309 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210921694304 140212245663141 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17367] ppid=17344 vsize=13801768 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17367/stat : 17367 (java) R 17344 17344 16913 0 -1 4202560 5825 0 0 0 170 1 0 0 20 0 28 0 3536309 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210920647056 140212241909039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17368] ppid=17344 vsize=13801768 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17368/stat : 17368 (java) R 17344 17344 16913 0 -1 4202560 6446 0 0 0 177 1 0 0 20 0 28 0 3536309 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210919582600 140212244759277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17369] ppid=17344 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17369/stat : 17369 (java) S 17344 17344 16913 0 -1 1077944384 4142 0 0 0 82 1 0 0 20 0 28 0 3536309 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210918549616 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 5 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17370] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17370/stat : 17370 (java) S 17344 17344 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3536309 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210917497824 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17371] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17371/stat : 17371 (java) S 17344 17344 16913 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 3536309 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210916445360 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17410] ppid=17344 vsize=13801768 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17410/stat : 17410 (java) R 17344 17344 16913 0 -1 4202560 165 0 0 0 141 0 0 0 20 0 28 0 3536411 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210908429752 140211905267816 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17411] ppid=17344 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17411/stat : 17411 (java) R 17344 17344 16913 0 -1 4202560 131 0 0 0 129 0 0 0 20 0 28 0 3536411 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210907378504 140211904827783 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17412] ppid=17344 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17412/stat : 17412 (java) R 17344 17344 16913 0 -1 4202560 55 0 0 0 136 0 0 0 20 0 28 0 3536411 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210906327088 140211905268111 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17413] ppid=17344 vsize=13801768 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17413/stat : 17413 (java) R 17344 17344 16913 0 -1 4202560 219 0 0 0 137 0 0 0 20 0 28 0 3536411 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210905272824 140211905267978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17414] ppid=17344 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17414/stat : 17414 (java) R 17344 17344 16913 0 -1 4202560 57 0 0 0 150 0 0 0 20 0 28 0 3536411 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210904219848 140211905198284 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17415] ppid=17344 vsize=13801768 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17415/stat : 17415 (java) R 17344 17344 16913 0 -1 4202560 44 0 0 0 162 0 0 0 20 0 28 0 3536411 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210903169496 140211904010768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17416] ppid=17344 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17416/stat : 17416 (java) R 17344 17344 16913 0 -1 4202560 130 0 0 0 135 0 0 0 20 0 28 0 3536415 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210902115192 140212246534714 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17417] ppid=17344 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17417/stat : 17417 (java) R 17344 17344 16913 0 -1 4202560 90 0 0 0 144 0 0 0 20 0 28 0 3536415 14133010432 63503 33554432000 4194304 4196468 140733720488576 140210901062728 140211905268091 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
Current children cumulated CPU time (s) 18.82
Current children cumulated vsize (KiB) 13811280
[startup+6.30152 s]
/proc/loadavg: 16.31 13.33 8.28 18/302 17417
/proc/meminfo: memFree=31517208/32770624 swapFree=5900/216608
[pid=17344] ppid=17340 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17344/stat : 17344 (xcsp3-exec) S 17340 17344 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3536300 9740288 345 33554432000 4194304 5098028 140725302868848 140725302866952 140652178788988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13246464 140725302875278 140725302875488 140725302875488 140725302878187 0
/proc/17344/statm: 2378 345 289 221 0 87 0
[pid=17345] ppid=17344 vsize=13801768 CPUtime=44.26 cores=1,3,5,7,9,11,13,15
/proc/17345/stat : 17345 (java) S 17344 17344 16913 0 -1 1077944320 36930 0 0 0 4402 24 0 0 20 0 28 0 3536300 14133010432 64514 33554432000 4194304 4196468 140733720488576 140733720471120 140212261273335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
/proc/17345/statm: 3450442 64514 3262 1 0 3437675 0
[pid=17345/tid=17347] ppid=17344 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17347/stat : 17347 (java) S 17344 17344 16913 0 -1 1077944384 7884 0 0 0 105 3 0 0 20 0 28 0 3536300 14133010432 64514 33554432000 4194304 4196468 140733720488576 140212265514112 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17349] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17349/stat : 17349 (java) S 17344 17344 16913 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 64514 33554432000 4194304 4196468 140733720488576 140212228832272 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17350] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17350/stat : 17350 (java) S 17344 17344 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3536301 14133010432 64514 33554432000 4194304 4196468 140733720488576 140211859426448 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17351] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17351/stat : 17351 (java) S 17344 17344 16913 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 64514 33554432000 4194304 4196468 140733720488576 140211858373392 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17352] ppid=17344 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17352/stat : 17352 (java) S 17344 17344 16913 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 3536301 14133010432 64514 33554432000 4194304 4196468 140733720488576 140211857320848 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
################
# More data... #
################
[pid=17345/tid=17416] ppid=17344 vsize=13801768 CPUtime=278.61 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17416/stat : 17416 (java) R 17344 17344 16913 0 -1 4202560 942 0 0 0 27861 0 0 0 20 0 28 0 3536415 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210902114448 140211908100064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17417] ppid=17344 vsize=13801768 CPUtime=278.73 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17417/stat : 17417 (java) R 17344 17344 16913 0 -1 4202560 1066 0 0 0 27873 0 0 0 20 0 28 0 3536415 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210901061768 140211908100224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
Current children cumulated CPU time (s) 2242.53
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.102 s]
/proc/loadavg: 16.17 15.13 10.44 17/303 17429
/proc/meminfo: memFree=31230088/32770624 swapFree=5900/216956
[pid=17344] ppid=17340 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17344/stat : 17344 (xcsp3-exec) S 17340 17344 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3536300 9740288 345 33554432000 4194304 5098028 140725302868848 140725302866952 140652178788988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13246464 140725302875278 140725302875488 140725302875488 140725302878187 0
/proc/17344/statm: 2378 345 289 221 0 87 0
[pid=17345] ppid=17344 vsize=13801768 CPUtime=2400.28 cores=1,3,5,7,9,11,13,15
/proc/17345/stat : 17345 (java) S 17344 17344 16913 0 -1 1077944320 106196 0 0 0 239927 101 0 0 20 0 28 0 3536300 14133010432 116040 33554432000 4194304 4196468 140733720488576 140733720471120 140212261273335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
/proc/17345/statm: 3450442 116040 3284 1 0 3437675 0
[pid=17345/tid=17347] ppid=17344 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17347/stat : 17347 (java) S 17344 17344 16913 0 -1 1077944384 7884 0 0 0 105 3 0 0 20 0 28 0 3536300 14133010432 116040 33554432000 4194304 4196468 140733720488576 140212265514112 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17349] ppid=17344 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17349/stat : 17349 (java) S 17344 17344 16913 0 -1 1077944384 358 0 0 0 9 7 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140212228832272 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17350] ppid=17344 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17350/stat : 17350 (java) S 17344 17344 16913 0 -1 1077944384 1454 0 0 0 9 6 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211859426448 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17351] ppid=17344 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17351/stat : 17351 (java) S 17344 17344 16913 0 -1 1077944384 966 0 0 0 8 8 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211858373392 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17352] ppid=17344 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17352/stat : 17352 (java) S 17344 17344 16913 0 -1 1077944384 204 0 0 0 8 8 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211857320848 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17353] ppid=17344 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17353/stat : 17353 (java) S 17344 17344 16913 0 -1 1077944384 520 0 0 0 8 7 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211856267792 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17354] ppid=17344 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17354/stat : 17354 (java) S 17344 17344 16913 0 -1 1077944384 265 0 0 0 7 7 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211855215248 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17355] ppid=17344 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17355/stat : 17355 (java) S 17344 17344 16913 0 -1 1077944384 1046 0 0 0 8 7 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211854162192 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17356] ppid=17344 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17356/stat : 17356 (java) S 17344 17344 16913 0 -1 1077944384 396 0 0 0 8 6 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211853109648 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17359] ppid=17344 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17359/stat : 17359 (java) S 17344 17344 16913 0 -1 1077944384 1515 0 0 0 7 10 0 0 20 0 28 0 3536304 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210925918960 140212261284482 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17360] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17360/stat : 17360 (java) S 17344 17344 16913 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3536304 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210924865248 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17361] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17361/stat : 17361 (java) S 17344 17344 16913 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3536305 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210923812080 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17365] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17365/stat : 17365 (java) S 17344 17344 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3536308 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210922760656 140212261291931 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17366] ppid=17344 vsize=13801768 CPUtime=6.11 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17366/stat : 17366 (java) S 17344 17344 16913 0 -1 1077944384 26987 0 0 0 608 3 0 0 20 0 28 0 3536309 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210921707760 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17367] ppid=17344 vsize=13801768 CPUtime=4.63 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17367/stat : 17367 (java) S 17344 17344 16913 0 -1 1077944384 16956 0 0 0 461 2 0 0 20 0 28 0 3536309 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210920655216 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17368] ppid=17344 vsize=13801768 CPUtime=5.33 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17368/stat : 17368 (java) S 17344 17344 16913 0 -1 1077944384 20906 0 0 0 531 2 0 0 20 0 28 0 3536309 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210919602160 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17369] ppid=17344 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17369/stat : 17369 (java) S 17344 17344 16913 0 -1 1077944384 11842 0 0 0 123 2 0 0 20 0 28 0 3536309 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210918549616 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 5 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17370] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17370/stat : 17370 (java) S 17344 17344 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3536309 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210917497824 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17371] ppid=17344 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17371/stat : 17371 (java) S 17344 17344 16913 0 -1 1077944384 1473 0 0 0 7 5 0 0 20 0 28 0 3536309 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210916445360 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17410] ppid=17344 vsize=13801768 CPUtime=296.72 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17410/stat : 17410 (java) R 17344 17344 16913 0 -1 4202560 1376 0 0 0 29672 0 0 0 20 0 28 0 3536411 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210908429016 140211908100224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17411] ppid=17344 vsize=13801768 CPUtime=295.38 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17411/stat : 17411 (java) R 17344 17344 16913 0 -1 4202560 1280 0 0 0 29537 1 0 0 20 0 28 0 3536411 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210907377960 140211908100029 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17412] ppid=17344 vsize=13801768 CPUtime=298.36 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17412/stat : 17412 (java) R 17344 17344 16913 0 -1 4202560 2470 0 0 0 29835 1 0 0 20 0 28 0 3536411 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210906326992 140211908100148 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17413] ppid=17344 vsize=13801768 CPUtime=297.15 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17413/stat : 17413 (java) R 17344 17344 16913 0 -1 4202560 2760 0 0 0 29712 3 0 0 20 0 28 0 3536411 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210905272200 140211908099944 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17414] ppid=17344 vsize=13801768 CPUtime=298.25 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17414/stat : 17414 (java) R 17344 17344 16913 0 -1 4202560 1203 0 0 0 29824 1 0 0 20 0 28 0 3536411 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210904218920 140211908100064 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17415] ppid=17344 vsize=13801768 CPUtime=297.38 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17415/stat : 17415 (java) R 17344 17344 16913 0 -1 4202560 973 0 0 0 29738 0 0 0 20 0 28 0 3536411 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210903166512 140211908100148 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17416] ppid=17344 vsize=13801768 CPUtime=298.38 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17416/stat : 17416 (java) R 17344 17344 16913 0 -1 4202560 943 0 0 0 29838 0 0 0 20 0 28 0 3536415 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210902114448 140211908100021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17417] ppid=17344 vsize=13801768 CPUtime=298.52 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17417/stat : 17417 (java) R 17344 17344 16913 0 -1 4202560 1068 0 0 0 29852 0 0 0 20 0 28 0 3536415 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210901061768 140211908099879 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
Current children cumulated CPU time (s) 2400.28
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17345 sig 9
??? kill 17344 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.102 s]
/proc/loadavg: 16.17 15.13 10.44 17/303 17429
/proc/meminfo: memFree=31230088/32770624 swapFree=5900/216956
[pid=17344] ppid=17340 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17344/stat : 17344 (xcsp3-exec) S 17340 17344 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3536300 9740288 345 33554432000 4194304 5098028 140725302868848 140725302866952 140652178788988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13246464 140725302875278 140725302875488 140725302875488 140725302878187 0
/proc/17344/statm: 2378 345 289 221 0 87 0
[pid=17345] ppid=17344 vsize=13801768 CPUtime=2400.28 cores=1,3,5,7,9,11,13,15
/proc/17345/stat : 17345 (java) S 17344 17344 16913 0 -1 1077944320 106196 0 0 0 239927 101 0 0 20 0 28 0 3536300 14133010432 116040 33554432000 4194304 4196468 140733720488576 140733720471120 140212261273335 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
/proc/17345/statm: 3450442 116040 3284 1 0 3437675 0
[pid=17345/tid=17347] ppid=17344 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17347/stat : 17347 (java) S 17344 17344 16913 0 -1 1077944384 7884 0 0 0 105 3 0 0 20 0 28 0 3536300 14133010432 116040 33554432000 4194304 4196468 140733720488576 140212265514112 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17349] ppid=17344 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17349/stat : 17349 (java) S 17344 17344 16913 0 -1 1077944384 358 0 0 0 9 7 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140212228832272 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17350] ppid=17344 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17350/stat : 17350 (java) S 17344 17344 16913 0 -1 1077944384 1454 0 0 0 9 6 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211859426448 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17351] ppid=17344 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17351/stat : 17351 (java) S 17344 17344 16913 0 -1 1077944384 966 0 0 0 8 8 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211858373392 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17352] ppid=17344 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17352/stat : 17352 (java) S 17344 17344 16913 0 -1 1077944384 204 0 0 0 8 8 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211857320848 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17353] ppid=17344 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17353/stat : 17353 (java) S 17344 17344 16913 0 -1 1077944384 520 0 0 0 8 7 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211856267792 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17354] ppid=17344 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17354/stat : 17354 (java) S 17344 17344 16913 0 -1 1077944384 265 0 0 0 7 7 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211855215248 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17355] ppid=17344 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17355/stat : 17355 (java) S 17344 17344 16913 0 -1 1077944384 1046 0 0 0 8 7 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211854162192 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17356] ppid=17344 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17356/stat : 17356 (java) S 17344 17344 16913 0 -1 1077944384 396 0 0 0 8 6 0 0 20 0 28 0 3536301 14133010432 116040 33554432000 4194304 4196468 140733720488576 140211853109648 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17359] ppid=17344 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17359/stat : 17359 (java) S 17344 17344 16913 0 -1 1077944384 1515 0 0 0 7 10 0 0 20 0 28 0 3536304 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210925918960 140212261284482 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17360] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17360/stat : 17360 (java) S 17344 17344 16913 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3536304 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210924865248 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17361] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17361/stat : 17361 (java) S 17344 17344 16913 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3536305 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210923812080 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17365] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17365/stat : 17365 (java) S 17344 17344 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3536308 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210922760656 140212261291931 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17366] ppid=17344 vsize=13801768 CPUtime=6.11 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17366/stat : 17366 (java) S 17344 17344 16913 0 -1 1077944384 26987 0 0 0 608 3 0 0 20 0 28 0 3536309 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210921707760 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17367] ppid=17344 vsize=13801768 CPUtime=4.63 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17367/stat : 17367 (java) S 17344 17344 16913 0 -1 1077944384 16956 0 0 0 461 2 0 0 20 0 28 0 3536309 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210920655216 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17368] ppid=17344 vsize=13801768 CPUtime=5.33 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17368/stat : 17368 (java) S 17344 17344 16913 0 -1 1077944384 20906 0 0 0 531 2 0 0 20 0 28 0 3536309 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210919602160 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17369] ppid=17344 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17369/stat : 17369 (java) S 17344 17344 16913 0 -1 1077944384 11842 0 0 0 123 2 0 0 20 0 28 0 3536309 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210918549616 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 5 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17370] ppid=17344 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17370/stat : 17370 (java) S 17344 17344 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3536309 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210917497824 140212261283541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17371] ppid=17344 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17371/stat : 17371 (java) S 17344 17344 16913 0 -1 1077944384 1473 0 0 0 7 5 0 0 20 0 28 0 3536309 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210916445360 140212261284482 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17410] ppid=17344 vsize=13801768 CPUtime=296.72 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17410/stat : 17410 (java) R 17344 17344 16913 0 -1 4202560 1376 0 0 0 29672 0 0 0 20 0 28 0 3536411 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210908429016 140211908100224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17411] ppid=17344 vsize=13801768 CPUtime=295.38 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17411/stat : 17411 (java) R 17344 17344 16913 0 -1 4202560 1280 0 0 0 29537 1 0 0 20 0 28 0 3536411 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210907377960 140211908100029 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17412] ppid=17344 vsize=13801768 CPUtime=298.36 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17412/stat : 17412 (java) R 17344 17344 16913 0 -1 4202560 2470 0 0 0 29835 1 0 0 20 0 28 0 3536411 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210906326992 140211908100148 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17413] ppid=17344 vsize=13801768 CPUtime=297.15 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17413/stat : 17413 (java) R 17344 17344 16913 0 -1 4202560 2760 0 0 0 29712 3 0 0 20 0 28 0 3536411 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210905272200 140211908099944 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17414] ppid=17344 vsize=13801768 CPUtime=298.25 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17414/stat : 17414 (java) R 17344 17344 16913 0 -1 4202560 1203 0 0 0 29824 1 0 0 20 0 28 0 3536411 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210904218920 140211908100064 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17415] ppid=17344 vsize=13801768 CPUtime=297.38 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17415/stat : 17415 (java) R 17344 17344 16913 0 -1 4202560 973 0 0 0 29738 0 0 0 20 0 28 0 3536411 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210903166512 140211908100148 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17416] ppid=17344 vsize=13801768 CPUtime=298.38 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17416/stat : 17416 (java) R 17344 17344 16913 0 -1 4202560 943 0 0 0 29838 0 0 0 20 0 28 0 3536415 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210902114448 140211908100021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
[pid=17345/tid=17417] ppid=17344 vsize=13801768 CPUtime=298.52 cores=1,3,5,7,9,11,13,15
/proc/17345/task/17417/stat : 17417 (java) R 17344 17344 16913 0 -1 4202560 1068 0 0 0 29852 0 0 0 20 0 28 0 3536415 14133010432 116040 33554432000 4194304 4196468 140733720488576 140210901061768 140211908099879 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140733720495292 140733720495468 140733720495468 140733720498127 0
Current children cumulated CPU time (s) 2400.28
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17344 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1040
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2081
# CPU time returned by wait4() is 0.003121
# while last known CPU time is 2400.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.112
CPU time (s): 2400.28
CPU user time (s): 2399.27
CPU system time (s): 1.01
CPU usage (%): 794.5
Max. virtual memory (cumulated for all children) (KiB): 13813300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00104
system time used= 0.002081
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.79705 second user time and 4.139 second system time
The end