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-4249020-1500693756/watcher-4249020-1500693756 -o /tmp/evaluation-result-4249020-1500693756/solver-4249020-1500693756 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1349461021 HOME/instance-4249020-1500693756.xml
pid=9785
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.97 14.93 15.01 9/272 9788
/proc/meminfo: memFree=31337640/32770624 swapFree=5808/121408
[pid=9788] ppid=9785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9788/stat : 9788 (xcsp3-exec) S 9785 9788 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4640689 9740288 345 33554432000 4194304 5098028 140729405623072 140729405621176 139843878843004 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20840448 140729405625486 140729405625696 140729405625696 140729405628395 0
/proc/9788/statm: 2378 345 289 221 0 87 0
[startup+0.1001 s]
/proc/loadavg: 14.97 14.93 15.01 9/272 9788
/proc/meminfo: memFree=31337640/32770624 swapFree=5808/121408
[pid=9788] ppid=9785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9788/stat : 9788 (xcsp3-exec) S 9785 9788 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4640689 9740288 345 33554432000 4194304 5098028 140729405623072 140729405621176 139843878843004 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20840448 140729405625486 140729405625696 140729405625696 140729405628395 0
/proc/9788/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200288 s]
/proc/loadavg: 14.97 14.93 15.01 9/272 9788
/proc/meminfo: memFree=31337640/32770624 swapFree=5808/121408
[pid=9788] ppid=9785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9788/stat : 9788 (xcsp3-exec) S 9785 9788 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4640689 9740288 345 33554432000 4194304 5098028 140729405623072 140729405621176 139843878843004 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20840448 140729405625486 140729405625696 140729405625696 140729405628395 0
/proc/9788/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30029 s]
/proc/loadavg: 14.97 14.93 15.01 9/272 9788
/proc/meminfo: memFree=31337640/32770624 swapFree=5808/121408
[pid=9788] ppid=9785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9788/stat : 9788 (xcsp3-exec) S 9785 9788 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4640689 9740288 345 33554432000 4194304 5098028 140729405623072 140729405621176 139843878843004 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20840448 140729405625486 140729405625696 140729405625696 140729405628395 0
/proc/9788/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700206 s]
/proc/loadavg: 14.97 14.93 15.01 9/272 9788
/proc/meminfo: memFree=31337640/32770624 swapFree=5808/121408
[pid=9788] ppid=9785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9788/stat : 9788 (xcsp3-exec) S 9785 9788 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4640689 9740288 345 33554432000 4194304 5098028 140729405623072 140729405621176 139843878843004 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20840448 140729405625486 140729405625696 140729405625696 140729405628395 0
/proc/9788/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50124 s]
/proc/loadavg: 14.97 14.93 15.01 14/293 9809
/proc/meminfo: memFree=31176272/32770624 swapFree=5808/121476
[pid=9788] ppid=9785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9788/stat : 9788 (xcsp3-exec) S 9785 9788 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4640689 9740288 345 33554432000 4194304 5098028 140729405623072 140729405621176 139843878843004 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20840448 140729405625486 140729405625696 140729405625696 140729405628395 0
/proc/9788/statm: 2378 345 289 221 0 87 0
[pid=9789] ppid=9788 vsize=13269256 CPUtime=5.52 cores=1,3,5,7,9,11,13,15
/proc/9789/stat : 9789 (java) S 9788 9788 15196 0 -1 1077944320 23638 0 0 0 537 15 0 0 20 0 20 0 4640690 13587718144 58312 33554432000 4194304 4196468 140725055213296 140725055195840 140464222351095 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
/proc/9789/statm: 3317314 58312 3247 1 0 3304547 0
[pid=9789/tid=9790] ppid=9788 vsize=13269256 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9790/stat : 9790 (java) R 9788 9788 15196 0 -1 4202560 7703 0 0 0 137 4 0 0 20 0 20 0 4640690 13587718144 58312 33554432000 4194304 4196468 140725055213296 140464226589336 140463838300408 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9792] ppid=9788 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9792/stat : 9792 (java) S 9788 9788 15196 0 -1 1077944384 173 0 0 0 2 1 0 0 20 0 20 0 4640691 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463821523472 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9793] ppid=9788 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9793/stat : 9793 (java) S 9788 9788 15196 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 20 0 4640691 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463820470928 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9794] ppid=9788 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9794/stat : 9794 (java) S 9788 9788 15196 0 -1 1077944384 24 0 0 0 2 0 0 0 20 0 20 0 4640691 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463819417872 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9795] ppid=9788 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9795/stat : 9795 (java) S 9788 9788 15196 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 20 0 4640691 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463818365328 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9796] ppid=9788 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9796/stat : 9796 (java) S 9788 9788 15196 0 -1 1077944384 41 0 0 0 3 0 0 0 20 0 20 0 4640691 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463817313296 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9797] ppid=9788 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9797/stat : 9797 (java) S 9788 9788 15196 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 4640691 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463816260752 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9798] ppid=9788 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9798/stat : 9798 (java) S 9788 9788 15196 0 -1 1077944384 36 0 0 0 2 1 0 0 20 0 20 0 4640691 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463815207696 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9799] ppid=9788 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9799/stat : 9799 (java) S 9788 9788 15196 0 -1 1077944384 114 0 0 0 2 1 0 0 20 0 20 0 4640691 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463814155152 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9800] ppid=9788 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9800/stat : 9800 (java) S 9788 9788 15196 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 20 0 4640694 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463549966576 140464222362242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9801] ppid=9788 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9801/stat : 9801 (java) S 9788 9788 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4640694 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463548912864 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9802] ppid=9788 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9802/stat : 9802 (java) S 9788 9788 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4640695 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463547859712 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9803] ppid=9788 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9803/stat : 9803 (java) S 9788 9788 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4640698 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463546808272 140464222369691 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9804] ppid=9788 vsize=13269256 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9804/stat : 9804 (java) R 9788 9788 15196 0 -1 4202560 3246 0 0 0 104 0 0 0 20 0 20 0 4640698 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463545742368 140464207466309 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9805] ppid=9788 vsize=13269256 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9805/stat : 9805 (java) R 9788 9788 15196 0 -1 4202560 4149 0 0 0 104 0 0 0 20 0 20 0 4640698 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463544692000 140464202205278 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9806] ppid=9788 vsize=13269256 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9806/stat : 9806 (java) R 9788 9788 15196 0 -1 4202560 3135 0 0 0 106 0 0 0 20 0 20 0 4640698 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463543631792 140464201596894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9807] ppid=9788 vsize=13269256 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9807/stat : 9807 (java) S 9788 9788 15196 0 -1 1077944384 3304 0 0 0 63 1 0 0 20 0 20 0 4640698 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463542598256 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9808] ppid=9788 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9808/stat : 9808 (java) S 9788 9788 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4640699 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463541545440 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9809] ppid=9788 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9809/stat : 9809 (java) S 9788 9788 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4640699 13587718144 58312 33554432000 4194304 4196468 140725055213296 140463540492976 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 13278768
[startup+3.10132 s]
/proc/loadavg: 14.97 14.93 15.01 16/301 9931
/proc/meminfo: memFree=30946688/32770624 swapFree=5808/121476
[pid=9788] ppid=9785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9788/stat : 9788 (xcsp3-exec) S 9785 9788 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4640689 9740288 345 33554432000 4194304 5098028 140729405623072 140729405621176 139843878843004 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20840448 140729405625486 140729405625696 140729405625696 140729405628395 0
/proc/9788/statm: 2378 345 289 221 0 87 0
[pid=9789] ppid=9788 vsize=13869360 CPUtime=16.5 cores=1,3,5,7,9,11,13,15
/proc/9789/stat : 9789 (java) S 9788 9788 15196 0 -1 1077944320 31540 0 0 0 1595 55 0 0 20 0 28 0 4640690 14202224640 130654 33554432000 4194304 4196468 140725055213296 140725055195840 140464222351095 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
/proc/9789/statm: 3467340 130654 3287 1 0 3454573 0
[pid=9789/tid=9790] ppid=9788 vsize=13869360 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9790/stat : 9790 (java) S 9788 9788 15196 0 -1 1077944384 7991 0 0 0 167 7 0 0 20 0 28 0 4640690 14202224640 130654 33554432000 4194304 4196468 140725055213296 140464226591872 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9792] ppid=9788 vsize=13869360 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9792/stat : 9792 (java) S 9788 9788 15196 0 -1 1077944384 208 0 0 0 6 5 0 0 20 0 28 0 4640691 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463821523472 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9793] ppid=9788 vsize=13869360 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9793/stat : 9793 (java) S 9788 9788 15196 0 -1 1077944384 123 0 0 0 6 4 0 0 20 0 28 0 4640691 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463820470928 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9794] ppid=9788 vsize=13869360 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9794/stat : 9794 (java) S 9788 9788 15196 0 -1 1077944384 71 0 0 0 6 4 0 0 20 0 28 0 4640691 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463819417872 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9795] ppid=9788 vsize=13869360 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9795/stat : 9795 (java) S 9788 9788 15196 0 -1 1077944384 60 0 0 0 5 4 0 0 20 0 28 0 4640691 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463818365328 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9796] ppid=9788 vsize=13869360 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9796/stat : 9796 (java) S 9788 9788 15196 0 -1 1077944384 70 0 0 0 6 4 0 0 20 0 28 0 4640691 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463817313296 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9797] ppid=9788 vsize=13869360 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9797/stat : 9797 (java) S 9788 9788 15196 0 -1 1077944384 107 0 0 0 5 5 0 0 20 0 28 0 4640691 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463816260752 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9798] ppid=9788 vsize=13869360 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9798/stat : 9798 (java) S 9788 9788 15196 0 -1 1077944384 71 0 0 0 6 4 0 0 20 0 28 0 4640691 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463815207696 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9799] ppid=9788 vsize=13869360 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9799/stat : 9799 (java) S 9788 9788 15196 0 -1 1077944384 160 0 0 0 6 4 0 0 20 0 28 0 4640691 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463814155152 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9800] ppid=9788 vsize=13869360 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9800/stat : 9800 (java) S 9788 9788 15196 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 28 0 4640694 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463549966576 140464222362242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9801] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9801/stat : 9801 (java) S 9788 9788 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4640694 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463548912864 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9802] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9802/stat : 9802 (java) S 9788 9788 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4640695 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463547859712 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9803] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9803/stat : 9803 (java) S 9788 9788 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4640698 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463546808272 140464222369691 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9804] ppid=9788 vsize=13869360 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9804/stat : 9804 (java) R 9788 9788 15196 0 -1 4202560 4711 0 0 0 223 0 0 0 20 0 28 0 4640698 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463545742176 140464207466367 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9805] ppid=9788 vsize=13869360 CPUtime=2.12 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9805/stat : 9805 (java) R 9788 9788 15196 0 -1 4202560 4403 0 0 0 212 0 0 0 20 0 28 0 4640698 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463544696816 140464207259976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9806] ppid=9788 vsize=13869360 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9806/stat : 9806 (java) R 9788 9788 15196 0 -1 4202560 3566 0 0 0 208 1 0 0 20 0 28 0 4640698 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463543636824 140464200587781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9807] ppid=9788 vsize=13869360 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9807/stat : 9807 (java) S 9788 9788 15196 0 -1 1077944384 4156 0 0 0 102 1 0 0 20 0 28 0 4640698 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463542598256 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9808] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9808/stat : 9808 (java) S 9788 9788 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4640699 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463541545440 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9809] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9809/stat : 9809 (java) S 9788 9788 15196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4640699 14202224640 130654 33554432000 4194304 4196468 140725055213296 140463540492976 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
Current children cumulated CPU time (s) 16.5
Current children cumulated vsize (KiB) 13878872
[startup+6.30172 s]
/proc/loadavg: 15.29 15.00 15.03 20/301 10014
/proc/meminfo: memFree=30722636/32770624 swapFree=5808/121488
[pid=9788] ppid=9785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9788/stat : 9788 (xcsp3-exec) S 9785 9788 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4640689 9740288 345 33554432000 4194304 5098028 140729405623072 140729405621176 139843878843004 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20840448 140729405625486 140729405625696 140729405625696 140729405628395 0
/proc/9788/statm: 2378 345 289 221 0 87 0
[pid=9789] ppid=9788 vsize=13869360 CPUtime=41.9 cores=1,3,5,7,9,11,13,15
/proc/9789/stat : 9789 (java) S 9788 9788 15196 0 -1 1077944320 34753 0 0 0 4121 69 0 0 20 0 28 0 4640690 14202224640 165301 33554432000 4194304 4196468 140725055213296 140725055195840 140464222351095 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
/proc/9789/statm: 3467340 165301 3290 1 0 3454573 0
[pid=9789/tid=9790] ppid=9788 vsize=13869360 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9790/stat : 9790 (java) S 9788 9788 15196 0 -1 1077944384 7991 0 0 0 167 7 0 0 20 0 28 0 4640690 14202224640 165301 33554432000 4194304 4196468 140725055213296 140464226591872 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9792] ppid=9788 vsize=13869360 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9792/stat : 9792 (java) S 9788 9788 15196 0 -1 1077944384 253 0 0 0 8 6 0 0 20 0 28 0 4640691 14202224640 165301 33554432000 4194304 4196468 140725055213296 140463821523472 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9793] ppid=9788 vsize=13869360 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9793/stat : 9793 (java) S 9788 9788 15196 0 -1 1077944384 143 0 0 0 8 6 0 0 20 0 28 0 4640691 14202224640 165301 33554432000 4194304 4196468 140725055213296 140463820470928 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9794] ppid=9788 vsize=13869360 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9794/stat : 9794 (java) S 9788 9788 15196 0 -1 1077944384 92 0 0 0 8 6 0 0 20 0 28 0 4640691 14202224640 165301 33554432000 4194304 4196468 140725055213296 140463819417872 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9795] ppid=9788 vsize=13869360 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9795/stat : 9795 (java) S 9788 9788 15196 0 -1 1077944384 123 0 0 0 6 6 0 0 20 0 28 0 4640691 14202224640 165301 33554432000 4194304 4196468 140725055213296 140463818365328 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9796] ppid=9788 vsize=13869360 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9796/stat : 9796 (java) S 9788 9788 15196 0 -1 1077944384 85 0 0 0 8 6 0 0 20 0 28 0 4640691 14202224640 165301 33554432000 4194304 4196468 140725055213296 140463817313296 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9797] ppid=9788 vsize=13869360 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9797/stat : 9797 (java) S 9788 9788 15196 0 -1 1077944384 125 0 0 0 7 5 0 0 20 0 28 0 4640691 14202224640 165301 33554432000 4194304 4196468 140725055213296 140463816260752 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9798] ppid=9788 vsize=13869360 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9798/stat : 9798 (java) S 9788 9788 15196 0 -1 1077944384 88 0 0 0 7 5 0 0 20 0 28 0 4640691 14202224640 165301 33554432000 4194304 4196468 140725055213296 140463815207696 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9799] ppid=9788 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9799/stat : 9799 (java) S 9788 9788 15196 0 -1 1077944384 229 0 0 0 8 5 0 0 20 0 28 0 4640691 14202224640 165301 33554432000 4194304 4196468 140725055213296 140463814155152 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9800] ppid=9788 vsize=13869360 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9800/stat : 9800 (java) S 9788 9788 15196 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 28 0 4640694 14202224640 165301 33554432000 4194304 4196468 140725055213296 140463549966576 140464222362242 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9801] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9801/stat : 9801 (java) S 9788 9788 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4640694 14202224640 165301 33554432000 4194304 4196468 140725055213296 140463548912864 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9802] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9802/stat : 9802 (java) S 9788 9788 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4640695 14202224640 165301 33554432000 4194304 4196468 140725055213296 140463547859712 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9803] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9803/stat : 9803 (java) S 9788 9788 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4640698 14202224640 165301 33554432000 4194304 4196468 140725055213296 140463546808272 140464222369691 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
################
# More data... #
################
/proc/9789/task/10013/stat : 10013 (java) R 9788 9788 15196 0 -1 4202560 2198 0 0 0 27891 6 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463527714824 140463843576524 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10014] ppid=9788 vsize=13869360 CPUtime=276.64 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10014/stat : 10014 (java) R 9788 9788 15196 0 -1 4202560 1189 0 0 0 27662 2 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463532978536 140463842803775 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
Current children cumulated CPU time (s) 2239.13
Current children cumulated vsize (KiB) 13878872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.502 s]
/proc/loadavg: 13.54 15.11 15.13 9/265 10181
/proc/meminfo: memFree=28384360/32770624 swapFree=5808/121932
[pid=9788] ppid=9785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9788/stat : 9788 (xcsp3-exec) S 9785 9788 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4640689 9740288 345 33554432000 4194304 5098028 140729405623072 140729405621176 139843878843004 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20840448 140729405625486 140729405625696 140729405625696 140729405628395 0
/proc/9788/statm: 2378 345 289 221 0 87 0
[pid=9789] ppid=9788 vsize=13869360 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/9789/stat : 9789 (java) S 9788 9788 15196 0 -1 1077944320 72601 0 0 0 239777 230 0 0 20 0 28 0 4640690 14202224640 884699 33554432000 4194304 4196468 140725055213296 140725055195840 140464222351095 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
/proc/9789/statm: 3467340 884699 3290 1 0 3454573 0
[pid=9789/tid=9790] ppid=9788 vsize=13869360 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9790/stat : 9790 (java) S 9788 9788 15196 0 -1 1077944384 7991 0 0 0 167 7 0 0 20 0 28 0 4640690 14202224640 884699 33554432000 4194304 4196468 140725055213296 140464226591872 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9792] ppid=9788 vsize=13869360 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9792/stat : 9792 (java) S 9788 9788 15196 0 -1 1077944384 529 0 0 0 19 17 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463821523472 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9793] ppid=9788 vsize=13869360 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9793/stat : 9793 (java) S 9788 9788 15196 0 -1 1077944384 461 0 0 0 19 16 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463820470928 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9794] ppid=9788 vsize=13869360 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9794/stat : 9794 (java) S 9788 9788 15196 0 -1 1077944384 1247 0 0 0 19 18 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463819417872 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9795] ppid=9788 vsize=13869360 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9795/stat : 9795 (java) S 9788 9788 15196 0 -1 1077944384 793 0 0 0 17 16 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463818365328 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9796] ppid=9788 vsize=13869360 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9796/stat : 9796 (java) S 9788 9788 15196 0 -1 1077944384 552 0 0 0 20 16 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463817313296 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9797] ppid=9788 vsize=13869360 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9797/stat : 9797 (java) S 9788 9788 15196 0 -1 1077944384 1834 0 0 0 18 13 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463816260752 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9798] ppid=9788 vsize=13869360 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9798/stat : 9798 (java) S 9788 9788 15196 0 -1 1077944384 833 0 0 0 19 16 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463815207696 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9799] ppid=9788 vsize=13869360 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9799/stat : 9799 (java) S 9788 9788 15196 0 -1 1077944384 720 0 0 0 19 17 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463814155152 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9800] ppid=9788 vsize=13869360 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9800/stat : 9800 (java) S 9788 9788 15196 0 -1 1077944384 3328 0 0 0 4 4 0 0 20 0 28 0 4640694 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463549966576 140464222362242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9801] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9801/stat : 9801 (java) S 9788 9788 15196 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4640694 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463548912864 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9802] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9802/stat : 9802 (java) S 9788 9788 15196 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 4640695 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463547859712 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9803] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9803/stat : 9803 (java) S 9788 9788 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4640698 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463546808272 140464222369691 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9804] ppid=9788 vsize=13869360 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9804/stat : 9804 (java) S 9788 9788 15196 0 -1 1077944384 9766 0 0 0 311 1 0 0 20 0 28 0 4640698 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463545756400 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9805] ppid=9788 vsize=13869360 CPUtime=3.13 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9805/stat : 9805 (java) S 9788 9788 15196 0 -1 1077944384 7814 0 0 0 312 1 0 0 20 0 28 0 4640698 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463544703856 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9806] ppid=9788 vsize=13869360 CPUtime=3.13 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9806/stat : 9806 (java) S 9788 9788 15196 0 -1 1077944384 6502 0 0 0 312 1 0 0 20 0 28 0 4640698 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463543650800 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9807] ppid=9788 vsize=13869360 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9807/stat : 9807 (java) S 9788 9788 15196 0 -1 1077944384 5844 0 0 0 116 2 0 0 20 0 28 0 4640698 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463542598256 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9808] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9808/stat : 9808 (java) S 9788 9788 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4640699 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463541545440 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9809] ppid=9788 vsize=13869360 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9809/stat : 9809 (java) S 9788 9788 15196 0 -1 1077944384 527 0 0 0 8 9 0 0 20 0 28 0 4640699 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463540492976 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10005] ppid=9788 vsize=13869360 CPUtime=299.01 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10005/stat : 10005 (java) R 9788 9788 15196 0 -1 4202560 2158 0 0 0 29894 7 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463530875944 140463843661367 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10008] ppid=9788 vsize=13869360 CPUtime=295.6 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10008/stat : 10008 (java) R 9788 9788 15196 0 -1 4202560 1923 0 0 0 29543 17 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463528771752 140463842803834 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10009] ppid=9788 vsize=13869360 CPUtime=298.03 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10009/stat : 10009 (java) R 9788 9788 15196 0 -1 4202560 2530 0 0 0 29798 5 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463524561704 140463843576320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10010] ppid=9788 vsize=13869360 CPUtime=298.39 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10010/stat : 10010 (java) R 9788 9788 15196 0 -1 4202560 5660 0 0 0 29820 19 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463523508592 140463843576780 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10011] ppid=9788 vsize=13869360 CPUtime=297.65 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10011/stat : 10011 (java) R 9788 9788 15196 0 -1 4202560 2542 0 0 0 29759 6 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463529824808 140463842537621 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10012] ppid=9788 vsize=13869360 CPUtime=297.93 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10012/stat : 10012 (java) R 9788 9788 15196 0 -1 4202560 586 0 0 0 29792 1 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463525614248 140463843657025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10013] ppid=9788 vsize=13869360 CPUtime=299.16 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10013/stat : 10013 (java) R 9788 9788 15196 0 -1 4202560 2345 0 0 0 29910 6 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463527718640 140463843576667 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10014] ppid=9788 vsize=13869360 CPUtime=296.65 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10014/stat : 10014 (java) R 9788 9788 15196 0 -1 4202560 1241 0 0 0 29663 2 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463532982696 140463844433223 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13878872
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 9789 sig 9
??? kill 9788 sig 9
??? kill -9788 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.502 s]
/proc/loadavg: 13.54 15.11 15.13 9/265 10181
/proc/meminfo: memFree=28384360/32770624 swapFree=5808/121932
[pid=9788] ppid=9785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9788/stat : 9788 (xcsp3-exec) S 9785 9788 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4640689 9740288 345 33554432000 4194304 5098028 140729405623072 140729405621176 139843878843004 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20840448 140729405625486 140729405625696 140729405625696 140729405628395 0
/proc/9788/statm: 2378 345 289 221 0 87 0
[pid=9789] ppid=9788 vsize=13869360 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/9789/stat : 9789 (java) S 9788 9788 15196 0 -1 1077944320 72601 0 0 0 239777 230 0 0 20 0 28 0 4640690 14202224640 884699 33554432000 4194304 4196468 140725055213296 140725055195840 140464222351095 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
/proc/9789/statm: 3467340 884699 3290 1 0 3454573 0
[pid=9789/tid=9790] ppid=9788 vsize=13869360 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9790/stat : 9790 (java) S 9788 9788 15196 0 -1 1077944384 7991 0 0 0 167 7 0 0 20 0 28 0 4640690 14202224640 884699 33554432000 4194304 4196468 140725055213296 140464226591872 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9792] ppid=9788 vsize=13869360 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9792/stat : 9792 (java) S 9788 9788 15196 0 -1 1077944384 529 0 0 0 19 17 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463821523472 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9793] ppid=9788 vsize=13869360 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9793/stat : 9793 (java) S 9788 9788 15196 0 -1 1077944384 461 0 0 0 19 16 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463820470928 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9794] ppid=9788 vsize=13869360 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9794/stat : 9794 (java) S 9788 9788 15196 0 -1 1077944384 1247 0 0 0 19 18 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463819417872 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9795] ppid=9788 vsize=13869360 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9795/stat : 9795 (java) S 9788 9788 15196 0 -1 1077944384 793 0 0 0 17 16 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463818365328 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9796] ppid=9788 vsize=13869360 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9796/stat : 9796 (java) S 9788 9788 15196 0 -1 1077944384 552 0 0 0 20 16 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463817313296 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9797] ppid=9788 vsize=13869360 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9797/stat : 9797 (java) S 9788 9788 15196 0 -1 1077944384 1834 0 0 0 18 13 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463816260752 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9798] ppid=9788 vsize=13869360 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9798/stat : 9798 (java) S 9788 9788 15196 0 -1 1077944384 833 0 0 0 19 16 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463815207696 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9799] ppid=9788 vsize=13869360 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9799/stat : 9799 (java) S 9788 9788 15196 0 -1 1077944384 720 0 0 0 19 17 0 0 20 0 28 0 4640691 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463814155152 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9800] ppid=9788 vsize=13869360 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9800/stat : 9800 (java) S 9788 9788 15196 0 -1 1077944384 3328 0 0 0 4 4 0 0 20 0 28 0 4640694 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463549966576 140464222362242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9801] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9801/stat : 9801 (java) S 9788 9788 15196 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4640694 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463548912864 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9802] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9802/stat : 9802 (java) S 9788 9788 15196 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 4640695 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463547859712 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9803] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9803/stat : 9803 (java) S 9788 9788 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4640698 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463546808272 140464222369691 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9804] ppid=9788 vsize=13869360 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9804/stat : 9804 (java) S 9788 9788 15196 0 -1 1077944384 9766 0 0 0 311 1 0 0 20 0 28 0 4640698 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463545756400 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9805] ppid=9788 vsize=13869360 CPUtime=3.13 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9805/stat : 9805 (java) S 9788 9788 15196 0 -1 1077944384 7814 0 0 0 312 1 0 0 20 0 28 0 4640698 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463544703856 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9806] ppid=9788 vsize=13869360 CPUtime=3.13 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9806/stat : 9806 (java) S 9788 9788 15196 0 -1 1077944384 6502 0 0 0 312 1 0 0 20 0 28 0 4640698 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463543650800 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9807] ppid=9788 vsize=13869360 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9807/stat : 9807 (java) S 9788 9788 15196 0 -1 1077944384 5844 0 0 0 116 2 0 0 20 0 28 0 4640698 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463542598256 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9808] ppid=9788 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9808/stat : 9808 (java) S 9788 9788 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4640699 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463541545440 140464222361301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=9809] ppid=9788 vsize=13869360 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/9789/task/9809/stat : 9809 (java) S 9788 9788 15196 0 -1 1077944384 527 0 0 0 8 9 0 0 20 0 28 0 4640699 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463540492976 140464222362242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10005] ppid=9788 vsize=13869360 CPUtime=299.01 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10005/stat : 10005 (java) R 9788 9788 15196 0 -1 4202560 2158 0 0 0 29894 7 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463530875944 140463843661367 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10008] ppid=9788 vsize=13869360 CPUtime=295.6 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10008/stat : 10008 (java) R 9788 9788 15196 0 -1 4202560 1923 0 0 0 29543 17 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463528771752 140463842803834 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10009] ppid=9788 vsize=13869360 CPUtime=298.03 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10009/stat : 10009 (java) R 9788 9788 15196 0 -1 4202560 2530 0 0 0 29798 5 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463524561704 140463843576320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10010] ppid=9788 vsize=13869360 CPUtime=298.39 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10010/stat : 10010 (java) R 9788 9788 15196 0 -1 4202560 5660 0 0 0 29820 19 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463523508592 140463843576780 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10011] ppid=9788 vsize=13869360 CPUtime=297.65 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10011/stat : 10011 (java) R 9788 9788 15196 0 -1 4202560 2542 0 0 0 29759 6 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463529824808 140463842537621 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10012] ppid=9788 vsize=13869360 CPUtime=297.93 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10012/stat : 10012 (java) R 9788 9788 15196 0 -1 4202560 586 0 0 0 29792 1 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463525614248 140463843657025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10013] ppid=9788 vsize=13869360 CPUtime=299.16 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10013/stat : 10013 (java) R 9788 9788 15196 0 -1 4202560 2345 0 0 0 29910 6 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463527718640 140463843576667 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
[pid=9789/tid=10014] ppid=9788 vsize=13869360 CPUtime=296.65 cores=1,3,5,7,9,11,13,15
/proc/9789/task/10014/stat : 10014 (java) R 9788 9788 15196 0 -1 4202560 1241 0 0 0 29663 2 0 0 20 0 28 0 4640928 14202224640 884699 33554432000 4194304 4196468 140725055213296 140463532982696 140463844433223 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140725055218876 140725055219052 140725055219052 140725055221711 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13878872
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9788 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1547
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1547
# CPU time returned by wait4() is 0.003094
# while last known CPU time is 2400.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.532
CPU time (s): 2400.07
CPU user time (s): 2397.77
CPU system time (s): 2.3
CPU usage (%): 793.327
Max. virtual memory (cumulated for all children) (KiB): 13878872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001547
system time used= 0.001547
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.80738 second user time and 5.02666 second system time
The end