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-4254070-1501615535/watcher-4254070-1501615535 -o /tmp/evaluation-result-4254070-1501615535/solver-4254070-1501615535 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18990 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 229440896 HOME/instance-4254070-1501615535.xml
pid=22931
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 2.04 2.10 2.03 3/201 22934
/proc/meminfo: memFree=31722056/32770624 swapFree=0/209464
[pid=22934] ppid=22931 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (runsolver) D 22931 22934 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 61207053 24240128 107 18446744073709551615 4194304 4338465 140734790192256 140734790189896 139970206786263 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 11513856 140734790193244 140734790193733 140734790193733 140734790197194 0
/proc/22934/statm: 5918 107 54 36 0 2156 0
[startup+0.100139 s]
/proc/loadavg: 2.04 2.10 2.03 3/201 22934
/proc/meminfo: memFree=31722056/32770624 swapFree=0/209464
[pid=22934] ppid=22931 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (xcsp3-exec) S 22931 22934 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61207053 9740288 345 18446744073709551615 4194304 5098028 140735490365824 140735490363928 139684863251068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 26513408 140735490367899 140735490368102 140735490368102 140735490371563 0
/proc/22934/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200502 s]
/proc/loadavg: 2.04 2.10 2.03 3/201 22934
/proc/meminfo: memFree=31722056/32770624 swapFree=0/209464
[pid=22934] ppid=22931 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (xcsp3-exec) S 22931 22934 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61207053 9740288 345 18446744073709551615 4194304 5098028 140735490365824 140735490363928 139684863251068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 26513408 140735490367899 140735490368102 140735490368102 140735490371563 0
/proc/22934/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300338 s]
/proc/loadavg: 2.04 2.10 2.03 3/201 22934
/proc/meminfo: memFree=31722056/32770624 swapFree=0/209464
[pid=22934] ppid=22931 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (xcsp3-exec) S 22931 22934 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61207053 9740288 345 18446744073709551615 4194304 5098028 140735490365824 140735490363928 139684863251068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 26513408 140735490367899 140735490368102 140735490368102 140735490371563 0
/proc/22934/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701063 s]
/proc/loadavg: 2.04 2.10 2.03 3/201 22934
/proc/meminfo: memFree=31722056/32770624 swapFree=0/209464
[pid=22934] ppid=22931 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (xcsp3-exec) S 22931 22934 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61207053 9740288 345 18446744073709551615 4194304 5098028 140735490365824 140735490363928 139684863251068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 26513408 140735490367899 140735490368102 140735490368102 140735490371563 0
/proc/22934/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 2.04 2.10 2.03 5/217 22950
/proc/meminfo: memFree=31622952/32770624 swapFree=0/209252
[pid=22934] ppid=22931 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (xcsp3-exec) S 22931 22934 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61207053 9740288 345 18446744073709551615 4194304 5098028 140735490365824 140735490363928 139684863251068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 26513408 140735490367899 140735490368102 140735490368102 140735490371563 0
/proc/22934/statm: 2378 345 289 221 0 87 0
[pid=22936] ppid=22934 vsize=13980732 CPUtime=3.61 cores=0,2,4,6
/proc/22936/stat : 22936 (java) S 22934 22934 18930 0 -1 1077944320 37459 0 0 0 354 7 0 0 20 0 15 0 61207058 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140735765161104 140128508616439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
/proc/22936/statm: 3495183 29225 3179 1 0 3483484 0
[pid=22936/tid=22937] ppid=22934 vsize=13980732 CPUtime=1.39 cores=0,2,4,6
/proc/22936/task/22937/stat : 22937 (java) R 22934 22934 18930 0 -1 4202560 8726 0 0 0 136 3 0 0 20 0 15 0 61207058 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140128512853344 140128494560551 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22938] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22938/stat : 22938 (java) S 22934 22934 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140128108498064 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22939] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22939/stat : 22939 (java) S 22934 22934 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140128107445264 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22940] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22940/stat : 22940 (java) S 22934 22934 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140128106392464 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22941] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22941/stat : 22941 (java) S 22934 22934 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140128105339664 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22942] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22942/stat : 22942 (java) S 22934 22934 18930 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 61207060 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140127425280368 140128508627586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22943] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22943/stat : 22943 (java) S 22934 22934 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140127424226336 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22944] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22944/stat : 22944 (java) S 22934 22934 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140127423173488 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22945] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22945/stat : 22945 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140127422121808 140128508635035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22946] ppid=22934 vsize=13980732 CPUtime=0.95 cores=0,2,4,6
/proc/22936/task/22946/stat : 22946 (java) S 22934 22934 18930 0 -1 1077944384 10051 0 0 0 94 1 0 0 20 0 15 0 61207064 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140127421070192 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22947] ppid=22934 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/22936/task/22947/stat : 22947 (java) S 22934 22934 18930 0 -1 1077944384 15953 0 0 0 97 1 0 0 20 0 15 0 61207064 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140127420017392 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22948] ppid=22934 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/22936/task/22948/stat : 22948 (java) S 22934 22934 18930 0 -1 1077944384 1410 0 0 0 24 0 0 0 20 0 15 0 61207064 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140127418964592 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22949] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22949/stat : 22949 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140127417912032 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22950] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22950/stat : 22950 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207067 14316269568 29225 18446744073709551615 4194304 4196468 140735765178560 140127416859312 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 1.88 2.07 2.02 3/217 22950
/proc/meminfo: memFree=31597636/32770624 swapFree=0/209252
[pid=22934] ppid=22931 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (xcsp3-exec) S 22931 22934 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61207053 9740288 345 18446744073709551615 4194304 5098028 140735490365824 140735490363928 139684863251068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 26513408 140735490367899 140735490368102 140735490368102 140735490371563 0
/proc/22934/statm: 2378 345 289 221 0 87 0
[pid=22936] ppid=22934 vsize=13980732 CPUtime=5.58 cores=0,2,4,6
/proc/22936/stat : 22936 (java) S 22934 22934 18930 0 -1 1077944320 38746 0 0 0 550 8 0 0 20 0 15 0 61207058 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140735765161104 140128508616439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
/proc/22936/statm: 3495183 48305 3184 1 0 3483484 0
[pid=22936/tid=22937] ppid=22934 vsize=13980732 CPUtime=2.99 cores=0,2,4,6
/proc/22936/task/22937/stat : 22937 (java) R 22934 22934 18930 0 -1 4202560 9098 0 0 0 295 4 0 0 20 0 15 0 61207058 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140128512854936 140128153778572 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22938] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22938/stat : 22938 (java) S 22934 22934 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140128108498064 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22939] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22939/stat : 22939 (java) S 22934 22934 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140128107445264 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22940] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22940/stat : 22940 (java) S 22934 22934 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140128106392464 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22941] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22941/stat : 22941 (java) S 22934 22934 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140128105339664 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22942] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22942/stat : 22942 (java) S 22934 22934 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61207060 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140127425280368 140128508627586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22943] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22943/stat : 22943 (java) S 22934 22934 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140127424226336 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22944] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22944/stat : 22944 (java) S 22934 22934 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140127423173488 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22945] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22945/stat : 22945 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140127422121808 140128508635035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22946] ppid=22934 vsize=13980732 CPUtime=1.1 cores=0,2,4,6
/proc/22936/task/22946/stat : 22946 (java) S 22934 22934 18930 0 -1 1077944384 10276 0 0 0 109 1 0 0 20 0 15 0 61207064 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140127421070192 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22947] ppid=22934 vsize=13980732 CPUtime=1.17 cores=0,2,4,6
/proc/22936/task/22947/stat : 22947 (java) S 22934 22934 18930 0 -1 1077944384 16114 0 0 0 116 1 0 0 20 0 15 0 61207064 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140127420017392 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22948] ppid=22934 vsize=13980732 CPUtime=0.27 cores=0,2,4,6
/proc/22936/task/22948/stat : 22948 (java) S 22934 22934 18930 0 -1 1077944384 1867 0 0 0 27 0 0 0 20 0 15 0 61207064 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140127418964592 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22949] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22949/stat : 22949 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140127417912032 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22950] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22950/stat : 22950 (java) S 22934 22934 18930 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 61207067 14316269568 48305 18446744073709551615 4194304 4196468 140735765178560 140127416859312 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 13990244
[startup+6.3008 s]
/proc/loadavg: 1.88 2.07 2.02 3/217 22950
/proc/meminfo: memFree=31527768/32770624 swapFree=0/209252
[pid=22934] ppid=22931 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (xcsp3-exec) S 22931 22934 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61207053 9740288 345 18446744073709551615 4194304 5098028 140735490365824 140735490363928 139684863251068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 26513408 140735490367899 140735490368102 140735490368102 140735490371563 0
/proc/22934/statm: 2378 345 289 221 0 87 0
[pid=22936] ppid=22934 vsize=13980732 CPUtime=8.84 cores=0,2,4,6
/proc/22936/stat : 22936 (java) S 22934 22934 18930 0 -1 1077944320 40307 0 0 0 874 10 0 0 20 0 15 0 61207058 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140735765161104 140128508616439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
/proc/22936/statm: 3495183 52152 3203 1 0 3483484 0
[pid=22936/tid=22937] ppid=22934 vsize=13980732 CPUtime=6.18 cores=0,2,4,6
/proc/22936/task/22937/stat : 22937 (java) R 22934 22934 18930 0 -1 4202560 9162 0 0 0 614 4 0 0 20 0 15 0 61207058 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140128512852600 140128153136573 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22938] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22938/stat : 22938 (java) S 22934 22934 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140128108498064 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22939] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22939/stat : 22939 (java) S 22934 22934 18930 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140128107445264 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22940] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22940/stat : 22940 (java) S 22934 22934 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140128106392464 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22941] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22941/stat : 22941 (java) S 22934 22934 18930 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140128105339664 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22942] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22942/stat : 22942 (java) S 22934 22934 18930 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 61207060 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140127425280368 140128508627586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22943] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22943/stat : 22943 (java) S 22934 22934 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140127424226336 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22944] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22944/stat : 22944 (java) S 22934 22934 18930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140127423173488 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22945] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22945/stat : 22945 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140127422121808 140128508635035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22946] ppid=22934 vsize=13980732 CPUtime=1.12 cores=0,2,4,6
/proc/22936/task/22946/stat : 22946 (java) S 22934 22934 18930 0 -1 1077944384 10324 0 0 0 111 1 0 0 20 0 15 0 61207064 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140127421070192 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22947] ppid=22934 vsize=13980732 CPUtime=1.18 cores=0,2,4,6
/proc/22936/task/22947/stat : 22947 (java) S 22934 22934 18930 0 -1 1077944384 16139 0 0 0 117 1 0 0 20 0 15 0 61207064 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140127420017392 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22948] ppid=22934 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/22936/task/22948/stat : 22948 (java) S 22934 22934 18930 0 -1 1077944384 2311 0 0 0 28 0 0 0 20 0 15 0 61207064 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140127418964592 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22949] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22949/stat : 22949 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140127417912032 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22950] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22950/stat : 22950 (java) S 22934 22934 18930 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 61207067 14316269568 52152 18446744073709551615 4194304 4196468 140735765178560 140127416859312 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
Current children cumulated CPU time (s) 8.84
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.74 2.03 2.01 3/217 22950
/proc/meminfo: memFree=31536284/32770624 swapFree=0/209260
[pid=22934] ppid=22931 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (xcsp3-exec) S 22931 22934 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61207053 9740288 345 18446744073709551615 4194304 5098028 140735490365824 140735490363928 139684863251068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 26513408 140735490367899 140735490368102 140735490368102 140735490371563 0
/proc/22934/statm: 2378 345 289 221 0 87 0
[pid=22936] ppid=22934 vsize=13980732 CPUtime=15.37 cores=0,2,4,6
/proc/22936/stat : 22936 (java) S 22934 22934 18930 0 -1 1077944320 43735 0 0 0 1526 11 0 0 20 0 15 0 61207058 14316269568 52858 18446744073709551615 4194304 4196468 140735765178560 140735765161104 140128508616439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
/proc/22936/statm: 3495183 52858 3210 1 0 3483484 0
[pid=22936/tid=22937] ppid=22934 vsize=13980732 CPUtime=12.56 cores=0,2,4,6
/proc/22936/task/22937/stat : 22937 (java) R 22934 22934 18930 0 -1 4202560 9723 0 0 0 1252 4 0 0 20 0 15 0 61207058 14316269568 52858 18446744073709551615 4194304 4196468 140735765178560 140128512855248 140128154042921 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22938] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22938/stat : 22938 (java) S 22934 22934 18930 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 61207059 14316269568 52858 18446744073709551615 4194304 4196468 140735765178560 140128108498064 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22939] ppid=22934 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/22936/task/22939/stat : 22939 (java) S 22934 22934 18930 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 15 0 61207059 14316269568 52858 18446744073709551615 4194304 4196468 140735765178560 140128107445264 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
################
# More data... #
################
/proc/22936/stat : 22936 (java) S 22934 22934 18930 0 -1 1077944320 57977 0 0 0 10555 26 0 0 20 0 15 0 61207058 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140735765161104 140128508616439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
/proc/22936/statm: 3495183 60785 3212 1 0 3483484 0
[pid=22936/tid=22937] ppid=22934 vsize=13980732 CPUtime=101.66 cores=0,2,4,6
/proc/22936/task/22937/stat : 22937 (java) R 22934 22934 18930 0 -1 4202560 14530 0 0 0 10160 6 0 0 20 0 15 0 61207058 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140128512856000 140128494684564 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22938] ppid=22934 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/22936/task/22938/stat : 22938 (java) S 22934 22934 18930 0 -1 1077944384 591 0 0 0 20 3 0 0 20 0 15 0 61207059 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140128108498064 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22939] ppid=22934 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/22936/task/22939/stat : 22939 (java) S 22934 22934 18930 0 -1 1077944384 1468 0 0 0 21 3 0 0 20 0 15 0 61207059 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140128107445264 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22940] ppid=22934 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/22936/task/22940/stat : 22940 (java) S 22934 22934 18930 0 -1 1077944384 1164 0 0 0 21 3 0 0 20 0 15 0 61207059 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140128106392464 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22941] ppid=22934 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/22936/task/22941/stat : 22941 (java) S 22934 22934 18930 0 -1 1077944384 1246 0 0 0 21 3 0 0 20 0 15 0 61207059 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140128105339664 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22942] ppid=22934 vsize=13980732 CPUtime=0.19 cores=0,2,4,6
/proc/22936/task/22942/stat : 22942 (java) S 22934 22934 18930 0 -1 1077944384 1437 0 0 0 17 2 0 0 20 0 15 0 61207060 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140127425280368 140128508627586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22943] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22943/stat : 22943 (java) S 22934 22934 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140127424226336 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22944] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22944/stat : 22944 (java) S 22934 22934 18930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140127423173488 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22945] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22945/stat : 22945 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140127422121808 140128508635035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22946] ppid=22934 vsize=13980732 CPUtime=1.25 cores=0,2,4,6
/proc/22936/task/22946/stat : 22946 (java) S 22934 22934 18930 0 -1 1077944384 13075 0 0 0 124 1 0 0 20 0 15 0 61207064 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140127421070192 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22947] ppid=22934 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/22936/task/22947/stat : 22947 (java) S 22934 22934 18930 0 -1 1077944384 19508 0 0 0 132 1 0 0 20 0 15 0 61207064 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140127420017392 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22948] ppid=22934 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/22936/task/22948/stat : 22948 (java) S 22934 22934 18930 0 -1 1077944384 3108 0 0 0 30 0 0 0 20 0 15 0 61207064 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140127418964592 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22949] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22949/stat : 22949 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140127417912032 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22950] ppid=22934 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/22936/task/22950/stat : 22950 (java) S 22934 22934 18930 0 -1 1077944384 488 0 0 0 2 2 0 0 20 0 15 0 61207067 14316269568 60785 18446744073709551615 4194304 4196468 140735765178560 140127416859312 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
Current children cumulated CPU time (s) 105.81
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.24 1.78 1.92 3/216 22955
/proc/meminfo: memFree=31262156/32770624 swapFree=0/209380
[pid=22934] ppid=22931 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (xcsp3-exec) S 22931 22934 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61207053 9740288 345 18446744073709551615 4194304 5098028 140735490365824 140735490363928 139684863251068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 26513408 140735490367899 140735490368102 140735490368102 140735490371563 0
/proc/22934/statm: 2378 345 289 221 0 87 0
[pid=22936] ppid=22934 vsize=13980732 CPUtime=166.5 cores=0,2,4,6
/proc/22936/stat : 22936 (java) S 22934 22934 18930 0 -1 1077944320 67063 0 0 0 16610 40 0 0 20 0 15 0 61207058 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140735765161104 140128508616439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
/proc/22936/statm: 3495183 85799 3212 1 0 3483484 0
[pid=22936/tid=22937] ppid=22934 vsize=13980732 CPUtime=161.22 cores=0,2,4,6
/proc/22936/task/22937/stat : 22937 (java) R 22934 22934 18930 0 -1 4202560 19797 0 0 0 16114 8 0 0 20 0 15 0 61207058 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140128512856000 140128154040160 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22938] ppid=22934 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/22936/task/22938/stat : 22938 (java) S 22934 22934 18930 0 -1 1077944384 980 0 0 0 41 5 0 0 20 0 15 0 61207059 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140128108498064 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22939] ppid=22934 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/22936/task/22939/stat : 22939 (java) S 22934 22934 18930 0 -1 1077944384 1940 0 0 0 41 6 0 0 20 0 15 0 61207059 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140128107445264 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22940] ppid=22934 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/22936/task/22940/stat : 22940 (java) S 22934 22934 18930 0 -1 1077944384 1814 0 0 0 41 5 0 0 20 0 15 0 61207059 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140128106392464 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22941] ppid=22934 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/22936/task/22941/stat : 22941 (java) S 22934 22934 18930 0 -1 1077944384 1572 0 0 0 41 5 0 0 20 0 15 0 61207059 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140128105339664 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22942] ppid=22934 vsize=13980732 CPUtime=0.32 cores=0,2,4,6
/proc/22936/task/22942/stat : 22942 (java) S 22934 22934 18930 0 -1 1077944384 1784 0 0 0 28 4 0 0 20 0 15 0 61207060 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140127425280368 140128508627586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22943] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22943/stat : 22943 (java) S 22934 22934 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140127424226336 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22944] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22944/stat : 22944 (java) S 22934 22934 18930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140127423173488 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22945] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22945/stat : 22945 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140127422121808 140128508635035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22946] ppid=22934 vsize=13980732 CPUtime=1.27 cores=0,2,4,6
/proc/22936/task/22946/stat : 22946 (java) S 22934 22934 18930 0 -1 1077944384 13923 0 0 0 126 1 0 0 20 0 15 0 61207064 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140127421070192 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22947] ppid=22934 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/22936/task/22947/stat : 22947 (java) S 22934 22934 18930 0 -1 1077944384 19705 0 0 0 133 2 0 0 20 0 15 0 61207064 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140127420017392 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22948] ppid=22934 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/22936/task/22948/stat : 22948 (java) S 22934 22934 18930 0 -1 1077944384 3678 0 0 0 30 0 0 0 20 0 15 0 61207064 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140127418964592 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22949] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22949/stat : 22949 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140127417912032 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22950] ppid=22934 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/22936/task/22950/stat : 22950 (java) S 22934 22934 18930 0 -1 1077944384 508 0 0 0 4 3 0 0 20 0 15 0 61207067 14316269568 85799 18446744073709551615 4194304 4196468 140735765178560 140127416859312 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
Current children cumulated CPU time (s) 166.5
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.46 1.75 1.90 3/216 22957
/proc/meminfo: memFree=31143484/32770624 swapFree=0/209420
[pid=22934] ppid=22931 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (xcsp3-exec) S 22931 22934 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61207053 9740288 345 18446744073709551615 4194304 5098028 140735490365824 140735490363928 139684863251068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 26513408 140735490367899 140735490368102 140735490368102 140735490371563 0
/proc/22934/statm: 2378 345 289 221 0 87 0
[pid=22936] ppid=22934 vsize=13980732 CPUtime=227.33 cores=0,2,4,6
/proc/22936/stat : 22936 (java) S 22934 22934 18930 0 -1 1077944320 75938 0 0 0 22679 54 0 0 20 0 15 0 61207058 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140735765161104 140128508616439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
/proc/22936/statm: 3495183 103928 3212 1 0 3483484 0
[pid=22936/tid=22937] ppid=22934 vsize=13980732 CPUtime=220.75 cores=0,2,4,6
/proc/22936/task/22937/stat : 22937 (java) R 22934 22934 18930 0 -1 4202560 27157 0 0 0 22066 9 0 0 20 0 15 0 61207058 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140128512855520 140128154040218 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22938] ppid=22934 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/22936/task/22938/stat : 22938 (java) S 22934 22934 18930 0 -1 1077944384 1293 0 0 0 67 8 0 0 20 0 15 0 61207059 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140128108498064 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22939] ppid=22934 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/22936/task/22939/stat : 22939 (java) S 22934 22934 18930 0 -1 1077944384 2289 0 0 0 67 8 0 0 20 0 15 0 61207059 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140128107445264 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22940] ppid=22934 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/22936/task/22940/stat : 22940 (java) S 22934 22934 18930 0 -1 1077944384 2103 0 0 0 67 8 0 0 20 0 15 0 61207059 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140128106392464 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22941] ppid=22934 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/22936/task/22941/stat : 22941 (java) S 22934 22934 18930 0 -1 1077944384 1919 0 0 0 66 8 0 0 20 0 15 0 61207059 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140128105339664 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22942] ppid=22934 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/22936/task/22942/stat : 22942 (java) S 22934 22934 18930 0 -1 1077944384 1855 0 0 0 39 6 0 0 20 0 15 0 61207060 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140127425280368 140128508627586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22943] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22943/stat : 22943 (java) S 22934 22934 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140127424226336 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22944] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22944/stat : 22944 (java) S 22934 22934 18930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140127423173488 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22945] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22945/stat : 22945 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140127422121808 140128508635035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22946] ppid=22934 vsize=13980732 CPUtime=1.27 cores=0,2,4,6
/proc/22936/task/22946/stat : 22946 (java) S 22934 22934 18930 0 -1 1077944384 13923 0 0 0 126 1 0 0 20 0 15 0 61207064 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140127421070192 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22947] ppid=22934 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/22936/task/22947/stat : 22947 (java) S 22934 22934 18930 0 -1 1077944384 19833 0 0 0 134 2 0 0 20 0 15 0 61207064 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140127420017392 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22948] ppid=22934 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/22936/task/22948/stat : 22948 (java) S 22934 22934 18930 0 -1 1077944384 3694 0 0 0 30 0 0 0 20 0 15 0 61207064 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140127418964592 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22949] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22949/stat : 22949 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140127417912032 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22950] ppid=22934 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/22936/task/22950/stat : 22950 (java) S 22934 22934 18930 0 -1 1077944384 510 0 0 0 5 5 0 0 20 0 15 0 61207067 14316269568 103928 18446744073709551615 4194304 4196468 140735765178560 140127416859312 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
Current children cumulated CPU time (s) 227.33
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.50 1.74 1.90 3/215 23035
/proc/meminfo: memFree=31320212/32770624 swapFree=0/209480
[pid=22934] ppid=22931 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (xcsp3-exec) S 22931 22934 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61207053 9740288 345 18446744073709551615 4194304 5098028 140735490365824 140735490363928 139684863251068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 26513408 140735490367899 140735490368102 140735490368102 140735490371563 0
/proc/22934/statm: 2378 345 289 221 0 87 0
[pid=22936] ppid=22934 vsize=13980732 CPUtime=245.06 cores=0,2,4,6
/proc/22936/stat : 22936 (java) S 22934 22934 18930 0 -1 1077944320 77027 0 0 0 24451 55 0 0 20 0 15 0 61207058 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140735765161104 140128508616439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
/proc/22936/statm: 3495183 103729 3212 1 0 3483484 0
[pid=22936/tid=22937] ppid=22934 vsize=13980732 CPUtime=238.43 cores=0,2,4,6
/proc/22936/task/22937/stat : 22937 (java) R 22934 22934 18930 0 -1 4202560 27463 0 0 0 23833 10 0 0 20 0 15 0 61207058 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140128512855632 140128153079366 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22938] ppid=22934 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/22936/task/22938/stat : 22938 (java) S 22934 22934 18930 0 -1 1077944384 1318 0 0 0 68 8 0 0 20 0 15 0 61207059 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140128108498064 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22939] ppid=22934 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/22936/task/22939/stat : 22939 (java) S 22934 22934 18930 0 -1 1077944384 2323 0 0 0 68 8 0 0 20 0 15 0 61207059 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140128107445264 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22940] ppid=22934 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/22936/task/22940/stat : 22940 (java) S 22934 22934 18930 0 -1 1077944384 2118 0 0 0 68 8 0 0 20 0 15 0 61207059 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140128106392464 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22941] ppid=22934 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/22936/task/22941/stat : 22941 (java) S 22934 22934 18930 0 -1 1077944384 2352 0 0 0 67 8 0 0 20 0 15 0 61207059 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140128105339664 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22942] ppid=22934 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/22936/task/22942/stat : 22942 (java) S 22934 22934 18930 0 -1 1077944384 2090 0 0 0 39 6 0 0 20 0 15 0 61207060 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140127425280368 140128508627586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22943] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22943/stat : 22943 (java) S 22934 22934 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140127424226336 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22944] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22944/stat : 22944 (java) S 22934 22934 18930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 61207061 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140127423173488 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22945] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22945/stat : 22945 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140127422121808 140128508635035 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22946] ppid=22934 vsize=13980732 CPUtime=1.27 cores=0,2,4,6
/proc/22936/task/22946/stat : 22946 (java) S 22934 22934 18930 0 -1 1077944384 13942 0 0 0 126 1 0 0 20 0 15 0 61207064 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140127421070192 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22947] ppid=22934 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/22936/task/22947/stat : 22947 (java) S 22934 22934 18930 0 -1 1077944384 19833 0 0 0 134 2 0 0 20 0 15 0 61207064 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140127420017392 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22948] ppid=22934 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/22936/task/22948/stat : 22948 (java) S 22934 22934 18930 0 -1 1077944384 3694 0 0 0 30 0 0 0 20 0 15 0 61207064 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140127418964592 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22949] ppid=22934 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22936/task/22949/stat : 22949 (java) S 22934 22934 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61207064 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140127417912032 140128508626645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
[pid=22936/tid=22950] ppid=22934 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/22936/task/22950/stat : 22950 (java) S 22934 22934 18930 0 -1 1077944384 532 0 0 0 6 6 0 0 20 0 15 0 61207067 14316269568 103729 18446744073709551615 4194304 4196468 140735765178560 140127416859312 140128508627586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735765184979 140735765185154 140735765185154 140735765188559 0
Current children cumulated CPU time (s) 245.06
Current children cumulated vsize (KiB) 13990244
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 22936 sig 9
??? kill 22934 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.015
CPU time (s): 245.089
CPU user time (s): 244.525
CPU system time (s): 0.564034
CPU usage (%): 102.114
Max. virtual memory (cumulated for all children) (KiB): 13992988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.525
system time used= 0.564034
maximum resident set size= 424436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78114
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18832
involuntary context switches= 666
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17235 second user time and 1.50146 second system time
The end