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-4255077-1501618197/watcher-4255077-1501618197 -o /tmp/evaluation-result-4255077-1501618197/solver-4255077-1501618197 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501617097-24794 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1670379332 HOME/instance-4255077-1501618197.xml
pid=24994
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: 1.59 1.62 1.81 3/185 24997
/proc/meminfo: memFree=31908880/32770624 swapFree=0/212428
[pid=24997] ppid=24994 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24997/stat : 24997 (runsolver) D 24994 24997 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 61473246 24240128 108 18446744073709551615 4194304 4338465 140733523959504 140733523957144 140084715152087 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 29380608 140733523968091 140733523968581 140733523968581 140733523972042 0
/proc/24997/statm: 5918 108 54 36 0 2156 0
[startup+0.100023 s]
/proc/loadavg: 1.59 1.62 1.81 3/185 24997
/proc/meminfo: memFree=31908880/32770624 swapFree=0/212428
[pid=24997] ppid=24994 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24997/stat : 24997 (xcsp3-exec) S 24994 24997 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61473246 9740288 345 18446744073709551615 4194304 5098028 140737275701424 140737275699528 139803496764028 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20336640 140737275707802 140737275708006 140737275708006 140737275711467 0
/proc/24997/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200338 s]
/proc/loadavg: 1.59 1.62 1.81 3/185 24997
/proc/meminfo: memFree=31908880/32770624 swapFree=0/212428
[pid=24997] ppid=24994 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24997/stat : 24997 (xcsp3-exec) S 24994 24997 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61473246 9740288 345 18446744073709551615 4194304 5098028 140737275701424 140737275699528 139803496764028 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20336640 140737275707802 140737275708006 140737275708006 140737275711467 0
/proc/24997/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30116 s]
/proc/loadavg: 1.59 1.62 1.81 3/185 24997
/proc/meminfo: memFree=31908880/32770624 swapFree=0/212428
[pid=24997] ppid=24994 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24997/stat : 24997 (xcsp3-exec) S 24994 24997 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61473246 9740288 345 18446744073709551615 4194304 5098028 140737275701424 140737275699528 139803496764028 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20336640 140737275707802 140737275708006 140737275708006 140737275711467 0
/proc/24997/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70092 s]
/proc/loadavg: 1.59 1.62 1.81 3/185 24997
/proc/meminfo: memFree=31908880/32770624 swapFree=0/212428
[pid=24997] ppid=24994 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24997/stat : 24997 (xcsp3-exec) S 24994 24997 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61473246 9740288 345 18446744073709551615 4194304 5098028 140737275701424 140737275699528 139803496764028 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20336640 140737275707802 140737275708006 140737275708006 140737275711467 0
/proc/24997/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50065 s]
/proc/loadavg: 1.94 1.69 1.83 7/216 25028
/proc/meminfo: memFree=31665384/32770624 swapFree=0/212416
[pid=24997] ppid=24994 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24997/stat : 24997 (xcsp3-exec) S 24994 24997 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61473246 9740288 345 18446744073709551615 4194304 5098028 140737275701424 140737275699528 139803496764028 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20336640 140737275707802 140737275708006 140737275708006 140737275711467 0
/proc/24997/statm: 2378 345 289 221 0 87 0
[pid=25008] ppid=24997 vsize=13980732 CPUtime=3.73 cores=0,2,4,6
/proc/25008/stat : 25008 (java) S 24997 24997 18930 0 -1 1077944320 28264 0 0 0 365 8 0 0 20 0 15 0 61473256 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140720655922736 140525846785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
/proc/25008/statm: 3495183 32911 3191 1 0 3483484 0
[pid=25008/tid=25009] ppid=24997 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/25008/task/25009/stat : 25009 (java) R 24997 24997 18930 0 -1 4202560 8937 0 0 0 130 3 0 0 20 0 15 0 61473256 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140525851022040 140525445287376 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25010] ppid=24997 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25010/stat : 25010 (java) S 24997 24997 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61473257 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140525766200464 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25011] ppid=24997 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25011/stat : 25011 (java) S 24997 24997 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61473257 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140525765147664 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25012] ppid=24997 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25012/stat : 25012 (java) S 24997 24997 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61473257 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140525764094864 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25013] ppid=24997 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25013/stat : 25013 (java) S 24997 24997 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61473257 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140525763042064 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25019] ppid=24997 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25019/stat : 25019 (java) S 24997 24997 18930 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 61473258 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140524830562672 140525846796930 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25020] ppid=24997 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25020/stat : 25020 (java) S 24997 24997 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61473258 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140524829508640 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25021] ppid=24997 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25021/stat : 25021 (java) S 24997 24997 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61473259 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140524828455792 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25022] ppid=24997 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25022/stat : 25022 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140524827404112 140525846804379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25023] ppid=24997 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/25008/task/25023/stat : 25023 (java) R 24997 24997 18930 0 -1 4202560 9195 0 0 0 86 1 0 0 20 0 15 0 61473261 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140524826333920 140525831893800 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25024] ppid=24997 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/25008/task/25024/stat : 25024 (java) R 24997 24997 18930 0 -1 4202560 4516 0 0 0 86 1 0 0 20 0 15 0 61473261 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140524825285160 140525830271837 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25025] ppid=24997 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/25008/task/25025/stat : 25025 (java) S 24997 24997 18930 0 -1 1077944384 4297 0 0 0 61 1 0 0 20 0 15 0 61473261 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140524824246896 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25026] ppid=24997 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25026/stat : 25026 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140524823194336 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25028] ppid=24997 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25028/stat : 25028 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473267 14316269568 32911 18446744073709551615 4194304 4196468 140720655940192 140524822141616 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 1.94 1.69 1.83 7/216 25028
/proc/meminfo: memFree=31482736/32770624 swapFree=0/212416
[pid=24997] ppid=24994 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24997/stat : 24997 (xcsp3-exec) S 24994 24997 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61473246 9740288 345 18446744073709551615 4194304 5098028 140737275701424 140737275699528 139803496764028 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20336640 140737275707802 140737275708006 140737275708006 140737275711467 0
/proc/24997/statm: 2378 345 289 221 0 87 0
[pid=25008] ppid=24997 vsize=13982780 CPUtime=8.56 cores=0,2,4,6
/proc/25008/stat : 25008 (java) S 24997 24997 18930 0 -1 1077944320 32590 0 0 0 846 10 0 0 20 0 15 0 61473256 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140720655922736 140525846785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
/proc/25008/statm: 3495695 50084 3194 1 0 3483996 0
[pid=25008/tid=25009] ppid=24997 vsize=13982780 CPUtime=2.92 cores=0,2,4,6
/proc/25008/task/25009/stat : 25009 (java) R 24997 24997 18930 0 -1 4202560 10068 0 0 0 288 4 0 0 20 0 15 0 61473256 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140525851021888 140525449059497 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25010] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25010/stat : 25010 (java) S 24997 24997 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61473257 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140525766200464 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25011] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25011/stat : 25011 (java) S 24997 24997 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61473257 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140525765147664 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25012] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25012/stat : 25012 (java) S 24997 24997 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61473257 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140525764094864 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25013] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25013/stat : 25013 (java) S 24997 24997 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61473257 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140525763042064 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25019] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25019/stat : 25019 (java) S 24997 24997 18930 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 61473258 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140524830562672 140525846796930 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25020] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25020/stat : 25020 (java) S 24997 24997 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61473258 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140524829508640 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25021] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25021/stat : 25021 (java) S 24997 24997 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61473259 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140524828455792 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25022] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25022/stat : 25022 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140524827404112 140525846804379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25023] ppid=24997 vsize=13982780 CPUtime=2.41 cores=0,2,4,6
/proc/25008/task/25023/stat : 25023 (java) S 24997 24997 18930 0 -1 1077944384 10083 0 0 0 240 1 0 0 20 0 15 0 61473261 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140524826352496 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25024] ppid=24997 vsize=13982780 CPUtime=2.44 cores=0,2,4,6
/proc/25008/task/25024/stat : 25024 (java) S 24997 24997 18930 0 -1 1077944384 6282 0 0 0 243 1 0 0 20 0 15 0 61473261 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140524825299696 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25025] ppid=24997 vsize=13982780 CPUtime=0.75 cores=0,2,4,6
/proc/25008/task/25025/stat : 25025 (java) S 24997 24997 18930 0 -1 1077944384 4800 0 0 0 74 1 0 0 20 0 15 0 61473261 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140524824246896 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25026] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25026/stat : 25026 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140524823194336 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25028] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25028/stat : 25028 (java) S 24997 24997 18930 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 61473267 14318366720 50084 18446744073709551615 4194304 4196468 140720655940192 140524822141616 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
Current children cumulated CPU time (s) 8.56
Current children cumulated vsize (KiB) 13992292
[startup+6.30096 s]
/proc/loadavg: 2.03 1.72 1.83 3/216 25028
/proc/meminfo: memFree=31394532/32770624 swapFree=0/212428
[pid=24997] ppid=24994 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24997/stat : 24997 (xcsp3-exec) S 24994 24997 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61473246 9740288 345 18446744073709551615 4194304 5098028 140737275701424 140737275699528 139803496764028 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20336640 140737275707802 140737275708006 140737275708006 140737275711467 0
/proc/24997/statm: 2378 345 289 221 0 87 0
[pid=25008] ppid=24997 vsize=13982780 CPUtime=13.11 cores=0,2,4,6
/proc/25008/stat : 25008 (java) S 24997 24997 18930 0 -1 1077944320 35173 0 0 0 1298 13 0 0 20 0 15 0 61473256 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140720655922736 140525846785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
/proc/25008/statm: 3495695 58261 3218 1 0 3483996 0
[pid=25008/tid=25009] ppid=24997 vsize=13982780 CPUtime=6.1 cores=0,2,4,6
/proc/25008/task/25009/stat : 25009 (java) R 24997 24997 18930 0 -1 4202560 10120 0 0 0 605 5 0 0 20 0 15 0 61473256 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140525851021680 140525446268425 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25010] ppid=24997 vsize=13982780 CPUtime=0.01 cores=0,2,4,6
/proc/25008/task/25010/stat : 25010 (java) S 24997 24997 18930 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 15 0 61473257 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140525766200464 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25011] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25011/stat : 25011 (java) S 24997 24997 18930 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 61473257 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140525765147664 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25012] ppid=24997 vsize=13982780 CPUtime=0.01 cores=0,2,4,6
/proc/25008/task/25012/stat : 25012 (java) S 24997 24997 18930 0 -1 1077944384 515 0 0 0 1 0 0 0 20 0 15 0 61473257 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140525764094864 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25013] ppid=24997 vsize=13982780 CPUtime=0.01 cores=0,2,4,6
/proc/25008/task/25013/stat : 25013 (java) S 24997 24997 18930 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 15 0 61473257 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140525763042064 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25019] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25019/stat : 25019 (java) S 24997 24997 18930 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 15 0 61473258 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140524830562672 140525846796930 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25020] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25020/stat : 25020 (java) S 24997 24997 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61473258 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140524829508640 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25021] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25021/stat : 25021 (java) S 24997 24997 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 61473259 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140524828455792 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25022] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25022/stat : 25022 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140524827404112 140525846804379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25023] ppid=24997 vsize=13982780 CPUtime=3.16 cores=0,2,4,6
/proc/25008/task/25023/stat : 25023 (java) R 24997 24997 18930 0 -1 4202560 10833 0 0 0 315 1 0 0 20 0 15 0 61473261 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140524826352496 140525831909570 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25024] ppid=24997 vsize=13982780 CPUtime=2.92 cores=0,2,4,6
/proc/25008/task/25024/stat : 25024 (java) R 24997 24997 18930 0 -1 4202560 6520 0 0 0 291 1 0 0 20 0 15 0 61473261 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140524825299616 140525830172886 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25025] ppid=24997 vsize=13982780 CPUtime=0.8 cores=0,2,4,6
/proc/25008/task/25025/stat : 25025 (java) S 24997 24997 18930 0 -1 1077944384 5324 0 0 0 79 1 0 0 20 0 15 0 61473261 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140524824246896 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25026] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25026/stat : 25026 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140524823194336 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25028] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25028/stat : 25028 (java) S 24997 24997 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 61473267 14318366720 58261 18446744073709551615 4194304 4196468 140720655940192 140524822141616 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
Current children cumulated CPU time (s) 13.11
Current children cumulated vsize (KiB) 13992292
[startup+12.7006 s]
/proc/loadavg: 2.03 1.72 1.84 3/216 25028
/proc/meminfo: memFree=31195092/32770624 swapFree=0/212436
[pid=24997] ppid=24994 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24997/stat : 24997 (xcsp3-exec) S 24994 24997 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61473246 9740288 345 18446744073709551615 4194304 5098028 140737275701424 140737275699528 139803496764028 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20336640 140737275707802 140737275708006 140737275708006 140737275711467 0
/proc/24997/statm: 2378 345 289 221 0 87 0
[pid=25008] ppid=24997 vsize=13982780 CPUtime=20.67 cores=0,2,4,6
/proc/25008/stat : 25008 (java) S 24997 24997 18930 0 -1 1077944320 45233 0 0 0 2050 17 0 0 20 0 15 0 61473256 14318366720 65681 18446744073709551615 4194304 4196468 140720655940192 140720655922736 140525846785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
/proc/25008/statm: 3495695 65681 3227 1 0 3483996 0
[pid=25008/tid=25009] ppid=24997 vsize=13982780 CPUtime=12.46 cores=0,2,4,6
/proc/25008/task/25009/stat : 25009 (java) R 24997 24997 18930 0 -1 4202560 11281 0 0 0 1241 5 0 0 20 0 15 0 61473256 14318366720 65681 18446744073709551615 4194304 4196468 140720655940192 140525851025264 140525447388240 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25010] ppid=24997 vsize=13982780 CPUtime=0.05 cores=0,2,4,6
/proc/25008/task/25010/stat : 25010 (java) S 24997 24997 18930 0 -1 1077944384 285 0 0 0 4 1 0 0 20 0 15 0 61473257 14318366720 65681 18446744073709551615 4194304 4196468 140720655940192 140525766200464 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25011] ppid=24997 vsize=13982780 CPUtime=0.03 cores=0,2,4,6
/proc/25008/task/25011/stat : 25011 (java) S 24997 24997 18930 0 -1 1077944384 164 0 0 0 3 0 0 0 20 0 15 0 61473257 14318366720 65681 18446744073709551615 4194304 4196468 140720655940192 140525765147664 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
################
# More data... #
################
/proc/25008/statm: 3495695 83226 3229 1 0 3483996 0
[pid=25008/tid=25009] ppid=24997 vsize=13982780 CPUtime=101.62 cores=0,2,4,6
/proc/25008/task/25009/stat : 25009 (java) R 24997 24997 18930 0 -1 4202560 15699 0 0 0 10157 5 0 0 20 0 15 0 61473256 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140525851025088 140525449826850 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25010] ppid=24997 vsize=13982780 CPUtime=0.44 cores=0,2,4,6
/proc/25008/task/25010/stat : 25010 (java) S 24997 24997 18930 0 -1 1077944384 1197 0 0 0 40 4 0 0 20 0 15 0 61473257 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140525766200464 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25011] ppid=24997 vsize=13982780 CPUtime=0.43 cores=0,2,4,6
/proc/25008/task/25011/stat : 25011 (java) S 24997 24997 18930 0 -1 1077944384 1687 0 0 0 39 4 0 0 20 0 15 0 61473257 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140525765147664 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25012] ppid=24997 vsize=13982780 CPUtime=0.44 cores=0,2,4,6
/proc/25008/task/25012/stat : 25012 (java) S 24997 24997 18930 0 -1 1077944384 1357 0 0 0 40 4 0 0 20 0 15 0 61473257 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140525764094864 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25013] ppid=24997 vsize=13982780 CPUtime=0.44 cores=0,2,4,6
/proc/25008/task/25013/stat : 25013 (java) S 24997 24997 18930 0 -1 1077944384 920 0 0 0 40 4 0 0 20 0 15 0 61473257 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140525763042064 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25019] ppid=24997 vsize=13982780 CPUtime=0.03 cores=0,2,4,6
/proc/25008/task/25019/stat : 25019 (java) S 24997 24997 18930 0 -1 1077944384 1059 0 0 0 3 0 0 0 20 0 15 0 61473258 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140524830562672 140525846796930 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25020] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25020/stat : 25020 (java) S 24997 24997 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61473258 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140524829508640 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25021] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25021/stat : 25021 (java) S 24997 24997 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 61473259 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140524828455792 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25022] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25022/stat : 25022 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140524827404112 140525846804379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25023] ppid=24997 vsize=13982780 CPUtime=4.47 cores=0,2,4,6
/proc/25008/task/25023/stat : 25023 (java) S 24997 24997 18930 0 -1 1077944384 22476 0 0 0 444 3 0 0 20 0 15 0 61473261 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140524826352496 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25024] ppid=24997 vsize=13982780 CPUtime=3.94 cores=0,2,4,6
/proc/25008/task/25024/stat : 25024 (java) S 24997 24997 18930 0 -1 1077944384 18340 0 0 0 391 3 0 0 20 0 15 0 61473261 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140524825299696 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25025] ppid=24997 vsize=13982780 CPUtime=0.9 cores=0,2,4,6
/proc/25008/task/25025/stat : 25025 (java) S 24997 24997 18930 0 -1 1077944384 8899 0 0 0 87 3 0 0 20 0 15 0 61473261 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140524824246896 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25026] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25026/stat : 25026 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140524823194336 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25028] ppid=24997 vsize=13982780 CPUtime=0.03 cores=0,2,4,6
/proc/25008/task/25028/stat : 25028 (java) S 24997 24997 18930 0 -1 1077944384 1041 0 0 0 1 2 0 0 20 0 15 0 61473267 14318366720 83226 18446744073709551615 4194304 4196468 140720655940192 140524822141616 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
Current children cumulated CPU time (s) 112.83
Current children cumulated vsize (KiB) 13992292
[startup+162.301 s]
/proc/loadavg: 1.76 1.74 1.83 3/216 25033
/proc/meminfo: memFree=29808040/32770624 swapFree=0/212528
[pid=24997] ppid=24994 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24997/stat : 24997 (xcsp3-exec) S 24994 24997 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61473246 9740288 345 18446744073709551615 4194304 5098028 140737275701424 140737275699528 139803496764028 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20336640 140737275707802 140737275708006 140737275708006 140737275711467 0
/proc/24997/statm: 2378 345 289 221 0 87 0
[pid=25008] ppid=24997 vsize=13982780 CPUtime=174.26 cores=0,2,4,6
/proc/25008/stat : 25008 (java) S 24997 24997 18930 0 -1 1077944320 78255 0 0 0 17372 54 0 0 20 0 15 0 61473256 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140720655922736 140525846785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
/proc/25008/statm: 3495695 112068 3229 1 0 3483996 0
[pid=25008/tid=25009] ppid=24997 vsize=13982780 CPUtime=161.12 cores=0,2,4,6
/proc/25008/task/25009/stat : 25009 (java) R 24997 24997 18930 0 -1 4202560 16278 0 0 0 16107 5 0 0 20 0 15 0 61473256 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140525851025200 140525451231024 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25010] ppid=24997 vsize=13982780 CPUtime=0.9 cores=0,2,4,6
/proc/25008/task/25010/stat : 25010 (java) S 24997 24997 18930 0 -1 1077944384 1580 0 0 0 81 9 0 0 20 0 15 0 61473257 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140525766200464 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25011] ppid=24997 vsize=13982780 CPUtime=0.89 cores=0,2,4,6
/proc/25008/task/25011/stat : 25011 (java) S 24997 24997 18930 0 -1 1077944384 2127 0 0 0 80 9 0 0 20 0 15 0 61473257 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140525765147664 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25012] ppid=24997 vsize=13982780 CPUtime=0.89 cores=0,2,4,6
/proc/25008/task/25012/stat : 25012 (java) S 24997 24997 18930 0 -1 1077944384 1536 0 0 0 81 8 0 0 20 0 15 0 61473257 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140525764094864 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25013] ppid=24997 vsize=13982780 CPUtime=0.9 cores=0,2,4,6
/proc/25008/task/25013/stat : 25013 (java) S 24997 24997 18930 0 -1 1077944384 1118 0 0 0 82 8 0 0 20 0 15 0 61473257 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140525763042064 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25019] ppid=24997 vsize=13982780 CPUtime=0.05 cores=0,2,4,6
/proc/25008/task/25019/stat : 25019 (java) S 24997 24997 18930 0 -1 1077944384 1306 0 0 0 5 0 0 0 20 0 15 0 61473258 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140524830562672 140525846796930 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25020] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25020/stat : 25020 (java) S 24997 24997 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61473258 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140524829508640 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25021] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25021/stat : 25021 (java) S 24997 24997 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 61473259 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140524828455792 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25022] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25022/stat : 25022 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140524827404112 140525846804379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25023] ppid=24997 vsize=13982780 CPUtime=4.49 cores=0,2,4,6
/proc/25008/task/25023/stat : 25023 (java) S 24997 24997 18930 0 -1 1077944384 23318 0 0 0 446 3 0 0 20 0 15 0 61473261 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140524826352496 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25024] ppid=24997 vsize=13982780 CPUtime=3.96 cores=0,2,4,6
/proc/25008/task/25024/stat : 25024 (java) S 24997 24997 18930 0 -1 1077944384 18620 0 0 0 393 3 0 0 20 0 15 0 61473261 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140524825299696 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25025] ppid=24997 vsize=13982780 CPUtime=0.91 cores=0,2,4,6
/proc/25008/task/25025/stat : 25025 (java) S 24997 24997 18930 0 -1 1077944384 9933 0 0 0 88 3 0 0 20 0 15 0 61473261 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140524824246896 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25026] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25026/stat : 25026 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140524823194336 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25028] ppid=24997 vsize=13982780 CPUtime=0.06 cores=0,2,4,6
/proc/25008/task/25028/stat : 25028 (java) S 24997 24997 18930 0 -1 1077944384 1097 0 0 0 2 4 0 0 20 0 15 0 61473267 14318366720 112068 18446744073709551615 4194304 4196468 140720655940192 140524822141616 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
Current children cumulated CPU time (s) 174.26
Current children cumulated vsize (KiB) 13992292
[startup+222.301 s]
/proc/loadavg: 1.85 1.76 1.83 3/215 25035
/proc/meminfo: memFree=29750952/32770624 swapFree=0/212548
[pid=24997] ppid=24994 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24997/stat : 24997 (xcsp3-exec) S 24994 24997 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61473246 9740288 345 18446744073709551615 4194304 5098028 140737275701424 140737275699528 139803496764028 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20336640 140737275707802 140737275708006 140737275708006 140737275711467 0
/proc/24997/statm: 2378 345 289 221 0 87 0
[pid=25008] ppid=24997 vsize=13982780 CPUtime=236.06 cores=0,2,4,6
/proc/25008/stat : 25008 (java) S 24997 24997 18930 0 -1 1077944320 87382 0 0 0 23541 65 0 0 20 0 15 0 61473256 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140720655922736 140525846785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
/proc/25008/statm: 3495695 92248 3244 1 0 3483996 0
[pid=25008/tid=25009] ppid=24997 vsize=13982780 CPUtime=220.5 cores=0,2,4,6
/proc/25008/task/25009/stat : 25009 (java) R 24997 24997 18930 0 -1 4202560 17282 0 0 0 22044 6 0 0 20 0 15 0 61473256 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140525851025248 140525451231360 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25010] ppid=24997 vsize=13982780 CPUtime=1.44 cores=0,2,4,6
/proc/25008/task/25010/stat : 25010 (java) S 24997 24997 18930 0 -1 1077944384 2044 0 0 0 133 11 0 0 20 0 15 0 61473257 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140525766200464 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25011] ppid=24997 vsize=13982780 CPUtime=1.43 cores=0,2,4,6
/proc/25008/task/25011/stat : 25011 (java) S 24997 24997 18930 0 -1 1077944384 2668 0 0 0 132 11 0 0 20 0 15 0 61473257 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140525765147664 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25012] ppid=24997 vsize=13982780 CPUtime=1.44 cores=0,2,4,6
/proc/25008/task/25012/stat : 25012 (java) S 24997 24997 18930 0 -1 1077944384 1759 0 0 0 134 10 0 0 20 0 15 0 61473257 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140525764094864 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25013] ppid=24997 vsize=13982780 CPUtime=1.44 cores=0,2,4,6
/proc/25008/task/25013/stat : 25013 (java) S 24997 24997 18930 0 -1 1077944384 1325 0 0 0 134 10 0 0 20 0 15 0 61473257 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140525763042064 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25019] ppid=24997 vsize=13982780 CPUtime=0.11 cores=0,2,4,6
/proc/25008/task/25019/stat : 25019 (java) S 24997 24997 18930 0 -1 1077944384 4100 0 0 0 10 1 0 0 20 0 15 0 61473258 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140524830562672 140525846796930 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25020] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25020/stat : 25020 (java) S 24997 24997 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61473258 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140524829508640 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25021] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25021/stat : 25021 (java) S 24997 24997 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 61473259 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140524828455792 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25022] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25022/stat : 25022 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140524827404112 140525846804379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25023] ppid=24997 vsize=13982780 CPUtime=4.49 cores=0,2,4,6
/proc/25008/task/25023/stat : 25023 (java) S 24997 24997 18930 0 -1 1077944384 23863 0 0 0 446 3 0 0 20 0 15 0 61473261 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140524826352496 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25024] ppid=24997 vsize=13982780 CPUtime=4.1 cores=0,2,4,6
/proc/25008/task/25024/stat : 25024 (java) S 24997 24997 18930 0 -1 1077944384 21341 0 0 0 407 3 0 0 20 0 15 0 61473261 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140524825299696 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25025] ppid=24997 vsize=13982780 CPUtime=0.92 cores=0,2,4,6
/proc/25008/task/25025/stat : 25025 (java) S 24997 24997 18930 0 -1 1077944384 10533 0 0 0 89 3 0 0 20 0 15 0 61473261 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140524824246896 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25026] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25026/stat : 25026 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140524823194336 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25028] ppid=24997 vsize=13982780 CPUtime=0.08 cores=0,2,4,6
/proc/25008/task/25028/stat : 25028 (java) S 24997 24997 18930 0 -1 1077944384 1125 0 0 0 3 5 0 0 20 0 15 0 61473267 14318366720 92248 18446744073709551615 4194304 4196468 140720655940192 140524822141616 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
Current children cumulated CPU time (s) 236.06
Current children cumulated vsize (KiB) 13992292
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.81 1.75 1.83 2/198 25038
/proc/meminfo: memFree=31551400/32770624 swapFree=0/212556
[pid=24997] ppid=24994 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24997/stat : 24997 (xcsp3-exec) S 24994 24997 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61473246 9740288 345 18446744073709551615 4194304 5098028 140737275701424 140737275699528 139803496764028 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20336640 140737275707802 140737275708006 140737275708006 140737275711467 0
/proc/24997/statm: 2378 345 289 221 0 87 0
[pid=25008] ppid=24997 vsize=13982780 CPUtime=254.38 cores=0,2,4,6
/proc/25008/stat : 25008 (java) S 24997 24997 18930 0 -1 1077944320 88067 0 0 0 25373 65 0 0 20 0 15 0 61473256 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140720655922736 140525846785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
/proc/25008/statm: 3495695 90725 3245 1 0 3483996 0
[pid=25008/tid=25009] ppid=24997 vsize=13982780 CPUtime=237.97 cores=0,2,4,6
/proc/25008/task/25009/stat : 25009 (java) R 24997 24997 18930 0 -1 4202560 17295 0 0 0 23791 6 0 0 20 0 15 0 61473256 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140525851025280 140525447226955 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25010] ppid=24997 vsize=13982780 CPUtime=1.65 cores=0,2,4,6
/proc/25008/task/25010/stat : 25010 (java) S 24997 24997 18930 0 -1 1077944384 2071 0 0 0 154 11 0 0 20 0 15 0 61473257 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140525766200464 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25011] ppid=24997 vsize=13982780 CPUtime=1.64 cores=0,2,4,6
/proc/25008/task/25011/stat : 25011 (java) S 24997 24997 18930 0 -1 1077944384 2697 0 0 0 153 11 0 0 20 0 15 0 61473257 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140525765147664 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25012] ppid=24997 vsize=13982780 CPUtime=1.65 cores=0,2,4,6
/proc/25008/task/25012/stat : 25012 (java) S 24997 24997 18930 0 -1 1077944384 1800 0 0 0 155 10 0 0 20 0 15 0 61473257 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140525764094864 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25013] ppid=24997 vsize=13982780 CPUtime=1.65 cores=0,2,4,6
/proc/25008/task/25013/stat : 25013 (java) S 24997 24997 18930 0 -1 1077944384 1359 0 0 0 155 10 0 0 20 0 15 0 61473257 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140525763042064 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25019] ppid=24997 vsize=13982780 CPUtime=0.13 cores=0,2,4,6
/proc/25008/task/25019/stat : 25019 (java) S 24997 24997 18930 0 -1 1077944384 4619 0 0 0 12 1 0 0 20 0 15 0 61473258 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140524830562672 140525846796930 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25020] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25020/stat : 25020 (java) S 24997 24997 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 61473258 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140524829508640 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25021] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25021/stat : 25021 (java) S 24997 24997 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 61473259 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140524828455792 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25022] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25022/stat : 25022 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140524827404112 140525846804379 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25023] ppid=24997 vsize=13982780 CPUtime=4.49 cores=0,2,4,6
/proc/25008/task/25023/stat : 25023 (java) S 24997 24997 18930 0 -1 1077944384 23865 0 0 0 446 3 0 0 20 0 15 0 61473261 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140524826352496 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25024] ppid=24997 vsize=13982780 CPUtime=4.1 cores=0,2,4,6
/proc/25008/task/25024/stat : 25024 (java) S 24997 24997 18930 0 -1 1077944384 21343 0 0 0 407 3 0 0 20 0 15 0 61473261 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140524825299696 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25025] ppid=24997 vsize=13982780 CPUtime=0.92 cores=0,2,4,6
/proc/25008/task/25025/stat : 25025 (java) S 24997 24997 18930 0 -1 1077944384 10535 0 0 0 89 3 0 0 20 0 15 0 61473261 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140524824246896 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25026] ppid=24997 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/25008/task/25026/stat : 25026 (java) S 24997 24997 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61473261 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140524823194336 140525846795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
[pid=25008/tid=25028] ppid=24997 vsize=13982780 CPUtime=0.09 cores=0,2,4,6
/proc/25008/task/25028/stat : 25028 (java) S 24997 24997 18930 0 -1 1077944384 1141 0 0 0 4 5 0 0 20 0 15 0 61473267 14318366720 90725 18446744073709551615 4194304 4196468 140720655940192 140524822141616 140525846796930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140720655942099 140720655942274 140720655942274 140720655945679 0
Current children cumulated CPU time (s) 254.38
Current children cumulated vsize (KiB) 13992292
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 25008 sig 9
??? kill 24997 sig 9
??? kill -24997 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.02
CPU time (s): 254.405
CPU user time (s): 253.743
CPU system time (s): 0.661424
CPU usage (%): 105.993
Max. virtual memory (cumulated for all children) (KiB): 13992564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.743
system time used= 0.661424
maximum resident set size= 517256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88723
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= 10465
involuntary context switches= 643
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.9973 second user time and 1.65461 second system time
The end