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 (15207 MiB free)
memory of node 1: 16384 MiB (14489 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257958-1502644801/watcher-4257958-1502644801 -o /tmp/evaluation-result-4257958-1502644801/solver-4257958-1502644801 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257958-1502644801.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8643, runsolver pid=8640
Current StackSize limit: 8192 KiB
[startup+0.100283 s]*
/proc/loadavg: 5.43 4.58 3.72 6/203 8652
/proc/meminfo: memFree=30318720/32770624 swapFree=67108860/67108860
[pid=8643] ppid=8640 vsize=10151672 memory=22592 CPUtime=0.03 cores=0,2,4,6
/proc/8643/stat : 8643 (java) S 8640 8643 17093 0 -1 1077944320 4026 0 0 0 3 0 0 0 20 0 9 0 66673410 10395312128 5648 18446744073709551615 4194304 4196468 140736428041616 140736428024160 139775518519031 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
/proc/8643/statm: 2537918 5648 2123 1 0 2527415 0
[pid=8643/tid=8645] ppid=8640 vsize=10151672 memory=4206751525541407381 CPUtime=0.03 cores=0,2,4,6
/proc/8643/task/8645/stat : 8645 (java) R 8640 8643 17093 0 -1 4202560 2713 0 0 0 3 0 0 0 20 0 9 0 66673416 10395312128 5713 18446744073709551615 4194304 4196468 140736428041616 139775522754424 139775498795856 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8646] ppid=8640 vsize=10151672 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8646/stat : 8646 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66673416 10395312128 5713 18446744073709551615 4194304 4196468 140736428041616 139775129156368 139775518529237 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8647] ppid=8640 vsize=10151672 memory=139858528913024 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8647/stat : 8647 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66673416 10395312128 5713 18446744073709551615 4194304 4196468 140736428041616 139775128103824 139775518529237 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8648] ppid=8640 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8648/stat : 8648 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66673416 10395312128 5713 18446744073709551615 4194304 4196468 140736428041616 139775127051280 139775518529237 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8649] ppid=8640 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8649/stat : 8649 (java) S 8640 8643 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66673416 10395312128 5713 18446744073709551615 4194304 4196468 140736428041616 139775125998736 139775518529237 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8650] ppid=8640 vsize=10151672 memory=139858528913024 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8650/stat : 8650 (java) S 8640 8643 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66673418 10395312128 5713 18446744073709551615 4194304 4196468 140736428041616 139775082579952 139775518530178 0 0 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8651] ppid=8640 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8651/stat : 8651 (java) S 8640 8643 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 66673418 10395312128 5713 18446744073709551615 4194304 4196468 140736428041616 139775081526176 139775518529237 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8652] ppid=8640 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8652/stat : 8652 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66673419 10395312128 5713 18446744073709551615 4194304 4196468 140736428041616 139774556890096 139775518529237 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 22592 KiB
[startup+0.209873 s]*
/proc/loadavg: 5.43 4.58 3.72 7/209 8658
/proc/meminfo: memFree=30228576/32770624 swapFree=67108860/67108860
[pid=8643] ppid=8640 vsize=10553140 memory=30508 CPUtime=0.12 cores=0,2,4,6
/proc/8643/stat : 8643 (java) S 8640 8643 17093 0 -1 1077944320 5533 0 0 0 11 1 0 0 20 0 15 0 66673410 10806415360 7627 18446744073709551615 4194304 4196468 140736428041616 140736428024160 139775518519031 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
/proc/8643/statm: 2638285 7627 2800 1 0 2627757 0
[pid=8643/tid=8645] ppid=8640 vsize=10554768 memory=8318255677412212789 CPUtime=0.08 cores=0,2,4,6
/proc/8643/task/8645/stat : 8645 (java) R 8640 8643 17093 0 -1 4202560 3762 0 0 0 8 0 0 0 20 0 15 0 66673416 10808082432 7957 18446744073709551615 4194304 4196468 140736428041616 139775522723424 139775511198749 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8646] ppid=8640 vsize=10554768 memory=330 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8646/stat : 8646 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66673416 10808082432 7957 18446744073709551615 4194304 4196468 140736428041616 139775129156368 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8647] ppid=8640 vsize=10554768 memory=139858529465194 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8647/stat : 8647 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66673416 10808082432 7957 18446744073709551615 4194304 4196468 140736428041616 139775128103824 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8648] ppid=8640 vsize=10554768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8648/stat : 8648 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66673416 10808082432 8023 18446744073709551615 4194304 4196468 140736428041616 139775127051280 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8649] ppid=8640 vsize=10554768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8649/stat : 8649 (java) S 8640 8643 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66673416 10808082432 8023 18446744073709551615 4194304 4196468 140736428041616 139775125998736 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8650] ppid=8640 vsize=10554768 memory=139858528913024 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8650/stat : 8650 (java) S 8640 8643 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66673418 10808082432 8023 18446744073709551615 4194304 4196468 140736428041616 139775082579952 139775518530178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8651] ppid=8640 vsize=10554768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8651/stat : 8651 (java) S 8640 8643 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66673418 10808082432 8023 18446744073709551615 4194304 4196468 140736428041616 139775081526176 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8652] ppid=8640 vsize=10554768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8652/stat : 8652 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66673419 10808082432 8089 18446744073709551615 4194304 4196468 140736428041616 139774556890096 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8653] ppid=8640 vsize=10554768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8653/stat : 8653 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673421 10808082432 8089 18446744073709551615 4194304 4196468 140736428041616 139774555838672 139775518537627 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8654] ppid=8640 vsize=10554768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8654/stat : 8654 (java) S 8640 8643 17093 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 66673421 10808082432 8089 18446744073709551615 4194304 4196468 140736428041616 139774554786288 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8655] ppid=8640 vsize=10554768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8655/stat : 8655 (java) S 8640 8643 17093 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 66673421 10808082432 8089 18446744073709551615 4194304 4196468 140736428041616 139774553733744 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8656] ppid=8640 vsize=10554768 memory=139858528913024 CPUtime=0.01 cores=0,2,4,6
/proc/8643/task/8656/stat : 8656 (java) S 8640 8643 17093 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 15 0 66673421 10808082432 8089 18446744073709551615 4194304 4196468 140736428041616 139774552681200 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8657] ppid=8640 vsize=10554768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8657/stat : 8657 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673421 10808082432 8155 18446744073709551615 4194304 4196468 140736428041616 139774551628896 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8658] ppid=8640 vsize=10554768 memory=139858528913024 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8658/stat : 8658 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66673427 10808082432 8155 18446744073709551615 4194304 4196468 140736428041616 139774550575408 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10553140 KiB
Current children cumulated memory: 30508 KiB
[startup+0.310507 s]*
/proc/loadavg: 5.43 4.58 3.72 3/209 8658
/proc/meminfo: memFree=30219588/32770624 swapFree=67108860/67108860
[pid=8643] ppid=8640 vsize=10551156 memory=39128 CPUtime=0.26 cores=0,2,4,6
/proc/8643/stat : 8643 (java) S 8640 8643 17093 0 -1 1077944320 8561 0 0 0 24 2 0 0 20 0 15 0 66673410 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 140736428024160 139775518519031 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
/proc/8643/statm: 2637789 9782 2869 1 0 2627261 0
[pid=8643/tid=8645] ppid=8640 vsize=10551156 memory=-7677926825137650786 CPUtime=0.18 cores=0,2,4,6
/proc/8643/task/8645/stat : 8645 (java) R 8640 8643 17093 0 -1 4202560 6178 0 0 0 17 1 0 0 20 0 15 0 66673416 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139775522753392 139775518530966 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8646] ppid=8640 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8646/stat : 8646 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66673416 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139775129156368 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8647] ppid=8640 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8647/stat : 8647 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66673416 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139775128103824 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8648] ppid=8640 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8648/stat : 8648 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66673416 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139775127051280 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8649] ppid=8640 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8649/stat : 8649 (java) S 8640 8643 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66673416 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139775125998736 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8650] ppid=8640 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8650/stat : 8650 (java) S 8640 8643 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66673418 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139775082579952 139775518530178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8651] ppid=8640 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8651/stat : 8651 (java) S 8640 8643 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66673418 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139775081526176 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8652] ppid=8640 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8652/stat : 8652 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66673419 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139774556890096 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8653] ppid=8640 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8653/stat : 8653 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673421 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139774555838672 139775518537627 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8654] ppid=8640 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8643/task/8654/stat : 8654 (java) S 8640 8643 17093 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 15 0 66673421 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139774554786288 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8655] ppid=8640 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8643/task/8655/stat : 8655 (java) S 8640 8643 17093 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 15 0 66673421 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139774553733744 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8656] ppid=8640 vsize=10551156 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/8643/task/8656/stat : 8656 (java) R 8640 8643 17093 0 -1 4202560 433 0 0 0 4 0 0 0 20 0 15 0 66673421 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139774552681296 139775497654487 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8657] ppid=8640 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8657/stat : 8657 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673421 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139774551628896 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8658] ppid=8640 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8658/stat : 8658 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673427 10804383744 9782 18446744073709551615 4194304 4196468 140736428041616 139774550575408 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39128 KiB
[startup+0.707255 s]
/proc/loadavg: 5.43 4.58 3.72 6/209 8658
/proc/meminfo: memFree=30199760/32770624 swapFree=67108860/67108860
[pid=8643] ppid=8640 vsize=10551232 memory=207892 CPUtime=1.45 cores=0,2,4,6
/proc/8643/stat : 8643 (java) S 8640 8643 17093 0 -1 1077944320 11982 0 0 0 135 10 0 0 20 0 15 0 66673410 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 140736428024160 139775518519031 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
/proc/8643/statm: 2637808 51973 3084 1 0 2627261 0
[pid=8643/tid=8645] ppid=8640 vsize=10551232 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/8643/task/8645/stat : 8645 (java) R 8640 8643 17093 0 -1 4202560 6898 0 0 0 51 3 0 0 20 0 15 0 66673416 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139775522756000 139775504587156 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8646] ppid=8640 vsize=10551232 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8643/task/8646/stat : 8646 (java) S 8640 8643 17093 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 15 0 66673416 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139775129156368 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8647] ppid=8640 vsize=10551232 memory=4612 CPUtime=0.02 cores=0,2,4,6
/proc/8643/task/8647/stat : 8647 (java) S 8640 8643 17093 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 15 0 66673416 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139775128103824 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8648] ppid=8640 vsize=10551232 memory=1708 CPUtime=0.02 cores=0,2,4,6
/proc/8643/task/8648/stat : 8648 (java) S 8640 8643 17093 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 15 0 66673416 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139775127051280 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8649] ppid=8640 vsize=10551232 memory=1444 CPUtime=0.02 cores=0,2,4,6
/proc/8643/task/8649/stat : 8649 (java) S 8640 8643 17093 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 15 0 66673416 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139775125998736 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8650] ppid=8640 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8650/stat : 8650 (java) S 8640 8643 17093 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 66673418 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139775082579952 139775518530178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8651] ppid=8640 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8651/stat : 8651 (java) S 8640 8643 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 66673418 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139775081526176 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8652] ppid=8640 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8652/stat : 8652 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66673419 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139774556890096 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8653] ppid=8640 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8653/stat : 8653 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673421 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139774555838672 139775518537627 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8654] ppid=8640 vsize=10551232 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/8643/task/8654/stat : 8654 (java) R 8640 8643 17093 0 -1 4202560 832 0 0 0 25 0 0 0 20 0 15 0 66673421 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139774554777568 139775510808480 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8655] ppid=8640 vsize=10551232 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/8643/task/8655/stat : 8655 (java) R 8640 8643 17093 0 -1 4202560 1278 0 0 0 25 0 0 0 20 0 15 0 66673421 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139774553720560 139775496884766 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8656] ppid=8640 vsize=10551232 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/8643/task/8656/stat : 8656 (java) S 8640 8643 17093 0 -1 1077944384 1453 0 0 0 27 0 0 0 20 0 15 0 66673421 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139774552681200 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8657] ppid=8640 vsize=10551232 memory=15 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8657/stat : 8657 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673421 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139774551628896 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8658] ppid=8640 vsize=10551232 memory=69 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8658/stat : 8658 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673427 10804461568 51973 18446744073709551615 4194304 4196468 140736428041616 139774550575408 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 207892 KiB
[startup+1.50083 s]
/proc/loadavg: 5.43 4.58 3.72 3/209 8658
/proc/meminfo: memFree=29641896/32770624 swapFree=67108860/67108860
[pid=8643] ppid=8640 vsize=10551232 memory=1197596 CPUtime=2.84 cores=0,2,4,6
/proc/8643/stat : 8643 (java) S 8640 8643 17093 0 -1 1077944320 14323 0 0 0 240 44 0 0 20 0 15 0 66673410 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 140736428024160 139775518519031 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
/proc/8643/statm: 2637808 299399 3097 1 0 2627261 0
[pid=8643/tid=8645] ppid=8640 vsize=10551232 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/8643/task/8645/stat : 8645 (java) R 8640 8643 17093 0 -1 4202560 7555 0 0 0 102 15 0 0 20 0 15 0 66673416 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 139775522756256 139775504587156 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8646] ppid=8640 vsize=10551232 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/8643/task/8646/stat : 8646 (java) S 8640 8643 17093 0 -1 1077944384 112 0 0 0 9 6 0 0 20 0 15 0 66673416 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 139775129156368 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8647] ppid=8640 vsize=10551232 memory=6673 CPUtime=0.16 cores=0,2,4,6
/proc/8643/task/8647/stat : 8647 (java) S 8640 8643 17093 0 -1 1077944384 202 0 0 0 10 6 0 0 20 0 15 0 66673416 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 139775128103824 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8648] ppid=8640 vsize=10551232 memory=4420 CPUtime=0.17 cores=0,2,4,6
/proc/8643/task/8648/stat : 8648 (java) S 8640 8643 17093 0 -1 1077944384 217 0 0 0 10 7 0 0 20 0 15 0 66673416 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 139775127051280 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8649] ppid=8640 vsize=10551232 memory=6628 CPUtime=0.15 cores=0,2,4,6
/proc/8643/task/8649/stat : 8649 (java) S 8640 8643 17093 0 -1 1077944384 204 0 0 0 9 6 0 0 20 0 15 0 66673416 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 139775125998736 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8650] ppid=8640 vsize=10551232 memory=164 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8650/stat : 8650 (java) S 8640 8643 17093 0 -1 1077944384 981 0 0 0 0 0 0 0 20 0 15 0 66673418 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 139775082579952 139775518530178 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8651] ppid=8640 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8651/stat : 8651 (java) S 8640 8643 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 66673418 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 139775081526176 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8652] ppid=8640 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8652/stat : 8652 (java) S 8640 8643 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66673419 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 139774556890096 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8653] ppid=8640 vsize=10551232 memory=8772 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8653/stat : 8653 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673421 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 139774555838672 139775518537627 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8654] ppid=8640 vsize=10551232 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/8643/task/8654/stat : 8654 (java) S 8640 8643 17093 0 -1 1077944384 946 0 0 0 32 0 0 0 20 0 15 0 66673421 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 139774554786288 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8655] ppid=8640 vsize=10551232 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/8643/task/8655/stat : 8655 (java) S 8640 8643 17093 0 -1 1077944384 1310 0 0 0 35 0 0 0 20 0 15 0 66673421 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 139774553733744 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8656] ppid=8640 vsize=10551232 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/8643/task/8656/stat : 8656 (java) S 8640 8643 17093 0 -1 1077944384 1453 0 0 0 27 0 0 0 20 0 15 0 66673421 10804461568 299399 18446744073709551615 4194304 4196468 140736428041616 139774552681200 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
################
# More data... #
################
[startup+88.328 s]
# the end of solver process 8643 was just reported to runsolver
# cumulated CPU time of all completed processes: user=255.009 s, system=5.06648 s
Solver just ended.
Dumping a history of the last processes samples
[startup+86.4007 s]
/proc/loadavg: 6.10 4.90 3.91 5/195 8721
/proc/meminfo: memFree=23250580/32770624 swapFree=67108860/67108860
[pid=8643] ppid=8640 vsize=10551232 memory=8307464 CPUtime=252.97 cores=0,2,4,6
/proc/8643/stat : 8643 (java) S 8640 8643 17093 0 -1 1077944320 1605194 0 0 0 24804 493 0 0 20 0 15 0 66673410 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 140736428024160 139775518519031 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
/proc/8643/statm: 2637808 2076866 3128 1 0 2627261 0
[pid=8643/tid=8645] ppid=8640 vsize=10551232 memory=8307464 CPUtime=18.95 cores=0,2,4,6
/proc/8643/task/8645/stat : 8645 (java) S 8640 8643 17093 0 -1 1077944384 22943 0 0 0 1858 37 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775522493120 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8646] ppid=8640 vsize=10551232 memory=1296 CPUtime=54.94 cores=0,2,4,6
/proc/8643/task/8646/stat : 8646 (java) R 8640 8643 17093 0 -1 4202560 504090 0 0 0 5379 115 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775129156488 139775511147239 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8647] ppid=8640 vsize=10551232 memory=2420 CPUtime=55.64 cores=0,2,4,6
/proc/8643/task/8647/stat : 8647 (java) R 8640 8643 17093 0 -1 4202560 397550 0 0 0 5453 111 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775128104024 139775503515540 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8648] ppid=8640 vsize=10551232 memory=7680170660397595203 CPUtime=55.62 cores=0,2,4,6
/proc/8643/task/8648/stat : 8648 (java) R 8640 8643 17093 0 -1 4202560 346018 0 0 0 5448 114 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775127051088 139775511147239 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8649] ppid=8640 vsize=10551232 memory=2420 CPUtime=55 cores=0,2,4,6
/proc/8643/task/8649/stat : 8649 (java) R 8640 8643 17093 0 -1 4202560 267313 0 0 0 5394 106 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775125998544 139775511147239 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8650] ppid=8640 vsize=10551232 memory=1732 CPUtime=11.02 cores=0,2,4,6
/proc/8643/task/8650/stat : 8650 (java) S 8640 8643 17093 0 -1 1077944384 56260 0 0 0 1100 2 0 0 20 0 15 0 66673418 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775082578496 139775518529237 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8651] ppid=8640 vsize=10551232 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8651/stat : 8651 (java) S 8640 8643 17093 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 66673418 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775081526240 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8652] ppid=8640 vsize=10551232 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8652/stat : 8652 (java) S 8640 8643 17093 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 66673419 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774556890096 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8653] ppid=8640 vsize=10551232 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8653/stat : 8653 (java) S 8640 8643 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774555838320 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8654] ppid=8640 vsize=10551232 memory=1992 CPUtime=0.64 cores=0,2,4,6
/proc/8643/task/8654/stat : 8654 (java) S 8640 8643 17093 0 -1 1077944384 2639 0 0 0 64 0 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774554786336 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8655] ppid=8640 vsize=10551232 memory=1204 CPUtime=0.68 cores=0,2,4,6
/proc/8643/task/8655/stat : 8655 (java) S 8640 8643 17093 0 -1 1077944384 3143 0 0 0 67 1 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774553733504 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8656] ppid=8640 vsize=10551232 memory=1000 CPUtime=0.33 cores=0,2,4,6
/proc/8643/task/8656/stat : 8656 (java) S 8640 8643 17093 0 -1 1077944384 3232 0 0 0 32 1 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774552681248 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8657] ppid=8640 vsize=10551232 memory=796 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8657/stat : 8657 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774551628896 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8658] ppid=8640 vsize=10551232 memory=8944 CPUtime=0.04 cores=0,2,4,6
/proc/8643/task/8658/stat : 8658 (java) S 8640 8643 17093 0 -1 1077944384 554 0 0 0 1 3 0 0 20 0 15 0 66673427 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774550575408 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
Current children cumulated CPU time: 252.97 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8307464 KiB
[startup+87.2008 s]
/proc/loadavg: 6.10 4.90 3.91 9/209 8735
/proc/meminfo: memFree=22637936/32770624 swapFree=67108860/67108860
[pid=8643] ppid=8640 vsize=10551232 memory=8307464 CPUtime=256.05 cores=0,2,4,6
/proc/8643/stat : 8643 (java) S 8640 8643 17093 0 -1 1077944320 1605194 0 0 0 25112 493 0 0 20 0 15 0 66673410 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 140736428024160 139775518519031 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
/proc/8643/statm: 2637808 2076866 3128 1 0 2627261 0
[pid=8643/tid=8645] ppid=8640 vsize=10551232 memory=5788 CPUtime=18.95 cores=0,2,4,6
/proc/8643/task/8645/stat : 8645 (java) S 8640 8643 17093 0 -1 1077944384 22943 0 0 0 1858 37 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775522493120 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8646] ppid=8640 vsize=10551232 memory=4612 CPUtime=55.69 cores=0,2,4,6
/proc/8643/task/8646/stat : 8646 (java) R 8640 8643 17093 0 -1 4202560 504090 0 0 0 5454 115 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775129156488 139775511147239 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8647] ppid=8640 vsize=10551232 memory=1708 CPUtime=56.44 cores=0,2,4,6
/proc/8643/task/8647/stat : 8647 (java) R 8640 8643 17093 0 -1 4202560 397550 0 0 0 5533 111 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775128104024 139775503218909 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8648] ppid=8640 vsize=10551232 memory=1444 CPUtime=56.39 cores=0,2,4,6
/proc/8643/task/8648/stat : 8648 (java) R 8640 8643 17093 0 -1 4202560 346018 0 0 0 5525 114 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775127051088 139775511147239 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8649] ppid=8640 vsize=10551232 memory=1228 CPUtime=55.76 cores=0,2,4,6
/proc/8643/task/8649/stat : 8649 (java) R 8640 8643 17093 0 -1 4202560 267313 0 0 0 5470 106 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775125998544 139775511147239 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8650] ppid=8640 vsize=10551232 memory=8307464 CPUtime=11.02 cores=0,2,4,6
/proc/8643/task/8650/stat : 8650 (java) S 8640 8643 17093 0 -1 1077944384 56260 0 0 0 1100 2 0 0 20 0 15 0 66673418 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775082578496 139775518529237 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8651] ppid=8640 vsize=10551232 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8651/stat : 8651 (java) S 8640 8643 17093 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 66673418 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775081526240 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8652] ppid=8640 vsize=10551232 memory=796 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8652/stat : 8652 (java) S 8640 8643 17093 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 66673419 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774556890096 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8653] ppid=8640 vsize=10551232 memory=8944 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8653/stat : 8653 (java) S 8640 8643 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774555838320 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8654] ppid=8640 vsize=10551232 memory=1708 CPUtime=0.64 cores=0,2,4,6
/proc/8643/task/8654/stat : 8654 (java) S 8640 8643 17093 0 -1 1077944384 2639 0 0 0 64 0 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774554786336 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8655] ppid=8640 vsize=10551232 memory=1444 CPUtime=0.68 cores=0,2,4,6
/proc/8643/task/8655/stat : 8655 (java) S 8640 8643 17093 0 -1 1077944384 3143 0 0 0 67 1 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774553733504 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8656] ppid=8640 vsize=10551232 memory=1228 CPUtime=0.33 cores=0,2,4,6
/proc/8643/task/8656/stat : 8656 (java) S 8640 8643 17093 0 -1 1077944384 3232 0 0 0 32 1 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774552681248 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8657] ppid=8640 vsize=10551232 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8657/stat : 8657 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774551628896 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8658] ppid=8640 vsize=10551232 memory=1992 CPUtime=0.04 cores=0,2,4,6
/proc/8643/task/8658/stat : 8658 (java) S 8640 8643 17093 0 -1 1077944384 554 0 0 0 1 3 0 0 20 0 15 0 66673427 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774550575408 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
Current children cumulated CPU time: 256.05 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8307464 KiB
[startup+88.0007 s]*
/proc/loadavg: 6.10 4.90 3.91 6/209 8735
/proc/meminfo: memFree=21047796/32770624 swapFree=67108860/67108860
[pid=8643] ppid=8640 vsize=10551232 memory=8307464 CPUtime=259.19 cores=0,2,4,6
/proc/8643/stat : 8643 (java) S 8640 8643 17093 0 -1 1077944320 1605194 0 0 0 25425 494 0 0 20 0 15 0 66673410 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 140736428024160 139775518519031 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
/proc/8643/statm: 2637808 2076866 3128 1 0 2627261 0
[pid=8643/tid=8645] ppid=8640 vsize=10551232 memory=-7677926825137650786 CPUtime=18.95 cores=0,2,4,6
/proc/8643/task/8645/stat : 8645 (java) S 8640 8643 17093 0 -1 1077944384 22943 0 0 0 1858 37 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775522493120 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8646] ppid=8640 vsize=10551232 memory=4872558044660077418 CPUtime=56.46 cores=0,2,4,6
/proc/8643/task/8646/stat : 8646 (java) R 8640 8643 17093 0 -1 4202560 504090 0 0 0 5531 115 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775129156488 139775511147239 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8647] ppid=8640 vsize=10551232 memory=279716858691824 CPUtime=57.25 cores=0,2,4,6
/proc/8643/task/8647/stat : 8647 (java) R 8640 8643 17093 0 -1 4202560 397550 0 0 0 5614 111 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775128104024 139775503515435 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8648] ppid=8640 vsize=10551232 memory=279716858691824 CPUtime=57.17 cores=0,2,4,6
/proc/8643/task/8648/stat : 8648 (java) R 8640 8643 17093 0 -1 4202560 346018 0 0 0 5603 114 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775127051400 139775511147239 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8649] ppid=8640 vsize=10551232 memory=279716858691824 CPUtime=56.54 cores=0,2,4,6
/proc/8643/task/8649/stat : 8649 (java) R 8640 8643 17093 0 -1 4202560 267313 0 0 0 5548 106 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775125998544 139775511147239 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8650] ppid=8640 vsize=10551232 memory=279716858691824 CPUtime=11.02 cores=0,2,4,6
/proc/8643/task/8650/stat : 8650 (java) S 8640 8643 17093 0 -1 1077944384 56260 0 0 0 1100 2 0 0 20 0 15 0 66673418 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775082578496 139775518529237 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8651] ppid=8640 vsize=10551232 memory=279716858691824 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8651/stat : 8651 (java) S 8640 8643 17093 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 66673418 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775081526240 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8652] ppid=8640 vsize=10551232 memory=279716858691824 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8652/stat : 8652 (java) S 8640 8643 17093 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 66673419 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774556890096 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8653] ppid=8640 vsize=10551232 memory=279716858691824 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8653/stat : 8653 (java) S 8640 8643 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774555838320 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8654] ppid=8640 vsize=10551232 memory=139858528912417 CPUtime=0.64 cores=0,2,4,6
/proc/8643/task/8654/stat : 8654 (java) S 8640 8643 17093 0 -1 1077944384 2639 0 0 0 64 0 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774554786336 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8655] ppid=8640 vsize=10551232 memory=-7595761213668167008 CPUtime=0.68 cores=0,2,4,6
/proc/8643/task/8655/stat : 8655 (java) S 8640 8643 17093 0 -1 1077944384 3143 0 0 0 67 1 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774553733504 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8656] ppid=8640 vsize=10551232 memory=-7595718147998060693 CPUtime=0.33 cores=0,2,4,6
/proc/8643/task/8656/stat : 8656 (java) S 8640 8643 17093 0 -1 1077944384 3232 0 0 0 32 1 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774552681248 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8657] ppid=8640 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8657/stat : 8657 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774551628896 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8658] ppid=8640 vsize=10551232 memory=64 CPUtime=0.04 cores=0,2,4,6
/proc/8643/task/8658/stat : 8658 (java) S 8640 8643 17093 0 -1 1077944384 554 0 0 0 1 3 0 0 20 0 15 0 66673427 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774550575408 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
Current children cumulated CPU time: 259.19 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8307464 KiB
[startup+88.2007 s]
/proc/loadavg: 6.10 4.90 3.91 6/209 8735
/proc/meminfo: memFree=21047796/32770624 swapFree=67108860/67108860
[pid=8643] ppid=8640 vsize=10551232 memory=8307464 CPUtime=259.92 cores=0,2,4,6
/proc/8643/stat : 8643 (java) S 8640 8643 17093 0 -1 1077944320 1605194 0 0 0 25498 494 0 0 20 0 15 0 66673410 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 140736428024160 139775518519031 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
/proc/8643/statm: 2637808 2076866 3128 1 0 2627261 0
[pid=8643/tid=8645] ppid=8640 vsize=10551232 memory=288230621803970871 CPUtime=18.95 cores=0,2,4,6
/proc/8643/task/8645/stat : 8645 (java) S 8640 8643 17093 0 -1 1077944384 22943 0 0 0 1858 37 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775522493120 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8646] ppid=8640 vsize=10551232 memory=13563795322702378 CPUtime=56.64 cores=0,2,4,6
/proc/8643/task/8646/stat : 8646 (java) R 8640 8643 17093 0 -1 4202560 504090 0 0 0 5549 115 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775129156488 139775511147239 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8647] ppid=8640 vsize=10551232 memory=4064 CPUtime=57.44 cores=0,2,4,6
/proc/8643/task/8647/stat : 8647 (java) R 8640 8643 17093 0 -1 4202560 397550 0 0 0 5633 111 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775128104024 139775503508695 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8648] ppid=8640 vsize=10551232 memory=1160 CPUtime=57.35 cores=0,2,4,6
/proc/8643/task/8648/stat : 8648 (java) R 8640 8643 17093 0 -1 4202560 346018 0 0 0 5621 114 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775127051088 139775511147239 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8649] ppid=8640 vsize=10551232 memory=2904 CPUtime=56.72 cores=0,2,4,6
/proc/8643/task/8649/stat : 8649 (java) R 8640 8643 17093 0 -1 4202560 267313 0 0 0 5566 106 0 0 20 0 15 0 66673416 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775125998856 139775511147239 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8650] ppid=8640 vsize=10551232 memory=8307464 CPUtime=11.02 cores=0,2,4,6
/proc/8643/task/8650/stat : 8650 (java) S 8640 8643 17093 0 -1 1077944384 56260 0 0 0 1100 2 0 0 20 0 15 0 66673418 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775082578496 139775518529237 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8651] ppid=8640 vsize=10551232 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8651/stat : 8651 (java) S 8640 8643 17093 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 66673418 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139775081526240 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8652] ppid=8640 vsize=10551232 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8652/stat : 8652 (java) S 8640 8643 17093 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 66673419 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774556890096 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8653] ppid=8640 vsize=10551232 memory=625280 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8653/stat : 8653 (java) S 8640 8643 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774555838320 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8654] ppid=8640 vsize=10551232 memory=3904 CPUtime=0.64 cores=0,2,4,6
/proc/8643/task/8654/stat : 8654 (java) S 8640 8643 17093 0 -1 1077944384 2639 0 0 0 64 0 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774554786336 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8655] ppid=8640 vsize=10551232 memory=-7677926825137650786 CPUtime=0.68 cores=0,2,4,6
/proc/8643/task/8655/stat : 8655 (java) S 8640 8643 17093 0 -1 1077944384 3143 0 0 0 67 1 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774553733504 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8656] ppid=8640 vsize=10551232 memory=4872558044660077418 CPUtime=0.33 cores=0,2,4,6
/proc/8643/task/8656/stat : 8656 (java) S 8640 8643 17093 0 -1 1077944384 3232 0 0 0 32 1 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774552681248 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8657] ppid=8640 vsize=10551232 memory=8389687274567250738 CPUtime=0 cores=0,2,4,6
/proc/8643/task/8657/stat : 8657 (java) S 8640 8643 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66673421 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774551628896 139775518529237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
[pid=8643/tid=8658] ppid=8640 vsize=10551232 memory=1708 CPUtime=0.04 cores=0,2,4,6
/proc/8643/task/8658/stat : 8658 (java) S 8640 8643 17093 0 -1 1077944384 554 0 0 0 1 3 0 0 20 0 15 0 66673427 10804461568 2076866 18446744073709551615 4194304 4196468 140736428041616 139774550575408 139775518530178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17719296 140736428048789 140736428048942 140736428048942 140736428052431 0
Current children cumulated CPU time: 259.92 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8307464 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 88.328
CPU time (s): 260.075
CPU user time (s): 255.009
CPU system time (s): 5.06648
CPU usage (%): 294.443
Max. virtual memory (cumulated for all children) (KiB): 10553140
Max. memory (cumulated for all children) (KiB): 8307464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.009
system time used= 5.06648
maximum resident set size= 8307592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1605198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11859
involuntary context switches= 5049
# summary of solver processes directly reported to runsolver:
# pid: 8643
# total CPU time (s): 260.075
# total CPU user time (s): 255.009
# total CPU system time (s): 5.06648
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.587663 second user time and 0.824642 second system time
The end