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-4246387-1500687439/watcher-4246387-1500687439 -o /tmp/evaluation-result-4246387-1500687439/solver-4246387-1500687439 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1838202305 HOME/instance-4246387-1500687439.xml
pid=874
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.52 15.51 15.11 10/271 877
/proc/meminfo: memFree=28458964/32770624 swapFree=5800/242564
[pid=877] ppid=874 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/877/stat : 877 (xcsp3-exec) S 874 877 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4011624 9740288 346 33554432000 4194304 5098028 140724430828656 140724430826760 139843841602172 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31113216 140724430832782 140724430832992 140724430832992 140724430835691 0
/proc/877/statm: 2378 346 289 221 0 87 0
[startup+0.1001 s]
/proc/loadavg: 15.52 15.51 15.11 10/271 877
/proc/meminfo: memFree=28458964/32770624 swapFree=5800/242564
[pid=877] ppid=874 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/877/stat : 877 (xcsp3-exec) S 874 877 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4011624 9740288 346 33554432000 4194304 5098028 140724430828656 140724430826760 139843841602172 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31113216 140724430832782 140724430832992 140724430832992 140724430835691 0
/proc/877/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200321 s]
/proc/loadavg: 15.52 15.51 15.11 10/271 877
/proc/meminfo: memFree=28458964/32770624 swapFree=5800/242564
[pid=877] ppid=874 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/877/stat : 877 (xcsp3-exec) S 874 877 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4011624 9740288 346 33554432000 4194304 5098028 140724430828656 140724430826760 139843841602172 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31113216 140724430832782 140724430832992 140724430832992 140724430835691 0
/proc/877/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300265 s]
/proc/loadavg: 15.52 15.51 15.11 10/271 877
/proc/meminfo: memFree=28458964/32770624 swapFree=5800/242564
[pid=877] ppid=874 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/877/stat : 877 (xcsp3-exec) S 874 877 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4011624 9740288 346 33554432000 4194304 5098028 140724430828656 140724430826760 139843841602172 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31113216 140724430832782 140724430832992 140724430832992 140724430835691 0
/proc/877/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700209 s]
/proc/loadavg: 15.52 15.51 15.11 10/271 877
/proc/meminfo: memFree=28458964/32770624 swapFree=5800/242564
[pid=877] ppid=874 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/877/stat : 877 (xcsp3-exec) S 874 877 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4011624 9740288 346 33554432000 4194304 5098028 140724430828656 140724430826760 139843841602172 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31113216 140724430832782 140724430832992 140724430832992 140724430835691 0
/proc/877/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5012 s]
/proc/loadavg: 15.52 15.51 15.11 14/292 898
/proc/meminfo: memFree=28311828/32770624 swapFree=5800/242612
[pid=877] ppid=874 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/877/stat : 877 (xcsp3-exec) S 874 877 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4011624 9740288 346 33554432000 4194304 5098028 140724430828656 140724430826760 139843841602172 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31113216 140724430832782 140724430832992 140724430832992 140724430835691 0
/proc/877/statm: 2378 346 289 221 0 87 0
[pid=878] ppid=877 vsize=13269256 CPUtime=5.34 cores=1,3,5,7,9,11,13,15
/proc/878/stat : 878 (java) S 877 877 7621 0 -1 1077944320 23502 0 0 0 514 20 0 0 20 0 20 0 4011624 13587718144 58636 33554432000 4194304 4196468 140728542685264 140728542667808 139985603489527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
/proc/878/statm: 3317314 58636 3250 1 0 3304547 0
[pid=878/tid=879] ppid=877 vsize=13269256 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/878/task/879/stat : 879 (java) R 877 877 7621 0 -1 4202560 7924 0 0 0 136 6 0 0 20 0 20 0 4011625 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985607727224 139985215903120 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=881] ppid=877 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/878/task/881/stat : 881 (java) S 877 877 7621 0 -1 1077944384 69 0 0 0 1 1 0 0 20 0 20 0 4011626 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985535625616 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=882] ppid=877 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/878/task/882/stat : 882 (java) S 877 877 7621 0 -1 1077944384 57 0 0 0 1 1 0 0 20 0 20 0 4011626 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985201105168 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=883] ppid=877 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/878/task/883/stat : 883 (java) S 877 877 7621 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 20 0 4011626 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985200052880 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=884] ppid=877 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/878/task/884/stat : 884 (java) S 877 877 7621 0 -1 1077944384 48 0 0 0 2 1 0 0 20 0 20 0 4011626 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985199000080 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=885] ppid=877 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/878/task/885/stat : 885 (java) S 877 877 7621 0 -1 1077944384 126 0 0 0 1 1 0 0 20 0 20 0 4011626 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985197947792 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=886] ppid=877 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/878/task/886/stat : 886 (java) S 877 877 7621 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 4011626 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985196894992 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=887] ppid=877 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/878/task/887/stat : 887 (java) S 877 877 7621 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 20 0 4011626 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985195842704 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=888] ppid=877 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/878/task/888/stat : 888 (java) S 877 877 7621 0 -1 1077944384 58 0 0 0 1 1 0 0 20 0 20 0 4011626 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985194789904 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=889] ppid=877 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/889/stat : 889 (java) S 877 877 7621 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 20 0 4011628 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985132968048 139985603500674 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=890] ppid=877 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/890/stat : 890 (java) S 877 877 7621 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4011629 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985063764832 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=891] ppid=877 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/891/stat : 891 (java) S 877 877 7621 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4011629 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985062712448 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=892] ppid=877 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/892/stat : 892 (java) S 877 877 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4011633 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985061660752 139985603508123 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=893] ppid=877 vsize=13269256 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/878/task/893/stat : 893 (java) R 877 877 7621 0 -1 4202560 3640 0 0 0 100 0 0 0 20 0 20 0 4011633 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985060590016 139985587494676 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=894] ppid=877 vsize=13269256 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/878/task/894/stat : 894 (java) R 877 877 7621 0 -1 4202560 3116 0 0 0 94 0 0 0 20 0 20 0 4011633 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985059546304 139985586900320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=895] ppid=877 vsize=13269256 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/878/task/895/stat : 895 (java) R 877 877 7621 0 -1 4202560 3591 0 0 0 97 1 0 0 20 0 20 0 4011633 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985058490080 139985582749912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=896] ppid=877 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/878/task/896/stat : 896 (java) S 877 877 7621 0 -1 1077944384 3283 0 0 0 69 0 0 0 20 0 20 0 4011633 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985057450736 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=897] ppid=877 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/897/stat : 897 (java) S 877 877 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4011634 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985056397664 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=898] ppid=877 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/898/stat : 898 (java) S 877 877 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4011634 13587718144 58636 33554432000 4194304 4196468 140728542685264 139985055344944 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 13278768
[startup+3.10155 s]
/proc/loadavg: 15.80 15.57 15.13 22/300 946
/proc/meminfo: memFree=28123712/32770624 swapFree=5800/242612
[pid=877] ppid=874 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/877/stat : 877 (xcsp3-exec) S 874 877 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4011624 9740288 346 33554432000 4194304 5098028 140724430828656 140724430826760 139843841602172 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31113216 140724430832782 140724430832992 140724430832992 140724430835691 0
/proc/877/statm: 2378 346 289 221 0 87 0
[pid=878] ppid=877 vsize=13801768 CPUtime=16.98 cores=1,3,5,7,9,11,13,15
/proc/878/stat : 878 (java) S 877 877 7621 0 -1 1077944320 33065 0 0 0 1660 38 0 0 20 0 28 0 4011624 14133010432 99356 33554432000 4194304 4196468 140728542685264 140728542667808 139985603489527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
/proc/878/statm: 3450442 99356 3283 1 0 3437675 0
[pid=878/tid=879] ppid=877 vsize=13801768 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/878/task/879/stat : 879 (java) S 877 877 7621 0 -1 1077944384 8136 0 0 0 157 6 0 0 20 0 28 0 4011625 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985607730304 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=881] ppid=877 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/878/task/881/stat : 881 (java) S 877 877 7621 0 -1 1077944384 123 0 0 0 4 3 0 0 20 0 28 0 4011626 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985535625616 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=882] ppid=877 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/878/task/882/stat : 882 (java) S 877 877 7621 0 -1 1077944384 89 0 0 0 3 3 0 0 20 0 28 0 4011626 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985201105168 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=883] ppid=877 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/878/task/883/stat : 883 (java) S 877 877 7621 0 -1 1077944384 112 0 0 0 4 2 0 0 20 0 28 0 4011626 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985200052880 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=884] ppid=877 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/878/task/884/stat : 884 (java) S 877 877 7621 0 -1 1077944384 61 0 0 0 3 2 0 0 20 0 28 0 4011626 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985199000080 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=885] ppid=877 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/878/task/885/stat : 885 (java) S 877 877 7621 0 -1 1077944384 150 0 0 0 3 2 0 0 20 0 28 0 4011626 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985197947792 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=886] ppid=877 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/878/task/886/stat : 886 (java) S 877 877 7621 0 -1 1077944384 68 0 0 0 5 1 0 0 20 0 28 0 4011626 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985196894992 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=887] ppid=877 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/878/task/887/stat : 887 (java) S 877 877 7621 0 -1 1077944384 304 0 0 0 5 3 0 0 20 0 28 0 4011626 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985195842704 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=888] ppid=877 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/878/task/888/stat : 888 (java) S 877 877 7621 0 -1 1077944384 94 0 0 0 3 3 0 0 20 0 28 0 4011626 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985194789904 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=889] ppid=877 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/889/stat : 889 (java) S 877 877 7621 0 -1 1077944384 964 0 0 0 0 0 0 0 20 0 28 0 4011628 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985132968048 139985603500674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=890] ppid=877 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/890/stat : 890 (java) S 877 877 7621 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4011629 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985063764832 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=891] ppid=877 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/891/stat : 891 (java) S 877 877 7621 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4011629 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985062712448 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=892] ppid=877 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/892/stat : 892 (java) S 877 877 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4011633 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985061660752 139985603508123 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=893] ppid=877 vsize=13801768 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/878/task/893/stat : 893 (java) R 877 877 7621 0 -1 4202560 5033 0 0 0 202 1 0 0 20 0 28 0 4011633 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985060595192 139985581905345 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=894] ppid=877 vsize=13801768 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/878/task/894/stat : 894 (java) R 877 877 7621 0 -1 4202560 4377 0 0 0 208 0 0 0 20 0 28 0 4011633 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985059545200 139985582741452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=895] ppid=877 vsize=13801768 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/878/task/895/stat : 895 (java) R 877 877 7621 0 -1 4202560 5149 0 0 0 221 1 0 0 20 0 28 0 4011633 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985058489888 139985583182627 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=896] ppid=877 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/878/task/896/stat : 896 (java) S 877 877 7621 0 -1 1077944384 4942 0 0 0 111 1 0 0 20 0 28 0 4011633 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985057450736 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=897] ppid=877 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/897/stat : 897 (java) S 877 877 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4011634 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985056397664 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=898] ppid=877 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/898/stat : 898 (java) S 877 877 7621 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4011634 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985055344944 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=939] ppid=877 vsize=13801768 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/878/task/939/stat : 939 (java) R 877 877 7621 0 -1 4202560 94 0 0 0 57 0 0 0 20 0 28 0 4011838 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985044671944 139985222129236 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=940] ppid=877 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/878/task/940/stat : 940 (java) R 877 877 7621 0 -1 4202560 47 0 0 0 55 0 0 0 20 0 28 0 4011838 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985042565056 139985223488490 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=941] ppid=877 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/878/task/941/stat : 941 (java) R 877 877 7621 0 -1 4202560 563 0 0 0 73 0 0 0 20 0 28 0 4011838 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985046777632 139985222558976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=942] ppid=877 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/878/task/942/stat : 942 (java) R 877 877 7621 0 -1 4202560 54 0 0 0 65 0 0 0 20 0 28 0 4011838 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985043619960 139985222010528 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=943] ppid=877 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/878/task/943/stat : 943 (java) R 877 877 7621 0 -1 4202560 51 0 0 0 77 0 0 0 20 0 28 0 4011838 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985040465064 139985221555679 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=944] ppid=877 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/878/task/944/stat : 944 (java) R 877 877 7621 0 -1 4202560 151 0 0 0 61 0 0 0 20 0 28 0 4011838 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985041515080 139985222119535 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=945] ppid=877 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/878/task/945/stat : 945 (java) R 877 877 7621 0 -1 4202560 55 0 0 0 60 0 0 0 20 0 28 0 4011838 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985047829688 139985223488452 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=946] ppid=877 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/878/task/946/stat : 946 (java) R 877 877 7621 0 -1 4202560 31 0 0 0 71 0 0 0 20 0 28 0 4011838 14133010432 99356 33554432000 4194304 4196468 140728542685264 139985045725744 139985221848838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
Current children cumulated CPU time (s) 16.98
Current children cumulated vsize (KiB) 13811280
[startup+6.30169 s]
/proc/loadavg: 15.80 15.57 15.13 20/300 962
/proc/meminfo: memFree=28027748/32770624 swapFree=5800/242620
[pid=877] ppid=874 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/877/stat : 877 (xcsp3-exec) S 874 877 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4011624 9740288 346 33554432000 4194304 5098028 140724430828656 140724430826760 139843841602172 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31113216 140724430832782 140724430832992 140724430832992 140724430835691 0
/proc/877/statm: 2378 346 289 221 0 87 0
[pid=878] ppid=877 vsize=13801768 CPUtime=42.34 cores=1,3,5,7,9,11,13,15
/proc/878/stat : 878 (java) S 877 877 7621 0 -1 1077944320 37079 0 0 0 4183 51 0 0 20 0 28 0 4011624 14133010432 148677 33554432000 4194304 4196468 140728542685264 140728542667808 139985603489527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
/proc/878/statm: 3450442 148677 3290 1 0 3437675 0
[pid=878/tid=879] ppid=877 vsize=13801768 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/878/task/879/stat : 879 (java) S 877 877 7621 0 -1 1077944384 8163 0 0 0 158 6 0 0 20 0 28 0 4011625 14133010432 148677 33554432000 4194304 4196468 140728542685264 139985607730304 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=881] ppid=877 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/878/task/881/stat : 881 (java) S 877 877 7621 0 -1 1077944384 131 0 0 0 5 3 0 0 20 0 28 0 4011626 14133010432 148677 33554432000 4194304 4196468 140728542685264 139985535625616 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=882] ppid=877 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/878/task/882/stat : 882 (java) S 877 877 7621 0 -1 1077944384 104 0 0 0 6 4 0 0 20 0 28 0 4011626 14133010432 148677 33554432000 4194304 4196468 140728542685264 139985201105168 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=883] ppid=877 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/878/task/883/stat : 883 (java) S 877 877 7621 0 -1 1077944384 118 0 0 0 5 3 0 0 20 0 28 0 4011626 14133010432 148677 33554432000 4194304 4196468 140728542685264 139985200052880 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=884] ppid=877 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/878/task/884/stat : 884 (java) S 877 877 7621 0 -1 1077944384 74 0 0 0 5 3 0 0 20 0 28 0 4011626 14133010432 148677 33554432000 4194304 4196468 140728542685264 139985199000080 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
################
# More data... #
################
[pid=878/tid=1072] ppid=877 vsize=13802796 CPUtime=86.02 cores=1,3,5,7,9,11,13,15
/proc/878/task/1072/stat : 1072 (java) R 877 877 7621 0 -1 4202560 1280 0 0 0 8602 0 0 0 20 0 28 0 4025195 14134063104 869523 33554432000 4194304 4196468 140728542685264 139985046782120 139985223094651 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1073] ppid=877 vsize=13802796 CPUtime=86.46 cores=1,3,5,7,9,11,13,15
/proc/878/task/1073/stat : 1073 (java) R 877 877 7621 0 -1 4202560 946 0 0 0 8646 0 0 0 20 0 28 0 4025195 14134063104 869523 33554432000 4194304 4196468 140728542685264 139985040465960 139985222766969 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
Current children cumulated CPU time (s) 1748.55
Current children cumulated vsize (KiB) 13812308
[startup+282.302 s]
/proc/loadavg: 11.93 14.54 14.91 17/293 1475
/proc/meminfo: memFree=23929936/32770624 swapFree=5800/244456
[pid=877] ppid=874 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/877/stat : 877 (xcsp3-exec) S 874 877 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4011624 9740288 346 33554432000 4194304 5098028 140724430828656 140724430826760 139843841602172 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31113216 140724430832782 140724430832992 140724430832992 140724430835691 0
/proc/877/statm: 2378 346 289 221 0 87 0
[pid=878] ppid=877 vsize=13802796 CPUtime=2225.91 cores=1,3,5,7,9,11,13,15
/proc/878/stat : 878 (java) S 877 877 7621 0 -1 1077944320 113147 0 0 0 222344 247 0 0 20 0 28 0 4011624 14134063104 866581 33554432000 4194304 4196468 140728542685264 140728542667808 139985603489527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
/proc/878/statm: 3450699 866581 3292 1 0 3437932 0
[pid=878/tid=879] ppid=877 vsize=13802796 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/878/task/879/stat : 879 (java) S 877 877 7621 0 -1 1077944384 8603 0 0 0 161 6 0 0 20 0 28 0 4011625 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985607730304 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=881] ppid=877 vsize=13802796 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/878/task/881/stat : 881 (java) S 877 877 7621 0 -1 1077944384 1582 0 0 0 21 17 0 0 20 0 28 0 4011626 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985535625616 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=882] ppid=877 vsize=13802796 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/878/task/882/stat : 882 (java) S 877 877 7621 0 -1 1077944384 985 0 0 0 23 18 0 0 20 0 28 0 4011626 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985201105168 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=883] ppid=877 vsize=13802796 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/878/task/883/stat : 883 (java) S 877 877 7621 0 -1 1077944384 975 0 0 0 22 18 0 0 20 0 28 0 4011626 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985200052880 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=884] ppid=877 vsize=13802796 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/878/task/884/stat : 884 (java) S 877 877 7621 0 -1 1077944384 1072 0 0 0 21 18 0 0 20 0 28 0 4011626 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985199000080 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=885] ppid=877 vsize=13802796 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/878/task/885/stat : 885 (java) S 877 877 7621 0 -1 1077944384 1103 0 0 0 22 16 0 0 20 0 28 0 4011626 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985197947792 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=886] ppid=877 vsize=13802796 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/878/task/886/stat : 886 (java) S 877 877 7621 0 -1 1077944384 943 0 0 0 23 15 0 0 20 0 28 0 4011626 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985196894992 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=887] ppid=877 vsize=13802796 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/878/task/887/stat : 887 (java) S 877 877 7621 0 -1 1077944384 853 0 0 0 22 19 0 0 20 0 28 0 4011626 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985195842704 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=888] ppid=877 vsize=13802796 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/878/task/888/stat : 888 (java) S 877 877 7621 0 -1 1077944384 907 0 0 0 21 18 0 0 20 0 28 0 4011626 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985194789904 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=889] ppid=877 vsize=13802796 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/878/task/889/stat : 889 (java) S 877 877 7621 0 -1 1077944384 4919 0 0 0 7 12 0 0 20 0 28 0 4011628 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985132968048 139985603500674 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=890] ppid=877 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/890/stat : 890 (java) S 877 877 7621 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4011629 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985063764832 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=891] ppid=877 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/891/stat : 891 (java) S 877 877 7621 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 4011629 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985062712448 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=892] ppid=877 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/892/stat : 892 (java) S 877 877 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4011633 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985061660752 139985603508123 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=893] ppid=877 vsize=13802796 CPUtime=4.67 cores=1,3,5,7,9,11,13,15
/proc/878/task/893/stat : 893 (java) S 877 877 7621 0 -1 1077944384 11268 0 0 0 465 2 0 0 20 0 28 0 4011633 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985060608624 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=894] ppid=877 vsize=13802796 CPUtime=5.07 cores=1,3,5,7,9,11,13,15
/proc/878/task/894/stat : 894 (java) S 877 877 7621 0 -1 1077944384 14645 0 0 0 505 2 0 0 20 0 28 0 4011633 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985059555824 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=895] ppid=877 vsize=13802796 CPUtime=4.41 cores=1,3,5,7,9,11,13,15
/proc/878/task/895/stat : 895 (java) S 877 877 7621 0 -1 1077944384 10731 0 0 0 439 2 0 0 20 0 28 0 4011633 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985058503536 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=896] ppid=877 vsize=13802796 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/878/task/896/stat : 896 (java) S 877 877 7621 0 -1 1077944384 15978 0 0 0 140 3 0 0 20 0 28 0 4011633 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985057450736 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=897] ppid=877 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/897/stat : 897 (java) S 877 877 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4011634 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985056397664 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=898] ppid=877 vsize=13802796 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/878/task/898/stat : 898 (java) S 877 877 7621 0 -1 1077944384 737 0 0 0 6 9 0 0 20 0 28 0 4011634 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985055344944 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1065] ppid=877 vsize=13802796 CPUtime=145.63 cores=1,3,5,7,9,11,13,15
/proc/878/task/1065/stat : 1065 (java) R 877 877 7621 0 -1 4202560 1177 0 0 0 14563 0 0 0 20 0 28 0 4025195 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985043618792 139985224228614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1066] ppid=877 vsize=13802796 CPUtime=146.14 cores=1,3,5,7,9,11,13,15
/proc/878/task/1066/stat : 1066 (java) R 877 877 7621 0 -1 4202560 1414 0 0 0 14613 1 0 0 20 0 28 0 4025195 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985041514248 139985224229029 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1067] ppid=877 vsize=13802796 CPUtime=146.29 cores=1,3,5,7,9,11,13,15
/proc/878/task/1067/stat : 1067 (java) R 877 877 7621 0 -1 4202560 3536 0 0 0 14626 3 0 0 20 0 28 0 4025195 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985044672528 139985223850039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1068] ppid=877 vsize=13802796 CPUtime=144.82 cores=1,3,5,7,9,11,13,15
/proc/878/task/1068/stat : 1068 (java) R 877 877 7621 0 -1 4202560 3796 0 0 0 14481 1 0 0 20 0 28 0 4025195 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985039409432 139985224228614 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1069] ppid=877 vsize=13802796 CPUtime=145.56 cores=1,3,5,7,9,11,13,15
/proc/878/task/1069/stat : 1069 (java) R 877 877 7621 0 -1 4202560 3189 0 0 0 14555 1 0 0 20 0 28 0 4025195 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985042570480 139985223488452 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1070] ppid=877 vsize=13802796 CPUtime=146.27 cores=1,3,5,7,9,11,13,15
/proc/878/task/1070/stat : 1070 (java) R 877 877 7621 0 -1 4202560 486 0 0 0 14627 0 0 0 20 0 28 0 4025195 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985047830792 139985223094679 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1072] ppid=877 vsize=13802796 CPUtime=145.05 cores=1,3,5,7,9,11,13,15
/proc/878/task/1072/stat : 1072 (java) R 877 877 7621 0 -1 4202560 1399 0 0 0 14504 1 0 0 20 0 28 0 4025195 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985046777880 139985215916471 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1073] ppid=877 vsize=13802796 CPUtime=146.31 cores=1,3,5,7,9,11,13,15
/proc/878/task/1073/stat : 1073 (java) R 877 877 7621 0 -1 4202560 1213 0 0 0 14631 0 0 0 20 0 28 0 4025195 14134063104 866581 33554432000 4194304 4196468 140728542685264 139985040460952 139985224228640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
Current children cumulated CPU time (s) 2225.91
Current children cumulated vsize (KiB) 13812308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+304.202 s]
/proc/loadavg: 12.51 14.45 14.87 17/301 1483
/proc/meminfo: memFree=23401388/32770624 swapFree=5800/244476
[pid=877] ppid=874 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/877/stat : 877 (xcsp3-exec) S 874 877 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4011624 9740288 346 33554432000 4194304 5098028 140724430828656 140724430826760 139843841602172 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31113216 140724430832782 140724430832992 140724430832992 140724430835691 0
/proc/877/statm: 2378 346 289 221 0 87 0
[pid=878] ppid=877 vsize=13802796 CPUtime=2400.14 cores=1,3,5,7,9,11,13,15
/proc/878/stat : 878 (java) S 877 877 7621 0 -1 1077944320 115846 0 0 0 239757 257 0 0 20 0 28 0 4011624 14134063104 866099 33554432000 4194304 4196468 140728542685264 140728542667808 139985603489527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
/proc/878/statm: 3450699 866099 3292 1 0 3437932 0
[pid=878/tid=879] ppid=877 vsize=13802796 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/878/task/879/stat : 879 (java) S 877 877 7621 0 -1 1077944384 8603 0 0 0 161 6 0 0 20 0 28 0 4011625 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985607730304 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=881] ppid=877 vsize=13802796 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/878/task/881/stat : 881 (java) S 877 877 7621 0 -1 1077944384 1616 0 0 0 22 17 0 0 20 0 28 0 4011626 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985535625616 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=882] ppid=877 vsize=13802796 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/878/task/882/stat : 882 (java) S 877 877 7621 0 -1 1077944384 1531 0 0 0 24 19 0 0 20 0 28 0 4011626 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985201105168 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=883] ppid=877 vsize=13802796 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/878/task/883/stat : 883 (java) S 877 877 7621 0 -1 1077944384 1021 0 0 0 23 19 0 0 20 0 28 0 4011626 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985200052880 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=884] ppid=877 vsize=13802796 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/878/task/884/stat : 884 (java) S 877 877 7621 0 -1 1077944384 1096 0 0 0 22 19 0 0 20 0 28 0 4011626 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985199000080 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=885] ppid=877 vsize=13802796 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/878/task/885/stat : 885 (java) S 877 877 7621 0 -1 1077944384 1120 0 0 0 23 16 0 0 20 0 28 0 4011626 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985197947792 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=886] ppid=877 vsize=13802796 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/878/task/886/stat : 886 (java) S 877 877 7621 0 -1 1077944384 969 0 0 0 24 16 0 0 20 0 28 0 4011626 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985196894992 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=887] ppid=877 vsize=13802796 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/878/task/887/stat : 887 (java) S 877 877 7621 0 -1 1077944384 911 0 0 0 23 19 0 0 20 0 28 0 4011626 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985195842704 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=888] ppid=877 vsize=13802796 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/878/task/888/stat : 888 (java) S 877 877 7621 0 -1 1077944384 927 0 0 0 22 19 0 0 20 0 28 0 4011626 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985194789904 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=889] ppid=877 vsize=13802796 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/878/task/889/stat : 889 (java) S 877 877 7621 0 -1 1077944384 5205 0 0 0 8 14 0 0 20 0 28 0 4011628 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985132968048 139985603500674 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=890] ppid=877 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/890/stat : 890 (java) S 877 877 7621 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4011629 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985063764832 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=891] ppid=877 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/891/stat : 891 (java) S 877 877 7621 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 4011629 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985062712448 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=892] ppid=877 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/892/stat : 892 (java) S 877 877 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4011633 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985061660752 139985603508123 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=893] ppid=877 vsize=13802796 CPUtime=4.67 cores=1,3,5,7,9,11,13,15
/proc/878/task/893/stat : 893 (java) S 877 877 7621 0 -1 1077944384 11271 0 0 0 465 2 0 0 20 0 28 0 4011633 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985060608624 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=894] ppid=877 vsize=13802796 CPUtime=5.07 cores=1,3,5,7,9,11,13,15
/proc/878/task/894/stat : 894 (java) S 877 877 7621 0 -1 1077944384 14647 0 0 0 505 2 0 0 20 0 28 0 4011633 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985059555824 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=895] ppid=877 vsize=13802796 CPUtime=4.41 cores=1,3,5,7,9,11,13,15
/proc/878/task/895/stat : 895 (java) S 877 877 7621 0 -1 1077944384 10733 0 0 0 439 2 0 0 20 0 28 0 4011633 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985058503536 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=896] ppid=877 vsize=13802796 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/878/task/896/stat : 896 (java) S 877 877 7621 0 -1 1077944384 15980 0 0 0 140 3 0 0 20 0 28 0 4011633 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985057450736 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=897] ppid=877 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/878/task/897/stat : 897 (java) S 877 877 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4011634 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985056397664 139985603499733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=898] ppid=877 vsize=13802796 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/878/task/898/stat : 898 (java) S 877 877 7621 0 -1 1077944384 760 0 0 0 7 10 0 0 20 0 28 0 4011634 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985055344944 139985603500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1065] ppid=877 vsize=13802796 CPUtime=167.46 cores=1,3,5,7,9,11,13,15
/proc/878/task/1065/stat : 1065 (java) R 877 877 7621 0 -1 4202560 1260 0 0 0 16746 0 0 0 20 0 28 0 4025195 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985043618584 139985224228614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1066] ppid=877 vsize=13802796 CPUtime=167.8 cores=1,3,5,7,9,11,13,15
/proc/878/task/1066/stat : 1066 (java) R 877 877 7621 0 -1 4202560 1635 0 0 0 16779 1 0 0 20 0 28 0 4025195 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985041514248 139985219167867 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1067] ppid=877 vsize=13802796 CPUtime=168.14 cores=1,3,5,7,9,11,13,15
/proc/878/task/1067/stat : 1067 (java) R 877 877 7621 0 -1 4202560 3845 0 0 0 16811 3 0 0 20 0 28 0 4025195 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985044672528 139985223850445 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1068] ppid=877 vsize=13802796 CPUtime=166.64 cores=1,3,5,7,9,11,13,15
/proc/878/task/1068/stat : 1068 (java) R 877 877 7621 0 -1 4202560 3995 0 0 0 16663 1 0 0 20 0 28 0 4025195 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985039409256 139985224553607 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1069] ppid=877 vsize=13802796 CPUtime=167.08 cores=1,3,5,7,9,11,13,15
/proc/878/task/1069/stat : 1069 (java) R 877 877 7621 0 -1 4202560 3540 0 0 0 16707 1 0 0 20 0 28 0 4025195 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985042570480 139985223094381 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1070] ppid=877 vsize=13802796 CPUtime=168.1 cores=1,3,5,7,9,11,13,15
/proc/878/task/1070/stat : 1070 (java) R 877 877 7621 0 -1 4202560 553 0 0 0 16810 0 0 0 20 0 28 0 4025195 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985047830792 139985224093785 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1072] ppid=877 vsize=13802796 CPUtime=166.71 cores=1,3,5,7,9,11,13,15
/proc/878/task/1072/stat : 1072 (java) R 877 877 7621 0 -1 4202560 1589 0 0 0 16670 1 0 0 20 0 28 0 4025195 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985046777432 139985223488452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
[pid=878/tid=1073] ppid=877 vsize=13802796 CPUtime=168.14 cores=1,3,5,7,9,11,13,15
/proc/878/task/1073/stat : 1073 (java) R 877 877 7621 0 -1 4202560 1403 0 0 0 16814 0 0 0 20 0 28 0 4025195 14134063104 866099 33554432000 4194304 4196468 140728542685264 139985040461448 139985225864599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14131200 140728542688444 140728542688620 140728542688620 140728542691279 0
Current children cumulated CPU time (s) 2400.14
Current children cumulated vsize (KiB) 13812308
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 878 sig 9
??? kill 877 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 877 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3118
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.003118
# while last known CPU time is 2400.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.212
CPU time (s): 2400.14
CPU user time (s): 2397.57
CPU system time (s): 2.57
CPU usage (%): 788.968
Max. virtual memory (cumulated for all children) (KiB): 13813284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003118
system time used= 0
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.78841 second user time and 4.63332 second system time
The end