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-4245736-1500686475/watcher-4245736-1500686475 -o /tmp/evaluation-result-4245736-1500686475/solver-4245736-1500686475 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2100421932 HOME/instance-4245736-1500686475.xml
pid=21417
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.94 15.02 14.54 8/272 21420
/proc/meminfo: memFree=31774848/32770624 swapFree=5884/244484
[pid=21420] ppid=21417 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21420/stat : 21420 (xcsp3-exec) S 21417 21420 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3915319 9740288 346 33554432000 4194304 5098028 140732032820624 140732032818728 139827398054524 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30113792 140732032828558 140732032828768 140732032828768 140732032831467 0
/proc/21420/statm: 2378 346 289 221 0 87 0
[startup+0.100119 s]
/proc/loadavg: 14.94 15.02 14.54 8/272 21420
/proc/meminfo: memFree=31774848/32770624 swapFree=5884/244484
[pid=21420] ppid=21417 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21420/stat : 21420 (xcsp3-exec) S 21417 21420 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3915319 9740288 346 33554432000 4194304 5098028 140732032820624 140732032818728 139827398054524 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30113792 140732032828558 140732032828768 140732032828768 140732032831467 0
/proc/21420/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200298 s]
/proc/loadavg: 14.94 15.02 14.54 8/272 21420
/proc/meminfo: memFree=31774848/32770624 swapFree=5884/244484
[pid=21420] ppid=21417 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21420/stat : 21420 (xcsp3-exec) S 21417 21420 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3915319 9740288 346 33554432000 4194304 5098028 140732032820624 140732032818728 139827398054524 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30113792 140732032828558 140732032828768 140732032828768 140732032831467 0
/proc/21420/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30023 s]
/proc/loadavg: 14.94 15.02 14.54 8/272 21420
/proc/meminfo: memFree=31774848/32770624 swapFree=5884/244484
[pid=21420] ppid=21417 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21420/stat : 21420 (xcsp3-exec) S 21417 21420 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3915319 9740288 346 33554432000 4194304 5098028 140732032820624 140732032818728 139827398054524 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30113792 140732032828558 140732032828768 140732032828768 140732032831467 0
/proc/21420/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700204 s]
/proc/loadavg: 14.94 15.02 14.54 8/272 21420
/proc/meminfo: memFree=31774848/32770624 swapFree=5884/244484
[pid=21420] ppid=21417 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21420/stat : 21420 (xcsp3-exec) S 21417 21420 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3915319 9740288 346 33554432000 4194304 5098028 140732032820624 140732032818728 139827398054524 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30113792 140732032828558 140732032828768 140732032828768 140732032831467 0
/proc/21420/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 14.94 15.02 14.54 9/293 21441
/proc/meminfo: memFree=31690300/32770624 swapFree=5884/244200
[pid=21420] ppid=21417 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21420/stat : 21420 (xcsp3-exec) S 21417 21420 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3915319 9740288 346 33554432000 4194304 5098028 140732032820624 140732032818728 139827398054524 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30113792 140732032828558 140732032828768 140732032828768 140732032831467 0
/proc/21420/statm: 2378 346 289 221 0 87 0
[pid=21421] ppid=21420 vsize=13267208 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/21421/stat : 21421 (java) S 21420 21420 8571 0 -1 1077944320 13864 0 0 0 285 5 0 0 20 0 20 0 3915320 13585620992 24804 33554432000 4194304 4196468 140729457252240 140729457234784 140075753213687 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
/proc/21421/statm: 3316802 24804 3198 1 0 3304035 0
[pid=21421/tid=21422] ppid=21420 vsize=13267208 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21422/stat : 21422 (java) R 21420 21420 8571 0 -1 4202560 6176 0 0 0 145 3 0 0 20 0 20 0 3915320 13585620992 24804 33554432000 4194304 4196468 140729457252240 140075757449784 140075346234797 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21424] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21424/stat : 21424 (java) S 21420 21420 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3915321 13585620992 24804 33554432000 4194304 4196468 140729457252240 140075671693840 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21425] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21425/stat : 21425 (java) S 21420 21420 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3915321 13585620992 24804 33554432000 4194304 4196468 140729457252240 140075670641296 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21426] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21426/stat : 21426 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915321 13585620992 24804 33554432000 4194304 4196468 140729457252240 140075669588240 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21427] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21427/stat : 21427 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915321 13585620992 24804 33554432000 4194304 4196468 140729457252240 140075668535696 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21428] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21428/stat : 21428 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915321 13585620992 24804 33554432000 4194304 4196468 140729457252240 140075667483664 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21429] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21429/stat : 21429 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915321 13585620992 24804 33554432000 4194304 4196468 140729457252240 140075666431120 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21430] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21430/stat : 21430 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915321 13585620992 24804 33554432000 4194304 4196468 140729457252240 140075665378064 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21431] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21431/stat : 21431 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915321 13585620992 24804 33554432000 4194304 4196468 140729457252240 140075664325520 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21432] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21432/stat : 21432 (java) S 21420 21420 8571 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3915323 13585620992 24804 33554432000 4194304 4196468 140729457252240 140074947164400 140075753224834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21433] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21433/stat : 21433 (java) S 21420 21420 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3915324 13585620992 24804 33554432000 4194304 4196468 140729457252240 140074946110624 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21434] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21434/stat : 21434 (java) S 21420 21420 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3915324 13585620992 24804 33554432000 4194304 4196468 140729457252240 140074945057520 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21435] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21435/stat : 21435 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915327 13585620992 24804 33554432000 4194304 4196468 140729457252240 140074944006096 140075753232283 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21436] ppid=21420 vsize=13267208 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21436/stat : 21436 (java) S 21420 21420 8571 0 -1 1077944384 2093 0 0 0 34 0 0 0 20 0 20 0 3915327 13585620992 24804 33554432000 4194304 4196468 140729457252240 140074942954224 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21437] ppid=21420 vsize=13267208 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21437/stat : 21437 (java) S 21420 21420 8571 0 -1 1077944384 1575 0 0 0 33 0 0 0 20 0 20 0 3915327 13585620992 24804 33554432000 4194304 4196468 140729457252240 140074941901680 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21438] ppid=21420 vsize=13267208 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21438/stat : 21438 (java) S 21420 21420 8571 0 -1 1077944384 1077 0 0 0 33 0 0 0 20 0 20 0 3915327 13585620992 24804 33554432000 4194304 4196468 140729457252240 140074940848624 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21439] ppid=21420 vsize=13267208 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21439/stat : 21439 (java) S 21420 21420 8571 0 -1 1077944384 1623 0 0 0 39 0 0 0 20 0 20 0 3915327 13585620992 24804 33554432000 4194304 4196468 140729457252240 140074939796080 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21440] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21440/stat : 21440 (java) S 21420 21420 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3915327 13585620992 24804 33554432000 4194304 4196468 140729457252240 140074938743264 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21441] ppid=21420 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21441/stat : 21441 (java) S 21420 21420 8571 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 3915328 13585620992 24804 33554432000 4194304 4196468 140729457252240 140074937690800 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 13276720
[startup+3.10081 s]
/proc/loadavg: 14.94 15.02 14.54 10/293 21441
/proc/meminfo: memFree=31679744/32770624 swapFree=5884/244200
[pid=21420] ppid=21417 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21420/stat : 21420 (xcsp3-exec) S 21417 21420 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3915319 9740288 346 33554432000 4194304 5098028 140732032820624 140732032818728 139827398054524 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30113792 140732032828558 140732032828768 140732032828768 140732032831467 0
/proc/21420/statm: 2378 346 289 221 0 87 0
[pid=21421] ppid=21420 vsize=13269256 CPUtime=4.84 cores=1,3,5,7,9,11,13,15
/proc/21421/stat : 21421 (java) S 21420 21420 8571 0 -1 1077944320 17408 0 0 0 478 6 0 0 20 0 20 0 3915320 13587718144 38897 33554432000 4194304 4196468 140729457252240 140729457234784 140075753213687 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
/proc/21421/statm: 3317314 38897 3215 1 0 3304547 0
[pid=21421/tid=21422] ppid=21420 vsize=13269256 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21422/stat : 21422 (java) R 21420 21420 8571 0 -1 4202560 7787 0 0 0 303 4 0 0 20 0 20 0 3915320 13587718144 38897 33554432000 4194304 4196468 140729457252240 140075757451688 140075346676374 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21424] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21424/stat : 21424 (java) S 21420 21420 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3915321 13587718144 38897 33554432000 4194304 4196468 140729457252240 140075671693840 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21425] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21425/stat : 21425 (java) S 21420 21420 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3915321 13587718144 38897 33554432000 4194304 4196468 140729457252240 140075670641296 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21426] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21426/stat : 21426 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915321 13587718144 38897 33554432000 4194304 4196468 140729457252240 140075669588240 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21427] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21427/stat : 21427 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915321 13587718144 38897 33554432000 4194304 4196468 140729457252240 140075668535696 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21428] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21428/stat : 21428 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915321 13587718144 38897 33554432000 4194304 4196468 140729457252240 140075667483664 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21429] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21429/stat : 21429 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915321 13587718144 38897 33554432000 4194304 4196468 140729457252240 140075666431120 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21430] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21430/stat : 21430 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915321 13587718144 38897 33554432000 4194304 4196468 140729457252240 140075665378064 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21431] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21431/stat : 21431 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915321 13587718144 38897 33554432000 4194304 4196468 140729457252240 140075664325520 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21432] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21432/stat : 21432 (java) S 21420 21420 8571 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3915323 13587718144 38897 33554432000 4194304 4196468 140729457252240 140074947164400 140075753224834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21433] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21433/stat : 21433 (java) S 21420 21420 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3915324 13587718144 38897 33554432000 4194304 4196468 140729457252240 140074946110624 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21434] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21434/stat : 21434 (java) S 21420 21420 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3915324 13587718144 38897 33554432000 4194304 4196468 140729457252240 140074945057520 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21435] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21435/stat : 21435 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915327 13587718144 38897 33554432000 4194304 4196468 140729457252240 140074944006096 140075753232283 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21436] ppid=21420 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21436/stat : 21436 (java) S 21420 21420 8571 0 -1 1077944384 2523 0 0 0 43 0 0 0 20 0 20 0 3915327 13587718144 38897 33554432000 4194304 4196468 140729457252240 140074942954224 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21437] ppid=21420 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21437/stat : 21437 (java) S 21420 21420 8571 0 -1 1077944384 2133 0 0 0 43 0 0 0 20 0 20 0 3915327 13587718144 38897 33554432000 4194304 4196468 140729457252240 140074941901680 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21438] ppid=21420 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21438/stat : 21438 (java) S 21420 21420 8571 0 -1 1077944384 1645 0 0 0 42 0 0 0 20 0 20 0 3915327 13587718144 38897 33554432000 4194304 4196468 140729457252240 140074940848624 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21439] ppid=21420 vsize=13269256 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21439/stat : 21439 (java) S 21420 21420 8571 0 -1 1077944384 1958 0 0 0 44 1 0 0 20 0 20 0 3915327 13587718144 38897 33554432000 4194304 4196468 140729457252240 140074939796080 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21440] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21440/stat : 21440 (java) S 21420 21420 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3915327 13587718144 38897 33554432000 4194304 4196468 140729457252240 140074938743264 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21441] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21441/stat : 21441 (java) S 21420 21420 8571 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 3915328 13587718144 38897 33554432000 4194304 4196468 140729457252240 140074937690800 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 13278768
[startup+6.30081 s]
/proc/loadavg: 14.39 14.90 14.50 9/293 21441
/proc/meminfo: memFree=31428384/32770624 swapFree=5884/244212
[pid=21420] ppid=21417 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21420/stat : 21420 (xcsp3-exec) S 21417 21420 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3915319 9740288 346 33554432000 4194304 5098028 140732032820624 140732032818728 139827398054524 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30113792 140732032828558 140732032828768 140732032828768 140732032831467 0
/proc/21420/statm: 2378 346 289 221 0 87 0
[pid=21421] ppid=21420 vsize=13269256 CPUtime=9.48 cores=1,3,5,7,9,11,13,15
/proc/21421/stat : 21421 (java) S 21420 21420 8571 0 -1 1077944320 19801 0 0 0 849 99 0 0 20 0 20 0 3915320 13587718144 91460 33554432000 4194304 4196468 140729457252240 140729457234784 140075753213687 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
/proc/21421/statm: 3317314 91460 3244 1 0 3304547 0
[pid=21421/tid=21422] ppid=21420 vsize=13269256 CPUtime=6.07 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21422/stat : 21422 (java) R 21420 21420 8571 0 -1 4202560 7934 0 0 0 603 4 0 0 20 0 20 0 3915320 13587718144 91460 33554432000 4194304 4196468 140729457252240 140075757448440 140075346676416 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21424] ppid=21420 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21424/stat : 21424 (java) S 21420 21420 8571 0 -1 1077944384 150 0 0 0 8 11 0 0 20 0 20 0 3915321 13587718144 91460 33554432000 4194304 4196468 140729457252240 140075671693840 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21425] ppid=21420 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21425/stat : 21425 (java) S 21420 21420 8571 0 -1 1077944384 154 0 0 0 7 11 0 0 20 0 20 0 3915321 13587718144 91460 33554432000 4194304 4196468 140729457252240 140075670641296 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21426] ppid=21420 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21426/stat : 21426 (java) S 21420 21420 8571 0 -1 1077944384 144 0 0 0 8 10 0 0 20 0 20 0 3915321 13587718144 91460 33554432000 4194304 4196468 140729457252240 140075669588240 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21427] ppid=21420 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21427/stat : 21427 (java) S 21420 21420 8571 0 -1 1077944384 147 0 0 0 8 11 0 0 20 0 20 0 3915321 13587718144 91460 33554432000 4194304 4196468 140729457252240 140075668535696 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21428] ppid=21420 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21428/stat : 21428 (java) S 21420 21420 8571 0 -1 1077944384 148 0 0 0 7 11 0 0 20 0 20 0 3915321 13587718144 91460 33554432000 4194304 4196468 140729457252240 140075667483664 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21429] ppid=21420 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21429/stat : 21429 (java) S 21420 21420 8571 0 -1 1077944384 143 0 0 0 7 11 0 0 20 0 20 0 3915321 13587718144 91460 33554432000 4194304 4196468 140729457252240 140075666431120 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21430] ppid=21420 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21430/stat : 21430 (java) S 21420 21420 8571 0 -1 1077944384 234 0 0 0 7 11 0 0 20 0 20 0 3915321 13587718144 91460 33554432000 4194304 4196468 140729457252240 140075665378064 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21431] ppid=21420 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21431/stat : 21431 (java) S 21420 21420 8571 0 -1 1077944384 359 0 0 0 7 11 0 0 20 0 20 0 3915321 13587718144 91460 33554432000 4194304 4196468 140729457252240 140075664325520 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21432] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21432/stat : 21432 (java) S 21420 21420 8571 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 20 0 3915323 13587718144 91460 33554432000 4194304 4196468 140729457252240 140074947164400 140075753224834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21433] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21433/stat : 21433 (java) S 21420 21420 8571 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 3915324 13587718144 91460 33554432000 4194304 4196468 140729457252240 140074946110624 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21434] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21434/stat : 21434 (java) S 21420 21420 8571 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 3915324 13587718144 91460 33554432000 4194304 4196468 140729457252240 140074945057520 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21435] ppid=21420 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21435/stat : 21435 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3915327 13587718144 91460 33554432000 4194304 4196468 140729457252240 140074944006096 140075753232283 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
################
# More data... #
################
[pid=21421/tid=21675] ppid=21420 vsize=13868332 CPUtime=209.79 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21675/stat : 21675 (java) R 21420 21420 8571 0 -1 4202560 8899 0 0 0 20978 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074926518040 140075345399746 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21676] ppid=21420 vsize=13868332 CPUtime=209.48 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21676/stat : 21676 (java) R 21420 21420 8571 0 -1 4202560 10725 0 0 0 20945 3 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074928623480 140075345399746 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
Current children cumulated CPU time (s) 2311.32
Current children cumulated vsize (KiB) 13877844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+413.502 s]
/proc/loadavg: 15.18 13.66 13.80 17/300 22160
/proc/meminfo: memFree=15994548/32770624 swapFree=5884/244748
[pid=21420] ppid=21417 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21420/stat : 21420 (xcsp3-exec) S 21417 21420 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3915319 9740288 346 33554432000 4194304 5098028 140732032820624 140732032818728 139827398054524 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30113792 140732032828558 140732032828768 140732032828768 140732032831467 0
/proc/21420/statm: 2378 346 289 221 0 87 0
[pid=21421] ppid=21420 vsize=13868332 CPUtime=2400.44 cores=1,3,5,7,9,11,13,15
/proc/21421/stat : 21421 (java) S 21420 21420 8571 0 -1 1077944320 358325 0 0 0 236797 3247 0 0 20 0 28 0 3915320 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140729457234784 140075753213687 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
/proc/21421/statm: 3467083 2163443 3313 1 0 3454316 0
[pid=21421/tid=21422] ppid=21420 vsize=13868332 CPUtime=109.63 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21422/stat : 21422 (java) S 21420 21420 8571 0 -1 1077944384 15972 0 0 0 10953 10 0 0 20 0 28 0 3915320 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075757454464 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21424] ppid=21420 vsize=13868332 CPUtime=27.08 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21424/stat : 21424 (java) S 21420 21420 8571 0 -1 1077944384 6119 0 0 0 2308 400 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075671693840 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21425] ppid=21420 vsize=13868332 CPUtime=27.14 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21425/stat : 21425 (java) S 21420 21420 8571 0 -1 1077944384 12834 0 0 0 2311 403 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075670641296 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21426] ppid=21420 vsize=13868332 CPUtime=27.21 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21426/stat : 21426 (java) S 21420 21420 8571 0 -1 1077944384 6503 0 0 0 2323 398 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075669588240 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21427] ppid=21420 vsize=13868332 CPUtime=27.29 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21427/stat : 21427 (java) S 21420 21420 8571 0 -1 1077944384 9964 0 0 0 2324 405 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075668535696 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21428] ppid=21420 vsize=13868332 CPUtime=27.15 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21428/stat : 21428 (java) S 21420 21420 8571 0 -1 1077944384 9948 0 0 0 2317 398 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075667483664 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21429] ppid=21420 vsize=13868332 CPUtime=27.15 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21429/stat : 21429 (java) S 21420 21420 8571 0 -1 1077944384 6517 0 0 0 2341 374 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075666431120 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21430] ppid=21420 vsize=13868332 CPUtime=27.08 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21430/stat : 21430 (java) S 21420 21420 8571 0 -1 1077944384 6620 0 0 0 2327 381 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075665378064 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21431] ppid=21420 vsize=13868332 CPUtime=27.19 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21431/stat : 21431 (java) S 21420 21420 8571 0 -1 1077944384 8929 0 0 0 2319 400 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075664325520 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21432] ppid=21420 vsize=13868332 CPUtime=2.98 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21432/stat : 21432 (java) S 21420 21420 8571 0 -1 1077944384 20074 0 0 0 287 11 0 0 20 0 28 0 3915323 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074947164400 140075753224834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21433] ppid=21420 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21433/stat : 21433 (java) S 21420 21420 8571 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 3915324 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074946110688 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21434] ppid=21420 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21434/stat : 21434 (java) S 21420 21420 8571 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 3915324 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074945057536 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21435] ppid=21420 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21435/stat : 21435 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3915327 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074944006096 140075753232283 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21436] ppid=21420 vsize=13868332 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21436/stat : 21436 (java) S 21420 21420 8571 0 -1 1077944384 27372 0 0 0 602 4 0 0 20 0 28 0 3915327 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074942954224 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21437] ppid=21420 vsize=13868332 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21437/stat : 21437 (java) S 21420 21420 8571 0 -1 1077944384 29509 0 0 0 616 4 0 0 20 0 28 0 3915327 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074941901680 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21438] ppid=21420 vsize=13868332 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21438/stat : 21438 (java) S 21420 21420 8571 0 -1 1077944384 29618 0 0 0 618 4 0 0 20 0 28 0 3915327 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074940848624 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21439] ppid=21420 vsize=13868332 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21439/stat : 21439 (java) S 21420 21420 8571 0 -1 1077944384 19027 0 0 0 131 3 0 0 20 0 28 0 3915327 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074939796080 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21440] ppid=21420 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21440/stat : 21440 (java) S 21420 21420 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3915327 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074938743264 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21441] ppid=21420 vsize=13868332 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21441/stat : 21441 (java) S 21420 21420 8571 0 -1 1077944384 1930 0 0 0 11 12 0 0 20 0 28 0 3915328 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074937690800 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21669] ppid=21420 vsize=13868332 CPUtime=220.9 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21669/stat : 21669 (java) R 21420 21420 8571 0 -1 4202560 9607 0 0 0 22089 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074927569672 140075345399746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21670] ppid=21420 vsize=13868332 CPUtime=220.69 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21670/stat : 21670 (java) R 21420 21420 8571 0 -1 4202560 6655 0 0 0 22068 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074929678648 140075345766218 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21671] ppid=21420 vsize=13868332 CPUtime=221.26 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21671/stat : 21671 (java) R 21420 21420 8571 0 -1 4202560 4320 0 0 0 22125 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074854367768 140075345767969 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21672] ppid=21420 vsize=13868332 CPUtime=217.72 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21672/stat : 21672 (java) R 21420 21420 8571 0 -1 4202560 18888 0 0 0 21767 5 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074925466920 140075345766218 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21673] ppid=21420 vsize=13868332 CPUtime=221.1 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21673/stat : 21673 (java) R 21420 21420 8571 0 -1 4202560 7846 0 0 0 22109 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074855419928 140075345399746 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21674] ppid=21420 vsize=13868332 CPUtime=219.67 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21674/stat : 21674 (java) R 21420 21420 8571 0 -1 4202560 3592 0 0 0 21966 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074853314472 140075345764547 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21675] ppid=21420 vsize=13868332 CPUtime=220.98 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21675/stat : 21675 (java) R 21420 21420 8571 0 -1 4202560 9482 0 0 0 22097 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074926518040 140075345399746 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21676] ppid=21420 vsize=13868332 CPUtime=220.67 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21676/stat : 21676 (java) R 21420 21420 8571 0 -1 4202560 10772 0 0 0 22064 3 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074928623480 140075345399265 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
Current children cumulated CPU time (s) 2400.44
Current children cumulated vsize (KiB) 13877844
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 21421 sig 9
??? kill 21420 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+413.502 s]
/proc/loadavg: 15.18 13.66 13.80 17/300 22160
/proc/meminfo: memFree=15994548/32770624 swapFree=5884/244748
[pid=21420] ppid=21417 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21420/stat : 21420 (xcsp3-exec) S 21417 21420 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3915319 9740288 346 33554432000 4194304 5098028 140732032820624 140732032818728 139827398054524 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30113792 140732032828558 140732032828768 140732032828768 140732032831467 0
/proc/21420/statm: 2378 346 289 221 0 87 0
[pid=21421] ppid=21420 vsize=13868332 CPUtime=2400.44 cores=1,3,5,7,9,11,13,15
/proc/21421/stat : 21421 (java) S 21420 21420 8571 0 -1 1077944320 358325 0 0 0 236797 3247 0 0 20 0 28 0 3915320 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140729457234784 140075753213687 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
/proc/21421/statm: 3467083 2163443 3313 1 0 3454316 0
[pid=21421/tid=21422] ppid=21420 vsize=13868332 CPUtime=109.63 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21422/stat : 21422 (java) S 21420 21420 8571 0 -1 1077944384 15972 0 0 0 10953 10 0 0 20 0 28 0 3915320 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075757454464 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21424] ppid=21420 vsize=13868332 CPUtime=27.08 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21424/stat : 21424 (java) S 21420 21420 8571 0 -1 1077944384 6119 0 0 0 2308 400 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075671693840 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21425] ppid=21420 vsize=13868332 CPUtime=27.14 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21425/stat : 21425 (java) S 21420 21420 8571 0 -1 1077944384 12834 0 0 0 2311 403 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075670641296 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21426] ppid=21420 vsize=13868332 CPUtime=27.21 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21426/stat : 21426 (java) S 21420 21420 8571 0 -1 1077944384 6503 0 0 0 2323 398 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075669588240 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21427] ppid=21420 vsize=13868332 CPUtime=27.29 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21427/stat : 21427 (java) S 21420 21420 8571 0 -1 1077944384 9964 0 0 0 2324 405 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075668535696 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21428] ppid=21420 vsize=13868332 CPUtime=27.15 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21428/stat : 21428 (java) S 21420 21420 8571 0 -1 1077944384 9948 0 0 0 2317 398 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075667483664 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21429] ppid=21420 vsize=13868332 CPUtime=27.15 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21429/stat : 21429 (java) S 21420 21420 8571 0 -1 1077944384 6517 0 0 0 2341 374 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075666431120 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21430] ppid=21420 vsize=13868332 CPUtime=27.08 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21430/stat : 21430 (java) S 21420 21420 8571 0 -1 1077944384 6620 0 0 0 2327 381 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075665378064 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21431] ppid=21420 vsize=13868332 CPUtime=27.19 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21431/stat : 21431 (java) S 21420 21420 8571 0 -1 1077944384 8929 0 0 0 2319 400 0 0 20 0 28 0 3915321 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140075664325520 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21432] ppid=21420 vsize=13868332 CPUtime=2.98 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21432/stat : 21432 (java) S 21420 21420 8571 0 -1 1077944384 20074 0 0 0 287 11 0 0 20 0 28 0 3915323 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074947164400 140075753224834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21433] ppid=21420 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21433/stat : 21433 (java) S 21420 21420 8571 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 3915324 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074946110688 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21434] ppid=21420 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21434/stat : 21434 (java) S 21420 21420 8571 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 3915324 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074945057536 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21435] ppid=21420 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21435/stat : 21435 (java) S 21420 21420 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3915327 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074944006096 140075753232283 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21436] ppid=21420 vsize=13868332 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21436/stat : 21436 (java) S 21420 21420 8571 0 -1 1077944384 27372 0 0 0 602 4 0 0 20 0 28 0 3915327 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074942954224 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21437] ppid=21420 vsize=13868332 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21437/stat : 21437 (java) S 21420 21420 8571 0 -1 1077944384 29509 0 0 0 616 4 0 0 20 0 28 0 3915327 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074941901680 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21438] ppid=21420 vsize=13868332 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21438/stat : 21438 (java) S 21420 21420 8571 0 -1 1077944384 29618 0 0 0 618 4 0 0 20 0 28 0 3915327 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074940848624 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21439] ppid=21420 vsize=13868332 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21439/stat : 21439 (java) S 21420 21420 8571 0 -1 1077944384 19027 0 0 0 131 3 0 0 20 0 28 0 3915327 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074939796080 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21440] ppid=21420 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21440/stat : 21440 (java) S 21420 21420 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3915327 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074938743264 140075753223893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21441] ppid=21420 vsize=13868332 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21441/stat : 21441 (java) S 21420 21420 8571 0 -1 1077944384 1930 0 0 0 11 12 0 0 20 0 28 0 3915328 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074937690800 140075753224834 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21669] ppid=21420 vsize=13868332 CPUtime=220.9 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21669/stat : 21669 (java) R 21420 21420 8571 0 -1 4202560 9607 0 0 0 22089 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074927569672 140075345399746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21670] ppid=21420 vsize=13868332 CPUtime=220.69 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21670/stat : 21670 (java) R 21420 21420 8571 0 -1 4202560 6655 0 0 0 22068 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074929678648 140075345766218 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21671] ppid=21420 vsize=13868332 CPUtime=221.26 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21671/stat : 21671 (java) R 21420 21420 8571 0 -1 4202560 4320 0 0 0 22125 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074854367768 140075345767969 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21672] ppid=21420 vsize=13868332 CPUtime=217.72 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21672/stat : 21672 (java) R 21420 21420 8571 0 -1 4202560 18888 0 0 0 21767 5 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074925466920 140075345766218 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21673] ppid=21420 vsize=13868332 CPUtime=221.1 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21673/stat : 21673 (java) R 21420 21420 8571 0 -1 4202560 7846 0 0 0 22109 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074855419928 140075345399746 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21674] ppid=21420 vsize=13868332 CPUtime=219.67 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21674/stat : 21674 (java) R 21420 21420 8571 0 -1 4202560 3592 0 0 0 21966 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074853314472 140075345764547 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21675] ppid=21420 vsize=13868332 CPUtime=220.98 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21675/stat : 21675 (java) R 21420 21420 8571 0 -1 4202560 9482 0 0 0 22097 1 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074926518040 140075345399746 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
[pid=21421/tid=21676] ppid=21420 vsize=13868332 CPUtime=220.67 cores=1,3,5,7,9,11,13,15
/proc/21421/task/21676/stat : 21676 (java) R 21420 21420 8571 0 -1 4202560 10772 0 0 0 22064 3 0 0 20 0 28 0 3934471 14201171968 2163443 33554432000 4194304 4196468 140729457252240 140074928623480 140075345399265 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7172096 140729457259708 140729457259884 140729457259884 140729457262543 0
Current children cumulated CPU time (s) 2400.44
Current children cumulated vsize (KiB) 13877844
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21420 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1743
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1473
# CPU time returned by wait4() is 0.003216
# while last known CPU time is 2400.44
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 413.513
CPU time (s): 2400.44
CPU user time (s): 2367.97
CPU system time (s): 32.47
CPU usage (%): 580.499
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001743
system time used= 0.001473
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.0685 second user time and 5.52776 second system time
The end