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 (11537 MiB free)
memory of node 1: 16384 MiB (15850 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298786-1532814344/watcher-4298786-1532814344 -o /tmp/evaluation-result-4298786-1532814344/solver-4298786-1532814344 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532809638-1645 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4298786-1532814344.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=3458, runsolver pid=3455
[startup+0.100086 s]*
/proc/loadavg: 1.67 1.61 1.56 3/215 3473
/proc/meminfo: memFree=28025712/32770624 swapFree=67108860/67108860
[pid=3458] ppid=3455 vsize=10661052 memory=29616 CPUtime=0.12 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 1613 0 -1 1077944320 5354 0 0 0 11 1 0 0 20 0 15 0 98997533 10916917248 7404 33554432000 4194304 4196468 140729934163008 140729934145552 139740226354935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
/proc/3458/statm: 2665263 7404 2814 1 0 2627263 0
[pid=3458/tid=3460] ppid=3455 vsize=10661052 memory=-8537800632975586496 CPUtime=0.09 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 1613 0 -1 4202560 3238 0 0 0 8 1 0 0 20 0 15 0 98997533 10916917248 7404 33554432000 4194304 4196468 140729934163008 139740230584416 139740226366870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3461] ppid=3455 vsize=10661052 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916917248 7404 33554432000 4194304 4196468 140729934163008 139740185115536 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3462] ppid=3455 vsize=10661052 memory=139833606727296 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916917248 7404 33554432000 4194304 4196468 140729934163008 139739832068880 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3463] ppid=3455 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916917248 7404 33554432000 4194304 4196468 140729934163008 139739831016592 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3464] ppid=3455 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98997534 10916917248 7404 33554432000 4194304 4196468 140729934163008 139739829963792 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3465] ppid=3455 vsize=10661052 memory=139833606727296 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98997535 10916917248 7404 33554432000 4194304 4196468 140729934163008 139739786061936 139740226366082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3466] ppid=3455 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98997536 10916917248 7404 33554432000 4194304 4196468 140729934163008 139739785007904 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3467] ppid=3455 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98997536 10916917248 7404 33554432000 4194304 4196468 140729934163008 139739783955568 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3468] ppid=3455 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997538 10916917248 7470 33554432000 4194304 4196468 140729934163008 139739782903888 139740226373531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3469] ppid=3455 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) R 3455 3458 1613 0 -1 4202560 302 0 0 0 0 0 0 0 20 0 15 0 98997538 10916917248 7470 33554432000 4194304 4196468 140729934163008 139739257629296 139740209754108 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3470] ppid=3455 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) R 3455 3458 1613 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 98997538 10916917248 7470 33554432000 4194304 4196468 140729934163008 139739256576496 139740226366082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3471] ppid=3455 vsize=10661052 memory=139833606727296 CPUtime=0.02 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) R 3455 3458 1613 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 98997538 10916917248 7470 33554432000 4194304 4196468 140729934163008 139739255524208 139740205338660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3472] ppid=3455 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997539 10916917248 7470 33554432000 4194304 4196468 140729934163008 139739254471648 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3473] ppid=3455 vsize=10661052 memory=139833606727296 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997539 10916917248 7470 33554432000 4194304 4196468 140729934163008 139739253418416 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 29616 KiB
[startup+0.210825 s]*
/proc/loadavg: 1.67 1.61 1.56 5/215 3473
/proc/meminfo: memFree=28014284/32770624 swapFree=67108860/67108860
[pid=3458] ppid=3455 vsize=10661052 memory=42944 CPUtime=0.36 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 1613 0 -1 1077944320 8331 0 0 0 33 3 0 0 20 0 15 0 98997533 10916917248 10736 33554432000 4194304 4196468 140729934163008 140729934145552 139740226354935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
/proc/3458/statm: 2665263 10736 2996 1 0 2627263 0
[pid=3458/tid=3460] ppid=3455 vsize=10661052 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 1613 0 -1 1077944384 5147 0 0 0 18 1 0 0 20 0 15 0 98997533 10916917248 10736 33554432000 4194304 4196468 140729934163008 139740230592928 139740226365141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3461] ppid=3455 vsize=10661052 memory=331 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916917248 10736 33554432000 4194304 4196468 140729934163008 139740185115536 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3462] ppid=3455 vsize=10661052 memory=3473313680059852448 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916917248 10736 33554432000 4194304 4196468 140729934163008 139739832068880 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3463] ppid=3455 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916917248 10736 33554432000 4194304 4196468 140729934163008 139739831016592 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3464] ppid=3455 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98997534 10916917248 10736 33554432000 4194304 4196468 140729934163008 139739829963792 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3465] ppid=3455 vsize=10661052 memory=139833606727296 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98997535 10916917248 10736 33554432000 4194304 4196468 140729934163008 139739786061936 139740226366082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3466] ppid=3455 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98997536 10916917248 10736 33554432000 4194304 4196468 140729934163008 139739785007904 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3467] ppid=3455 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98997536 10916917248 10736 33554432000 4194304 4196468 140729934163008 139739783955568 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3468] ppid=3455 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997538 10916917248 10736 33554432000 4194304 4196468 140729934163008 139739782903888 139740226373531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3469] ppid=3455 vsize=10661052 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) R 3455 3458 1613 0 -1 4202560 651 0 0 0 3 0 0 0 20 0 15 0 98997538 10916917248 10736 33554432000 4194304 4196468 140729934163008 139739257610312 139740205600778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3470] ppid=3455 vsize=10661052 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) R 3455 3458 1613 0 -1 4202560 223 0 0 0 1 0 0 0 20 0 15 0 98997538 10916917248 10736 33554432000 4194304 4196468 140729934163008 139739256576496 139740226366870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3471] ppid=3455 vsize=10661052 memory=139833606727296 CPUtime=0.08 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) R 3455 3458 1613 0 -1 4202560 948 0 0 0 8 0 0 0 20 0 15 0 98997538 10916917248 10736 33554432000 4194304 4196468 140729934163008 139739255521384 139740210435422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3472] ppid=3455 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997539 10916917248 10736 33554432000 4194304 4196468 140729934163008 139739254471648 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3473] ppid=3455 vsize=10661052 memory=139833606727296 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997539 10916917248 10736 33554432000 4194304 4196468 140729934163008 139739253418416 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 42944 KiB
[startup+0.31944 s]*
/proc/loadavg: 1.67 1.61 1.56 6/215 3473
/proc/meminfo: memFree=27996876/32770624 swapFree=67108860/67108860
[pid=3458] ppid=3455 vsize=10661128 memory=60156 CPUtime=0.72 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 1613 0 -1 1077944320 10131 0 0 0 69 3 0 0 20 0 15 0 98997533 10916995072 15039 33554432000 4194304 4196468 140729934163008 140729934145552 139740226354935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
/proc/3458/statm: 2665282 15039 3075 1 0 2627263 0
[pid=3458/tid=3460] ppid=3455 vsize=10661128 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 1613 0 -1 4202560 5472 0 0 0 28 2 0 0 20 0 15 0 98997533 10916995072 15039 33554432000 4194304 4196468 140729934163008 139740230589448 139739862701632 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3461] ppid=3455 vsize=10661128 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916995072 15039 33554432000 4194304 4196468 140729934163008 139740185115536 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3462] ppid=3455 vsize=10661128 memory=3977435363348637344 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916995072 15039 33554432000 4194304 4196468 140729934163008 139739832068880 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3463] ppid=3455 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916995072 15039 33554432000 4194304 4196468 140729934163008 139739831016592 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3464] ppid=3455 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98997534 10916995072 15039 33554432000 4194304 4196468 140729934163008 139739829963792 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3465] ppid=3455 vsize=10661128 memory=139833606727296 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98997535 10916995072 15039 33554432000 4194304 4196468 140729934163008 139739786061936 139740226366082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3466] ppid=3455 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98997536 10916995072 15039 33554432000 4194304 4196468 140729934163008 139739785007904 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3467] ppid=3455 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98997536 10916995072 15039 33554432000 4194304 4196468 140729934163008 139739783955568 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3468] ppid=3455 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997538 10916995072 15039 33554432000 4194304 4196468 140729934163008 139739782903888 139740226373531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3469] ppid=3455 vsize=10661128 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) S 3455 3458 1613 0 -1 1077944384 1053 0 0 0 13 0 0 0 20 0 15 0 98997538 10916995072 15039 33554432000 4194304 4196468 140729934163008 139739257629296 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3470] ppid=3455 vsize=10661128 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) R 3455 3458 1613 0 -1 4202560 1018 0 0 0 11 0 0 0 20 0 15 0 98997538 10916995072 15039 33554432000 4194304 4196468 140729934163008 139739256567328 139740212511400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3471] ppid=3455 vsize=10661128 memory=139833606727296 CPUtime=0.16 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) R 3455 3458 1613 0 -1 4202560 1229 0 0 0 16 0 0 0 20 0 15 0 98997538 10916995072 15039 33554432000 4194304 4196468 140729934163008 139739255520576 139740204723735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3472] ppid=3455 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997539 10916995072 15039 33554432000 4194304 4196468 140729934163008 139739254471648 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3473] ppid=3455 vsize=10661128 memory=139833606727296 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997539 10916995072 15039 33554432000 4194304 4196468 140729934163008 139739253418416 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 60156 KiB
[startup+0.700815 s]
/proc/loadavg: 1.67 1.61 1.56 5/215 3473
/proc/meminfo: memFree=27949400/32770624 swapFree=67108860/67108860
[pid=3458] ppid=3455 vsize=10661128 memory=124812 CPUtime=1.99 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 1613 0 -1 1077944320 12447 0 0 0 194 5 0 0 20 0 15 0 98997533 10916995072 31203 33554432000 4194304 4196468 140729934163008 140729934145552 139740226354935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
/proc/3458/statm: 2665282 31203 3120 1 0 2627263 0
[pid=3458/tid=3460] ppid=3455 vsize=10661128 memory=15936 CPUtime=0.66 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 1613 0 -1 4202560 5649 0 0 0 63 3 0 0 20 0 15 0 98997533 10916995072 31203 33554432000 4194304 4196468 140729934163008 139740230572336 139739862585065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3461] ppid=3455 vsize=10661128 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916995072 31203 33554432000 4194304 4196468 140729934163008 139740185115536 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3462] ppid=3455 vsize=10661128 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916995072 31203 33554432000 4194304 4196468 140729934163008 139739832068880 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3463] ppid=3455 vsize=10661128 memory=496 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916995072 31203 33554432000 4194304 4196468 140729934163008 139739831016592 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3464] ppid=3455 vsize=10661128 memory=928 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98997534 10916995072 31203 33554432000 4194304 4196468 140729934163008 139739829963792 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3465] ppid=3455 vsize=10661128 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 1613 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98997535 10916995072 31203 33554432000 4194304 4196468 140729934163008 139739786061936 139740226366082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3466] ppid=3455 vsize=10661128 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98997536 10916995072 31203 33554432000 4194304 4196468 140729934163008 139739785007904 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3467] ppid=3455 vsize=10661128 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98997536 10916995072 31203 33554432000 4194304 4196468 140729934163008 139739783955568 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3468] ppid=3455 vsize=10661128 memory=7086240636128810594 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997538 10916995072 31203 33554432000 4194304 4196468 140729934163008 139739782903888 139740226373531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3469] ppid=3455 vsize=10661128 memory=6153433744107333222 CPUtime=0.48 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) R 3455 3458 1613 0 -1 4202560 2181 0 0 0 48 0 0 0 20 0 15 0 98997538 10916995072 31203 33554432000 4194304 4196468 140729934163008 139739257620752 139740207899139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3470] ppid=3455 vsize=10661128 memory=7091322660559545453 CPUtime=0.47 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) R 3455 3458 1613 0 -1 4202560 1376 0 0 0 47 0 0 0 20 0 15 0 98997538 10916995072 31203 33554432000 4194304 4196468 140729934163008 139739256568144 139740207899088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3471] ppid=3455 vsize=10661128 memory=5787213827064620119 CPUtime=0.33 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) S 3455 3458 1613 0 -1 1077944384 1871 0 0 0 33 0 0 0 20 0 15 0 98997538 10916995072 31203 33554432000 4194304 4196468 140729934163008 139739255524208 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3472] ppid=3455 vsize=10661128 memory=7738706332276642923 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997539 10916995072 31203 33554432000 4194304 4196468 140729934163008 139739254471648 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3473] ppid=3455 vsize=10661128 memory=756 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997539 10916995072 31203 33554432000 4194304 4196468 140729934163008 139739253418416 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 124812 KiB
[startup+1.50074 s]
/proc/loadavg: 1.67 1.61 1.56 4/215 3473
/proc/meminfo: memFree=27925548/32770624 swapFree=67108860/67108860
[pid=3458] ppid=3455 vsize=10661128 memory=166820 CPUtime=3.26 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 1613 0 -1 1077944320 13103 0 0 0 321 5 0 0 20 0 15 0 98997533 10916995072 41705 33554432000 4194304 4196468 140729934163008 140729934145552 139740226354935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
/proc/3458/statm: 2665282 41705 3130 1 0 2627263 0
[pid=3458/tid=3460] ppid=3455 vsize=10661128 memory=150436 CPUtime=1.45 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 1613 0 -1 4202560 5714 0 0 0 142 3 0 0 20 0 15 0 98997533 10916995072 41705 33554432000 4194304 4196468 140729934163008 139740230591976 139739866855198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3461] ppid=3455 vsize=10661128 memory=33 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916995072 41705 33554432000 4194304 4196468 140729934163008 139740185115536 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3462] ppid=3455 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916995072 41705 33554432000 4194304 4196468 140729934163008 139739832068880 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3463] ppid=3455 vsize=10661128 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98997534 10916995072 41705 33554432000 4194304 4196468 140729934163008 139739831016592 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3464] ppid=3455 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98997534 10916995072 41705 33554432000 4194304 4196468 140729934163008 139739829963792 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3465] ppid=3455 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 1613 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98997535 10916995072 41705 33554432000 4194304 4196468 140729934163008 139739786061936 139740226366082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
################
# More data... #
################
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 1613 0 -1 4202560 14126 0 0 0 243444 11 0 0 20 0 15 0 98997533 10916995072 75690 33554432000 4194304 4196468 140729934163008 139740230594096 139739867080624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3461] ppid=3455 vsize=10661128 memory=302760 CPUtime=3.81 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 1613 0 -1 1077944384 3704 0 0 0 359 22 0 0 20 0 15 0 98997534 10916995072 75690 33554432000 4194304 4196468 140729934163008 139740185115536 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3462] ppid=3455 vsize=10661128 memory=302760 CPUtime=3.8 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 1613 0 -1 1077944384 2527 0 0 0 359 21 0 0 20 0 15 0 98997534 10916995072 75690 33554432000 4194304 4196468 140729934163008 139739832068880 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3463] ppid=3455 vsize=10661128 memory=302760 CPUtime=3.81 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 1613 0 -1 1077944384 3244 0 0 0 364 17 0 0 20 0 15 0 98997534 10916995072 75690 33554432000 4194304 4196468 140729934163008 139739831016592 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3464] ppid=3455 vsize=10661128 memory=15976 CPUtime=3.79 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 1613 0 -1 1077944384 2653 0 0 0 358 21 0 0 20 0 15 0 98997534 10916995072 75690 33554432000 4194304 4196468 140729934163008 139739829963792 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3465] ppid=3455 vsize=10661128 memory=302760 CPUtime=2.68 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 1613 0 -1 1077944384 4422 0 0 0 245 23 0 0 20 0 15 0 98997535 10916995072 75690 33554432000 4194304 4196468 140729934163008 139739786061936 139740226366082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3466] ppid=3455 vsize=10661128 memory=279666931264512 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98997536 10916995072 75690 33554432000 4194304 4196468 140729934163008 139739785007904 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3467] ppid=3455 vsize=10661128 memory=298664 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 1613 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 98997536 10916995072 75690 33554432000 4194304 4196468 140729934163008 139739783955568 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3468] ppid=3455 vsize=10661128 memory=298664 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997538 10916995072 75690 33554432000 4194304 4196468 140729934163008 139739782903888 139740226373531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3469] ppid=3455 vsize=10661128 memory=302760 CPUtime=0.85 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) S 3455 3458 1613 0 -1 1077944384 4550 0 0 0 84 1 0 0 20 0 15 0 98997538 10916995072 75690 33554432000 4194304 4196468 140729934163008 139739257629296 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3470] ppid=3455 vsize=10661128 memory=302760 CPUtime=0.79 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) S 3455 3458 1613 0 -1 1077944384 2929 0 0 0 78 1 0 0 20 0 15 0 98997538 10916995072 75690 33554432000 4194304 4196468 140729934163008 139739256576496 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3471] ppid=3455 vsize=10661128 memory=302760 CPUtime=0.39 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) S 3455 3458 1613 0 -1 1077944384 2374 0 0 0 39 0 0 0 20 0 15 0 98997538 10916995072 75690 33554432000 4194304 4196468 140729934163008 139739255524208 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3472] ppid=3455 vsize=10661128 memory=302760 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997539 10916995072 75690 33554432000 4194304 4196468 140729934163008 139739254471648 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3473] ppid=3455 vsize=10661128 memory=302760 CPUtime=0.74 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 1613 0 -1 1077944384 666 0 0 0 35 39 0 0 20 0 15 0 98997539 10916995072 75690 33554432000 4194304 4196468 140729934163008 139739253418416 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
Current children cumulated CPU time: 2455.29 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 302760 KiB
[startup+2502.3 s]
/proc/loadavg: 1.42 1.50 1.44 3/215 3669
/proc/meminfo: memFree=27495108/32770624 swapFree=67108860/67108860
[pid=3458] ppid=3455 vsize=10661128 memory=308904 CPUtime=2515.65 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 1613 0 -1 1077944320 43484 0 0 0 251431 134 0 0 20 0 15 0 98997533 10916995072 77226 33554432000 4194304 4196468 140729934163008 140729934145552 139740226354935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
/proc/3458/statm: 2665282 77226 3159 1 0 2627263 0
[pid=3458/tid=3460] ppid=3455 vsize=10661128 memory=308904 CPUtime=2494.33 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 1613 0 -1 4202560 14380 0 0 0 249422 11 0 0 20 0 15 0 98997533 10916995072 77226 33554432000 4194304 4196468 140729934163008 139740230594000 139739866935766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3461] ppid=3455 vsize=10661128 memory=306856 CPUtime=3.93 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 1613 0 -1 1077944384 3730 0 0 0 370 23 0 0 20 0 15 0 98997534 10916995072 77226 33554432000 4194304 4196468 140729934163008 139740185115536 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3462] ppid=3455 vsize=10661128 memory=306856 CPUtime=3.93 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 1613 0 -1 1077944384 2764 0 0 0 371 22 0 0 20 0 15 0 98997534 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739832068880 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3463] ppid=3455 vsize=10661128 memory=306856 CPUtime=3.94 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 1613 0 -1 1077944384 3257 0 0 0 376 18 0 0 20 0 15 0 98997534 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739831016592 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3464] ppid=3455 vsize=10661128 memory=306856 CPUtime=3.92 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 1613 0 -1 1077944384 2855 0 0 0 370 22 0 0 20 0 15 0 98997534 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739829963792 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3465] ppid=3455 vsize=10661128 memory=306856 CPUtime=2.74 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 1613 0 -1 1077944384 4592 0 0 0 251 23 0 0 20 0 15 0 98997535 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739786061936 139740226366082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3466] ppid=3455 vsize=10661128 memory=306856 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98997536 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739785007904 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3467] ppid=3455 vsize=10661128 memory=308904 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 1613 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 98997536 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739783955568 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3468] ppid=3455 vsize=10661128 memory=308904 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997538 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739782903888 139740226373531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3469] ppid=3455 vsize=10661128 memory=306856 CPUtime=0.85 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) S 3455 3458 1613 0 -1 1077944384 4552 0 0 0 84 1 0 0 20 0 15 0 98997538 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739257629296 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3470] ppid=3455 vsize=10661128 memory=308904 CPUtime=0.79 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) S 3455 3458 1613 0 -1 1077944384 2931 0 0 0 78 1 0 0 20 0 15 0 98997538 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739256576496 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3471] ppid=3455 vsize=10661128 memory=306856 CPUtime=0.39 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) S 3455 3458 1613 0 -1 1077944384 2376 0 0 0 39 0 0 0 20 0 15 0 98997538 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739255524208 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3472] ppid=3455 vsize=10661128 memory=306856 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997539 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739254471648 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3473] ppid=3455 vsize=10661128 memory=4140 CPUtime=0.75 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 1613 0 -1 1077944384 687 0 0 0 36 39 0 0 20 0 15 0 98997539 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739253418416 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
Current children cumulated CPU time: 2515.65 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 308904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.7 s]
/proc/loadavg: 1.30 1.47 1.43 3/215 3669
/proc/meminfo: memFree=27495108/32770624 swapFree=67108860/67108860
[pid=3458] ppid=3455 vsize=10661128 memory=308904 CPUtime=2520.08 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 1613 0 -1 1077944320 43493 0 0 0 251874 134 0 0 20 0 15 0 98997533 10916995072 77226 33554432000 4194304 4196468 140729934163008 140729934145552 139740226354935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
/proc/3458/statm: 2665282 77226 3159 1 0 2627263 0
[pid=3458/tid=3460] ppid=3455 vsize=10661128 memory=308904 CPUtime=2498.71 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 1613 0 -1 4202560 14389 0 0 0 249860 11 0 0 20 0 15 0 98997533 10916995072 77226 33554432000 4194304 4196468 140729934163008 139740230594304 139739867080624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3461] ppid=3455 vsize=10661128 memory=308904 CPUtime=3.94 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 1613 0 -1 1077944384 3730 0 0 0 371 23 0 0 20 0 15 0 98997534 10916995072 77226 33554432000 4194304 4196468 140729934163008 139740185115536 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3462] ppid=3455 vsize=10661128 memory=306856 CPUtime=3.94 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 1613 0 -1 1077944384 2764 0 0 0 372 22 0 0 20 0 15 0 98997534 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739832068880 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3463] ppid=3455 vsize=10661128 memory=306856 CPUtime=3.94 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 1613 0 -1 1077944384 3257 0 0 0 376 18 0 0 20 0 15 0 98997534 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739831016592 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3464] ppid=3455 vsize=10661128 memory=306856 CPUtime=3.93 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 1613 0 -1 1077944384 2855 0 0 0 371 22 0 0 20 0 15 0 98997534 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739829963792 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3465] ppid=3455 vsize=10661128 memory=306856 CPUtime=2.75 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 1613 0 -1 1077944384 4592 0 0 0 252 23 0 0 20 0 15 0 98997535 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739786061936 139740226366082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3466] ppid=3455 vsize=10661128 memory=306856 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98997536 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739785007904 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3467] ppid=3455 vsize=10661128 memory=306856 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 1613 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 98997536 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739783955568 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3468] ppid=3455 vsize=10661128 memory=308904 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997538 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739782903888 139740226373531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3469] ppid=3455 vsize=10661128 memory=308904 CPUtime=0.85 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) S 3455 3458 1613 0 -1 1077944384 4552 0 0 0 84 1 0 0 20 0 15 0 98997538 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739257629296 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3470] ppid=3455 vsize=10661128 memory=3472328296227679313 CPUtime=0.79 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) S 3455 3458 1613 0 -1 1077944384 2931 0 0 0 78 1 0 0 20 0 15 0 98997538 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739256576496 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3471] ppid=3455 vsize=10661128 memory=308904 CPUtime=0.39 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) S 3455 3458 1613 0 -1 1077944384 2376 0 0 0 39 0 0 0 20 0 15 0 98997538 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739255524208 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3472] ppid=3455 vsize=10661128 memory=308904 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997539 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739254471648 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3473] ppid=3455 vsize=10661128 memory=1520 CPUtime=0.76 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 1613 0 -1 1077944384 687 0 0 0 37 39 0 0 20 0 15 0 98997539 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739253418416 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 308904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.71 s]
# the end of solver process 3458 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.76 s, system=1.34576 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2506.7 s]
/proc/loadavg: 1.30 1.47 1.43 3/215 3669
/proc/meminfo: memFree=27495108/32770624 swapFree=67108860/67108860
[pid=3458] ppid=3455 vsize=10661128 memory=308904 CPUtime=2520.08 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 1613 0 -1 1077944320 43493 0 0 0 251874 134 0 0 20 0 15 0 98997533 10916995072 77226 33554432000 4194304 4196468 140729934163008 140729934145552 139740226354935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
/proc/3458/statm: 2665282 77226 3159 1 0 2627263 0
[pid=3458/tid=3460] ppid=3455 vsize=10661128 memory=308904 CPUtime=2498.71 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 1613 0 -1 4202560 14389 0 0 0 249860 11 0 0 20 0 15 0 98997533 10916995072 77226 33554432000 4194304 4196468 140729934163008 139740230594304 139739867080624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3461] ppid=3455 vsize=10661128 memory=308904 CPUtime=3.94 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 1613 0 -1 1077944384 3730 0 0 0 371 23 0 0 20 0 15 0 98997534 10916995072 77226 33554432000 4194304 4196468 140729934163008 139740185115536 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3462] ppid=3455 vsize=10661128 memory=306856 CPUtime=3.94 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 1613 0 -1 1077944384 2764 0 0 0 372 22 0 0 20 0 15 0 98997534 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739832068880 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3463] ppid=3455 vsize=10661128 memory=306856 CPUtime=3.94 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 1613 0 -1 1077944384 3257 0 0 0 376 18 0 0 20 0 15 0 98997534 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739831016592 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3464] ppid=3455 vsize=10661128 memory=306856 CPUtime=3.93 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 1613 0 -1 1077944384 2855 0 0 0 371 22 0 0 20 0 15 0 98997534 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739829963792 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3465] ppid=3455 vsize=10661128 memory=306856 CPUtime=2.75 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 1613 0 -1 1077944384 4592 0 0 0 252 23 0 0 20 0 15 0 98997535 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739786061936 139740226366082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3466] ppid=3455 vsize=10661128 memory=306856 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98997536 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739785007904 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3467] ppid=3455 vsize=10661128 memory=306856 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 1613 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 98997536 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739783955568 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3468] ppid=3455 vsize=10661128 memory=308904 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997538 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739782903888 139740226373531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3469] ppid=3455 vsize=10661128 memory=308904 CPUtime=0.85 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) S 3455 3458 1613 0 -1 1077944384 4552 0 0 0 84 1 0 0 20 0 15 0 98997538 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739257629296 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3470] ppid=3455 vsize=10661128 memory=3472328296227679313 CPUtime=0.79 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) S 3455 3458 1613 0 -1 1077944384 2931 0 0 0 78 1 0 0 20 0 15 0 98997538 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739256576496 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3471] ppid=3455 vsize=10661128 memory=308904 CPUtime=0.39 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) S 3455 3458 1613 0 -1 1077944384 2376 0 0 0 39 0 0 0 20 0 15 0 98997538 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739255524208 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3472] ppid=3455 vsize=10661128 memory=308904 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98997539 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739254471648 139740226365141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
[pid=3458/tid=3473] ppid=3455 vsize=10661128 memory=1520 CPUtime=0.76 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 1613 0 -1 1077944384 687 0 0 0 37 39 0 0 20 0 15 0 98997539 10916995072 77226 33554432000 4194304 4196468 140729934163008 139739253418416 139740226366082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140729934169226 140729934169353 140729934169353 140729934172111 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 308904 KiB
Child status: 143
Real time (s): 2506.71
CPU time (s): 2520.1
CPU user time (s): 2518.76
CPU system time (s): 1.34576
CPU usage (%): 100.534
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 308904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.76
system time used= 1.34576
maximum resident set size= 309436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43757
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130243
involuntary context switches= 2927
# summary of solver processes directly reported to runsolver:
# pid: 3458
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.76
# total CPU system time (s): 1.34576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.558 second user time and 22.9527 second system time
The end