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-4249178-1500693764/watcher-4249178-1500693764 -o /tmp/evaluation-result-4249178-1500693764/solver-4249178-1500693764 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1542386892 HOME/instance-4249178-1500693764.xml
pid=9858
running on 8 cores: 0,2,4,6,8,10,12,14
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.51 14.89 14.57 10/271 9862
/proc/meminfo: memFree=30320520/32770624 swapFree=5892/127852
[pid=9862] ppid=9858 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (xcsp3-exec) S 9858 9862 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4646082 9740288 346 33554432000 4194304 5098028 140735927334944 140735927333048 139976285606524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22552576 140735927342222 140735927342432 140735927342432 140735927345131 0
/proc/9862/statm: 2378 346 289 221 0 87 0
[startup+0.100094 s]
/proc/loadavg: 14.51 14.89 14.57 10/271 9862
/proc/meminfo: memFree=30320520/32770624 swapFree=5892/127852
[pid=9862] ppid=9858 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (xcsp3-exec) S 9858 9862 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4646082 9740288 346 33554432000 4194304 5098028 140735927334944 140735927333048 139976285606524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22552576 140735927342222 140735927342432 140735927342432 140735927345131 0
/proc/9862/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200278 s]
/proc/loadavg: 14.51 14.89 14.57 10/271 9862
/proc/meminfo: memFree=30320520/32770624 swapFree=5892/127852
[pid=9862] ppid=9858 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (xcsp3-exec) S 9858 9862 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4646082 9740288 346 33554432000 4194304 5098028 140735927334944 140735927333048 139976285606524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22552576 140735927342222 140735927342432 140735927342432 140735927345131 0
/proc/9862/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300216 s]
/proc/loadavg: 14.51 14.89 14.57 10/271 9862
/proc/meminfo: memFree=30320520/32770624 swapFree=5892/127852
[pid=9862] ppid=9858 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (xcsp3-exec) S 9858 9862 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4646082 9740288 346 33554432000 4194304 5098028 140735927334944 140735927333048 139976285606524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22552576 140735927342222 140735927342432 140735927342432 140735927345131 0
/proc/9862/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700188 s]
/proc/loadavg: 14.51 14.89 14.57 10/271 9862
/proc/meminfo: memFree=30320520/32770624 swapFree=5892/127852
[pid=9862] ppid=9858 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (xcsp3-exec) S 9858 9862 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4646082 9740288 346 33554432000 4194304 5098028 140735927334944 140735927333048 139976285606524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22552576 140735927342222 140735927342432 140735927342432 140735927345131 0
/proc/9862/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50154 s]
/proc/loadavg: 14.51 14.89 14.57 20/300 9939
/proc/meminfo: memFree=30173744/32770624 swapFree=5892/127908
[pid=9862] ppid=9858 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (xcsp3-exec) S 9858 9862 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4646082 9740288 346 33554432000 4194304 5098028 140735927334944 140735927333048 139976285606524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22552576 140735927342222 140735927342432 140735927342432 140735927345131 0
/proc/9862/statm: 2378 346 289 221 0 87 0
[pid=9863] ppid=9862 vsize=13802796 CPUtime=8.28 cores=0,2,4,6,8,10,12,14
/proc/9863/stat : 9863 (java) S 9862 9862 15667 0 -1 1077944320 18257 0 0 0 816 12 0 0 20 0 28 0 4646083 14134063104 44714 33554432000 4194304 4196468 140724201913328 140724201895872 140292139048695 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
/proc/9863/statm: 3450699 44714 3217 1 0 3437932 0
[pid=9863/tid=9864] ppid=9862 vsize=13802796 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9864/stat : 9864 (java) S 9862 9862 15667 0 -1 1077944384 6820 0 0 0 53 4 0 0 20 0 28 0 4646083 14134063104 44714 33554432000 4194304 4196468 140724201913328 140292143289472 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9866] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9866/stat : 9866 (java) S 9862 9862 15667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 44714 33554432000 4194304 4196468 140724201913328 140292091668752 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9867] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9867/stat : 9867 (java) S 9862 9862 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 44780 33554432000 4194304 4196468 140724201913328 140292090616208 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9868] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9868/stat : 9868 (java) S 9862 9862 15667 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 44780 33554432000 4194304 4196468 140724201913328 140292089563664 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9869] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9869/stat : 9869 (java) S 9862 9862 15667 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 44780 33554432000 4194304 4196468 140724201913328 140292088511120 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9870] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9870/stat : 9870 (java) S 9862 9862 15667 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 44846 33554432000 4194304 4196468 140724201913328 140291733912336 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9871] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9871/stat : 9871 (java) S 9862 9862 15667 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 44846 33554432000 4194304 4196468 140724201913328 140291732859792 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9872] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9872/stat : 9872 (java) S 9862 9862 15667 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 44846 33554432000 4194304 4196468 140724201913328 140291731807248 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9873] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9873/stat : 9873 (java) S 9862 9862 15667 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 44846 33554432000 4194304 4196468 140724201913328 140291730754704 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9874] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9874/stat : 9874 (java) S 9862 9862 15667 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4646086 14134063104 44846 33554432000 4194304 4196468 140724201913328 140291601266672 140292139059842 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9875] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9875/stat : 9875 (java) S 9862 9862 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4646087 14134063104 44912 33554432000 4194304 4196468 140724201913328 140291600212896 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9876] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9876/stat : 9876 (java) S 9862 9862 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4646087 14134063104 44912 33554432000 4194304 4196468 140724201913328 140291599160304 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9877] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9877/stat : 9877 (java) S 9862 9862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646090 14134063104 44912 33554432000 4194304 4196468 140724201913328 140291598108880 140292139067291 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9878] ppid=9862 vsize=13802796 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9878/stat : 9878 (java) R 9862 9862 15667 0 -1 4202560 2525 0 0 0 68 0 0 0 20 0 28 0 4646090 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291597042000 140292123970498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9879] ppid=9862 vsize=13802796 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9879/stat : 9879 (java) R 9862 9862 15667 0 -1 4202560 1982 0 0 0 72 1 0 0 20 0 28 0 4646090 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291595990496 140292118294543 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9880] ppid=9862 vsize=13802796 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9880/stat : 9880 (java) R 9862 9862 15667 0 -1 4202560 1707 0 0 0 70 0 0 0 20 0 28 0 4646090 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291594936368 140292120592418 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9881] ppid=9862 vsize=13802796 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9881/stat : 9881 (java) S 9862 9862 15667 0 -1 1077944384 2722 0 0 0 54 1 0 0 20 0 28 0 4646090 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291593898864 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9882] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9882/stat : 9882 (java) S 9862 9862 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4646091 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291592845536 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9883] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9883/stat : 9883 (java) S 9862 9862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646091 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291591793072 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9932] ppid=9862 vsize=13802796 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9932/stat : 9932 (java) R 9862 9862 15667 0 -1 4202560 22 0 0 0 58 0 0 0 20 0 28 0 4646157 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291575356400 140291772196347 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9933] ppid=9862 vsize=13802796 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9933/stat : 9933 (java) R 9862 9862 15667 0 -1 4202560 34 0 0 0 49 0 0 0 20 0 28 0 4646157 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291583781544 140291772484866 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9934] ppid=9862 vsize=13802796 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9934/stat : 9934 (java) R 9862 9862 15667 0 -1 4202560 35 0 0 0 56 0 0 0 20 0 28 0 4646157 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291576411992 140291768163280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9935] ppid=9862 vsize=13802796 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9935/stat : 9935 (java) R 9862 9862 15667 0 -1 4202560 28 0 0 0 57 0 0 0 20 0 28 0 4646157 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291580620896 140291772485290 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9936] ppid=9862 vsize=13802796 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9936/stat : 9936 (java) R 9862 9862 15667 0 -1 4202560 32 0 0 0 61 0 0 0 20 0 28 0 4646157 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291578518320 140292123537663 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9937] ppid=9862 vsize=13802796 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9937/stat : 9937 (java) R 9862 9862 15667 0 -1 4202560 37 0 0 0 58 0 0 0 20 0 28 0 4646157 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291582728360 140291768173414 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9938] ppid=9862 vsize=13802796 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9938/stat : 9938 (java) R 9862 9862 15667 0 -1 4202560 36 0 0 0 63 0 0 0 20 0 28 0 4646157 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291581673576 140291772454037 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9939] ppid=9862 vsize=13802796 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9939/stat : 9939 (java) R 9862 9862 15667 0 -1 4202560 27 0 0 0 43 0 0 0 20 0 28 0 4646158 14134063104 44978 33554432000 4194304 4196468 140724201913328 140291577463864 140291772483903 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
Current children cumulated CPU time (s) 8.28
Current children cumulated vsize (KiB) 13812308
[startup+3.10121 s]
/proc/loadavg: 14.51 14.89 14.57 20/300 9939
/proc/meminfo: memFree=30199008/32770624 swapFree=5892/127908
[pid=9862] ppid=9858 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (xcsp3-exec) S 9858 9862 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4646082 9740288 346 33554432000 4194304 5098028 140735927334944 140735927333048 139976285606524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22552576 140735927342222 140735927342432 140735927342432 140735927345131 0
/proc/9862/statm: 2378 346 289 221 0 87 0
[pid=9863] ppid=9862 vsize=13802796 CPUtime=20.99 cores=0,2,4,6,8,10,12,14
/proc/9863/stat : 9863 (java) S 9862 9862 15667 0 -1 1077944320 19442 0 0 0 2086 13 0 0 20 0 28 0 4646083 14134063104 47490 33554432000 4194304 4196468 140724201913328 140724201895872 140292139048695 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
/proc/9863/statm: 3450699 47490 3237 1 0 3437932 0
[pid=9863/tid=9864] ppid=9862 vsize=13802796 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9864/stat : 9864 (java) S 9862 9862 15667 0 -1 1077944384 6821 0 0 0 53 4 0 0 20 0 28 0 4646083 14134063104 47490 33554432000 4194304 4196468 140724201913328 140292143289472 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9866] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9866/stat : 9866 (java) S 9862 9862 15667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 47490 33554432000 4194304 4196468 140724201913328 140292091668752 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9867] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9867/stat : 9867 (java) S 9862 9862 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 47490 33554432000 4194304 4196468 140724201913328 140292090616208 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9868] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9868/stat : 9868 (java) S 9862 9862 15667 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 47490 33554432000 4194304 4196468 140724201913328 140292089563664 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9869] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9869/stat : 9869 (java) S 9862 9862 15667 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 47490 33554432000 4194304 4196468 140724201913328 140292088511120 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9870] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9870/stat : 9870 (java) S 9862 9862 15667 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291733912336 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9871] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9871/stat : 9871 (java) S 9862 9862 15667 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291732859792 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9872] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9872/stat : 9872 (java) S 9862 9862 15667 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291731807248 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9873] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9873/stat : 9873 (java) S 9862 9862 15667 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291730754704 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9874] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9874/stat : 9874 (java) S 9862 9862 15667 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4646086 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291601266672 140292139059842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9875] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9875/stat : 9875 (java) S 9862 9862 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4646087 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291600212896 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9876] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9876/stat : 9876 (java) S 9862 9862 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4646087 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291599160304 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9877] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9877/stat : 9877 (java) S 9862 9862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646090 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291598108880 140292139067291 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9878] ppid=9862 vsize=13802796 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9878/stat : 9878 (java) R 9862 9862 15667 0 -1 1077944384 2773 0 0 0 180 0 0 0 20 0 28 0 4646090 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291597043728 140292139058901 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9879] ppid=9862 vsize=13802796 CPUtime=1.75 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9879/stat : 9879 (java) R 9862 9862 15667 0 -1 4202560 2136 0 0 0 174 1 0 0 20 0 28 0 4646090 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291595990456 140292122541268 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9880] ppid=9862 vsize=13802796 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9880/stat : 9880 (java) R 9862 9862 15667 0 -1 4202560 1997 0 0 0 178 0 0 0 20 0 28 0 4646090 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291594939024 140292118709059 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9881] ppid=9862 vsize=13802796 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9881/stat : 9881 (java) S 9862 9862 15667 0 -1 1077944384 2820 0 0 0 63 1 0 0 20 0 28 0 4646090 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291593898864 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9882] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9882/stat : 9882 (java) S 9862 9862 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4646091 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291592845536 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9883] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9883/stat : 9883 (java) S 9862 9862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646091 14134063104 47490 33554432000 4194304 4196468 140724201913328 140291591793072 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
Current children cumulated CPU time (s) 20.99
Current children cumulated vsize (KiB) 13812308
[startup+6.30156 s]
/proc/loadavg: 14.63 14.91 14.58 17/300 9947
/proc/meminfo: memFree=30234276/32770624 swapFree=5892/127904
[pid=9862] ppid=9858 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (xcsp3-exec) S 9858 9862 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4646082 9740288 346 33554432000 4194304 5098028 140735927334944 140735927333048 139976285606524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22552576 140735927342222 140735927342432 140735927342432 140735927345131 0
/proc/9862/statm: 2378 346 289 221 0 87 0
[pid=9863] ppid=9862 vsize=13802796 CPUtime=46.41 cores=0,2,4,6,8,10,12,14
/proc/9863/stat : 9863 (java) S 9862 9862 15667 0 -1 1077944320 24051 0 0 0 4624 17 0 0 20 0 28 0 4646083 14134063104 53439 33554432000 4194304 4196468 140724201913328 140724201895872 140292139048695 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
/proc/9863/statm: 3450699 53439 3263 1 0 3437932 0
[pid=9863/tid=9864] ppid=9862 vsize=13802796 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9864/stat : 9864 (java) S 9862 9862 15667 0 -1 1077944384 6821 0 0 0 53 4 0 0 20 0 28 0 4646083 14134063104 53439 33554432000 4194304 4196468 140724201913328 140292143289472 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9866] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9866/stat : 9866 (java) S 9862 9862 15667 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 53439 33554432000 4194304 4196468 140724201913328 140292091668752 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9867] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9867/stat : 9867 (java) S 9862 9862 15667 0 -1 1077944384 638 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 53439 33554432000 4194304 4196468 140724201913328 140292090616208 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9868] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9868/stat : 9868 (java) S 9862 9862 15667 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 53439 33554432000 4194304 4196468 140724201913328 140292089563664 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9869] ppid=9862 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9869/stat : 9869 (java) S 9862 9862 15667 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 28 0 4646084 14134063104 53439 33554432000 4194304 4196468 140724201913328 140292088511120 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
################
# More data... #
################
[pid=9863/tid=9970] ppid=9862 vsize=14334280 CPUtime=270.39 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9970/stat : 9970 (java) R 9862 9862 15667 0 -1 4202560 4322 0 0 0 27037 2 0 0 20 0 28 0 4646784 14678302720 110911 33554432000 4194304 4196468 140724201913328 140291574308184 140291772484495 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9971] ppid=9862 vsize=14334280 CPUtime=269.69 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9971/stat : 9971 (java) R 9862 9862 15667 0 -1 4202560 1433 0 0 0 26967 2 0 0 20 0 28 0 4646784 14678302720 110911 33554432000 4194304 4196468 140724201913328 140291571146152 140291773627038 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
Current children cumulated CPU time (s) 2225.15
Current children cumulated vsize (KiB) 14343792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+304.502 s]
/proc/loadavg: 15.94 15.02 14.64 17/299 10308
/proc/meminfo: memFree=27225576/32770624 swapFree=5892/128340
[pid=9862] ppid=9858 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (xcsp3-exec) S 9858 9862 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4646082 9740288 346 33554432000 4194304 5098028 140735927334944 140735927333048 139976285606524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22552576 140735927342222 140735927342432 140735927342432 140735927345131 0
/proc/9862/statm: 2378 346 289 221 0 87 0
[pid=9863] ppid=9862 vsize=14334280 CPUtime=2400.51 cores=0,2,4,6,8,10,12,14
/proc/9863/stat : 9863 (java) S 9862 9862 15667 0 -1 1077944320 84434 0 0 0 239802 249 0 0 20 0 28 0 4646083 14678302720 132518 33554432000 4194304 4196468 140724201913328 140724201895872 140292139048695 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
/proc/9863/statm: 3583570 132518 3286 1 0 3570803 0
[pid=9863/tid=9864] ppid=9862 vsize=14334280 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9864/stat : 9864 (java) S 9862 9862 15667 0 -1 1077944384 6936 0 0 0 53 4 0 0 20 0 28 0 4646083 14678302720 132518 33554432000 4194304 4196468 140724201913328 140292143289472 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9866] ppid=9862 vsize=14334280 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9866/stat : 9866 (java) S 9862 9862 15667 0 -1 1077944384 2010 0 0 0 116 13 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140292091668752 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9867] ppid=9862 vsize=14334280 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9867/stat : 9867 (java) S 9862 9862 15667 0 -1 1077944384 1638 0 0 0 118 11 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140292090616208 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9868] ppid=9862 vsize=14334280 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9868/stat : 9868 (java) S 9862 9862 15667 0 -1 1077944384 1895 0 0 0 113 13 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140292089563664 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9869] ppid=9862 vsize=14334280 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9869/stat : 9869 (java) S 9862 9862 15667 0 -1 1077944384 1390 0 0 0 115 13 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140292088511120 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9870] ppid=9862 vsize=14334280 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9870/stat : 9870 (java) S 9862 9862 15667 0 -1 1077944384 2170 0 0 0 115 13 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291733912336 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9871] ppid=9862 vsize=14334280 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9871/stat : 9871 (java) S 9862 9862 15667 0 -1 1077944384 1223 0 0 0 112 13 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291732859792 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9872] ppid=9862 vsize=14334280 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9872/stat : 9872 (java) S 9862 9862 15667 0 -1 1077944384 1183 0 0 0 113 13 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291731807248 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9873] ppid=9862 vsize=14334280 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9873/stat : 9873 (java) S 9862 9862 15667 0 -1 1077944384 1305 0 0 0 117 12 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291730754704 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9874] ppid=9862 vsize=14334280 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9874/stat : 9874 (java) S 9862 9862 15667 0 -1 1077944384 6603 0 0 0 88 99 0 0 20 0 28 0 4646086 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291601266672 140292139059842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9875] ppid=9862 vsize=14334280 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9875/stat : 9875 (java) S 9862 9862 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4646087 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291600212960 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9876] ppid=9862 vsize=14334280 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9876/stat : 9876 (java) S 9862 9862 15667 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4646087 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291599160320 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9877] ppid=9862 vsize=14334280 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9877/stat : 9877 (java) S 9862 9862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646090 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291598108880 140292139067291 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9878] ppid=9862 vsize=14334280 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9878/stat : 9878 (java) S 9862 9862 15667 0 -1 1077944384 9412 0 0 0 240 1 0 0 20 0 28 0 4646090 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291597056496 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9879] ppid=9862 vsize=14334280 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9879/stat : 9879 (java) S 9862 9862 15667 0 -1 1077944384 8356 0 0 0 222 2 0 0 20 0 28 0 4646090 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291596003952 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9880] ppid=9862 vsize=14334280 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9880/stat : 9880 (java) S 9862 9862 15667 0 -1 1077944384 9840 0 0 0 246 2 0 0 20 0 28 0 4646090 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291594951408 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9881] ppid=9862 vsize=14334280 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9881/stat : 9881 (java) S 9862 9862 15667 0 -1 1077944384 5805 0 0 0 70 1 0 0 20 0 28 0 4646090 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291593898864 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 6 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9882] ppid=9862 vsize=14334280 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9882/stat : 9882 (java) S 9862 9862 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4646091 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291592845536 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9883] ppid=9862 vsize=14334280 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9883/stat : 9883 (java) S 9862 9862 15667 0 -1 1077944384 1408 0 0 0 5 5 0 0 20 0 28 0 4646091 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291591793072 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 10 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9964] ppid=9862 vsize=14334280 CPUtime=292.09 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9964/stat : 9964 (java) R 9862 9862 15667 0 -1 4202560 2925 0 0 0 29207 2 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291570093400 140291775405943 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9965] ppid=9862 vsize=14334280 CPUtime=291.97 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9965/stat : 9965 (java) R 9862 9862 15667 0 -1 4202560 1182 0 0 0 29194 3 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291572199432 140291773853377 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9966] ppid=9862 vsize=14334280 CPUtime=292 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9966/stat : 9966 (java) R 9862 9862 15667 0 -1 4202560 2088 0 0 0 29198 2 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291582726280 140291772484234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9967] ppid=9862 vsize=14334280 CPUtime=291.76 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9967/stat : 9967 (java) R 9862 9862 15667 0 -1 4202560 2790 0 0 0 29173 3 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291576410376 140291774357796 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9968] ppid=9862 vsize=14334280 CPUtime=291.92 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9968/stat : 9968 (java) R 9862 9862 15667 0 -1 4202560 3086 0 0 0 29189 3 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291578515848 140291772484422 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9969] ppid=9862 vsize=14334280 CPUtime=291.79 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9969/stat : 9969 (java) R 9862 9862 15667 0 -1 4202560 518 0 0 0 29178 1 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291577463688 140291772483983 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9970] ppid=9862 vsize=14334280 CPUtime=292.11 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9970/stat : 9970 (java) R 9862 9862 15667 0 -1 4202560 4580 0 0 0 29208 3 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291574303776 140291772322544 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9971] ppid=9862 vsize=14334280 CPUtime=291.4 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9971/stat : 9971 (java) R 9862 9862 15667 0 -1 4202560 1474 0 0 0 29138 2 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291571149344 140291773627682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
Current children cumulated CPU time (s) 2400.51
Current children cumulated vsize (KiB) 14343792
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 9863 sig 9
??? kill 9862 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+304.502 s]
/proc/loadavg: 15.94 15.02 14.64 17/299 10308
/proc/meminfo: memFree=27225576/32770624 swapFree=5892/128340
[pid=9862] ppid=9858 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (xcsp3-exec) S 9858 9862 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4646082 9740288 346 33554432000 4194304 5098028 140735927334944 140735927333048 139976285606524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22552576 140735927342222 140735927342432 140735927342432 140735927345131 0
/proc/9862/statm: 2378 346 289 221 0 87 0
[pid=9863] ppid=9862 vsize=14334280 CPUtime=2400.51 cores=0,2,4,6,8,10,12,14
/proc/9863/stat : 9863 (java) S 9862 9862 15667 0 -1 1077944320 84434 0 0 0 239802 249 0 0 20 0 28 0 4646083 14678302720 132518 33554432000 4194304 4196468 140724201913328 140724201895872 140292139048695 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
/proc/9863/statm: 3583570 132518 3286 1 0 3570803 0
[pid=9863/tid=9864] ppid=9862 vsize=14334280 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9864/stat : 9864 (java) S 9862 9862 15667 0 -1 1077944384 6936 0 0 0 53 4 0 0 20 0 28 0 4646083 14678302720 132518 33554432000 4194304 4196468 140724201913328 140292143289472 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9866] ppid=9862 vsize=14334280 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9866/stat : 9866 (java) S 9862 9862 15667 0 -1 1077944384 2010 0 0 0 116 13 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140292091668752 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9867] ppid=9862 vsize=14334280 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9867/stat : 9867 (java) S 9862 9862 15667 0 -1 1077944384 1638 0 0 0 118 11 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140292090616208 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9868] ppid=9862 vsize=14334280 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9868/stat : 9868 (java) S 9862 9862 15667 0 -1 1077944384 1895 0 0 0 113 13 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140292089563664 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9869] ppid=9862 vsize=14334280 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9869/stat : 9869 (java) S 9862 9862 15667 0 -1 1077944384 1390 0 0 0 115 13 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140292088511120 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9870] ppid=9862 vsize=14334280 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9870/stat : 9870 (java) S 9862 9862 15667 0 -1 1077944384 2170 0 0 0 115 13 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291733912336 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9871] ppid=9862 vsize=14334280 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9871/stat : 9871 (java) S 9862 9862 15667 0 -1 1077944384 1223 0 0 0 112 13 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291732859792 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9872] ppid=9862 vsize=14334280 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9872/stat : 9872 (java) S 9862 9862 15667 0 -1 1077944384 1183 0 0 0 113 13 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291731807248 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9873] ppid=9862 vsize=14334280 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9873/stat : 9873 (java) S 9862 9862 15667 0 -1 1077944384 1305 0 0 0 117 12 0 0 20 0 28 0 4646084 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291730754704 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9874] ppid=9862 vsize=14334280 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9874/stat : 9874 (java) S 9862 9862 15667 0 -1 1077944384 6603 0 0 0 88 99 0 0 20 0 28 0 4646086 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291601266672 140292139059842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9875] ppid=9862 vsize=14334280 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9875/stat : 9875 (java) S 9862 9862 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4646087 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291600212960 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9876] ppid=9862 vsize=14334280 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9876/stat : 9876 (java) S 9862 9862 15667 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4646087 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291599160320 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9877] ppid=9862 vsize=14334280 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9877/stat : 9877 (java) S 9862 9862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646090 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291598108880 140292139067291 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9878] ppid=9862 vsize=14334280 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9878/stat : 9878 (java) S 9862 9862 15667 0 -1 1077944384 9412 0 0 0 240 1 0 0 20 0 28 0 4646090 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291597056496 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9879] ppid=9862 vsize=14334280 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9879/stat : 9879 (java) S 9862 9862 15667 0 -1 1077944384 8356 0 0 0 222 2 0 0 20 0 28 0 4646090 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291596003952 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9880] ppid=9862 vsize=14334280 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9880/stat : 9880 (java) S 9862 9862 15667 0 -1 1077944384 9840 0 0 0 246 2 0 0 20 0 28 0 4646090 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291594951408 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9881] ppid=9862 vsize=14334280 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9881/stat : 9881 (java) S 9862 9862 15667 0 -1 1077944384 5805 0 0 0 70 1 0 0 20 0 28 0 4646090 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291593898864 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 6 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9882] ppid=9862 vsize=14334280 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9882/stat : 9882 (java) S 9862 9862 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4646091 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291592845536 140292139058901 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9883] ppid=9862 vsize=14334280 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9883/stat : 9883 (java) S 9862 9862 15667 0 -1 1077944384 1408 0 0 0 5 5 0 0 20 0 28 0 4646091 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291591793072 140292139059842 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 10 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9964] ppid=9862 vsize=14334280 CPUtime=292.09 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9964/stat : 9964 (java) R 9862 9862 15667 0 -1 4202560 2925 0 0 0 29207 2 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291570093400 140291775405943 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9965] ppid=9862 vsize=14334280 CPUtime=291.97 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9965/stat : 9965 (java) R 9862 9862 15667 0 -1 4202560 1182 0 0 0 29194 3 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291572199432 140291773853377 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9966] ppid=9862 vsize=14334280 CPUtime=292 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9966/stat : 9966 (java) R 9862 9862 15667 0 -1 4202560 2088 0 0 0 29198 2 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291582726280 140291772484234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9967] ppid=9862 vsize=14334280 CPUtime=291.76 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9967/stat : 9967 (java) R 9862 9862 15667 0 -1 4202560 2790 0 0 0 29173 3 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291576410376 140291774357796 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9968] ppid=9862 vsize=14334280 CPUtime=291.92 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9968/stat : 9968 (java) R 9862 9862 15667 0 -1 4202560 3086 0 0 0 29189 3 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291578515848 140291772484422 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9969] ppid=9862 vsize=14334280 CPUtime=291.79 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9969/stat : 9969 (java) R 9862 9862 15667 0 -1 4202560 518 0 0 0 29178 1 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291577463688 140291772483983 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9970] ppid=9862 vsize=14334280 CPUtime=292.11 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9970/stat : 9970 (java) R 9862 9862 15667 0 -1 4202560 4580 0 0 0 29208 3 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291574303776 140291772322544 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
[pid=9863/tid=9971] ppid=9862 vsize=14334280 CPUtime=291.4 cores=0,2,4,6,8,10,12,14
/proc/9863/task/9971/stat : 9971 (java) R 9862 9862 15667 0 -1 4202560 1474 0 0 0 29138 2 0 0 20 0 28 0 4646784 14678302720 132518 33554432000 4194304 4196468 140724201913328 140291571149344 140291773627682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140724201915580 140724201915756 140724201915756 140724201918415 0
Current children cumulated CPU time (s) 2400.51
Current children cumulated vsize (KiB) 14343792
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9862 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1705
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=852
# CPU time returned by wait4() is 0.002557
# while last known CPU time is 2400.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.512
CPU time (s): 2400.51
CPU user time (s): 2398.02
CPU system time (s): 2.49
CPU usage (%): 788.314
Max. virtual memory (cumulated for all children) (KiB): 14343792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001705
system time used= 0.000852
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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.66903 second user time and 4.53704 second system time
The end