runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4895 MiB free)
memory of node 1: 16384 MiB (7792 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292615-1532582652/watcher-4292615-1532582652 -o /tmp/evaluation-result-4292615-1532582652/solver-4292615-1532582652 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532582652-6189 --watchdog 2560 HOME/xcsp3-exec -seed 530472144 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292615-1532582652.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6226, runsolver pid=6222
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 0.00 0.01 0.05 6/217 6249
/proc/meminfo: memFree=12964668/32770624 swapFree=67108860/67108860
[pid=6226] ppid=6222 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6226/stat : 6226 (xcsp3-exec) S 6222 6226 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828392 115843072 364 33554432000 4194304 5098028 140730444977424 140730444975528 140677752873596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140730444985403 140730444985604 140730444985604 140730444988362 0
/proc/6226/statm: 28282 364 306 221 0 87 0
[pid=6229] ppid=6226 vsize=14082840 memory=28692 CPUtime=0.12 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6226 6157 0 -1 1077944320 5476 0 0 0 11 1 0 0 20 0 15 0 75828392 14420828160 7173 33554432000 4194304 4196468 140721879124080 140721879106624 140423972441847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
/proc/6229/statm: 3520710 7173 3032 1 0 3483008 0
[pid=6229/tid=6230] ppid=6226 vsize=14082840 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/6229/task/6230/stat : 6230 (java) R 6226 6226 6157 0 -1 4202560 3475 0 0 0 8 0 0 0 20 0 15 0 75828392 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423976674208 140423972453782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6231] ppid=6226 vsize=14082840 memory=3472468288579228880 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828393 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423902530064 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6232] ppid=6226 vsize=14082840 memory=140159684077184 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828393 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423901477520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6233] ppid=6226 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828393 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423900424464 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6234] ppid=6226 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6226 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828393 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423899371920 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6235] ppid=6226 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6226 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828395 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423446637296 140423972452994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6240] ppid=6226 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6226 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75828395 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423445583520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6242] ppid=6226 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6226 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75828395 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423444530416 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6244] ppid=6226 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423443478992 140423972460443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6245] ppid=6226 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6245/stat : 6245 (java) S 6226 6226 6157 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 75828398 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423442426096 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6246] ppid=6226 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6246/stat : 6246 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423441373552 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6247] ppid=6226 vsize=14082840 memory=140159684077184 CPUtime=0.01 cores=1,3,5,7
/proc/6229/task/6247/stat : 6247 (java) R 6226 6226 6157 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 15 0 75828398 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423440320496 140423956522334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6248] ppid=6226 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6248/stat : 6248 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423439268192 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6249] ppid=6226 vsize=14082840 memory=140159684077184 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6249/stat : 6249 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828398 14420828160 7239 33554432000 4194304 4196468 140721879124080 140423438216240 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30148 KiB
[startup+0.210633 s]*
/proc/loadavg: 0.00 0.01 0.05 5/217 6249
/proc/meminfo: memFree=12941844/32770624 swapFree=67108860/67108860
[pid=6226] ppid=6222 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6226/stat : 6226 (xcsp3-exec) S 6222 6226 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828392 115843072 364 33554432000 4194304 5098028 140730444977424 140730444975528 140677752873596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140730444985403 140730444985604 140730444985604 140730444988362 0
/proc/6226/statm: 28282 364 306 221 0 87 0
[pid=6229] ppid=6226 vsize=14087096 memory=41220 CPUtime=0.34 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6226 6157 0 -1 1077944320 8331 0 0 0 32 2 0 0 20 0 15 0 75828392 14425186304 10305 33554432000 4194304 4196468 140721879124080 140721879106624 140423972441847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
/proc/6229/statm: 3521774 10305 3167 1 0 3483008 0
[pid=6229/tid=6230] ppid=6226 vsize=14087096 memory=4788064525153967000 CPUtime=0.2 cores=1,3,5,7
/proc/6229/task/6230/stat : 6230 (java) R 6226 6226 6157 0 -1 4202560 5429 0 0 0 19 1 0 0 20 0 15 0 75828392 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423976662840 140423956522334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6231] ppid=6226 vsize=14087096 memory=3472468288579228880 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828393 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423902530064 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6232] ppid=6226 vsize=14087096 memory=140159684077184 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828393 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423901477520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6233] ppid=6226 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828393 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423900424464 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6234] ppid=6226 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6226 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828393 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423899371920 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6235] ppid=6226 vsize=14087096 memory=140159684077184 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6226 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75828395 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423446637296 140423972452994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6240] ppid=6226 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6226 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75828395 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423445583520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6242] ppid=6226 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6226 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75828395 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423444530416 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6244] ppid=6226 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423443478992 140423972460443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6245] ppid=6226 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6229/task/6245/stat : 6245 (java) S 6226 6226 6157 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 15 0 75828398 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423442426096 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6246] ppid=6226 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6229/task/6246/stat : 6246 (java) S 6226 6226 6157 0 -1 1077944384 313 0 0 0 2 0 0 0 20 0 15 0 75828398 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423441373552 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6247] ppid=6226 vsize=14087096 memory=140159684077184 CPUtime=0.07 cores=1,3,5,7
/proc/6229/task/6247/stat : 6247 (java) R 6226 6226 6157 0 -1 4202560 825 0 0 0 7 0 0 0 20 0 15 0 75828398 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423440320496 140423956522334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6248] ppid=6226 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6248/stat : 6248 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423439268192 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6249] ppid=6226 vsize=14087096 memory=140159684077184 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6249/stat : 6249 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828398 14425186304 10305 33554432000 4194304 4196468 140721879124080 140423438216240 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42676 KiB
[startup+0.310364 s]*
/proc/loadavg: 0.00 0.01 0.05 4/217 6249
/proc/meminfo: memFree=12928692/32770624 swapFree=67108860/67108860
[pid=6226] ppid=6222 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6226/stat : 6226 (xcsp3-exec) S 6222 6226 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828392 115843072 364 33554432000 4194304 5098028 140730444977424 140730444975528 140677752873596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140730444985403 140730444985604 140730444985604 140730444988362 0
/proc/6226/statm: 28282 364 306 221 0 87 0
[pid=6229] ppid=6226 vsize=14087096 memory=47620 CPUtime=0.5 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6226 6157 0 -1 1077944320 9053 0 0 0 48 2 0 0 20 0 15 0 75828392 14425186304 11905 33554432000 4194304 4196468 140721879124080 140721879106624 140423972441847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
/proc/6229/statm: 3521774 11905 3252 1 0 3483008 0
[pid=6229/tid=6230] ppid=6226 vsize=14087096 memory=-8976644418600983157 CPUtime=0.28 cores=1,3,5,7
/proc/6229/task/6230/stat : 6230 (java) R 6226 6226 6157 0 -1 4202560 5912 0 0 0 27 1 0 0 20 0 15 0 75828392 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423976672960 140423965119940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6231] ppid=6226 vsize=14087096 memory=3472468288579228880 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828393 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423902530064 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6232] ppid=6226 vsize=14087096 memory=140159684077184 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828393 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423901477520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6233] ppid=6226 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828393 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423900424464 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6234] ppid=6226 vsize=14087096 memory=140159546959903 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6226 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828393 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423899371920 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6235] ppid=6226 vsize=14087096 memory=280319093899040 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6226 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75828395 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423446637296 140423972452994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6240] ppid=6226 vsize=14087096 memory=140159546936847 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6226 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75828395 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423445583520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6242] ppid=6226 vsize=14087096 memory=280319231023200 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6226 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75828395 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423444530416 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6244] ppid=6226 vsize=14087096 memory=140159546941455 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423443478992 140423972460443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6245] ppid=6226 vsize=14087096 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/6229/task/6245/stat : 6245 (java) S 6226 6226 6157 0 -1 1077944384 585 0 0 0 5 0 0 0 20 0 15 0 75828398 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423442426096 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6246] ppid=6226 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/6229/task/6246/stat : 6246 (java) S 6226 6226 6157 0 -1 1077944384 339 0 0 0 3 0 0 0 20 0 15 0 75828398 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423441373552 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6247] ppid=6226 vsize=14087096 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6229/task/6247/stat : 6247 (java) R 6226 6226 6157 0 -1 1077944384 910 0 0 0 11 0 0 0 20 0 15 0 75828398 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423440320496 140423972452994 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6248] ppid=6226 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6248/stat : 6248 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423439268192 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6249] ppid=6226 vsize=14087096 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6249/stat : 6249 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828398 14425186304 11905 33554432000 4194304 4196468 140721879124080 140423438216240 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49076 KiB
[startup+0.708382 s]
/proc/loadavg: 0.00 0.01 0.05 9/217 6249
/proc/meminfo: memFree=12872128/32770624 swapFree=67108860/67108860
[pid=6226] ppid=6222 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6226/stat : 6226 (xcsp3-exec) S 6222 6226 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828392 115843072 364 33554432000 4194304 5098028 140730444977424 140730444975528 140677752873596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140730444985403 140730444985604 140730444985604 140730444988362 0
/proc/6226/statm: 28282 364 306 221 0 87 0
[pid=6229] ppid=6226 vsize=14089220 memory=130544 CPUtime=1.7 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6226 6157 0 -1 1077944320 12884 0 0 0 165 5 0 0 20 0 15 0 75828392 14427361280 32636 33554432000 4194304 4196468 140721879124080 140721879106624 140423972441847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
/proc/6229/statm: 3522305 32636 3329 1 0 3483520 0
[pid=6229/tid=6230] ppid=6226 vsize=14089220 memory=280319093706800 CPUtime=0.65 cores=1,3,5,7
/proc/6229/task/6230/stat : 6230 (java) R 6226 6226 6157 0 -1 4202560 6598 0 0 0 63 2 0 0 20 0 15 0 75828392 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423976679632 140423956578011 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6231] ppid=6226 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828393 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423902530064 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6232] ppid=6226 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828393 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423901477520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6233] ppid=6226 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828393 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423900424464 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6234] ppid=6226 vsize=14089220 memory=8540 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6226 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828393 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423899371920 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6235] ppid=6226 vsize=14089220 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6226 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75828395 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423446637296 140423972452994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6240] ppid=6226 vsize=14089220 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6226 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75828395 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423445583520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6242] ppid=6226 vsize=14089220 memory=7668879548562892096 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6226 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75828395 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423444530416 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6244] ppid=6226 vsize=14089220 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423443478992 140423972460443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6245] ppid=6226 vsize=14089220 memory=5787213827063244903 CPUtime=0.35 cores=1,3,5,7
/proc/6229/task/6245/stat : 6245 (java) R 6226 6226 6157 0 -1 4202560 1704 0 0 0 35 0 0 0 20 0 15 0 75828398 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423442410256 140423972463194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6246] ppid=6226 vsize=14089220 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/6229/task/6246/stat : 6246 (java) R 6226 6226 6157 0 -1 1077944384 1346 0 0 0 30 0 0 0 20 0 15 0 75828398 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423441360336 140423972452053 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6247] ppid=6226 vsize=14089220 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/6229/task/6247/stat : 6247 (java) S 6226 6226 6157 0 -1 1077944384 1929 0 0 0 34 1 0 0 20 0 15 0 75828398 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423440320496 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6248] ppid=6226 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6248/stat : 6248 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423439268192 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6249] ppid=6226 vsize=14089220 memory=22660 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6249/stat : 6249 (java) S 6226 6226 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828398 14427361280 32636 33554432000 4194304 4196468 140721879124080 140423438216240 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 132000 KiB
[startup+1.50086 s]
/proc/loadavg: 0.00 0.01 0.05 7/217 6249
/proc/meminfo: memFree=12681572/32770624 swapFree=67108860/67108860
[pid=6226] ppid=6222 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6226/stat : 6226 (xcsp3-exec) S 6222 6226 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828392 115843072 364 33554432000 4194304 5098028 140730444977424 140730444975528 140677752873596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140730444985403 140730444985604 140730444985604 140730444988362 0
/proc/6226/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/6229/task/6242/stat : 6242 (java) S 6226 6226 6157 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 75828395 14427361280 567670 33554432000 4194304 4196468 140721879124080 140423444530416 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6244] ppid=6226 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14427361280 567670 33554432000 4194304 4196468 140721879124080 140423443478992 140423972460443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6245] ppid=6226 vsize=14089220 memory=18448 CPUtime=1.67 cores=1,3,5,7
/proc/6229/task/6245/stat : 6245 (java) S 6226 6226 6157 0 -1 1077944384 13354 0 0 0 166 1 0 0 20 0 15 0 75828398 14427361280 567670 33554432000 4194304 4196468 140721879124080 140423442426096 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6246] ppid=6226 vsize=14089220 memory=1796 CPUtime=1.42 cores=1,3,5,7
/proc/6229/task/6246/stat : 6246 (java) S 6226 6226 6157 0 -1 1077944384 10923 0 0 0 141 1 0 0 20 0 15 0 75828398 14427361280 567670 33554432000 4194304 4196468 140721879124080 140423441373552 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6247] ppid=6226 vsize=14089220 memory=1456 CPUtime=0.56 cores=1,3,5,7
/proc/6229/task/6247/stat : 6247 (java) S 6226 6226 6157 0 -1 1077944384 6465 0 0 0 55 1 0 0 20 0 15 0 75828398 14427361280 567670 33554432000 4194304 4196468 140721879124080 140423440320496 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6248] ppid=6226 vsize=14089220 memory=2270680 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6248/stat : 6248 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14427361280 567670 33554432000 4194304 4196468 140721879124080 140423439268192 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6249] ppid=6226 vsize=14089220 memory=2400 CPUtime=0.5 cores=1,3,5,7
/proc/6229/task/6249/stat : 6249 (java) S 6226 6226 6157 0 -1 1077944384 1447 0 0 0 20 30 0 0 20 0 15 0 75828398 14427361280 567670 33554432000 4194304 4196468 140721879124080 140423438216240 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 60 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
Current children cumulated CPU time: 2272.21 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2272136 KiB
[startup+2322.3 s]
/proc/loadavg: 1.61 1.61 1.52 3/219 6343
/proc/meminfo: memFree=9426240/32770624 swapFree=67108860/67108860
[pid=6226] ppid=6222 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6226/stat : 6226 (xcsp3-exec) S 6222 6226 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828392 115843072 364 33554432000 4194304 5098028 140730444977424 140730444975528 140677752873596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140730444985403 140730444985604 140730444985604 140730444988362 0
/proc/6226/statm: 28282 364 306 221 0 87 0
[pid=6229] ppid=6226 vsize=14089220 memory=2313996 CPUtime=2332.35 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6226 6157 0 -1 1077944320 231981 0 0 0 232325 910 0 0 20 0 15 0 75828392 14427361280 578499 33554432000 4194304 4196468 140721879124080 140721879106624 140423972441847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
/proc/6229/statm: 3522305 578499 3395 1 0 3483520 0
[pid=6229/tid=6230] ppid=6226 vsize=14089220 memory=1456 CPUtime=2318.49 cores=1,3,5,7
/proc/6229/task/6230/stat : 6230 (java) R 6226 6226 6157 0 -1 4202560 136222 0 0 0 231026 823 0 0 20 0 15 0 75828392 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423976681600 140423574992686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6231] ppid=6226 vsize=14089220 memory=2313996 CPUtime=2.06 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) S 6226 6226 6157 0 -1 1077944384 7789 0 0 0 200 6 0 0 20 0 15 0 75828393 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423902530064 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6232] ppid=6226 vsize=14089220 memory=2313996 CPUtime=2.06 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6226 6157 0 -1 1077944384 9083 0 0 0 199 7 0 0 20 0 15 0 75828393 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423901477520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6233] ppid=6226 vsize=14089220 memory=2313996 CPUtime=2.07 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6226 6157 0 -1 1077944384 8352 0 0 0 200 7 0 0 20 0 15 0 75828393 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423900424464 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6234] ppid=6226 vsize=14089220 memory=1456 CPUtime=2.07 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6226 6157 0 -1 1077944384 7936 0 0 0 202 5 0 0 20 0 15 0 75828393 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423899371920 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6235] ppid=6226 vsize=14089220 memory=2313996 CPUtime=1.33 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6226 6157 0 -1 1077944384 29031 0 0 0 100 33 0 0 20 0 15 0 75828395 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423446637296 140423972452994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6240] ppid=6226 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6226 6157 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 75828395 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423445583520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6242] ppid=6226 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6226 6157 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 75828395 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423444530416 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6244] ppid=6226 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423443478992 140423972460443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6245] ppid=6226 vsize=14089220 memory=2270820 CPUtime=1.67 cores=1,3,5,7
/proc/6229/task/6245/stat : 6245 (java) S 6226 6226 6157 0 -1 1077944384 13357 0 0 0 166 1 0 0 20 0 15 0 75828398 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423442426096 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6246] ppid=6226 vsize=14089220 memory=1796 CPUtime=1.42 cores=1,3,5,7
/proc/6229/task/6246/stat : 6246 (java) S 6226 6226 6157 0 -1 1077944384 10925 0 0 0 141 1 0 0 20 0 15 0 75828398 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423441373552 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6247] ppid=6226 vsize=14089220 memory=640 CPUtime=0.56 cores=1,3,5,7
/proc/6229/task/6247/stat : 6247 (java) S 6226 6226 6157 0 -1 1077944384 6467 0 0 0 55 1 0 0 20 0 15 0 75828398 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423440320496 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6248] ppid=6226 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6248/stat : 6248 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423439268192 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6249] ppid=6226 vsize=14089220 memory=1456 CPUtime=0.52 cores=1,3,5,7
/proc/6229/task/6249/stat : 6249 (java) S 6226 6226 6157 0 -1 1077944384 1466 0 0 0 21 31 0 0 20 0 15 0 75828398 14427361280 578499 33554432000 4194304 4196468 140721879124080 140423438216240 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 60 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
Current children cumulated CPU time: 2332.35 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2315452 KiB
[startup+2382.3 s]
/proc/loadavg: 1.79 1.66 1.53 3/219 6344
/proc/meminfo: memFree=6391540/32770624 swapFree=67108860/67108860
[pid=6226] ppid=6222 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6226/stat : 6226 (xcsp3-exec) S 6222 6226 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828392 115843072 364 33554432000 4194304 5098028 140730444977424 140730444975528 140677752873596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140730444985403 140730444985604 140730444985604 140730444988362 0
/proc/6226/statm: 28282 364 306 221 0 87 0
[pid=6229] ppid=6226 vsize=14089220 memory=2314000 CPUtime=2392.54 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6226 6157 0 -1 1077944320 234775 0 0 0 238343 911 0 0 20 0 15 0 75828392 14427361280 578500 33554432000 4194304 4196468 140721879124080 140721879106624 140423972441847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
/proc/6229/statm: 3522305 578500 3395 1 0 3483520 0
[pid=6229/tid=6230] ppid=6226 vsize=14089220 memory=2314000 CPUtime=2378.43 cores=1,3,5,7
/proc/6229/task/6230/stat : 6230 (java) R 6226 6226 6157 0 -1 4202560 136501 0 0 0 237020 823 0 0 20 0 15 0 75828392 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423976681712 140423574885940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6231] ppid=6226 vsize=14089220 memory=2314000 CPUtime=2.11 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) S 6226 6226 6157 0 -1 1077944384 8124 0 0 0 205 6 0 0 20 0 15 0 75828393 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423902530064 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6232] ppid=6226 vsize=14089220 memory=2314000 CPUtime=2.12 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6226 6157 0 -1 1077944384 9933 0 0 0 205 7 0 0 20 0 15 0 75828393 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423901477520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6233] ppid=6226 vsize=14089220 memory=1456 CPUtime=2.13 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6226 6157 0 -1 1077944384 8661 0 0 0 206 7 0 0 20 0 15 0 75828393 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423900424464 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6234] ppid=6226 vsize=14089220 memory=2314000 CPUtime=2.13 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6226 6157 0 -1 1077944384 8761 0 0 0 208 5 0 0 20 0 15 0 75828393 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423899371920 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6235] ppid=6226 vsize=14089220 memory=2314000 CPUtime=1.34 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6226 6157 0 -1 1077944384 29200 0 0 0 101 33 0 0 20 0 15 0 75828395 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423446637296 140423972452994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6240] ppid=6226 vsize=14089220 memory=2314000 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6226 6157 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 75828395 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423445583520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6242] ppid=6226 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6226 6157 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 75828395 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423444530416 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6244] ppid=6226 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423443478992 140423972460443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6245] ppid=6226 vsize=14089220 memory=2314000 CPUtime=1.67 cores=1,3,5,7
/proc/6229/task/6245/stat : 6245 (java) S 6226 6226 6157 0 -1 1077944384 13359 0 0 0 166 1 0 0 20 0 15 0 75828398 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423442426096 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6246] ppid=6226 vsize=14089220 memory=2314000 CPUtime=1.42 cores=1,3,5,7
/proc/6229/task/6246/stat : 6246 (java) S 6226 6226 6157 0 -1 1077944384 10927 0 0 0 141 1 0 0 20 0 15 0 75828398 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423441373552 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6247] ppid=6226 vsize=14089220 memory=1456 CPUtime=0.56 cores=1,3,5,7
/proc/6229/task/6247/stat : 6247 (java) S 6226 6226 6157 0 -1 1077944384 6469 0 0 0 55 1 0 0 20 0 15 0 75828398 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423440320496 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6248] ppid=6226 vsize=14089220 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6248/stat : 6248 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423439268192 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6249] ppid=6226 vsize=14089220 memory=22732 CPUtime=0.53 cores=1,3,5,7
/proc/6229/task/6249/stat : 6249 (java) S 6226 6226 6157 0 -1 1077944384 1487 0 0 0 21 32 0 0 20 0 15 0 75828398 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423438216240 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 60 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
Current children cumulated CPU time: 2392.54 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2315456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2389.8 s]
/proc/loadavg: 1.90 1.68 1.54 3/219 6344
/proc/meminfo: memFree=5760448/32770624 swapFree=67108860/67108860
[pid=6226] ppid=6222 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6226/stat : 6226 (xcsp3-exec) S 6222 6226 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828392 115843072 364 33554432000 4194304 5098028 140730444977424 140730444975528 140677752873596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140730444985403 140730444985604 140730444985604 140730444988362 0
/proc/6226/statm: 28282 364 306 221 0 87 0
[pid=6229] ppid=6226 vsize=14089220 memory=2314000 CPUtime=2400.05 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6226 6157 0 -1 1077944320 234783 0 0 0 239094 911 0 0 20 0 15 0 75828392 14427361280 578500 33554432000 4194304 4196468 140721879124080 140721879106624 140423972441847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
/proc/6229/statm: 3522305 578500 3395 1 0 3483520 0
[pid=6229/tid=6230] ppid=6226 vsize=14089220 memory=1200 CPUtime=2385.92 cores=1,3,5,7
/proc/6229/task/6230/stat : 6230 (java) R 6226 6226 6157 0 -1 4202560 136502 0 0 0 237769 823 0 0 20 0 15 0 75828392 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423976681600 140423574883194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6231] ppid=6226 vsize=14089220 memory=15876 CPUtime=2.12 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) S 6226 6226 6157 0 -1 1077944384 8127 0 0 0 206 6 0 0 20 0 15 0 75828393 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423902530064 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6232] ppid=6226 vsize=14089220 memory=13384 CPUtime=2.12 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6226 6157 0 -1 1077944384 9934 0 0 0 205 7 0 0 20 0 15 0 75828393 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423901477520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6233] ppid=6226 vsize=14089220 memory=8112282956445269571 CPUtime=2.13 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6226 6157 0 -1 1077944384 8663 0 0 0 206 7 0 0 20 0 15 0 75828393 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423900424464 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6234] ppid=6226 vsize=14089220 memory=-7175204567652784766 CPUtime=2.13 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6226 6157 0 -1 1077944384 8762 0 0 0 208 5 0 0 20 0 15 0 75828393 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423899371920 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6235] ppid=6226 vsize=14089220 memory=3054156605268465310 CPUtime=1.34 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6226 6157 0 -1 1077944384 29200 0 0 0 101 33 0 0 20 0 15 0 75828395 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423446637296 140423972452994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6240] ppid=6226 vsize=14089220 memory=-8412652177879177843 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6226 6157 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 75828395 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423445583520 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6242] ppid=6226 vsize=14089220 memory=8514726395714825349 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6226 6157 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 75828395 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423444530416 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6244] ppid=6226 vsize=14089220 memory=-6520471753822164382 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423443478992 140423972460443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6245] ppid=6226 vsize=14089220 memory=4715433313220523562 CPUtime=1.67 cores=1,3,5,7
/proc/6229/task/6245/stat : 6245 (java) S 6226 6226 6157 0 -1 1077944384 13359 0 0 0 166 1 0 0 20 0 15 0 75828398 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423442426096 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6246] ppid=6226 vsize=14089220 memory=9047017150487036575 CPUtime=1.42 cores=1,3,5,7
/proc/6229/task/6246/stat : 6246 (java) S 6226 6226 6157 0 -1 1077944384 10927 0 0 0 141 1 0 0 20 0 15 0 75828398 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423441373552 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6247] ppid=6226 vsize=14089220 memory=7822038051842261661 CPUtime=0.56 cores=1,3,5,7
/proc/6229/task/6247/stat : 6247 (java) S 6226 6226 6157 0 -1 1077944384 6469 0 0 0 55 1 0 0 20 0 15 0 75828398 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423440320496 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6248] ppid=6226 vsize=14089220 memory=7234592324211792230 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6248/stat : 6248 (java) S 6226 6226 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828398 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423439268192 140423972452053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
[pid=6229/tid=6249] ppid=6226 vsize=14089220 memory=7516882094906895209 CPUtime=0.53 cores=1,3,5,7
/proc/6229/task/6249/stat : 6249 (java) S 6226 6226 6157 0 -1 1077944384 1487 0 0 0 21 32 0 0 20 0 15 0 75828398 14427361280 578500 33554432000 4194304 4196468 140721879124080 140423438216240 140423972452994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 60 0 0 6293624 6294260 26464256 140721879127169 140721879127345 140721879127345 140721879130063 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2315456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2389.81 s]
# the end of solver process 6226 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002268 s, system=0 s
[startup+2389.82 s]
# the end of solver process 6229 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2390.96 s, system=9.12666 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2389.82
CPU time (s): 2400.08
CPU user time (s): 2390.96
CPU system time (s): 9.12666
CPU usage (%): 100.43
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 7897200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.96
system time used= 9.12666
maximum resident set size= 7924416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70382
involuntary context switches= 2090
# summary of solver processes directly reported to runsolver:
# pid: 6226,6229
# total CPU time (s): 2400.08
# total CPU user time (s): 2390.96
# total CPU system time (s): 9.12666
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4465 second user time and 16.2714 second system time
The end