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 (15353 MiB free)
memory of node 1: 16384 MiB (11330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262813-1502634174/watcher-4262813-1502634174 -o /tmp/evaluation-result-4262813-1502634174/solver-4262813-1502634174 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502602071-18556 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262813-1502634174.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
Current StackSize limit: 8192 KiB
solver pid=25942, runsolver pid=25939
[startup+0.100112 s]*
/proc/loadavg: 3.59 2.58 2.28 2/202 25944
/proc/meminfo: memFree=27322416/32770624 swapFree=67108776/67108860
[pid=25942] ppid=25939 vsize=9936560 memory=14056 CPUtime=0 cores=0,2,4,6
/proc/25942/stat : 25942 (java) S 25939 25942 7084 0 -1 1077944320 3364 0 0 0 0 0 0 0 20 0 6 0 163070112 10175037440 3514 18446744073709551615 4194304 4196468 140737461287040 140737461269584 140687590170359 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
/proc/25942/statm: 2484140 3514 1884 1 0 2473637 0
[pid=25942/tid=25944] ppid=25939 vsize=9936560 memory=-6439968830534014599 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25944/stat : 25944 (java) R 25939 25942 7084 0 -1 4202560 2077 0 0 0 0 0 0 0 20 0 6 0 163070121 10175037440 3580 18446744073709551615 4194304 4196468 140737461287040 140687594406480 140687575852885 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25945] ppid=25939 vsize=9936560 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25945/stat : 25945 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 163070122 10175037440 3580 18446744073709551615 4194304 4196468 140737461287040 140687201294736 140687590180565 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25946] ppid=25939 vsize=9936560 memory=140456036906624 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25946/stat : 25946 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 163070122 10175037440 3580 18446744073709551615 4194304 4196468 140737461287040 140687200241936 140687590180565 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25947] ppid=25939 vsize=9936560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25947/stat : 25947 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 163070122 10175037440 3580 18446744073709551615 4194304 4196468 140737461287040 140687199189648 140687590180565 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25948] ppid=25939 vsize=9936560 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25948/stat : 25948 (java) S 25939 25942 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 163070122 10175037440 3580 18446744073709551615 4194304 4196468 140737461287040 140687198136848 140687590180565 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 14056 KiB
[startup+0.210252 s]*
/proc/loadavg: 3.59 2.58 2.28 3/215 25957
/proc/meminfo: memFree=27311428/32770624 swapFree=67108776/67108860
[pid=25942] ppid=25939 vsize=10551156 memory=26652 CPUtime=0.09 cores=0,2,4,6
/proc/25942/stat : 25942 (java) S 25939 25942 7084 0 -1 1077944320 5132 0 0 0 8 1 0 0 20 0 15 0 163070112 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140737461269584 140687590170359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
/proc/25942/statm: 2637789 6663 2755 1 0 2627261 0
[pid=25942/tid=25944] ppid=25939 vsize=10551156 memory=8318255677412212789 CPUtime=0.07 cores=0,2,4,6
/proc/25942/task/25944/stat : 25944 (java) R 25939 25942 7084 0 -1 4202560 3071 0 0 0 6 1 0 0 20 0 15 0 163070121 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687594386272 140687570996372 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25945] ppid=25939 vsize=10551156 memory=329 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25945/stat : 25945 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070122 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687201294736 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25946] ppid=25939 vsize=10551156 memory=3472474258443318944 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25946/stat : 25946 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070122 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687200241936 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25947] ppid=25939 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25947/stat : 25947 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070122 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687199189648 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25948] ppid=25939 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25948/stat : 25948 (java) S 25939 25942 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163070122 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687198136848 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25949] ppid=25939 vsize=10551156 memory=140456036906624 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25949/stat : 25949 (java) S 25939 25942 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163070123 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687086434928 140687590181506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25950] ppid=25939 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25950/stat : 25950 (java) S 25939 25942 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 163070124 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687085380896 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25951] ppid=25939 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25951/stat : 25951 (java) S 25939 25942 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 163070124 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687084328560 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25952] ppid=25939 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25952/stat : 25952 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163070126 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687083276880 140687590188955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25953] ppid=25939 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25953/stat : 25953 (java) S 25939 25942 7084 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 163070126 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687082223728 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25954] ppid=25939 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25954/stat : 25954 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070126 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687081170928 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25955] ppid=25939 vsize=10551156 memory=140456036906624 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25955/stat : 25955 (java) R 25939 25942 7084 0 -1 4202560 265 0 0 0 0 0 0 0 20 0 15 0 163070126 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687080118640 140687590191706 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25956] ppid=25939 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25956/stat : 25956 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163070127 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687079066080 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25957] ppid=25939 vsize=10551156 memory=140456036906624 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25957/stat : 25957 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070131 10804383744 6663 18446744073709551615 4194304 4196468 140737461287040 140687078013872 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26652 KiB
[startup+0.31074 s]*
/proc/loadavg: 3.59 2.58 2.28 3/215 25957
/proc/meminfo: memFree=27298940/32770624 swapFree=67108776/67108860
[pid=25942] ppid=25939 vsize=10551156 memory=36224 CPUtime=0.23 cores=0,2,4,6
/proc/25942/stat : 25942 (java) S 25939 25942 7084 0 -1 1077944320 8334 0 0 0 21 2 0 0 20 0 15 0 163070112 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140737461269584 140687590170359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
/proc/25942/statm: 2637789 9056 2856 1 0 2627261 0
[pid=25942/tid=25944] ppid=25939 vsize=10551156 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/25942/task/25944/stat : 25944 (java) R 25939 25942 7084 0 -1 4202560 5987 0 0 0 14 2 0 0 20 0 15 0 163070121 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687594407232 140687574250846 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25945] ppid=25939 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25945/stat : 25945 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070122 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687201294736 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25946] ppid=25939 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25946/stat : 25946 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070122 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687200241936 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25947] ppid=25939 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25947/stat : 25947 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070122 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687199189648 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25948] ppid=25939 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25948/stat : 25948 (java) S 25939 25942 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163070122 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687198136848 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25949] ppid=25939 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25949/stat : 25949 (java) S 25939 25942 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163070123 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687086434928 140687590181506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25950] ppid=25939 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25950/stat : 25950 (java) S 25939 25942 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 163070124 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687085380896 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25951] ppid=25939 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25951/stat : 25951 (java) S 25939 25942 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 163070124 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687084328560 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25952] ppid=25939 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25952/stat : 25952 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163070126 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687083276880 140687590188955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25953] ppid=25939 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25942/task/25953/stat : 25953 (java) S 25939 25942 7084 0 -1 1077944384 494 0 0 0 1 0 0 0 20 0 15 0 163070126 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687082223728 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25954] ppid=25939 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25954/stat : 25954 (java) S 25939 25942 7084 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 163070126 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687081170928 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25955] ppid=25939 vsize=10551156 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/25942/task/25955/stat : 25955 (java) S 25939 25942 7084 0 -1 1077944384 423 0 0 0 4 0 0 0 20 0 15 0 163070126 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687080118640 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25956] ppid=25939 vsize=10551156 memory=140456036906624 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25956/stat : 25956 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163070127 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687079066080 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25957] ppid=25939 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25957/stat : 25957 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070131 10804383744 9056 18446744073709551615 4194304 4196468 140737461287040 140687078013872 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36224 KiB
[startup+0.702476 s]
/proc/loadavg: 3.59 2.58 2.28 6/215 25957
/proc/meminfo: memFree=27285576/32770624 swapFree=67108776/67108860
[pid=25942] ppid=25939 vsize=10551232 memory=95624 CPUtime=1.21 cores=0,2,4,6
/proc/25942/stat : 25942 (java) S 25939 25942 7084 0 -1 1077944320 11483 0 0 0 116 5 0 0 20 0 15 0 163070112 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140737461269584 140687590170359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
/proc/25942/statm: 2637808 23906 3051 1 0 2627261 0
[pid=25942/tid=25944] ppid=25939 vsize=10551232 memory=280911799260600 CPUtime=0.54 cores=0,2,4,6
/proc/25942/task/25944/stat : 25944 (java) R 25939 25942 7084 0 -1 1077944384 7494 0 0 0 50 4 0 0 20 0 15 0 163070121 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687594397184 140687590180565 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25945] ppid=25939 vsize=10551232 memory=2402765768193 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25945/stat : 25945 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070122 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687201294736 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25946] ppid=25939 vsize=10551232 memory=2110806506953524 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25946/stat : 25946 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070122 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687200241936 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25947] ppid=25939 vsize=10551232 memory=6188 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25947/stat : 25947 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070122 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687199189648 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25948] ppid=25939 vsize=10551232 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25948/stat : 25948 (java) S 25939 25942 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163070122 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687198136848 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25949] ppid=25939 vsize=10551232 memory=499 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25949/stat : 25949 (java) S 25939 25942 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 163070123 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687086434928 140687590181506 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25950] ppid=25939 vsize=10551232 memory=1046 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25950/stat : 25950 (java) S 25939 25942 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 163070124 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687085380896 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25951] ppid=25939 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25951/stat : 25951 (java) S 25939 25942 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 163070124 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687084328560 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25952] ppid=25939 vsize=10551232 memory=721 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25952/stat : 25952 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163070126 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687083276880 140687590188955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25953] ppid=25939 vsize=10551232 memory=112 CPUtime=0.23 cores=0,2,4,6
/proc/25942/task/25953/stat : 25953 (java) R 25939 25942 7084 0 -1 4202560 1020 0 0 0 23 0 0 0 20 0 15 0 163070126 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687082222128 140687570945562 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25954] ppid=25939 vsize=10551232 memory=280911799209696 CPUtime=0.21 cores=0,2,4,6
/proc/25942/task/25954/stat : 25954 (java) R 25939 25942 7084 0 -1 4202560 657 0 0 0 21 0 0 0 20 0 15 0 163070126 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687081170928 140687575068617 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25955] ppid=25939 vsize=10551232 memory=288230621803970871 CPUtime=0.21 cores=0,2,4,6
/proc/25942/task/25955/stat : 25955 (java) S 25939 25942 7084 0 -1 1077944384 941 0 0 0 21 0 0 0 20 0 15 0 163070126 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687080118640 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25956] ppid=25939 vsize=10551232 memory=13563786715989427 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25956/stat : 25956 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163070127 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687079066080 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25957] ppid=25939 vsize=10551232 memory=39648 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25957/stat : 25957 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070131 10804461568 23906 18446744073709551615 4194304 4196468 140737461287040 140687078013872 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 95624 KiB
[startup+1.50074 s]
/proc/loadavg: 3.59 2.58 2.28 5/215 25957
/proc/meminfo: memFree=27108004/32770624 swapFree=67108776/67108860
[pid=25942] ppid=25939 vsize=10551232 memory=317440 CPUtime=3.78 cores=0,2,4,6
/proc/25942/stat : 25942 (java) S 25939 25942 7084 0 -1 1077944320 19164 0 0 0 357 21 0 0 20 0 15 0 163070112 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140737461269584 140687590170359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
/proc/25942/statm: 2637808 79360 3089 1 0 2627261 0
[pid=25942/tid=25944] ppid=25939 vsize=10551232 memory=115764132579828 CPUtime=1.18 cores=0,2,4,6
/proc/25942/task/25944/stat : 25944 (java) R 25939 25942 7084 0 -1 4202560 7563 0 0 0 112 6 0 0 20 0 15 0 163070121 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687594406608 140687234978817 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25945] ppid=25939 vsize=10551232 memory=115764132579828 CPUtime=0.11 cores=0,2,4,6
/proc/25942/task/25945/stat : 25945 (java) S 25939 25942 7084 0 -1 1077944384 160 0 0 0 8 3 0 0 20 0 15 0 163070122 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687201294736 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25946] ppid=25939 vsize=10551232 memory=10967531692 CPUtime=0.11 cores=0,2,4,6
/proc/25942/task/25946/stat : 25946 (java) S 25939 25942 7084 0 -1 1077944384 159 0 0 0 9 2 0 0 20 0 15 0 163070122 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687200241936 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25947] ppid=25939 vsize=10551232 memory=133052524 CPUtime=0.13 cores=0,2,4,6
/proc/25942/task/25947/stat : 25947 (java) S 25939 25942 7084 0 -1 1077944384 165 0 0 0 10 3 0 0 20 0 15 0 163070122 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687199189648 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25948] ppid=25939 vsize=10551232 memory=2372 CPUtime=0.1 cores=0,2,4,6
/proc/25942/task/25948/stat : 25948 (java) S 25939 25942 7084 0 -1 1077944384 67 0 0 0 8 2 0 0 20 0 15 0 163070122 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687198136848 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25949] ppid=25939 vsize=10551232 memory=116 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25949/stat : 25949 (java) S 25939 25942 7084 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 163070123 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687086434928 140687590181506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25950] ppid=25939 vsize=10551232 memory=8251 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25950/stat : 25950 (java) S 25939 25942 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 163070124 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687085380896 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25951] ppid=25939 vsize=10551232 memory=18568 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25951/stat : 25951 (java) S 25939 25942 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 163070124 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687084328560 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25952] ppid=25939 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25952/stat : 25952 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163070126 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687083276880 140687590188955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25953] ppid=25939 vsize=10551232 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/25942/task/25953/stat : 25953 (java) R 25939 25942 7084 0 -1 4202560 3783 0 0 0 87 0 0 0 20 0 15 0 163070126 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687082208720 140687569391296 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25954] ppid=25939 vsize=10551232 memory=0 CPUtime=0.94 cores=0,2,4,6
/proc/25942/task/25954/stat : 25954 (java) R 25939 25942 7084 0 -1 4202560 4656 0 0 0 93 1 0 0 20 0 15 0 163070126 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687081151072 140687573667147 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25955] ppid=25939 vsize=10551232 memory=-6661322574537005766 CPUtime=0.25 cores=0,2,4,6
/proc/25942/task/25955/stat : 25955 (java) S 25939 25942 7084 0 -1 1077944384 1168 0 0 0 25 0 0 0 20 0 15 0 163070126 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687080118640 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25956] ppid=25939 vsize=10551232 memory=7378954898041824609 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25956/stat : 25956 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163070127 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687079066080 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25957] ppid=25939 vsize=10551232 memory=4715425595467472516 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25957/stat : 25957 (java) S 25939 25942 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163070131 10804461568 79360 18446744073709551615 4194304 4196468 140737461287040 140687078013872 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
Current children cumulated CPU time: 3.78 s
Current children cumulated vsize: 10551232 KiB
################
# More data... #
################
/proc/25942/task/25947/stat : 25947 (java) S 25939 25942 7084 0 -1 1077944384 7027 0 0 0 746 63 0 0 20 0 16 0 163070122 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687199189648 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25948] ppid=25939 vsize=10617796 memory=3844528 CPUtime=8.35 cores=0,2,4,6
/proc/25942/task/25948/stat : 25948 (java) S 25939 25942 7084 0 -1 1077944384 8098 0 0 0 773 62 0 0 20 0 16 0 163070122 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687198136848 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25949] ppid=25939 vsize=10617796 memory=0 CPUtime=3.03 cores=0,2,4,6
/proc/25942/task/25949/stat : 25949 (java) S 25939 25942 7084 0 -1 1077944384 8735 0 0 0 301 2 0 0 20 0 16 0 163070123 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687086434928 140687590181506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25950] ppid=25939 vsize=10617796 memory=280911799704112 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25950/stat : 25950 (java) S 25939 25942 7084 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 163070124 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687085380960 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25951] ppid=25939 vsize=10617796 memory=3844528 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25951/stat : 25951 (java) S 25939 25942 7084 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 163070124 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687084328576 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25952] ppid=25939 vsize=10617796 memory=3844528 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25952/stat : 25952 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 163070126 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687083276880 140687590188955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25953] ppid=25939 vsize=10617796 memory=3844528 CPUtime=4.51 cores=0,2,4,6
/proc/25942/task/25953/stat : 25953 (java) S 25939 25942 7084 0 -1 1077944384 27007 0 0 0 448 3 0 0 20 0 16 0 163070126 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687082223728 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25954] ppid=25939 vsize=10617796 memory=3844528 CPUtime=4.48 cores=0,2,4,6
/proc/25942/task/25954/stat : 25954 (java) S 25939 25942 7084 0 -1 1077944384 25341 0 0 0 445 3 0 0 20 0 16 0 163070126 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687081170928 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25955] ppid=25939 vsize=10617796 memory=3844528 CPUtime=0.47 cores=0,2,4,6
/proc/25942/task/25955/stat : 25955 (java) S 25939 25942 7084 0 -1 1077944384 7442 0 0 0 46 1 0 0 20 0 16 0 163070126 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687080118640 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25956] ppid=25939 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25956/stat : 25956 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 163070127 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687079066080 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25957] ppid=25939 vsize=10617796 memory=3844528 CPUtime=1.43 cores=0,2,4,6
/proc/25942/task/25957/stat : 25957 (java) S 25939 25942 7084 0 -1 1077944384 3052 0 0 0 70 73 0 0 20 0 16 0 163070131 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687078013872 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25959] ppid=25939 vsize=10617796 memory=3844528 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25959/stat : 25959 (java) S 25939 25942 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 163071720 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687076959408 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
Current children cumulated CPU time: 2417.11 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3844528 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/216 26193
/proc/meminfo: memFree=27286384/32770624 swapFree=67108776/67108860
[pid=25942] ppid=25939 vsize=10617796 memory=3844528 CPUtime=2477.14 cores=0,2,4,6
/proc/25942/stat : 25942 (java) S 25939 25942 7084 0 -1 1077944320 236211 0 0 0 247366 348 0 0 20 0 16 0 163070112 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140737461269584 140687590170359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
/proc/25942/statm: 2654449 961132 3142 1 0 2643902 0
[pid=25942/tid=25944] ppid=25939 vsize=10617796 memory=3844528 CPUtime=2430.36 cores=0,2,4,6
/proc/25942/task/25944/stat : 25944 (java) R 25939 25942 7084 0 -1 4202560 137379 0 0 0 243008 28 0 0 20 0 16 0 163070121 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687594406432 140687237540224 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25945] ppid=25939 vsize=10617796 memory=0 CPUtime=8.11 cores=0,2,4,6
/proc/25942/task/25945/stat : 25945 (java) S 25939 25942 7084 0 -1 1077944384 5669 0 0 0 751 60 0 0 20 0 16 0 163070122 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687201294736 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25946] ppid=25939 vsize=10617796 memory=280911799704112 CPUtime=8.16 cores=0,2,4,6
/proc/25942/task/25946/stat : 25946 (java) S 25939 25942 7084 0 -1 1077944384 4852 0 0 0 750 66 0 0 20 0 16 0 163070122 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687200241936 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25947] ppid=25939 vsize=10617796 memory=3844528 CPUtime=8.09 cores=0,2,4,6
/proc/25942/task/25947/stat : 25947 (java) S 25939 25942 7084 0 -1 1077944384 7027 0 0 0 746 63 0 0 20 0 16 0 163070122 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687199189648 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25948] ppid=25939 vsize=10617796 memory=3844528 CPUtime=8.35 cores=0,2,4,6
/proc/25942/task/25948/stat : 25948 (java) S 25939 25942 7084 0 -1 1077944384 8098 0 0 0 773 62 0 0 20 0 16 0 163070122 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687198136848 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25949] ppid=25939 vsize=10617796 memory=3844528 CPUtime=3.03 cores=0,2,4,6
/proc/25942/task/25949/stat : 25949 (java) S 25939 25942 7084 0 -1 1077944384 8753 0 0 0 301 2 0 0 20 0 16 0 163070123 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687086434928 140687590181506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25950] ppid=25939 vsize=10617796 memory=3844528 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25950/stat : 25950 (java) S 25939 25942 7084 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 163070124 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687085380960 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25951] ppid=25939 vsize=10617796 memory=3844528 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25951/stat : 25951 (java) S 25939 25942 7084 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 163070124 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687084328576 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25952] ppid=25939 vsize=10617796 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25952/stat : 25952 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 163070126 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687083276880 140687590188955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25953] ppid=25939 vsize=10617796 memory=3844528 CPUtime=4.51 cores=0,2,4,6
/proc/25942/task/25953/stat : 25953 (java) S 25939 25942 7084 0 -1 1077944384 27013 0 0 0 448 3 0 0 20 0 16 0 163070126 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687082223728 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25954] ppid=25939 vsize=10617796 memory=3844528 CPUtime=4.48 cores=0,2,4,6
/proc/25942/task/25954/stat : 25954 (java) S 25939 25942 7084 0 -1 1077944384 25346 0 0 0 445 3 0 0 20 0 16 0 163070126 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687081170928 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25955] ppid=25939 vsize=10617796 memory=3844528 CPUtime=0.47 cores=0,2,4,6
/proc/25942/task/25955/stat : 25955 (java) S 25939 25942 7084 0 -1 1077944384 7457 0 0 0 46 1 0 0 20 0 16 0 163070126 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687080118640 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25956] ppid=25939 vsize=10617796 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25956/stat : 25956 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 163070127 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687079066080 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25957] ppid=25939 vsize=10617796 memory=3844528 CPUtime=1.46 cores=0,2,4,6
/proc/25942/task/25957/stat : 25957 (java) S 25939 25942 7084 0 -1 1077944384 3126 0 0 0 72 74 0 0 20 0 16 0 163070131 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687078013872 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25959] ppid=25939 vsize=10617796 memory=3844528 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25959/stat : 25959 (java) S 25939 25942 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 163071720 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687076959408 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
Current children cumulated CPU time: 2477.14 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3844528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2485.2 s]
/proc/loadavg: 2.00 2.00 2.05 3/216 26194
/proc/meminfo: memFree=27276436/32770624 swapFree=67108776/67108860
[pid=25942] ppid=25939 vsize=10617796 memory=3844528 CPUtime=2520.06 cores=0,2,4,6
/proc/25942/stat : 25942 (java) S 25939 25942 7084 0 -1 1077944320 237718 0 0 0 251657 349 0 0 20 0 16 0 163070112 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140737461269584 140687590170359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
/proc/25942/statm: 2654449 961132 3142 1 0 2643902 0
[pid=25942/tid=25944] ppid=25939 vsize=10617796 memory=4600 CPUtime=2473.26 cores=0,2,4,6
/proc/25942/task/25944/stat : 25944 (java) R 25939 25942 7084 0 -1 4202560 138866 0 0 0 247298 28 0 0 20 0 16 0 163070121 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687594406432 140687237555009 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25945] ppid=25939 vsize=10617796 memory=1440 CPUtime=8.11 cores=0,2,4,6
/proc/25942/task/25945/stat : 25945 (java) S 25939 25942 7084 0 -1 1077944384 5669 0 0 0 751 60 0 0 20 0 16 0 163070122 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687201294736 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25946] ppid=25939 vsize=10617796 memory=1724 CPUtime=8.16 cores=0,2,4,6
/proc/25942/task/25946/stat : 25946 (java) S 25939 25942 7084 0 -1 1077944384 4852 0 0 0 750 66 0 0 20 0 16 0 163070122 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687200241936 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25947] ppid=25939 vsize=10617796 memory=3844528 CPUtime=8.09 cores=0,2,4,6
/proc/25942/task/25947/stat : 25947 (java) S 25939 25942 7084 0 -1 1077944384 7027 0 0 0 746 63 0 0 20 0 16 0 163070122 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687199189648 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25948] ppid=25939 vsize=10617796 memory=3844528 CPUtime=8.35 cores=0,2,4,6
/proc/25942/task/25948/stat : 25948 (java) S 25939 25942 7084 0 -1 1077944384 8098 0 0 0 773 62 0 0 20 0 16 0 163070122 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687198136848 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25949] ppid=25939 vsize=10617796 memory=836 CPUtime=3.04 cores=0,2,4,6
/proc/25942/task/25949/stat : 25949 (java) S 25939 25942 7084 0 -1 1077944384 8753 0 0 0 301 3 0 0 20 0 16 0 163070123 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687086434928 140687590181506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25950] ppid=25939 vsize=10617796 memory=3908 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25950/stat : 25950 (java) S 25939 25942 7084 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 163070124 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687085380960 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25951] ppid=25939 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25951/stat : 25951 (java) S 25939 25942 7084 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 163070124 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687084328576 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25952] ppid=25939 vsize=10617796 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25952/stat : 25952 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 163070126 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687083276880 140687590188955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25953] ppid=25939 vsize=10617796 memory=3844528 CPUtime=4.51 cores=0,2,4,6
/proc/25942/task/25953/stat : 25953 (java) S 25939 25942 7084 0 -1 1077944384 27015 0 0 0 448 3 0 0 20 0 16 0 163070126 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687082223728 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25954] ppid=25939 vsize=10617796 memory=4206186544037388384 CPUtime=4.48 cores=0,2,4,6
/proc/25942/task/25954/stat : 25954 (java) S 25939 25942 7084 0 -1 1077944384 25347 0 0 0 445 3 0 0 20 0 16 0 163070126 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687081170928 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25955] ppid=25939 vsize=10617796 memory=6944656575208382560 CPUtime=0.47 cores=0,2,4,6
/proc/25942/task/25955/stat : 25955 (java) S 25939 25942 7084 0 -1 1077944384 7468 0 0 0 46 1 0 0 20 0 16 0 163070126 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687080118640 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25956] ppid=25939 vsize=10617796 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25956/stat : 25956 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 163070127 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687079066080 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25957] ppid=25939 vsize=10617796 memory=6944656592387989600 CPUtime=1.49 cores=0,2,4,6
/proc/25942/task/25957/stat : 25957 (java) S 25939 25942 7084 0 -1 1077944384 3132 0 0 0 74 75 0 0 20 0 16 0 163070131 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687078013872 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25959] ppid=25939 vsize=10617796 memory=9023629670928638048 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25959/stat : 25959 (java) S 25939 25942 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 163071720 10872623104 961132 18446744073709551615 4194304 4196468 140737461287040 140687076959408 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3844528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2485.45 s]
# the end of solver process 25942 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.81 s, system=3.52324 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2485.4 s]
/proc/loadavg: 2.00 2.00 2.05 3/216 26194
/proc/meminfo: memFree=27276436/32770624 swapFree=67108776/67108860
[pid=25942] ppid=25939 vsize=10817488 memory=3844824 CPUtime=2520.29 cores=0,2,4,6
/proc/25942/stat : 25942 (java) S 25939 25942 7084 0 -1 1077944320 240121 0 0 0 251679 350 0 0 20 0 17 0 163070112 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140737461269584 140687590170359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
/proc/25942/statm: 2704372 961206 3145 1 0 2693825 0
[pid=25942/tid=25944] ppid=25939 vsize=10817488 memory=288230621803970871 CPUtime=2473.45 cores=0,2,4,6
/proc/25942/task/25944/stat : 25944 (java) S 25939 25942 7084 0 -1 1077944384 138940 0 0 0 247317 28 0 0 20 0 17 0 163070121 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687594413232 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25945] ppid=25939 vsize=10817488 memory=13563786715989427 CPUtime=8.11 cores=0,2,4,6
/proc/25942/task/25945/stat : 25945 (java) S 25939 25942 7084 0 -1 1077944384 5669 0 0 0 751 60 0 0 20 0 17 0 163070122 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687201294736 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25946] ppid=25939 vsize=10817488 memory=3844528 CPUtime=8.16 cores=0,2,4,6
/proc/25942/task/25946/stat : 25946 (java) S 25939 25942 7084 0 -1 1077944384 4852 0 0 0 750 66 0 0 20 0 17 0 163070122 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687200241936 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25947] ppid=25939 vsize=10817488 memory=1796 CPUtime=8.09 cores=0,2,4,6
/proc/25942/task/25947/stat : 25947 (java) S 25939 25942 7084 0 -1 1077944384 7027 0 0 0 746 63 0 0 20 0 17 0 163070122 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687199189648 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25948] ppid=25939 vsize=10817488 memory=960 CPUtime=8.35 cores=0,2,4,6
/proc/25942/task/25948/stat : 25948 (java) S 25939 25942 7084 0 -1 1077944384 8098 0 0 0 773 62 0 0 20 0 17 0 163070122 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687198136848 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25949] ppid=25939 vsize=10817488 memory=1236 CPUtime=3.04 cores=0,2,4,6
/proc/25942/task/25949/stat : 25949 (java) S 25939 25942 7084 0 -1 1077944384 8789 0 0 0 301 3 0 0 20 0 17 0 163070123 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687086434928 140687590181506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25950] ppid=25939 vsize=10817488 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25950/stat : 25950 (java) S 25939 25942 7084 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 17 0 163070124 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687085380960 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25951] ppid=25939 vsize=10817488 memory=4288 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25951/stat : 25951 (java) S 25939 25942 7084 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 17 0 163070124 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687084328576 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25952] ppid=25939 vsize=10817488 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25952/stat : 25952 (java) S 25939 25942 7084 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 17 0 163070126 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687083276880 140687590188955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25953] ppid=25939 vsize=10817488 memory=932 CPUtime=4.53 cores=0,2,4,6
/proc/25942/task/25953/stat : 25953 (java) R 25939 25942 7084 0 -1 4202560 27937 0 0 0 449 4 0 0 20 0 17 0 163070126 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687082224024 140687575296760 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25954] ppid=25939 vsize=10817488 memory=1608 CPUtime=4.48 cores=0,2,4,6
/proc/25942/task/25954/stat : 25954 (java) S 25939 25942 7084 0 -1 1077944384 25347 0 0 0 445 3 0 0 20 0 17 0 163070126 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687081170928 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25955] ppid=25939 vsize=10817488 memory=836 CPUtime=0.48 cores=0,2,4,6
/proc/25942/task/25955/stat : 25955 (java) S 25939 25942 7084 0 -1 1077944384 8251 0 0 0 47 1 0 0 20 0 17 0 163070126 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687080118640 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25956] ppid=25939 vsize=10817488 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/25942/task/25956/stat : 25956 (java) S 25939 25942 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 163070127 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687079066080 140687590180565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
[pid=25942/tid=25957] ppid=25939 vsize=10817488 memory=0 CPUtime=1.49 cores=0,2,4,6
/proc/25942/task/25957/stat : 25957 (java) S 25939 25942 7084 0 -1 1077944384 3132 0 0 0 74 75 0 0 20 0 17 0 163070131 11077107712 961206 18446744073709551615 4194304 4196468 140737461287040 140687078013872 140687590181506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26259456 140737461293456 140737461293609 140737461293609 140737461297103 0
Current children cumulated CPU time: 2520.29 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3844824 KiB
Child status: 143
Real time (s): 2485.45
CPU time (s): 2520.34
CPU user time (s): 2516.81
CPU system time (s): 3.52324
CPU usage (%): 101.404
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 3844824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.81
system time used= 3.52324
maximum resident set size= 3844892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240306
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56947
involuntary context switches= 3405
# summary of solver processes directly reported to runsolver:
# pid: 25942
# total CPU time (s): 2520.34
# total CPU user time (s): 2516.81
# total CPU system time (s): 3.52324
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0505 second user time and 22.9527 second system time
The end