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-4244485-1500683032/watcher-4244485-1500683032 -o /tmp/evaluation-result-4244485-1500683032/solver-4244485-1500683032 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1776462282 HOME/instance-4244485-1500683032.xml
pid=8740
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.11 13.47 8.23 10/270 8743
/proc/meminfo: memFree=31682312/32770624 swapFree=5880/237172
[pid=8743] ppid=8740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8743/stat : 8743 (xcsp3-exec) S 8740 8743 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3570885 9740288 346 33554432000 4194304 5098028 140725736234736 140725736232840 139992216904316 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 29446144 140725736240270 140725736240480 140725736240480 140725736243179 0
/proc/8743/statm: 2378 346 289 221 0 87 0
[startup+0.100065 s]
/proc/loadavg: 14.11 13.47 8.23 10/270 8743
/proc/meminfo: memFree=31682312/32770624 swapFree=5880/237172
[pid=8743] ppid=8740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8743/stat : 8743 (xcsp3-exec) S 8740 8743 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3570885 9740288 346 33554432000 4194304 5098028 140725736234736 140725736232840 139992216904316 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 29446144 140725736240270 140725736240480 140725736240480 140725736243179 0
/proc/8743/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200317 s]
/proc/loadavg: 14.11 13.47 8.23 10/270 8743
/proc/meminfo: memFree=31682312/32770624 swapFree=5880/237172
[pid=8743] ppid=8740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8743/stat : 8743 (xcsp3-exec) S 8740 8743 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3570885 9740288 346 33554432000 4194304 5098028 140725736234736 140725736232840 139992216904316 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 29446144 140725736240270 140725736240480 140725736240480 140725736243179 0
/proc/8743/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300245 s]
/proc/loadavg: 14.11 13.47 8.23 10/270 8743
/proc/meminfo: memFree=31682312/32770624 swapFree=5880/237172
[pid=8743] ppid=8740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8743/stat : 8743 (xcsp3-exec) S 8740 8743 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3570885 9740288 346 33554432000 4194304 5098028 140725736234736 140725736232840 139992216904316 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 29446144 140725736240270 140725736240480 140725736240480 140725736243179 0
/proc/8743/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700215 s]
/proc/loadavg: 14.11 13.47 8.23 10/270 8743
/proc/meminfo: memFree=31682312/32770624 swapFree=5880/237172
[pid=8743] ppid=8740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8743/stat : 8743 (xcsp3-exec) S 8740 8743 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3570885 9740288 346 33554432000 4194304 5098028 140725736234736 140725736232840 139992216904316 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 29446144 140725736240270 140725736240480 140725736240480 140725736243179 0
/proc/8743/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50121 s]
/proc/loadavg: 14.11 13.47 8.23 13/291 8764
/proc/meminfo: memFree=31560124/32770624 swapFree=5880/237224
[pid=8743] ppid=8740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8743/stat : 8743 (xcsp3-exec) S 8740 8743 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3570885 9740288 346 33554432000 4194304 5098028 140725736234736 140725736232840 139992216904316 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 29446144 140725736240270 140725736240480 140725736240480 140725736243179 0
/proc/8743/statm: 2378 346 289 221 0 87 0
[pid=8744] ppid=8743 vsize=13269256 CPUtime=4.87 cores=1,3,5,7,9,11,13,15
/proc/8744/stat : 8744 (java) S 8743 8743 7744 0 -1 1077944320 21107 0 0 0 472 15 0 0 20 0 20 0 3570885 13587718144 52489 33554432000 4194304 4196468 140720558285456 140720558268000 139853737987831 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
/proc/8744/statm: 3317314 52489 3252 1 0 3304547 0
[pid=8744/tid=8745] ppid=8743 vsize=13269256 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8745/stat : 8745 (java) R 8743 8743 7744 0 -1 4202560 8543 0 0 0 138 5 0 0 20 0 20 0 3570886 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853742212400 139853345926384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8747] ppid=8743 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8747/stat : 8747 (java) S 8743 8743 7744 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 20 0 3570887 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853670124688 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8748] ppid=8743 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8748/stat : 8748 (java) S 8743 8743 7744 0 -1 1077944384 142 0 0 0 1 0 0 0 20 0 20 0 3570887 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853669071888 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8749] ppid=8743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8749/stat : 8749 (java) S 8743 8743 7744 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 3570887 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853668019088 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8750] ppid=8743 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8750/stat : 8750 (java) S 8743 8743 7744 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 20 0 3570887 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853666966288 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8751] ppid=8743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8751/stat : 8751 (java) S 8743 8743 7744 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 3570887 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853665913488 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8752] ppid=8743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8752/stat : 8752 (java) S 8743 8743 7744 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 3570887 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853332187664 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8753] ppid=8743 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8753/stat : 8753 (java) S 8743 8743 7744 0 -1 1077944384 68 0 0 0 1 1 0 0 20 0 20 0 3570887 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853331134864 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8754] ppid=8743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8754/stat : 8754 (java) S 8743 8743 7744 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 3570887 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853330082064 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8755] ppid=8743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8755/stat : 8755 (java) S 8743 8743 7744 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 20 0 3570889 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853267405680 139853737998978 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8756] ppid=8743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8756/stat : 8756 (java) S 8743 8743 7744 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 3570890 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853266351648 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8757] ppid=8743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8757/stat : 8757 (java) S 8743 8743 7744 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 3570890 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853265298800 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8758] ppid=8743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8758/stat : 8758 (java) S 8743 8743 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3570895 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853264247120 139853738006427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8759] ppid=8743 vsize=13269256 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8759/stat : 8759 (java) R 8743 8743 7744 0 -1 4202560 3039 0 0 0 83 0 0 0 20 0 20 0 3570895 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853263185312 139853717226304 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8760] ppid=8743 vsize=13269256 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8760/stat : 8760 (java) R 8743 8743 7744 0 -1 4202560 2433 0 0 0 84 0 0 0 20 0 20 0 3570895 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853060630896 139853719532389 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8761] ppid=8743 vsize=13269256 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8761/stat : 8761 (java) R 8743 8743 7744 0 -1 4202560 2568 0 0 0 91 0 0 0 20 0 20 0 3570895 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853059567376 139853716973344 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8762] ppid=8743 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8762/stat : 8762 (java) R 8743 8743 7744 0 -1 4202560 2675 0 0 0 64 1 0 0 20 0 20 0 3570895 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853058525168 139853738009178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8763] ppid=8743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8763/stat : 8763 (java) S 8743 8743 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3570895 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853057473632 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8764] ppid=8743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8764/stat : 8764 (java) S 8743 8743 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3570895 13587718144 52489 33554432000 4194304 4196468 140720558285456 139853056420912 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 13278768
[startup+3.10104 s]
/proc/loadavg: 14.11 13.47 8.23 20/299 8772
/proc/meminfo: memFree=31420324/32770624 swapFree=5880/237224
[pid=8743] ppid=8740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8743/stat : 8743 (xcsp3-exec) S 8740 8743 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3570885 9740288 346 33554432000 4194304 5098028 140725736234736 140725736232840 139992216904316 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 29446144 140725736240270 140725736240480 140725736240480 140725736243179 0
/proc/8743/statm: 2378 346 289 221 0 87 0
[pid=8744] ppid=8743 vsize=13801768 CPUtime=17.29 cores=1,3,5,7,9,11,13,15
/proc/8744/stat : 8744 (java) S 8743 8743 7744 0 -1 1077944320 27792 0 0 0 1686 43 0 0 20 0 28 0 3570885 14133010432 71448 33554432000 4194304 4196468 140720558285456 140720558268000 139853737987831 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
/proc/8744/statm: 3450442 71448 3260 1 0 3437675 0
[pid=8744/tid=8745] ppid=8743 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8745/stat : 8745 (java) S 8743 8743 7744 0 -1 1077944384 8674 0 0 0 140 5 0 0 20 0 28 0 3570886 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853742228608 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8747] ppid=8743 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8747/stat : 8747 (java) S 8743 8743 7744 0 -1 1077944384 64 0 0 0 3 4 0 0 20 0 28 0 3570887 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853670124688 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8748] ppid=8743 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8748/stat : 8748 (java) S 8743 8743 7744 0 -1 1077944384 173 0 0 0 4 4 0 0 20 0 28 0 3570887 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853669071888 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8749] ppid=8743 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8749/stat : 8749 (java) S 8743 8743 7744 0 -1 1077944384 43 0 0 0 3 3 0 0 20 0 28 0 3570887 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853668019088 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8750] ppid=8743 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8750/stat : 8750 (java) S 8743 8743 7744 0 -1 1077944384 68 0 0 0 4 4 0 0 20 0 28 0 3570887 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853666966288 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8751] ppid=8743 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8751/stat : 8751 (java) S 8743 8743 7744 0 -1 1077944384 37 0 0 0 3 3 0 0 20 0 28 0 3570887 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853665913488 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8752] ppid=8743 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8752/stat : 8752 (java) S 8743 8743 7744 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 28 0 3570887 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853332187664 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8753] ppid=8743 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8753/stat : 8753 (java) S 8743 8743 7744 0 -1 1077944384 103 0 0 0 3 4 0 0 20 0 28 0 3570887 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853331134864 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8754] ppid=8743 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8754/stat : 8754 (java) S 8743 8743 7744 0 -1 1077944384 69 0 0 0 3 3 0 0 20 0 28 0 3570887 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853330082064 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8755] ppid=8743 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8755/stat : 8755 (java) S 8743 8743 7744 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 28 0 3570889 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853267405680 139853737998978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8756] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8756/stat : 8756 (java) S 8743 8743 7744 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3570890 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853266351712 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8757] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8757/stat : 8757 (java) S 8743 8743 7744 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3570890 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853265298800 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8758] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8758/stat : 8758 (java) S 8743 8743 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3570895 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853264247120 139853738006427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8759] ppid=8743 vsize=13801768 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8759/stat : 8759 (java) R 8743 8743 7744 0 -1 4202560 4448 0 0 0 192 1 0 0 20 0 28 0 3570895 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853263180768 139853721374515 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8760] ppid=8743 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8760/stat : 8760 (java) R 8743 8743 7744 0 -1 4202560 4396 0 0 0 199 0 0 0 20 0 28 0 3570895 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853060616544 139853719509013 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8761] ppid=8743 vsize=13801768 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8761/stat : 8761 (java) R 8743 8743 7744 0 -1 4202560 3934 0 0 0 193 0 0 0 20 0 28 0 3570895 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853059564512 139853717680927 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8762] ppid=8743 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8762/stat : 8762 (java) S 8743 8743 7744 0 -1 1077944384 3385 0 0 0 87 1 0 0 20 0 28 0 3570895 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853058525168 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8763] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8763/stat : 8763 (java) S 8743 8743 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3570895 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853057473632 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8764] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8764/stat : 8764 (java) S 8743 8743 7744 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 3570895 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853056420912 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8765] ppid=8743 vsize=13801768 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8765/stat : 8765 (java) R 8743 8743 7744 0 -1 4202560 116 0 0 0 119 0 0 0 20 0 28 0 3571037 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853048403232 139853354418729 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8766] ppid=8743 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8766/stat : 8766 (java) R 8743 8743 7744 0 -1 4202560 152 0 0 0 95 0 0 0 20 0 28 0 3571037 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853047352968 139853354418224 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8767] ppid=8743 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8767/stat : 8767 (java) R 8743 8743 7744 0 -1 4202560 74 0 0 0 112 0 0 0 20 0 28 0 3571037 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853046298888 139853354005624 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8768] ppid=8743 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8768/stat : 8768 (java) R 8743 8743 7744 0 -1 4202560 187 0 0 0 88 0 0 0 20 0 28 0 3571037 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853045246088 139853353749949 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8769] ppid=8743 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8769/stat : 8769 (java) R 8743 8743 7744 0 -1 4202560 59 0 0 0 104 0 0 0 20 0 28 0 3571037 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853044193040 139853354418853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8770] ppid=8743 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8770/stat : 8770 (java) R 8743 8743 7744 0 -1 4202560 45 0 0 0 116 0 0 0 20 0 28 0 3571037 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853043144328 139853354418738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8771] ppid=8743 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8771/stat : 8771 (java) R 8743 8743 7744 0 -1 4202560 63 0 0 0 105 0 0 0 20 0 28 0 3571037 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853042085744 139853354418776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8772] ppid=8743 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8772/stat : 8772 (java) R 8743 8743 7744 0 -1 4202560 68 0 0 0 100 0 0 0 20 0 28 0 3571037 14133010432 71448 33554432000 4194304 4196468 140720558285456 139853041036208 139853354418603 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
Current children cumulated CPU time (s) 17.29
Current children cumulated vsize (KiB) 13811280
[startup+6.30153 s]
/proc/loadavg: 14.50 13.56 8.29 19/299 8772
/proc/meminfo: memFree=31422072/32770624 swapFree=5880/237232
[pid=8743] ppid=8740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8743/stat : 8743 (xcsp3-exec) S 8740 8743 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3570885 9740288 346 33554432000 4194304 5098028 140725736234736 140725736232840 139992216904316 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 29446144 140725736240270 140725736240480 140725736240480 140725736243179 0
/proc/8743/statm: 2378 346 289 221 0 87 0
[pid=8744] ppid=8743 vsize=13801768 CPUtime=42.73 cores=1,3,5,7,9,11,13,15
/proc/8744/stat : 8744 (java) S 8743 8743 7744 0 -1 1077944320 33180 0 0 0 4227 46 0 0 20 0 28 0 3570885 14133010432 71454 33554432000 4194304 4196468 140720558285456 140720558268000 139853737987831 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
/proc/8744/statm: 3450442 71454 3266 1 0 3437675 0
[pid=8744/tid=8745] ppid=8743 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8745/stat : 8745 (java) S 8743 8743 7744 0 -1 1077944384 8674 0 0 0 140 5 0 0 20 0 28 0 3570886 14133010432 71454 33554432000 4194304 4196468 140720558285456 139853742228608 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8747] ppid=8743 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8747/stat : 8747 (java) S 8743 8743 7744 0 -1 1077944384 64 0 0 0 3 4 0 0 20 0 28 0 3570887 14133010432 71454 33554432000 4194304 4196468 140720558285456 139853670124688 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8748] ppid=8743 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8748/stat : 8748 (java) S 8743 8743 7744 0 -1 1077944384 173 0 0 0 4 4 0 0 20 0 28 0 3570887 14133010432 71454 33554432000 4194304 4196468 140720558285456 139853669071888 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8749] ppid=8743 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8749/stat : 8749 (java) S 8743 8743 7744 0 -1 1077944384 43 0 0 0 3 3 0 0 20 0 28 0 3570887 14133010432 71454 33554432000 4194304 4196468 140720558285456 139853668019088 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8750] ppid=8743 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8750/stat : 8750 (java) S 8743 8743 7744 0 -1 1077944384 68 0 0 0 4 4 0 0 20 0 28 0 3570887 14133010432 71454 33554432000 4194304 4196468 140720558285456 139853666966288 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
################
# More data... #
################
[pid=8744/tid=8771] ppid=8743 vsize=13801768 CPUtime=277.59 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8771/stat : 8771 (java) R 8743 8743 7744 0 -1 4202560 1620 0 0 0 27757 2 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853042090456 139853354796160 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8772] ppid=8743 vsize=13801768 CPUtime=278.39 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8772/stat : 8772 (java) R 8743 8743 7744 0 -1 4202560 881 0 0 0 27839 0 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853041036936 139853354796615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
Current children cumulated CPU time (s) 2241.13
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.302 s]
/proc/loadavg: 14.97 14.66 10.22 17/298 8930
/proc/meminfo: memFree=30943088/32770624 swapFree=5880/237600
[pid=8743] ppid=8740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8743/stat : 8743 (xcsp3-exec) S 8740 8743 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3570885 9740288 346 33554432000 4194304 5098028 140725736234736 140725736232840 139992216904316 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 29446144 140725736240270 140725736240480 140725736240480 140725736243179 0
/proc/8743/statm: 2378 346 289 221 0 87 0
[pid=8744] ppid=8743 vsize=13801768 CPUtime=2400.51 cores=1,3,5,7,9,11,13,15
/proc/8744/stat : 8744 (java) S 8743 8743 7744 0 -1 1077944320 93830 0 0 0 239914 137 0 0 20 0 28 0 3570885 14133010432 190761 33554432000 4194304 4196468 140720558285456 140720558268000 139853737987831 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
/proc/8744/statm: 3450442 190761 3278 1 0 3437675 0
[pid=8744/tid=8745] ppid=8743 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8745/stat : 8745 (java) S 8743 8743 7744 0 -1 1077944384 8674 0 0 0 140 5 0 0 20 0 28 0 3570886 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853742228608 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8747] ppid=8743 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8747/stat : 8747 (java) S 8743 8743 7744 0 -1 1077944384 1390 0 0 0 12 11 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853670124688 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8748] ppid=8743 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8748/stat : 8748 (java) S 8743 8743 7744 0 -1 1077944384 317 0 0 0 12 13 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853669071888 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8749] ppid=8743 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8749/stat : 8749 (java) S 8743 8743 7744 0 -1 1077944384 751 0 0 0 11 11 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853668019088 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8750] ppid=8743 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8750/stat : 8750 (java) S 8743 8743 7744 0 -1 1077944384 270 0 0 0 13 12 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853666966288 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8751] ppid=8743 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8751/stat : 8751 (java) S 8743 8743 7744 0 -1 1077944384 856 0 0 0 10 11 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853665913488 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8752] ppid=8743 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8752/stat : 8752 (java) S 8743 8743 7744 0 -1 1077944384 1518 0 0 0 12 11 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853332187664 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8753] ppid=8743 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8753/stat : 8753 (java) S 8743 8743 7744 0 -1 1077944384 662 0 0 0 12 12 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853331134864 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8754] ppid=8743 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8754/stat : 8754 (java) S 8743 8743 7744 0 -1 1077944384 396 0 0 0 10 11 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853330082064 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8755] ppid=8743 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8755/stat : 8755 (java) S 8743 8743 7744 0 -1 1077944384 2022 0 0 0 7 7 0 0 20 0 28 0 3570889 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853267405680 139853737998978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8756] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8756/stat : 8756 (java) S 8743 8743 7744 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 3570890 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853266351712 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8757] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8757/stat : 8757 (java) S 8743 8743 7744 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3570890 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853265298800 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8758] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8758/stat : 8758 (java) S 8743 8743 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853264247120 139853738006427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8759] ppid=8743 vsize=13801768 CPUtime=4.41 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8759/stat : 8759 (java) S 8743 8743 7744 0 -1 1077944384 14582 0 0 0 439 2 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853263194480 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8760] ppid=8743 vsize=13801768 CPUtime=4.46 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8760/stat : 8760 (java) S 8743 8743 7744 0 -1 1077944384 17292 0 0 0 444 2 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853060630768 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8761] ppid=8743 vsize=13801768 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8761/stat : 8761 (java) S 8743 8743 7744 0 -1 1077944384 17215 0 0 0 457 2 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853059577968 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8762] ppid=8743 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8762/stat : 8762 (java) S 8743 8743 7744 0 -1 1077944384 12612 0 0 0 125 2 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853058525168 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8763] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8763/stat : 8763 (java) S 8743 8743 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853057473632 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8764] ppid=8743 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8764/stat : 8764 (java) S 8743 8743 7744 0 -1 1077944384 876 0 0 0 8 5 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853056420912 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8765] ppid=8743 vsize=13801768 CPUtime=298.73 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8765/stat : 8765 (java) R 8743 8743 7744 0 -1 4202560 1636 0 0 0 29872 1 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853048405792 139853354796863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8766] ppid=8743 vsize=13801768 CPUtime=298.7 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8766/stat : 8766 (java) R 8743 8743 7744 0 -1 4202560 1239 0 0 0 29870 0 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853047353272 139853354797010 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8767] ppid=8743 vsize=13801768 CPUtime=297.77 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8767/stat : 8767 (java) R 8743 8743 7744 0 -1 4202560 2713 0 0 0 29775 2 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853046302784 139853354796662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8768] ppid=8743 vsize=13801768 CPUtime=297.59 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8768/stat : 8768 (java) R 8743 8743 7744 0 -1 4202560 2228 0 0 0 29758 1 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853045249944 139853354796858 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8769] ppid=8743 vsize=13801768 CPUtime=294.71 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8769/stat : 8769 (java) R 8743 8743 7744 0 -1 4202560 802 0 0 0 29470 1 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853044194528 139853354796781 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8770] ppid=8743 vsize=13801768 CPUtime=298.5 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8770/stat : 8770 (java) R 8743 8743 7744 0 -1 4202560 1887 0 0 0 29849 1 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853043144744 139853354796705 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8771] ppid=8743 vsize=13801768 CPUtime=297.58 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8771/stat : 8771 (java) R 8743 8743 7744 0 -1 4202560 1627 0 0 0 29756 2 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853042090456 139853354796573 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8772] ppid=8743 vsize=13801768 CPUtime=298.38 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8772/stat : 8772 (java) R 8743 8743 7744 0 -1 4202560 914 0 0 0 29837 1 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853041036936 139853355692738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
Current children cumulated CPU time (s) 2400.51
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8744 sig 9
??? kill 8743 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.302 s]
/proc/loadavg: 14.97 14.66 10.22 17/298 8930
/proc/meminfo: memFree=30943088/32770624 swapFree=5880/237600
[pid=8743] ppid=8740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8743/stat : 8743 (xcsp3-exec) S 8740 8743 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3570885 9740288 346 33554432000 4194304 5098028 140725736234736 140725736232840 139992216904316 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 29446144 140725736240270 140725736240480 140725736240480 140725736243179 0
/proc/8743/statm: 2378 346 289 221 0 87 0
[pid=8744] ppid=8743 vsize=13801768 CPUtime=2400.51 cores=1,3,5,7,9,11,13,15
/proc/8744/stat : 8744 (java) S 8743 8743 7744 0 -1 1077944320 93830 0 0 0 239914 137 0 0 20 0 28 0 3570885 14133010432 190761 33554432000 4194304 4196468 140720558285456 140720558268000 139853737987831 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
/proc/8744/statm: 3450442 190761 3278 1 0 3437675 0
[pid=8744/tid=8745] ppid=8743 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8745/stat : 8745 (java) S 8743 8743 7744 0 -1 1077944384 8674 0 0 0 140 5 0 0 20 0 28 0 3570886 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853742228608 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8747] ppid=8743 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8747/stat : 8747 (java) S 8743 8743 7744 0 -1 1077944384 1390 0 0 0 12 11 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853670124688 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8748] ppid=8743 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8748/stat : 8748 (java) S 8743 8743 7744 0 -1 1077944384 317 0 0 0 12 13 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853669071888 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8749] ppid=8743 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8749/stat : 8749 (java) S 8743 8743 7744 0 -1 1077944384 751 0 0 0 11 11 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853668019088 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8750] ppid=8743 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8750/stat : 8750 (java) S 8743 8743 7744 0 -1 1077944384 270 0 0 0 13 12 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853666966288 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8751] ppid=8743 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8751/stat : 8751 (java) S 8743 8743 7744 0 -1 1077944384 856 0 0 0 10 11 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853665913488 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8752] ppid=8743 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8752/stat : 8752 (java) S 8743 8743 7744 0 -1 1077944384 1518 0 0 0 12 11 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853332187664 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8753] ppid=8743 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8753/stat : 8753 (java) S 8743 8743 7744 0 -1 1077944384 662 0 0 0 12 12 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853331134864 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8754] ppid=8743 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8754/stat : 8754 (java) S 8743 8743 7744 0 -1 1077944384 396 0 0 0 10 11 0 0 20 0 28 0 3570887 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853330082064 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8755] ppid=8743 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8755/stat : 8755 (java) S 8743 8743 7744 0 -1 1077944384 2022 0 0 0 7 7 0 0 20 0 28 0 3570889 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853267405680 139853737998978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8756] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8756/stat : 8756 (java) S 8743 8743 7744 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 3570890 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853266351712 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8757] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8757/stat : 8757 (java) S 8743 8743 7744 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3570890 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853265298800 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8758] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8758/stat : 8758 (java) S 8743 8743 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853264247120 139853738006427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8759] ppid=8743 vsize=13801768 CPUtime=4.41 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8759/stat : 8759 (java) S 8743 8743 7744 0 -1 1077944384 14582 0 0 0 439 2 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853263194480 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8760] ppid=8743 vsize=13801768 CPUtime=4.46 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8760/stat : 8760 (java) S 8743 8743 7744 0 -1 1077944384 17292 0 0 0 444 2 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853060630768 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8761] ppid=8743 vsize=13801768 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8761/stat : 8761 (java) S 8743 8743 7744 0 -1 1077944384 17215 0 0 0 457 2 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853059577968 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8762] ppid=8743 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8762/stat : 8762 (java) S 8743 8743 7744 0 -1 1077944384 12612 0 0 0 125 2 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853058525168 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8763] ppid=8743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8763/stat : 8763 (java) S 8743 8743 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853057473632 139853737998037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8764] ppid=8743 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8764/stat : 8764 (java) S 8743 8743 7744 0 -1 1077944384 876 0 0 0 8 5 0 0 20 0 28 0 3570895 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853056420912 139853737998978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8765] ppid=8743 vsize=13801768 CPUtime=298.73 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8765/stat : 8765 (java) R 8743 8743 7744 0 -1 4202560 1636 0 0 0 29872 1 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853048405792 139853354796863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8766] ppid=8743 vsize=13801768 CPUtime=298.7 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8766/stat : 8766 (java) R 8743 8743 7744 0 -1 4202560 1239 0 0 0 29870 0 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853047353272 139853354797010 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8767] ppid=8743 vsize=13801768 CPUtime=297.77 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8767/stat : 8767 (java) R 8743 8743 7744 0 -1 4202560 2713 0 0 0 29775 2 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853046302784 139853354796662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8768] ppid=8743 vsize=13801768 CPUtime=297.59 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8768/stat : 8768 (java) R 8743 8743 7744 0 -1 4202560 2228 0 0 0 29758 1 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853045249944 139853354796858 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8769] ppid=8743 vsize=13801768 CPUtime=294.71 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8769/stat : 8769 (java) R 8743 8743 7744 0 -1 4202560 802 0 0 0 29470 1 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853044194528 139853354796781 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8770] ppid=8743 vsize=13801768 CPUtime=298.5 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8770/stat : 8770 (java) R 8743 8743 7744 0 -1 4202560 1887 0 0 0 29849 1 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853043144744 139853354796705 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8771] ppid=8743 vsize=13801768 CPUtime=297.58 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8771/stat : 8771 (java) R 8743 8743 7744 0 -1 4202560 1627 0 0 0 29756 2 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853042090456 139853354796573 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
[pid=8744/tid=8772] ppid=8743 vsize=13801768 CPUtime=298.38 cores=1,3,5,7,9,11,13,15
/proc/8744/task/8772/stat : 8772 (java) R 8743 8743 7744 0 -1 4202560 914 0 0 0 29837 1 0 0 20 0 28 0 3571037 14133010432 190761 33554432000 4194304 4196468 140720558285456 139853041036936 139853355692738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140720558290108 140720558290284 140720558290284 140720558292943 0
Current children cumulated CPU time (s) 2400.51
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8743 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2041
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1020
# CPU time returned by wait4() is 0.003061
# 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): 302.312
CPU time (s): 2400.51
CPU user time (s): 2399.14
CPU system time (s): 1.37
CPU usage (%): 794.05
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002041
system time used= 0.00102
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 4.02286 second user time and 3.84685 second system time
The end