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 (11177 MiB free)
memory of node 1: 16384 MiB (13105 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293693-1534344247/watcher-4293693-1534344247 -o /tmp/evaluation-result-4293693-1534344247/solver-4293693-1534344247 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534344247-7562 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=340084905 -superng HOME/instance-4293693-1534344247.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7577, runsolver pid=7574
Current StackSize limit: 8192 KiB
[startup+0.100864 s]*
/proc/loadavg: 1.16 1.39 1.43 2/188 7620
/proc/meminfo: memFree=24865276/32770624 swapFree=67108856/67108860
[pid=7577] ppid=7574 vsize=113256 memory=1612 CPUtime=0.07 cores=0,2,4,6
/proc/7577/stat : 7577 (bash) S 7574 7577 5533 0 -1 4202496 910 11267 1 1 0 0 5 2 20 0 1 0 251988069 115974144 403 33554432000 4194304 5098028 140730625918784 140730625912008 140237607865344 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 1 0 0 7196144 7232144 26763264 140730625922198 140730625922344 140730625922344 140730625925102 0
/proc/7577/statm: 28314 403 319 221 0 119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1612 KiB
[startup+0.209841 s]*
/proc/loadavg: 1.16 1.39 1.43 3/200 7643
/proc/meminfo: memFree=24845084/32770624 swapFree=67108856/67108860
[pid=7577] ppid=7574 vsize=10818904 memory=35896 CPUtime=0.21 cores=0,2,4,6
/proc/7577/stat : 7577 (java) S 7574 7577 5533 0 -1 1077944320 6665 13295 1 2 13 1 5 2 20 0 15 0 251988069 11078557696 8974 33554432000 4194304 4196468 140726766525504 140726766508048 140049589538551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
/proc/7577/statm: 2704726 8974 2974 1 0 2667149 0
[pid=7577/tid=7630] ppid=7574 vsize=10818904 memory=8318255677412212789 CPUtime=0.15 cores=0,2,4,6
/proc/7577/task/7630/stat : 7630 (java) R 7574 7577 5533 0 -1 4202560 3343 13295 0 2 8 0 5 2 20 0 15 0 251988082 11078557696 9486 33554432000 4194304 4196468 140726766525504 140049561359592 140049589560477 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7631] ppid=7574 vsize=10818904 memory=339 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7631/stat : 7631 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988082 11078557696 9486 33554432000 4194304 4196468 140726766525504 140049593781264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7632] ppid=7574 vsize=10818904 memory=140557107627136 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7632/stat : 7632 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988082 11078557696 9486 33554432000 4194304 4196468 140726766525504 140049492671632 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7633] ppid=7574 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7633/stat : 7633 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988082 11078557696 9486 33554432000 4194304 4196468 140726766525504 140049491618576 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7634] ppid=7574 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7634/stat : 7634 (java) S 7574 7577 5533 0 -1 1077944384 2 13295 0 2 0 0 5 2 20 0 15 0 251988082 11078557696 9486 33554432000 4194304 4196468 140726766525504 140049490566032 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7635] ppid=7574 vsize=10818904 memory=140557107619456 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7635/stat : 7635 (java) S 7574 7577 5533 0 -1 1077944384 2 13295 0 2 0 0 5 2 20 0 15 0 251988084 11078557696 9486 33554432000 4194304 4196468 140726766525504 140049049053424 140049589549698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7636] ppid=7574 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7636/stat : 7636 (java) S 7574 7577 5533 0 -1 1077944384 13 13295 0 2 0 0 5 2 20 0 15 0 251988084 11078557696 9486 33554432000 4194304 4196468 140726766525504 140048951403680 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7637] ppid=7574 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7637/stat : 7637 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988085 11078557696 9486 33554432000 4194304 4196468 140726766525504 140048347423472 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7638] ppid=7574 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7638/stat : 7638 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 15 0 251988087 11078557696 9486 33554432000 4194304 4196468 140726766525504 140048107132880 140049589557147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7639] ppid=7574 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7577/task/7639/stat : 7639 (java) S 7574 7577 5533 0 -1 1077944384 486 13295 0 2 1 0 5 2 20 0 15 0 251988087 11078557696 9486 33554432000 4194304 4196468 140726766525504 140049048001264 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7640] ppid=7574 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7577/task/7640/stat : 7640 (java) S 7574 7577 5533 0 -1 1077944384 90 13295 0 2 1 0 5 2 20 0 15 0 251988087 11078557696 9486 33554432000 4194304 4196468 140726766525504 140049046948720 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7641] ppid=7574 vsize=10818904 memory=140557107619456 CPUtime=0.09 cores=0,2,4,6
/proc/7577/task/7641/stat : 7641 (java) S 7574 7577 5533 0 -1 1077944384 531 13295 0 2 2 0 5 2 20 0 15 0 251988087 11078557696 9486 33554432000 4194304 4196468 140726766525504 140049045895664 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7642] ppid=7574 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7642/stat : 7642 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 15 0 251988087 11078557696 9486 33554432000 4194304 4196468 140726766525504 140048073575264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7643] ppid=7574 vsize=10818904 memory=140557107619456 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7643/stat : 7643 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988088 11078557696 9486 33554432000 4194304 4196468 140726766525504 140049044843056 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 35896 KiB
[startup+0.310642 s]*
/proc/loadavg: 1.16 1.39 1.43 3/200 7643
/proc/meminfo: memFree=24829532/32770624 swapFree=67108856/67108860
[pid=7577] ppid=7574 vsize=10819384 memory=49880 CPUtime=0.35 cores=0,2,4,6
/proc/7577/stat : 7577 (java) S 7574 7577 5533 0 -1 1077944320 9946 13295 1 2 26 2 5 2 20 0 15 0 251988069 11079049216 12470 33554432000 4194304 4196468 140726766525504 140726766508048 140049589538551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
/proc/7577/statm: 2704838 12470 3093 1 0 2667149 0
[pid=7577/tid=7630] ppid=7574 vsize=10819352 memory=8112282956445269571 CPUtime=0.25 cores=0,2,4,6
/proc/7577/task/7630/stat : 7630 (java) R 7574 7577 5533 0 -1 4202560 6616 13295 0 2 17 1 5 2 20 0 15 0 251988082 11079016448 12470 33554432000 4194304 4196468 140726766525504 140049561349104 140049573619038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7631] ppid=7574 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7631/stat : 7631 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988082 11079016448 12470 33554432000 4194304 4196468 140726766525504 140049593781264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7632] ppid=7574 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7632/stat : 7632 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988082 11079016448 12470 33554432000 4194304 4196468 140726766525504 140049492671632 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7633] ppid=7574 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7633/stat : 7633 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988082 11079016448 12470 33554432000 4194304 4196468 140726766525504 140049491618576 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7634] ppid=7574 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7634/stat : 7634 (java) S 7574 7577 5533 0 -1 1077944384 2 13295 0 2 0 0 5 2 20 0 15 0 251988082 11079016448 12470 33554432000 4194304 4196468 140726766525504 140049490566032 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7635] ppid=7574 vsize=10819352 memory=140557107619456 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7635/stat : 7635 (java) S 7574 7577 5533 0 -1 1077944384 2 13295 0 2 0 0 5 2 20 0 15 0 251988084 11079016448 12470 33554432000 4194304 4196468 140726766525504 140049049053424 140049589549698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7636] ppid=7574 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7636/stat : 7636 (java) S 7574 7577 5533 0 -1 1077944384 13 13295 0 2 0 0 5 2 20 0 15 0 251988084 11079016448 12470 33554432000 4194304 4196468 140726766525504 140048951403680 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7637] ppid=7574 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7637/stat : 7637 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988085 11079016448 12470 33554432000 4194304 4196468 140726766525504 140048347423472 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7638] ppid=7574 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7638/stat : 7638 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 15 0 251988087 11079016448 12470 33554432000 4194304 4196468 140726766525504 140048107132880 140049589557147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7639] ppid=7574 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7577/task/7639/stat : 7639 (java) S 7574 7577 5533 0 -1 1077944384 486 13295 0 2 1 0 5 2 20 0 15 0 251988087 11079016448 12470 33554432000 4194304 4196468 140726766525504 140049048001264 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7640] ppid=7574 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7577/task/7640/stat : 7640 (java) S 7574 7577 5533 0 -1 1077944384 91 13295 0 2 1 0 5 2 20 0 15 0 251988087 11079016448 12470 33554432000 4194304 4196468 140726766525504 140049046948720 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7641] ppid=7574 vsize=10819352 memory=140557107619456 CPUtime=0.11 cores=0,2,4,6
/proc/7577/task/7641/stat : 7641 (java) S 7574 7577 5533 0 -1 1077944384 552 13295 0 2 4 0 5 2 20 0 15 0 251988087 11079016448 12470 33554432000 4194304 4196468 140726766525504 140049045895664 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7642] ppid=7574 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7642/stat : 7642 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 15 0 251988087 11079016448 12470 33554432000 4194304 4196468 140726766525504 140048073575264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7643] ppid=7574 vsize=10819352 memory=140557107619456 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7643/stat : 7643 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988088 11079016448 12470 33554432000 4194304 4196468 140726766525504 140049044843056 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10819384 KiB
Current children cumulated memory: 49880 KiB
[startup+0.700818 s]
/proc/loadavg: 1.16 1.39 1.43 2/200 7643
/proc/meminfo: memFree=24816692/32770624 swapFree=67108856/67108860
[pid=7577] ppid=7574 vsize=10819352 memory=86232 CPUtime=0.96 cores=0,2,4,6
/proc/7577/stat : 7577 (java) S 7574 7577 5533 0 -1 1077944320 16715 13295 1 2 84 5 5 2 20 0 15 0 251988069 11079016448 21558 33554432000 4194304 4196468 140726766525504 140726766508048 140049589538551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
/proc/7577/statm: 2704838 21558 3237 1 0 2667149 0
[pid=7577/tid=7630] ppid=7574 vsize=10819352 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/7577/task/7630/stat : 7630 (java) R 7574 7577 5533 0 -1 4202560 12188 13295 0 2 53 3 5 2 20 0 15 0 251988082 11079016448 21558 33554432000 4194304 4196468 140726766525504 140049561361072 140049571103504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7631] ppid=7574 vsize=10819352 memory=90 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7631/stat : 7631 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988082 11079016448 21558 33554432000 4194304 4196468 140726766525504 140049593781264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7632] ppid=7574 vsize=10819352 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7632/stat : 7632 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988082 11079016448 21558 33554432000 4194304 4196468 140726766525504 140049492671632 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7633] ppid=7574 vsize=10819352 memory=728 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7633/stat : 7633 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988082 11079016448 21558 33554432000 4194304 4196468 140726766525504 140049491618576 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7634] ppid=7574 vsize=10819352 memory=20604 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7634/stat : 7634 (java) S 7574 7577 5533 0 -1 1077944384 2 13295 0 2 0 0 5 2 20 0 15 0 251988082 11079016448 21558 33554432000 4194304 4196468 140726766525504 140049490566032 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7635] ppid=7574 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7635/stat : 7635 (java) S 7574 7577 5533 0 -1 1077944384 5 13295 0 2 0 0 5 2 20 0 15 0 251988084 11079016448 21558 33554432000 4194304 4196468 140726766525504 140049049053424 140049589549698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7636] ppid=7574 vsize=10819352 memory=1 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7636/stat : 7636 (java) S 7574 7577 5533 0 -1 1077944384 13 13295 0 2 0 0 5 2 20 0 15 0 251988084 11079016448 21558 33554432000 4194304 4196468 140726766525504 140048951403680 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7637] ppid=7574 vsize=10819352 memory=6924 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7637/stat : 7637 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988085 11079016448 21558 33554432000 4194304 4196468 140726766525504 140048347423472 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7638] ppid=7574 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7638/stat : 7638 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 15 0 251988087 11079016448 21558 33554432000 4194304 4196468 140726766525504 140048107132880 140049589557147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7639] ppid=7574 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/7577/task/7639/stat : 7639 (java) S 7574 7577 5533 0 -1 1077944384 1169 13295 0 2 10 0 5 2 20 0 15 0 251988087 11079016448 21558 33554432000 4194304 4196468 140726766525504 140049048001264 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7640] ppid=7574 vsize=10819352 memory=1580 CPUtime=0.14 cores=0,2,4,6
/proc/7577/task/7640/stat : 7640 (java) S 7574 7577 5533 0 -1 1077944384 515 13295 0 2 7 0 5 2 20 0 15 0 251988087 11079016448 21558 33554432000 4194304 4196468 140726766525504 140049046948720 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7641] ppid=7574 vsize=10819352 memory=924 CPUtime=0.2 cores=0,2,4,6
/proc/7577/task/7641/stat : 7641 (java) S 7574 7577 5533 0 -1 1077944384 621 13295 0 2 13 0 5 2 20 0 15 0 251988087 11079016448 21558 33554432000 4194304 4196468 140726766525504 140049045895664 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7642] ppid=7574 vsize=10819352 memory=2188 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7642/stat : 7642 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 15 0 251988087 11079016448 21558 33554432000 4194304 4196468 140726766525504 140048073575264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7643] ppid=7574 vsize=10819352 memory=3984 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7643/stat : 7643 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988088 11079016448 21558 33554432000 4194304 4196468 140726766525504 140049044843056 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86232 KiB
[startup+1.50076 s]
/proc/loadavg: 1.16 1.39 1.43 4/200 7643
/proc/meminfo: memFree=24772700/32770624 swapFree=67108856/67108860
[pid=7577] ppid=7574 vsize=10830156 memory=172816 CPUtime=2.83 cores=0,2,4,6
/proc/7577/stat : 7577 (java) S 7574 7577 5533 0 -1 1077944320 23426 13295 1 2 268 8 5 2 20 0 15 0 251988069 11090079744 43204 33554432000 4194304 4196468 140726766525504 140726766508048 140049589538551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
/proc/7577/statm: 2707539 43204 3449 1 0 2669197 0
[pid=7577/tid=7630] ppid=7574 vsize=10830156 memory=7332 CPUtime=1.42 cores=0,2,4,6
/proc/7577/task/7630/stat : 7630 (java) R 7574 7577 5533 0 -1 4202560 16093 13295 0 2 130 5 5 2 20 0 15 0 251988082 11090079744 43204 33554432000 4194304 4196468 140726766525504 140049561326832 140049589560477 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7631] ppid=7574 vsize=10830156 memory=5400 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7631/stat : 7631 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988082 11090079744 43204 33554432000 4194304 4196468 140726766525504 140049593781264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7632] ppid=7574 vsize=10830156 memory=1108 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7632/stat : 7632 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988082 11090079744 43204 33554432000 4194304 4196468 140726766525504 140049492671632 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7633] ppid=7574 vsize=10830156 memory=10784 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7633/stat : 7633 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988082 11090079744 43204 33554432000 4194304 4196468 140726766525504 140049491618576 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7634] ppid=7574 vsize=10830156 memory=872 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7634/stat : 7634 (java) S 7574 7577 5533 0 -1 1077944384 2 13295 0 2 0 0 5 2 20 0 15 0 251988082 11090079744 43204 33554432000 4194304 4196468 140726766525504 140049490566032 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7635] ppid=7574 vsize=10830156 memory=4280 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7635/stat : 7635 (java) S 7574 7577 5533 0 -1 1077944384 6 13295 0 2 0 0 5 2 20 0 15 0 251988084 11090079744 43204 33554432000 4194304 4196468 140726766525504 140049049053424 140049589549698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7636] ppid=7574 vsize=10830156 memory=14888 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7636/stat : 7636 (java) S 7574 7577 5533 0 -1 1077944384 13 13295 0 2 0 0 5 2 20 0 15 0 251988084 11090079744 43204 33554432000 4194304 4196468 140726766525504 140048951403680 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7637] ppid=7574 vsize=10830156 memory=37972 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7637/stat : 7637 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988085 11090079744 43204 33554432000 4194304 4196468 140726766525504 140048347423472 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7638] ppid=7574 vsize=10830156 memory=15932 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7638/stat : 7638 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 15 0 251988087 11090079744 43204 33554432000 4194304 4196468 140726766525504 140048107132880 140049589557147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7639] ppid=7574 vsize=10830156 memory=3332 CPUtime=0.58 cores=0,2,4,6
/proc/7577/task/7639/stat : 7639 (java) R 7574 7577 5533 0 -1 4202560 2414 13295 0 2 51 0 5 2 20 0 15 0 251988087 11090079744 43204 33554432000 4194304 4196468 140726766525504 140049048001264 140049589552415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7640] ppid=7574 vsize=10830156 memory=33 CPUtime=0.5 cores=0,2,4,6
/proc/7577/task/7640/stat : 7640 (java) S 7574 7577 5533 0 -1 1077944384 1263 13295 0 2 42 1 5 2 20 0 15 0 251988087 11090079744 43204 33554432000 4194304 4196468 140726766525504 140049046948720 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7641] ppid=7574 vsize=10830156 memory=290827423556305186 CPUtime=0.5 cores=0,2,4,6
/proc/7577/task/7641/stat : 7641 (java) S 7574 7577 5533 0 -1 1077944384 1433 13295 0 2 42 1 5 2 20 0 15 0 251988087 11090079744 43204 33554432000 4194304 4196468 140726766525504 140049045895664 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7642] ppid=7574 vsize=10830156 memory=288293272609359072 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7642/stat : 7642 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 15 0 251988087 11090079744 43204 33554432000 4194304 4196468 140726766525504 140048073575264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7643] ppid=7574 vsize=10830156 memory=-7390251449858225344 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7643/stat : 7643 (java) S 7574 7577 5533 0 -1 1077944384 1 13295 0 2 0 0 5 2 20 0 15 0 251988088 11090079744 43204 33554432000 4194304 4196468 140726766525504 140049044843056 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 10830156 KiB
Current children cumulated memory: 172816 KiB
[startup+3.11029 s]
/proc/loadavg: 1.16 1.39 1.43 5/200 7643
/proc/meminfo: memFree=24634720/32770624 swapFree=67108856/67108860
[pid=7577] ppid=7574 vsize=10842464 memory=256348 CPUtime=6.57 cores=0,2,4,6
/proc/7577/stat : 7577 (java) S 7574 7577 5533 0 -1 1077944320 32875 13295 1 2 634 16 5 2 20 0 15 0 251988069 11102683136 64087 33554432000 4194304 4196468 140726766525504 140726766508048 140049589538551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
/proc/7577/statm: 2710616 64087 3499 1 0 2672269 0
[pid=7577/tid=7630] ppid=7574 vsize=10842464 memory=290827423556305186 CPUtime=2.99 cores=0,2,4,6
/proc/7577/task/7630/stat : 7630 (java) R 7574 7577 5533 0 -1 4202560 21724 13295 0 2 284 8 5 2 20 0 15 0 251988082 11102683136 64087 33554432000 4194304 4196468 140726766525504 140049561366800 140049571101153 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
################
# More data... #
################
/proc/7577/task/7633/stat : 7633 (java) S 7574 7577 5533 0 -1 1077944384 23745 13295 0 2 1465 25 5 2 20 0 15 0 251988082 11104780288 761825 33554432000 4194304 4196468 140726766525504 140049491618576 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7634] ppid=7574 vsize=10844512 memory=924 CPUtime=14.94 cores=0,2,4,6
/proc/7577/task/7634/stat : 7634 (java) S 7574 7577 5533 0 -1 1077944384 19547 13295 0 2 1461 26 5 2 20 0 15 0 251988082 11104780288 761825 33554432000 4194304 4196468 140726766525504 140049490566032 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7635] ppid=7574 vsize=10844512 memory=2188 CPUtime=0.98 cores=0,2,4,6
/proc/7577/task/7635/stat : 7635 (java) S 7574 7577 5533 0 -1 1077944384 25009 13295 0 2 79 12 5 2 20 0 15 0 251988084 11104780288 761825 33554432000 4194304 4196468 140726766525504 140049049053424 140049589549698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7636] ppid=7574 vsize=10844512 memory=3984 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7636/stat : 7636 (java) S 7574 7577 5533 0 -1 1077944384 21 13295 0 2 0 0 5 2 20 0 15 0 251988084 11104780288 761825 33554432000 4194304 4196468 140726766525504 140048951403744 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7637] ppid=7574 vsize=10844512 memory=2024 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7637/stat : 7637 (java) S 7574 7577 5533 0 -1 1077944384 20 13295 0 2 0 0 5 2 20 0 15 0 251988085 11104780288 761825 33554432000 4194304 4196468 140726766525504 140048347423488 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7638] ppid=7574 vsize=10844512 memory=7288 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7638/stat : 7638 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 15 0 251988087 11104780288 761825 33554432000 4194304 4196468 140726766525504 140048107132880 140049589557147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7639] ppid=7574 vsize=10844512 memory=804 CPUtime=2.45 cores=0,2,4,6
/proc/7577/task/7639/stat : 7639 (java) S 7574 7577 5533 0 -1 1077944384 7289 13295 0 2 237 1 5 2 20 0 15 0 251988087 11104780288 761825 33554432000 4194304 4196468 140726766525504 140049048001264 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7640] ppid=7574 vsize=10844512 memory=1696 CPUtime=2.44 cores=0,2,4,6
/proc/7577/task/7640/stat : 7640 (java) S 7574 7577 5533 0 -1 1077944384 8133 13295 0 2 235 2 5 2 20 0 15 0 251988087 11104780288 761825 33554432000 4194304 4196468 140726766525504 140049046948720 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7641] ppid=7574 vsize=10844512 memory=916 CPUtime=1.59 cores=0,2,4,6
/proc/7577/task/7641/stat : 7641 (java) S 7574 7577 5533 0 -1 1077944384 7595 13295 0 2 149 3 5 2 20 0 15 0 251988087 11104780288 761825 33554432000 4194304 4196468 140726766525504 140049045895664 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7642] ppid=7574 vsize=10844512 memory=3848 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7642/stat : 7642 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 15 0 251988087 11104780288 761825 33554432000 4194304 4196468 140726766525504 140048073575264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7643] ppid=7574 vsize=10844512 memory=2300 CPUtime=1.66 cores=0,2,4,6
/proc/7577/task/7643/stat : 7643 (java) S 7574 7577 5533 0 -1 1077944384 1402 13295 0 2 80 79 5 2 20 0 15 0 251988088 11104780288 761825 33554432000 4194304 4196468 140726766525504 140049044843056 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 3047300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+2470.03 s]
# the end of solver process 7577 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.65 s, system=2.55353 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.8 s]
/proc/loadavg: 0.66 0.83 0.85 2/198 7744
/proc/meminfo: memFree=21824188/32770624 swapFree=67108856/67108860
[pid=7577] ppid=7574 vsize=11041128 memory=3051508 CPUtime=2520.86 cores=0,2,4,6
/proc/7577/stat : 7577 (java) S 7574 7577 5533 0 -1 1077944320 286309 13295 1 2 251829 250 5 2 20 0 17 0 251988069 11306115072 762877 33554432000 4194304 4196468 140726766525504 140726766508048 140049589538551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
/proc/7577/statm: 2760282 762877 3519 1 0 2721935 0
[pid=7577/tid=7630] ppid=7574 vsize=11041128 memory=752 CPUtime=2452.43 cores=0,2,4,6
/proc/7577/task/7630/stat : 7630 (java) R 7574 7577 5533 0 -1 4202560 136944 13295 0 2 245167 69 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049561356976 140049185425708 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7631] ppid=7574 vsize=11041128 memory=7332 CPUtime=14.97 cores=0,2,4,6
/proc/7577/task/7631/stat : 7631 (java) S 7574 7577 5533 0 -1 1077944384 26336 13295 0 2 1464 26 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049593781264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7632] ppid=7574 vsize=11041128 memory=8112282956445269571 CPUtime=14.95 cores=0,2,4,6
/proc/7577/task/7632/stat : 7632 (java) S 7574 7577 5533 0 -1 1077944384 27883 13295 0 2 1462 26 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049492671632 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7633] ppid=7574 vsize=11041128 memory=8112282956445269571 CPUtime=14.97 cores=0,2,4,6
/proc/7577/task/7633/stat : 7633 (java) S 7574 7577 5533 0 -1 1077944384 23745 13295 0 2 1465 25 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049491618576 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7634] ppid=7574 vsize=11041128 memory=872 CPUtime=14.94 cores=0,2,4,6
/proc/7577/task/7634/stat : 7634 (java) S 7574 7577 5533 0 -1 1077944384 19547 13295 0 2 1461 26 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049490566032 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7635] ppid=7574 vsize=11041128 memory=4280 CPUtime=0.98 cores=0,2,4,6
/proc/7577/task/7635/stat : 7635 (java) S 7574 7577 5533 0 -1 1077944384 25009 13295 0 2 79 12 5 2 20 0 17 0 251988084 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049049053424 140049589549698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7636] ppid=7574 vsize=11041128 memory=290763849282617370 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7636/stat : 7636 (java) S 7574 7577 5533 0 -1 1077944384 21 13295 0 2 0 0 5 2 20 0 17 0 251988084 11306115072 762877 33554432000 4194304 4196468 140726766525504 140048951403744 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7637] ppid=7574 vsize=11041128 memory=301741394933055803 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7637/stat : 7637 (java) S 7574 7577 5533 0 -1 1077944384 20 13295 0 2 0 0 5 2 20 0 17 0 251988085 11306115072 762877 33554432000 4194304 4196468 140726766525504 140048347423488 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7638] ppid=7574 vsize=11041128 memory=14695218540710260 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7638/stat : 7638 (java) S 7574 7577 5533 0 -1 1077944384 92 13295 0 2 0 0 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140048107132880 140049589557147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7639] ppid=7574 vsize=11041128 memory=38008 CPUtime=2.45 cores=0,2,4,6
/proc/7577/task/7639/stat : 7639 (java) S 7574 7577 5533 0 -1 1077944384 7289 13295 0 2 237 1 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049048001264 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7640] ppid=7574 vsize=11041128 memory=15932 CPUtime=2.44 cores=0,2,4,6
/proc/7577/task/7640/stat : 7640 (java) S 7574 7577 5533 0 -1 1077944384 8133 13295 0 2 235 2 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049046948720 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7641] ppid=7574 vsize=11041128 memory=3047300 CPUtime=1.59 cores=0,2,4,6
/proc/7577/task/7641/stat : 7641 (java) S 7574 7577 5533 0 -1 1077944384 7595 13295 0 2 149 3 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049045895664 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7642] ppid=7574 vsize=11041128 memory=3047300 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7642/stat : 7642 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140048073575264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7643] ppid=7574 vsize=11041128 memory=4100 CPUtime=1.66 cores=0,2,4,6
/proc/7577/task/7643/stat : 7643 (java) S 7574 7577 5533 0 -1 1077944384 1402 13295 0 2 80 79 5 2 20 0 17 0 251988088 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049044843056 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
Current children cumulated CPU time: 2520.86 s
Current children cumulated vsize: 11041128 KiB
Current children cumulated memory: 3051508 KiB
[startup+2469.6 s]
/proc/loadavg: 0.68 0.83 0.85 2/200 7746
/proc/meminfo: memFree=21820012/32770624 swapFree=67108856/67108860
[pid=7577] ppid=7574 vsize=11041128 memory=3051508 CPUtime=2521.66 cores=0,2,4,6
/proc/7577/stat : 7577 (java) S 7574 7577 5533 0 -1 1077944320 286309 13295 1 2 251909 250 5 2 20 0 17 0 251988069 11306115072 762877 33554432000 4194304 4196468 140726766525504 140726766508048 140049589538551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
/proc/7577/statm: 2760282 762877 3519 1 0 2721935 0
[pid=7577/tid=7630] ppid=7574 vsize=11041128 memory=1108 CPUtime=2453.23 cores=0,2,4,6
/proc/7577/task/7630/stat : 7630 (java) R 7574 7577 5533 0 -1 4202560 136944 13295 0 2 245247 69 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049561356976 140049172040076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7631] ppid=7574 vsize=11041128 memory=10784 CPUtime=14.97 cores=0,2,4,6
/proc/7577/task/7631/stat : 7631 (java) S 7574 7577 5533 0 -1 1077944384 26336 13295 0 2 1464 26 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049593781264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7632] ppid=7574 vsize=11041128 memory=872 CPUtime=14.95 cores=0,2,4,6
/proc/7577/task/7632/stat : 7632 (java) S 7574 7577 5533 0 -1 1077944384 27883 13295 0 2 1462 26 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049492671632 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7633] ppid=7574 vsize=11041128 memory=4280 CPUtime=14.97 cores=0,2,4,6
/proc/7577/task/7633/stat : 7633 (java) S 7574 7577 5533 0 -1 1077944384 23745 13295 0 2 1465 25 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049491618576 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7634] ppid=7574 vsize=11041128 memory=14888 CPUtime=14.94 cores=0,2,4,6
/proc/7577/task/7634/stat : 7634 (java) S 7574 7577 5533 0 -1 1077944384 19547 13295 0 2 1461 26 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049490566032 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7635] ppid=7574 vsize=11041128 memory=38008 CPUtime=0.98 cores=0,2,4,6
/proc/7577/task/7635/stat : 7635 (java) S 7574 7577 5533 0 -1 1077944384 25009 13295 0 2 79 12 5 2 20 0 17 0 251988084 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049049053424 140049589549698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7636] ppid=7574 vsize=11041128 memory=10784 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7636/stat : 7636 (java) S 7574 7577 5533 0 -1 1077944384 21 13295 0 2 0 0 5 2 20 0 17 0 251988084 11306115072 762877 33554432000 4194304 4196468 140726766525504 140048951403744 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7637] ppid=7574 vsize=11041128 memory=872 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7637/stat : 7637 (java) S 7574 7577 5533 0 -1 1077944384 20 13295 0 2 0 0 5 2 20 0 17 0 251988085 11306115072 762877 33554432000 4194304 4196468 140726766525504 140048347423488 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7638] ppid=7574 vsize=11041128 memory=4280 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7638/stat : 7638 (java) S 7574 7577 5533 0 -1 1077944384 92 13295 0 2 0 0 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140048107132880 140049589557147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7639] ppid=7574 vsize=11041128 memory=14888 CPUtime=2.45 cores=0,2,4,6
/proc/7577/task/7639/stat : 7639 (java) S 7574 7577 5533 0 -1 1077944384 7289 13295 0 2 237 1 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049048001264 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7640] ppid=7574 vsize=11041128 memory=38008 CPUtime=2.44 cores=0,2,4,6
/proc/7577/task/7640/stat : 7640 (java) S 7574 7577 5533 0 -1 1077944384 8133 13295 0 2 235 2 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049046948720 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7641] ppid=7574 vsize=11041128 memory=15932 CPUtime=1.59 cores=0,2,4,6
/proc/7577/task/7641/stat : 7641 (java) S 7574 7577 5533 0 -1 1077944384 7595 13295 0 2 149 3 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049045895664 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7642] ppid=7574 vsize=11041128 memory=3332 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7642/stat : 7642 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140048073575264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7643] ppid=7574 vsize=11041128 memory=1732 CPUtime=1.66 cores=0,2,4,6
/proc/7577/task/7643/stat : 7643 (java) S 7574 7577 5533 0 -1 1077944384 1402 13295 0 2 80 79 5 2 20 0 17 0 251988088 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049044843056 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7745] ppid=7574 vsize=11041128 memory=1920 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7745/stat : 7745 (java) S 7574 7577 5533 0 -1 1077944384 79 13295 0 2 0 0 5 2 20 0 17 0 252234871 11306115072 762877 33554432000 4194304 4196468 140726766525504 140047676334448 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7746] ppid=7574 vsize=11041128 memory=1192 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7746/stat : 7746 (java) S 7574 7577 5533 0 -1 1077944384 19 13295 0 2 0 0 5 2 20 0 17 0 252234871 11306115072 762877 33554432000 4194304 4196468 140726766525504 140047475008480 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
Current children cumulated CPU time: 2521.66 s
Current children cumulated vsize: 11041128 KiB
Current children cumulated memory: 3051508 KiB
[startup+2470 s]*
/proc/loadavg: 0.68 0.83 0.85 2/200 7746
/proc/meminfo: memFree=21820012/32770624 swapFree=67108856/67108860
[pid=7577] ppid=7574 vsize=11041128 memory=3051508 CPUtime=2522.15 cores=0,2,4,6
/proc/7577/stat : 7577 (java) S 7574 7577 5533 0 -1 1077944320 286320 13295 1 2 251958 250 5 2 20 0 17 0 251988069 11306115072 762877 33554432000 4194304 4196468 140726766525504 140726766508048 140049589538551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
/proc/7577/statm: 2760282 762877 3519 1 0 2721935 0
[pid=7577/tid=7630] ppid=7574 vsize=11041128 memory=-6733704525061579059 CPUtime=2453.61 cores=0,2,4,6
/proc/7577/task/7630/stat : 7630 (java) R 7574 7577 5533 0 -1 4202560 136944 13295 0 2 245285 69 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049561358160 140049180144247 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7631] ppid=7574 vsize=11041128 memory=4126316290023845779 CPUtime=14.99 cores=0,2,4,6
/proc/7577/task/7631/stat : 7631 (java) S 7574 7577 5533 0 -1 1077944384 26340 13295 0 2 1466 26 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049593781264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7632] ppid=7574 vsize=11041128 memory=2300 CPUtime=14.98 cores=0,2,4,6
/proc/7577/task/7632/stat : 7632 (java) S 7574 7577 5533 0 -1 1077944384 27883 13295 0 2 1465 26 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049492671632 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7633] ppid=7574 vsize=11041128 memory=1408 CPUtime=14.99 cores=0,2,4,6
/proc/7577/task/7633/stat : 7633 (java) S 7574 7577 5533 0 -1 1077944384 23745 13295 0 2 1467 25 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049491618576 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7634] ppid=7574 vsize=11041128 memory=3164 CPUtime=14.96 cores=0,2,4,6
/proc/7577/task/7634/stat : 7634 (java) S 7574 7577 5533 0 -1 1077944384 19553 13295 0 2 1463 26 5 2 20 0 17 0 251988082 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049490566032 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7635] ppid=7574 vsize=11041128 memory=3047300 CPUtime=0.98 cores=0,2,4,6
/proc/7577/task/7635/stat : 7635 (java) S 7574 7577 5533 0 -1 1077944384 25009 13295 0 2 79 12 5 2 20 0 17 0 251988084 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049049053424 140049589549698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7636] ppid=7574 vsize=11041128 memory=4100 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7636/stat : 7636 (java) S 7574 7577 5533 0 -1 1077944384 21 13295 0 2 0 0 5 2 20 0 17 0 251988084 11306115072 762877 33554432000 4194304 4196468 140726766525504 140048951403744 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7637] ppid=7574 vsize=11041128 memory=3047300 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7637/stat : 7637 (java) S 7574 7577 5533 0 -1 1077944384 20 13295 0 2 0 0 5 2 20 0 17 0 251988085 11306115072 762877 33554432000 4194304 4196468 140726766525504 140048347423488 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7638] ppid=7574 vsize=11041128 memory=3047300 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7638/stat : 7638 (java) S 7574 7577 5533 0 -1 1077944384 92 13295 0 2 0 0 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140048107132880 140049589557147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7639] ppid=7574 vsize=11041128 memory=3047300 CPUtime=2.45 cores=0,2,4,6
/proc/7577/task/7639/stat : 7639 (java) S 7574 7577 5533 0 -1 1077944384 7289 13295 0 2 237 1 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049048001264 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7640] ppid=7574 vsize=11041128 memory=68588 CPUtime=2.44 cores=0,2,4,6
/proc/7577/task/7640/stat : 7640 (java) S 7574 7577 5533 0 -1 1077944384 8133 13295 0 2 235 2 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049046948720 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7641] ppid=7574 vsize=11041128 memory=1236 CPUtime=1.59 cores=0,2,4,6
/proc/7577/task/7641/stat : 7641 (java) S 7574 7577 5533 0 -1 1077944384 7595 13295 0 2 149 3 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049045895664 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7642] ppid=7574 vsize=11041128 memory=164 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7642/stat : 7642 (java) S 7574 7577 5533 0 -1 1077944384 3 13295 0 2 0 0 5 2 20 0 17 0 251988087 11306115072 762877 33554432000 4194304 4196468 140726766525504 140048073575264 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7643] ppid=7574 vsize=11041128 memory=4629546024076873078 CPUtime=1.66 cores=0,2,4,6
/proc/7577/task/7643/stat : 7643 (java) S 7574 7577 5533 0 -1 1077944384 1402 13295 0 2 80 79 5 2 20 0 17 0 251988088 11306115072 762877 33554432000 4194304 4196468 140726766525504 140049044843056 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7745] ppid=7574 vsize=11041128 memory=-7666414585839465563 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7745/stat : 7745 (java) S 7574 7577 5533 0 -1 1077944384 79 13295 0 2 0 0 5 2 20 0 17 0 252234871 11306115072 762877 33554432000 4194304 4196468 140726766525504 140047676334448 140049589548757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
[pid=7577/tid=7746] ppid=7574 vsize=11041128 memory=-7521736447810188379 CPUtime=0.07 cores=0,2,4,6
/proc/7577/task/7746/stat : 7746 (java) S 7574 7577 5533 0 -1 1077944384 20 13295 0 2 0 0 5 2 20 0 17 0 252234871 11306115072 762877 33554432000 4194304 4196468 140726766525504 140047475008480 140049589549698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6369280 140726766532780 140726766536028 140726766536028 140726766538703 0
Current children cumulated CPU time: 2522.15 s
Current children cumulated vsize: 11041128 KiB
Current children cumulated memory: 3051508 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2470.03
CPU time (s): 2522.2
CPU user time (s): 2519.65
CPU system time (s): 2.55353
CPU usage (%): 102.112
Max. virtual memory (cumulated for all children) (KiB): 11041128
Max. memory (cumulated for all children) (KiB): 3051508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 2.55353
maximum resident set size= 3051712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299617
page faults= 3
swaps= 0
block input operations= 96
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75527
involuntary context switches= 3917
# summary of solver processes directly reported to runsolver:
# pid: 7577
# total CPU time (s): 2522.2
# total CPU user time (s): 2519.65
# total CPU system time (s): 2.55353
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3315 second user time and 21.8 second system time
The end