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 (7028 MiB free)
memory of node 1: 16384 MiB (3888 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306829-1534146064/watcher-4306829-1534146064 -o /tmp/evaluation-result-4306829-1534146064/solver-4306829-1534146064 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534138525-29334 --watchdog 2580 HOME/xcsp3-exec -seed 1498145254 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306829-1534146064.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=30229, runsolver pid=30226
Current StackSize limit: 8192 KiB
[startup+0.102261 s]*
/proc/loadavg: 2.31 2.10 2.00 3/222 30245
/proc/meminfo: memFree=11162136/32770624 swapFree=67108852/67108860
[pid=30229] ppid=30226 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30229/stat : 30229 (xcsp3-exec) S 30226 30229 28743 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 232169535 115843072 364 33554432000 4194304 5098028 140730254510640 140730254508744 140551962923644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34811904 140730254513210 140730254513412 140730254513412 140730254516170 0
/proc/30229/statm: 28282 364 306 221 0 87 0
[pid=30231] ppid=30229 vsize=14082940 memory=29272 CPUtime=0.12 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30229 30229 28743 0 -1 1077944320 5647 0 0 0 11 1 0 0 20 0 15 0 232169535 14420930560 7318 33554432000 4194304 4196468 140731227392752 140731227375296 140490874769143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
/proc/30231/statm: 3520735 7318 3048 1 0 3483012 0
[pid=30231/tid=30232] ppid=30229 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/30231/task/30232/stat : 30232 (java) R 30229 30229 28743 0 -1 4202560 3627 0 0 0 9 0 0 0 20 0 15 0 232169535 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490879001248 140490856992454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30233] ppid=30229 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30233/stat : 30233 (java) S 30229 30229 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232169536 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490804857104 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30234] ppid=30229 vsize=14082940 memory=140217272235648 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30234/stat : 30234 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169536 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490803804560 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30235] ppid=30229 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30235/stat : 30235 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169536 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490802752016 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30236] ppid=30229 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30236/stat : 30236 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169536 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490801699472 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30237] ppid=30229 vsize=14082940 memory=140217272235648 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30237/stat : 30237 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169537 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490348911088 140490874780290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30238] ppid=30229 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30238/stat : 30238 (java) S 30229 30229 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232169538 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490347857312 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30239] ppid=30229 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30239/stat : 30239 (java) S 30229 30229 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232169538 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490346804720 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30240] ppid=30229 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30240/stat : 30240 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169540 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490345753296 140490874787739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30241] ppid=30229 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30241/stat : 30241 (java) S 30229 30229 28743 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 232169540 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490344699888 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30242] ppid=30229 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30242/stat : 30242 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169540 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490343647344 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30243] ppid=30229 vsize=14082940 memory=140217272235648 CPUtime=0.01 cores=0,2,4,6
/proc/30231/task/30243/stat : 30243 (java) R 30229 30229 28743 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 15 0 232169540 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490342594800 140490853740117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30244] ppid=30229 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30244/stat : 30244 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169541 14420930560 7318 33554432000 4194304 4196468 140731227392752 140490341542496 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30245] ppid=30229 vsize=14082940 memory=140217272235648 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30245/stat : 30245 (java) S 30229 30229 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232169541 14420930560 7384 33554432000 4194304 4196468 140731227392752 140490340490032 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30728 KiB
[startup+0.211754 s]*
/proc/loadavg: 2.31 2.10 2.00 3/222 30245
/proc/meminfo: memFree=11151468/32770624 swapFree=67108852/67108860
[pid=30229] ppid=30226 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30229/stat : 30229 (xcsp3-exec) S 30226 30229 28743 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 232169535 115843072 364 33554432000 4194304 5098028 140730254510640 140730254508744 140551962923644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34811904 140730254513210 140730254513412 140730254513412 140730254516170 0
/proc/30229/statm: 28282 364 306 221 0 87 0
[pid=30231] ppid=30229 vsize=14082940 memory=41204 CPUtime=0.34 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30229 30229 28743 0 -1 1077944320 8321 0 0 0 32 2 0 0 20 0 15 0 232169535 14420930560 10301 33554432000 4194304 4196468 140731227392752 140731227375296 140490874769143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
/proc/30231/statm: 3520735 10301 3210 1 0 3483012 0
[pid=30231/tid=30232] ppid=30229 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/30231/task/30232/stat : 30232 (java) R 30229 30229 28743 0 -1 4202560 5451 0 0 0 19 1 0 0 20 0 15 0 232169535 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490879002320 140490874791069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30233] ppid=30229 vsize=14082940 memory=8969 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30233/stat : 30233 (java) S 30229 30229 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232169536 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490804857104 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30234] ppid=30229 vsize=14082940 memory=288370593423947392 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30234/stat : 30234 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169536 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490803804560 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30235] ppid=30229 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30235/stat : 30235 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169536 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490802752016 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30236] ppid=30229 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30236/stat : 30236 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169536 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490801699472 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30237] ppid=30229 vsize=14082940 memory=140217272235648 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30237/stat : 30237 (java) S 30229 30229 28743 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232169537 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490348911088 140490874780290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30238] ppid=30229 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30238/stat : 30238 (java) S 30229 30229 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232169538 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490347857312 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30239] ppid=30229 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30239/stat : 30239 (java) S 30229 30229 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232169538 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490346804720 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30240] ppid=30229 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30240/stat : 30240 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169540 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490345753296 140490874787739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30241] ppid=30229 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30231/task/30241/stat : 30241 (java) S 30229 30229 28743 0 -1 1077944384 733 0 0 0 3 0 0 0 20 0 15 0 232169540 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490344699888 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30242] ppid=30229 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30231/task/30242/stat : 30242 (java) S 30229 30229 28743 0 -1 1077944384 52 0 0 0 2 0 0 0 20 0 15 0 232169540 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490343647344 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30243] ppid=30229 vsize=14082940 memory=140217272235648 CPUtime=0.07 cores=0,2,4,6
/proc/30231/task/30243/stat : 30243 (java) S 30229 30229 28743 0 -1 1077944384 774 0 0 0 7 0 0 0 20 0 15 0 232169540 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490342594800 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30244] ppid=30229 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30244/stat : 30244 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169541 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490341542496 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30245] ppid=30229 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30245/stat : 30245 (java) S 30229 30229 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232169541 14420930560 10301 33554432000 4194304 4196468 140731227392752 140490340490032 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42660 KiB
[startup+0.310889 s]*
/proc/loadavg: 2.31 2.10 2.00 4/222 30245
/proc/meminfo: memFree=11145388/32770624 swapFree=67108852/67108860
[pid=30229] ppid=30226 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30229/stat : 30229 (xcsp3-exec) S 30226 30229 28743 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 232169535 115843072 364 33554432000 4194304 5098028 140730254510640 140730254508744 140551962923644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34811904 140730254513210 140730254513412 140730254513412 140730254516170 0
/proc/30229/statm: 28282 364 306 221 0 87 0
[pid=30231] ppid=30229 vsize=14087196 memory=48184 CPUtime=0.53 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30229 30229 28743 0 -1 1077944320 9212 0 0 0 50 3 0 0 20 0 15 0 232169535 14425288704 12046 33554432000 4194304 4196468 140731227392752 140731227375296 140490874769143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
/proc/30231/statm: 3521799 12046 3267 1 0 3483012 0
[pid=30231/tid=30232] ppid=30229 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/30231/task/30232/stat : 30232 (java) R 30229 30229 28743 0 -1 4202560 6154 0 0 0 28 1 0 0 20 0 15 0 232169535 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490879000912 140490874791069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30233] ppid=30229 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30233/stat : 30233 (java) S 30229 30229 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232169536 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490804857104 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30234] ppid=30229 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30234/stat : 30234 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169536 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490803804560 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30235] ppid=30229 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30235/stat : 30235 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169536 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490802752016 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30236] ppid=30229 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30236/stat : 30236 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169536 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490801699472 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30237] ppid=30229 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30237/stat : 30237 (java) S 30229 30229 28743 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232169537 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490348911088 140490874780290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30238] ppid=30229 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30238/stat : 30238 (java) S 30229 30229 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232169538 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490347857312 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30239] ppid=30229 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30239/stat : 30239 (java) S 30229 30229 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232169538 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490346804720 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30240] ppid=30229 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30240/stat : 30240 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169540 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490345753296 140490874787739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30241] ppid=30229 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/30231/task/30241/stat : 30241 (java) S 30229 30229 28743 0 -1 1077944384 747 0 0 0 4 0 0 0 20 0 15 0 232169540 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490344699888 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30242] ppid=30229 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/30231/task/30242/stat : 30242 (java) S 30229 30229 28743 0 -1 1077944384 160 0 0 0 5 0 0 0 20 0 15 0 232169540 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490343647344 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30243] ppid=30229 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30231/task/30243/stat : 30243 (java) S 30229 30229 28743 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 15 0 232169540 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490342594800 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30244] ppid=30229 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30244/stat : 30244 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169541 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490341542496 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30245] ppid=30229 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30245/stat : 30245 (java) S 30229 30229 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232169541 14425288704 12046 33554432000 4194304 4196468 140731227392752 140490340490032 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49640 KiB
[startup+0.701338 s]
/proc/loadavg: 2.31 2.10 2.00 6/222 30245
/proc/meminfo: memFree=11119260/32770624 swapFree=67108852/67108860
[pid=30229] ppid=30226 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30229/stat : 30229 (xcsp3-exec) S 30226 30229 28743 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 232169535 115843072 364 33554432000 4194304 5098028 140730254510640 140730254508744 140551962923644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34811904 140730254513210 140730254513412 140730254513412 140730254516170 0
/proc/30229/statm: 28282 364 306 221 0 87 0
[pid=30231] ppid=30229 vsize=14089320 memory=142244 CPUtime=1.71 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30229 30229 28743 0 -1 1077944320 12720 0 0 0 166 5 0 0 20 0 15 0 232169535 14427463680 35561 33554432000 4194304 4196468 140731227392752 140731227375296 140490874769143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
/proc/30231/statm: 3522330 35561 3347 1 0 3483524 0
[pid=30231/tid=30232] ppid=30229 vsize=14089320 memory=63188 CPUtime=0.67 cores=0,2,4,6
/proc/30231/task/30232/stat : 30232 (java) R 30229 30229 28743 0 -1 4202560 6676 0 0 0 64 3 0 0 20 0 15 0 232169535 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490879006488 140490858812773 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30233] ppid=30229 vsize=14089320 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30233/stat : 30233 (java) S 30229 30229 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232169536 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490804857104 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30234] ppid=30229 vsize=14089320 memory=2252 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30234/stat : 30234 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169536 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490803804560 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30235] ppid=30229 vsize=14089320 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30235/stat : 30235 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169536 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490802752016 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30236] ppid=30229 vsize=14089320 memory=756 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30236/stat : 30236 (java) S 30229 30229 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232169536 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490801699472 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30237] ppid=30229 vsize=14089320 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30237/stat : 30237 (java) S 30229 30229 28743 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232169537 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490348911088 140490874780290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30238] ppid=30229 vsize=14089320 memory=11796 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30238/stat : 30238 (java) S 30229 30229 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232169538 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490347857312 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30239] ppid=30229 vsize=14089320 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30239/stat : 30239 (java) S 30229 30229 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232169538 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490346804720 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30240] ppid=30229 vsize=14089320 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30240/stat : 30240 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169540 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490345753296 140490874787739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30241] ppid=30229 vsize=14089320 memory=1388 CPUtime=0.34 cores=0,2,4,6
/proc/30231/task/30241/stat : 30241 (java) R 30229 30229 28743 0 -1 4202560 1892 0 0 0 34 0 0 0 20 0 15 0 232169540 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490344690000 140490859688197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30242] ppid=30229 vsize=14089320 memory=1228 CPUtime=0.36 cores=0,2,4,6
/proc/30231/task/30242/stat : 30242 (java) R 30229 30229 28743 0 -1 4202560 1196 0 0 0 36 0 0 0 20 0 15 0 232169540 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490343635664 140490858326482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30243] ppid=30229 vsize=14089320 memory=880 CPUtime=0.31 cores=0,2,4,6
/proc/30231/task/30243/stat : 30243 (java) R 30229 30229 28743 0 -1 4202560 1645 0 0 0 31 0 0 0 20 0 15 0 232169540 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490342594800 140490874790490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30244] ppid=30229 vsize=14089320 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30244/stat : 30244 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169541 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490341542496 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30245] ppid=30229 vsize=14089320 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30245/stat : 30245 (java) S 30229 30229 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232169541 14427463680 35561 33554432000 4194304 4196468 140731227392752 140490340490032 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 143700 KiB
[startup+1.50163 s]
/proc/loadavg: 2.31 2.10 2.00 5/222 30245
/proc/meminfo: memFree=11018540/32770624 swapFree=67108852/67108860
[pid=30229] ppid=30226 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30229/stat : 30229 (xcsp3-exec) S 30226 30229 28743 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 232169535 115843072 364 33554432000 4194304 5098028 140730254510640 140730254508744 140551962923644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34811904 140730254513210 140730254513412 140730254513412 140730254516170 0
/proc/30229/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/30231/task/30239/stat : 30239 (java) S 30229 30229 28743 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 232169538 14427463680 59740 33554432000 4194304 4196468 140731227392752 140490346804736 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30240] ppid=30229 vsize=14089320 memory=238960 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30240/stat : 30240 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169540 14427463680 59740 33554432000 4194304 4196468 140731227392752 140490345753296 140490874787739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30241] ppid=30229 vsize=14089320 memory=1456 CPUtime=2.27 cores=0,2,4,6
/proc/30231/task/30241/stat : 30241 (java) S 30229 30229 28743 0 -1 1077944384 14130 0 0 0 225 2 0 0 20 0 15 0 232169540 14427463680 59740 33554432000 4194304 4196468 140731227392752 140490344699888 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30242] ppid=30229 vsize=14089320 memory=238960 CPUtime=2.28 cores=0,2,4,6
/proc/30231/task/30242/stat : 30242 (java) S 30229 30229 28743 0 -1 1077944384 14343 0 0 0 226 2 0 0 20 0 15 0 232169540 14427463680 59740 33554432000 4194304 4196468 140731227392752 140490343647344 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30243] ppid=30229 vsize=14089320 memory=3768 CPUtime=0.71 cores=0,2,4,6
/proc/30231/task/30243/stat : 30243 (java) S 30229 30229 28743 0 -1 1077944384 13080 0 0 0 68 3 0 0 20 0 15 0 232169540 14427463680 59740 33554432000 4194304 4196468 140731227392752 140490342594800 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30244] ppid=30229 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30244/stat : 30244 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169541 14427463680 59740 33554432000 4194304 4196468 140731227392752 140490341542496 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30245] ppid=30229 vsize=14089320 memory=238960 CPUtime=0.74 cores=0,2,4,6
/proc/30231/task/30245/stat : 30245 (java) S 30229 30229 28743 0 -1 1077944384 702 0 0 0 34 40 0 0 20 0 15 0 232169541 14427463680 59740 33554432000 4194304 4196468 140731227392752 140490340490032 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
Current children cumulated CPU time: 2394.3 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 240416 KiB
[startup+2442.3 s]
/proc/loadavg: 1.31 1.30 1.39 3/221 30370
/proc/meminfo: memFree=9679816/32770624 swapFree=67108852/67108860
[pid=30229] ppid=30226 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30229/stat : 30229 (xcsp3-exec) S 30226 30229 28743 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 232169535 115843072 364 33554432000 4194304 5098028 140730254510640 140730254508744 140551962923644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34811904 140730254513210 140730254513412 140730254513412 140730254516170 0
/proc/30229/statm: 28282 364 306 221 0 87 0
[pid=30231] ppid=30229 vsize=14089320 memory=241048 CPUtime=2454.51 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30229 30229 28743 0 -1 1077944320 90983 0 0 0 245321 130 0 0 20 0 15 0 232169535 14427463680 60262 33554432000 4194304 4196468 140731227392752 140731227375296 140490874769143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
/proc/30231/statm: 3522330 60262 3416 1 0 3483524 0
[pid=30231/tid=30232] ppid=30229 vsize=14089320 memory=241048 CPUtime=2436.56 cores=0,2,4,6
/proc/30231/task/30232/stat : 30232 (java) R 30229 30229 28743 0 -1 4202560 25045 0 0 0 243644 12 0 0 20 0 15 0 232169535 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490879008384 140490482965250 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30233] ppid=30229 vsize=14089320 memory=241048 CPUtime=2.38 cores=0,2,4,6
/proc/30231/task/30233/stat : 30233 (java) S 30229 30229 28743 0 -1 1077944384 4350 0 0 0 215 23 0 0 20 0 15 0 232169536 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490804857104 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30234] ppid=30229 vsize=14089320 memory=238960 CPUtime=2.38 cores=0,2,4,6
/proc/30231/task/30234/stat : 30234 (java) S 30229 30229 28743 0 -1 1077944384 3791 0 0 0 218 20 0 0 20 0 15 0 232169536 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490803804560 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30235] ppid=30229 vsize=14089320 memory=238960 CPUtime=2.39 cores=0,2,4,6
/proc/30231/task/30235/stat : 30235 (java) S 30229 30229 28743 0 -1 1077944384 4215 0 0 0 218 21 0 0 20 0 15 0 232169536 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490802752016 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30236] ppid=30229 vsize=14089320 memory=239000 CPUtime=2.39 cores=0,2,4,6
/proc/30231/task/30236/stat : 30236 (java) S 30229 30229 28743 0 -1 1077944384 3970 0 0 0 217 22 0 0 20 0 15 0 232169536 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490801699472 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30237] ppid=30229 vsize=14089320 memory=239000 CPUtime=2.31 cores=0,2,4,6
/proc/30231/task/30237/stat : 30237 (java) S 30229 30229 28743 0 -1 1077944384 5994 0 0 0 216 15 0 0 20 0 15 0 232169537 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490348911088 140490874780290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30238] ppid=30229 vsize=14089320 memory=241048 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30238/stat : 30238 (java) S 30229 30229 28743 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 232169538 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490347857376 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30239] ppid=30229 vsize=14089320 memory=241048 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30239/stat : 30239 (java) S 30229 30229 28743 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 232169538 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490346804736 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30240] ppid=30229 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30240/stat : 30240 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169540 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490345753296 140490874787739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30241] ppid=30229 vsize=14089320 memory=140217127287127 CPUtime=2.27 cores=0,2,4,6
/proc/30231/task/30241/stat : 30241 (java) S 30229 30229 28743 0 -1 1077944384 14130 0 0 0 225 2 0 0 20 0 15 0 232169540 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490344699888 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30242] ppid=30229 vsize=14089320 memory=1456 CPUtime=2.28 cores=0,2,4,6
/proc/30231/task/30242/stat : 30242 (java) S 30229 30229 28743 0 -1 1077944384 14343 0 0 0 226 2 0 0 20 0 15 0 232169540 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490343647344 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30243] ppid=30229 vsize=14089320 memory=239000 CPUtime=0.71 cores=0,2,4,6
/proc/30231/task/30243/stat : 30243 (java) S 30229 30229 28743 0 -1 1077944384 13080 0 0 0 68 3 0 0 20 0 15 0 232169540 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490342594800 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30244] ppid=30229 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30244/stat : 30244 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169541 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490341542496 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30245] ppid=30229 vsize=14089320 memory=239000 CPUtime=0.76 cores=0,2,4,6
/proc/30231/task/30245/stat : 30245 (java) S 30229 30229 28743 0 -1 1077944384 706 0 0 0 35 41 0 0 20 0 15 0 232169541 14427463680 60262 33554432000 4194304 4196468 140731227392752 140490340490032 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
Current children cumulated CPU time: 2454.51 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 242504 KiB
[startup+2502.3 s]
/proc/loadavg: 1.49 1.35 1.41 3/221 30528
/proc/meminfo: memFree=11468360/32770624 swapFree=67108852/67108860
[pid=30229] ppid=30226 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30229/stat : 30229 (xcsp3-exec) S 30226 30229 28743 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 232169535 115843072 364 33554432000 4194304 5098028 140730254510640 140730254508744 140551962923644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34811904 140730254513210 140730254513412 140730254513412 140730254516170 0
/proc/30229/statm: 28282 364 306 221 0 87 0
[pid=30231] ppid=30229 vsize=14089320 memory=245164 CPUtime=2514.77 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30229 30229 28743 0 -1 1077944320 92447 0 0 0 251344 133 0 0 20 0 15 0 232169535 14427463680 61291 33554432000 4194304 4196468 140731227392752 140731227375296 140490874769143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
/proc/30231/statm: 3522330 61291 3416 1 0 3483524 0
[pid=30231/tid=30232] ppid=30229 vsize=14089320 memory=245164 CPUtime=2496.4 cores=0,2,4,6
/proc/30231/task/30232/stat : 30232 (java) R 30229 30229 28743 0 -1 4202560 25506 0 0 0 249628 12 0 0 20 0 15 0 232169535 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490879008384 140490482839833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30233] ppid=30229 vsize=14089320 memory=243116 CPUtime=2.46 cores=0,2,4,6
/proc/30231/task/30233/stat : 30233 (java) S 30229 30229 28743 0 -1 1077944384 4446 0 0 0 222 24 0 0 20 0 15 0 232169536 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490804857104 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30234] ppid=30229 vsize=14089320 memory=243116 CPUtime=2.46 cores=0,2,4,6
/proc/30231/task/30234/stat : 30234 (java) S 30229 30229 28743 0 -1 1077944384 3817 0 0 0 225 21 0 0 20 0 15 0 232169536 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490803804560 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30235] ppid=30229 vsize=14089320 memory=243116 CPUtime=2.47 cores=0,2,4,6
/proc/30231/task/30235/stat : 30235 (java) S 30229 30229 28743 0 -1 1077944384 4602 0 0 0 225 22 0 0 20 0 15 0 232169536 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490802752016 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30236] ppid=30229 vsize=14089320 memory=1456 CPUtime=2.47 cores=0,2,4,6
/proc/30231/task/30236/stat : 30236 (java) S 30229 30229 28743 0 -1 1077944384 4013 0 0 0 224 23 0 0 20 0 15 0 232169536 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490801699472 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30237] ppid=30229 vsize=14089320 memory=1456 CPUtime=2.36 cores=0,2,4,6
/proc/30231/task/30237/stat : 30237 (java) S 30229 30229 28743 0 -1 1077944384 6166 0 0 0 221 15 0 0 20 0 15 0 232169537 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490348911088 140490874780290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30238] ppid=30229 vsize=14089320 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30238/stat : 30238 (java) S 30229 30229 28743 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 232169538 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490347857376 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30239] ppid=30229 vsize=14089320 memory=243116 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30239/stat : 30239 (java) S 30229 30229 28743 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 232169538 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490346804736 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30240] ppid=30229 vsize=14089320 memory=243116 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30240/stat : 30240 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169540 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490345753296 140490874787739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30241] ppid=30229 vsize=14089320 memory=1456 CPUtime=2.3 cores=0,2,4,6
/proc/30231/task/30241/stat : 30241 (java) S 30229 30229 28743 0 -1 1077944384 14368 0 0 0 228 2 0 0 20 0 15 0 232169540 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490344699888 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30242] ppid=30229 vsize=14089320 memory=1456 CPUtime=2.29 cores=0,2,4,6
/proc/30231/task/30242/stat : 30242 (java) S 30229 30229 28743 0 -1 1077944384 14365 0 0 0 227 2 0 0 20 0 15 0 232169540 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490343647344 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30243] ppid=30229 vsize=14089320 memory=1456 CPUtime=0.71 cores=0,2,4,6
/proc/30231/task/30243/stat : 30243 (java) S 30229 30229 28743 0 -1 1077944384 13082 0 0 0 68 3 0 0 20 0 15 0 232169540 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490342594800 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30244] ppid=30229 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30244/stat : 30244 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169541 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490341542496 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30245] ppid=30229 vsize=14089320 memory=3768 CPUtime=0.78 cores=0,2,4,6
/proc/30231/task/30245/stat : 30245 (java) S 30229 30229 28743 0 -1 1077944384 723 0 0 0 36 42 0 0 20 0 15 0 232169541 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490340490032 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
Current children cumulated CPU time: 2514.77 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 246620 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.6 s]
/proc/loadavg: 1.69 1.39 1.42 3/221 30528
/proc/meminfo: memFree=11458892/32770624 swapFree=67108852/67108860
[pid=30229] ppid=30226 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30229/stat : 30229 (xcsp3-exec) S 30226 30229 28743 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 232169535 115843072 364 33554432000 4194304 5098028 140730254510640 140730254508744 140551962923644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34811904 140730254513210 140730254513412 140730254513412 140730254516170 0
/proc/30229/statm: 28282 364 306 221 0 87 0
[pid=30231] ppid=30229 vsize=14089320 memory=245164 CPUtime=2520.09 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30229 30229 28743 0 -1 1077944320 92462 0 0 0 251876 133 0 0 20 0 15 0 232169535 14427463680 61291 33554432000 4194304 4196468 140731227392752 140731227375296 140490874769143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
/proc/30231/statm: 3522330 61291 3416 1 0 3483524 0
[pid=30231/tid=30232] ppid=30229 vsize=14089320 memory=245164 CPUtime=2501.69 cores=0,2,4,6
/proc/30231/task/30232/stat : 30232 (java) R 30229 30229 28743 0 -1 4202560 25514 0 0 0 250157 12 0 0 20 0 15 0 232169535 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490879008272 140490483961259 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30233] ppid=30229 vsize=14089320 memory=4104 CPUtime=2.46 cores=0,2,4,6
/proc/30231/task/30233/stat : 30233 (java) S 30229 30229 28743 0 -1 1077944384 4446 0 0 0 222 24 0 0 20 0 15 0 232169536 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490804857104 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30234] ppid=30229 vsize=14089320 memory=1404 CPUtime=2.46 cores=0,2,4,6
/proc/30231/task/30234/stat : 30234 (java) S 30229 30229 28743 0 -1 1077944384 3817 0 0 0 225 21 0 0 20 0 15 0 232169536 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490803804560 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30235] ppid=30229 vsize=14089320 memory=1456 CPUtime=2.47 cores=0,2,4,6
/proc/30231/task/30235/stat : 30235 (java) S 30229 30229 28743 0 -1 1077944384 4603 0 0 0 225 22 0 0 20 0 15 0 232169536 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490802752016 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30236] ppid=30229 vsize=14089320 memory=3768 CPUtime=2.47 cores=0,2,4,6
/proc/30231/task/30236/stat : 30236 (java) S 30229 30229 28743 0 -1 1077944384 4015 0 0 0 224 23 0 0 20 0 15 0 232169536 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490801699472 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30237] ppid=30229 vsize=14089320 memory=63260 CPUtime=2.37 cores=0,2,4,6
/proc/30231/task/30237/stat : 30237 (java) S 30229 30229 28743 0 -1 1077944384 6168 0 0 0 222 15 0 0 20 0 15 0 232169537 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490348911088 140490874780290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30238] ppid=30229 vsize=14089320 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30238/stat : 30238 (java) S 30229 30229 28743 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 232169538 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490347857376 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30239] ppid=30229 vsize=14089320 memory=2252 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30239/stat : 30239 (java) S 30229 30229 28743 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 232169538 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490346804736 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30240] ppid=30229 vsize=14089320 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30240/stat : 30240 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169540 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490345753296 140490874787739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30241] ppid=30229 vsize=14089320 memory=756 CPUtime=2.3 cores=0,2,4,6
/proc/30231/task/30241/stat : 30241 (java) S 30229 30229 28743 0 -1 1077944384 14368 0 0 0 228 2 0 0 20 0 15 0 232169540 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490344699888 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30242] ppid=30229 vsize=14089320 memory=1620 CPUtime=2.29 cores=0,2,4,6
/proc/30231/task/30242/stat : 30242 (java) S 30229 30229 28743 0 -1 1077944384 14365 0 0 0 227 2 0 0 20 0 15 0 232169540 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490343647344 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30243] ppid=30229 vsize=14089320 memory=11796 CPUtime=0.71 cores=0,2,4,6
/proc/30231/task/30243/stat : 30243 (java) S 30229 30229 28743 0 -1 1077944384 13082 0 0 0 68 3 0 0 20 0 15 0 232169540 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490342594800 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30244] ppid=30229 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30231/task/30244/stat : 30244 (java) S 30229 30229 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232169541 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490341542496 140490874779349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
[pid=30231/tid=30245] ppid=30229 vsize=14089320 memory=1620 CPUtime=0.78 cores=0,2,4,6
/proc/30231/task/30245/stat : 30245 (java) S 30229 30229 28743 0 -1 1077944384 725 0 0 0 36 42 0 0 20 0 15 0 232169541 14427463680 61291 33554432000 4194304 4196468 140731227392752 140490340490032 140490874780290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9568256 140731227395206 140731227395377 140731227395377 140731227398095 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 246620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.61 s]
# the end of solver process 30229 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00116 s, system=0.00116 s
[startup+2507.62 s]
# the end of solver process 30231 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.77 s, system=1.3357 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): 2507.62
CPU time (s): 2520.11
CPU user time (s): 2518.77
CPU system time (s): 1.3357
CPU usage (%): 100.498
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 246620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.77
system time used= 1.3357
maximum resident set size= 245812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93234
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119896
involuntary context switches= 5937
# summary of solver processes directly reported to runsolver:
# pid: 30229,30231
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.77
# total CPU system time (s): 1.3357
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7821 second user time and 24.7689 second system time
The end