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 (14586 MiB free)
memory of node 1: 16384 MiB (15627 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392249-1568322055/watcher-4392249-1568322055 -o /tmp/evaluation-result-4392249-1568322055/solver-4392249-1568322055 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568301260-5610 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=800550432 HOME/instance-4392249-1568322055.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11842, runsolver pid=11839
[startup+0.100061 s]*
/proc/loadavg: 1.08 1.31 1.38 3/219 11899
/proc/meminfo: memFree=30930512/32770624 swapFree=66999796/67108860
[pid=11842] ppid=11839 vsize=9972712 memory=17436 CPUtime=0.1 cores=1,3,5,7
/proc/11842/stat : 11842 (java) S 11839 11842 5578 0 -1 1077944320 4586 13291 0 0 1 1 5 3 20 0 6 0 408119526 10212057088 4359 33554432000 4194304 4196468 140730569484816 140730569467360 139661942922999 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
/proc/11842/statm: 2493178 4359 1958 1 0 2481616 0
[pid=11842/tid=11895] ppid=11839 vsize=10055356 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/11842/task/11895/stat : 11895 (java) R 11839 11842 5578 0 -1 1077944384 2433 13291 0 0 1 0 5 3 20 0 7 0 408119535 10296684544 4425 33554432000 4194304 4196468 140730569484816 139661914766096 139661942933205 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11896] ppid=11839 vsize=10055356 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11896/stat : 11896 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 7 0 408119536 10296684544 4425 33554432000 4194304 4196468 140730569484816 139661947165584 139661942933205 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11897] ppid=11839 vsize=10055356 memory=139834512385664 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11897/stat : 11897 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 7 0 408119536 10296684544 4425 33554432000 4194304 4196468 140730569484816 139661516024592 139661942933205 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11898] ppid=11839 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11898/stat : 11898 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 7 0 408119536 10296684544 4425 33554432000 4194304 4196468 140730569484816 139661514972304 139661942933205 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11899] ppid=11839 vsize=10055356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11899/stat : 11899 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 7 0 408119536 10296684544 4425 33554432000 4194304 4196468 140730569484816 139661513919504 139661942933205 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11900] ppid=11839 vsize=10055356 memory=139834512385664 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11900/stat : 11900 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 7 0 408119537 10296684544 4425 33554432000 4194304 4196468 140730569484816 139661469612144 139661942934146 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17436 KiB
[startup+0.209914 s]*
/proc/loadavg: 1.08 1.31 1.38 4/228 11908
/proc/meminfo: memFree=30907992/32770624 swapFree=66999796/67108860
[pid=11842] ppid=11839 vsize=10818940 memory=43056 CPUtime=0.27 cores=1,3,5,7
/proc/11842/stat : 11842 (java) S 11839 11842 5578 0 -1 1077944320 7121 13291 0 0 17 2 5 3 20 0 15 0 408119526 11078594560 10764 33554432000 4194304 4196468 140730569484816 140730569467360 139661942922999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
/proc/11842/statm: 2704735 10764 2957 1 0 2667149 0
[pid=11842/tid=11895] ppid=11839 vsize=10818940 memory=5450916389569530688 CPUtime=0.2 cores=1,3,5,7
/proc/11842/task/11895/stat : 11895 (java) R 11839 11842 5578 0 -1 4202560 3631 13291 0 0 11 1 5 3 20 0 15 0 408119535 11078594560 10764 33554432000 4194304 4196468 140730569484816 139661914759048 139661942944925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11896] ppid=11839 vsize=10818940 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11896/stat : 11896 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119536 11078594560 10764 33554432000 4194304 4196468 140730569484816 139661947165584 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11897] ppid=11839 vsize=10818940 memory=139834512385664 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11897/stat : 11897 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119536 11078594560 10764 33554432000 4194304 4196468 140730569484816 139661516024592 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11898] ppid=11839 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11898/stat : 11898 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119536 11078594560 10764 33554432000 4194304 4196468 140730569484816 139661514972304 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11899] ppid=11839 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11899/stat : 11899 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119536 11078594560 10764 33554432000 4194304 4196468 140730569484816 139661513919504 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11900] ppid=11839 vsize=10818940 memory=139834512385664 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11900/stat : 11900 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119537 11078594560 10764 33554432000 4194304 4196468 140730569484816 139661469612144 139661942934146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11901] ppid=11839 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11901/stat : 11901 (java) S 11839 11842 5578 0 -1 1077944384 13 13291 0 0 0 0 5 3 20 0 15 0 408119537 11078594560 10764 33554432000 4194304 4196468 140730569484816 139661397713696 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11902] ppid=11839 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11902/stat : 11902 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119538 11078594560 10764 33554432000 4194304 4196468 140730569484816 139661263496304 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11903] ppid=11839 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11903/stat : 11903 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119540 11078594560 10764 33554432000 4194304 4196468 140730569484816 139660659517520 139661942941595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11904] ppid=11839 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11842/task/11904/stat : 11904 (java) S 11839 11842 5578 0 -1 1077944384 574 13291 0 0 1 0 5 3 20 0 15 0 408119540 11078594560 10764 33554432000 4194304 4196468 140730569484816 139661468559984 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11905] ppid=11839 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11905/stat : 11905 (java) S 11839 11842 5578 0 -1 1077944384 57 13291 0 0 0 0 5 3 20 0 15 0 408119540 11078594560 10764 33554432000 4194304 4196468 140730569484816 139661467507184 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11906] ppid=11839 vsize=10818940 memory=139834512385664 CPUtime=0.11 cores=1,3,5,7
/proc/11842/task/11906/stat : 11906 (java) R 11839 11842 5578 0 -1 4202560 628 13291 0 0 3 0 5 3 20 0 15 0 408119540 11078594560 10764 33554432000 4194304 4196468 140730569484816 139661466454896 139661942934934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11907] ppid=11839 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11907/stat : 11907 (java) S 11839 11842 5578 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 408119541 11078594560 10764 33554432000 4194304 4196468 140730569484816 139660189756384 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11908] ppid=11839 vsize=10818940 memory=139834512385664 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11908/stat : 11908 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119541 11078594560 10764 33554432000 4194304 4196468 140730569484816 139661364156848 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 43056 KiB
[startup+0.310301 s]*
/proc/loadavg: 1.08 1.31 1.38 4/228 11908
/proc/meminfo: memFree=30897752/32770624 swapFree=66999796/67108860
[pid=11842] ppid=11839 vsize=10820096 memory=54392 CPUtime=0.4 cores=1,3,5,7
/proc/11842/stat : 11842 (java) S 11839 11842 5578 0 -1 1077944320 10863 13291 0 0 29 3 5 3 20 0 15 0 408119526 11079778304 13598 33554432000 4194304 4196468 140730569484816 140730569467360 139661942922999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
/proc/11842/statm: 2705024 13598 3211 1 0 2667149 0
[pid=11842/tid=11895] ppid=11839 vsize=10820096 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/11842/task/11895/stat : 11895 (java) R 11839 11842 5578 0 -1 4202560 7356 13291 0 0 19 2 5 3 20 0 15 0 408119535 11079778304 13598 33554432000 4194304 4196468 140730569484816 139661914740624 139661546620979 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11896] ppid=11839 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11896/stat : 11896 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119536 11079778304 13598 33554432000 4194304 4196468 140730569484816 139661947165584 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11897] ppid=11839 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11897/stat : 11897 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119536 11079778304 13598 33554432000 4194304 4196468 140730569484816 139661516024592 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11898] ppid=11839 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11898/stat : 11898 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119536 11079778304 13598 33554432000 4194304 4196468 140730569484816 139661514972304 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11899] ppid=11839 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11899/stat : 11899 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119536 11079778304 13598 33554432000 4194304 4196468 140730569484816 139661513919504 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11900] ppid=11839 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11900/stat : 11900 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119537 11079778304 13598 33554432000 4194304 4196468 140730569484816 139661469612144 139661942934146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11901] ppid=11839 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11901/stat : 11901 (java) S 11839 11842 5578 0 -1 1077944384 13 13291 0 0 0 0 5 3 20 0 15 0 408119537 11079778304 13598 33554432000 4194304 4196468 140730569484816 139661397713696 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11902] ppid=11839 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11902/stat : 11902 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119538 11079778304 13598 33554432000 4194304 4196468 140730569484816 139661263496304 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11903] ppid=11839 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11903/stat : 11903 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119540 11079778304 13598 33554432000 4194304 4196468 140730569484816 139660659517520 139661942941595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11904] ppid=11839 vsize=10820096 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/11842/task/11904/stat : 11904 (java) S 11839 11842 5578 0 -1 1077944384 576 13291 0 0 2 0 5 3 20 0 15 0 408119540 11079778304 13598 33554432000 4194304 4196468 140730569484816 139661468559984 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11905] ppid=11839 vsize=10820096 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/11842/task/11905/stat : 11905 (java) S 11839 11842 5578 0 -1 1077944384 57 13291 0 0 1 0 5 3 20 0 15 0 408119540 11079778304 13598 33554432000 4194304 4196468 140730569484816 139661467507184 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11906] ppid=11839 vsize=10820096 memory=139834512385664 CPUtime=0.13 cores=1,3,5,7
/proc/11842/task/11906/stat : 11906 (java) R 11839 11842 5578 0 -1 4202560 640 13291 0 0 5 0 5 3 20 0 15 0 408119540 11079778304 13598 33554432000 4194304 4196468 140730569484816 139661466454896 139661927457632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11907] ppid=11839 vsize=10820096 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11907/stat : 11907 (java) S 11839 11842 5578 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 408119541 11079778304 13598 33554432000 4194304 4196468 140730569484816 139660189756384 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11908] ppid=11839 vsize=10820096 memory=139834512385664 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11908/stat : 11908 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119541 11079778304 13598 33554432000 4194304 4196468 140730569484816 139661364156848 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 54392 KiB
[startup+0.700765 s]
/proc/loadavg: 1.08 1.31 1.38 5/228 11908
/proc/meminfo: memFree=30882272/32770624 swapFree=66999796/67108860
[pid=11842] ppid=11839 vsize=10824340 memory=84804 CPUtime=1.15 cores=1,3,5,7
/proc/11842/stat : 11842 (java) S 11839 11842 5578 0 -1 1077944320 14878 13291 0 0 101 6 5 3 20 0 15 0 408119526 11084124160 21201 33554432000 4194304 4196468 140730569484816 140730569467360 139661942922999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
/proc/11842/statm: 2706085 21201 3509 1 0 2668173 0
[pid=11842/tid=11895] ppid=11839 vsize=10824340 memory=19044 CPUtime=0.67 cores=1,3,5,7
/proc/11842/task/11895/stat : 11895 (java) R 11839 11842 5578 0 -1 4202560 10592 13291 0 0 55 4 5 3 20 0 15 0 408119535 11084124160 21201 33554432000 4194304 4196468 140730569484816 139661914750192 139661546643698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11896] ppid=11839 vsize=10824340 memory=11852 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11896/stat : 11896 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119536 11084124160 21201 33554432000 4194304 4196468 140730569484816 139661947165584 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11897] ppid=11839 vsize=10824340 memory=532 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11897/stat : 11897 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119536 11084124160 21201 33554432000 4194304 4196468 140730569484816 139661516024592 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11898] ppid=11839 vsize=10824340 memory=1564 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11898/stat : 11898 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119536 11084124160 21201 33554432000 4194304 4196468 140730569484816 139661514972304 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11899] ppid=11839 vsize=10824340 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11899/stat : 11899 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119536 11084124160 21201 33554432000 4194304 4196468 140730569484816 139661513919504 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11900] ppid=11839 vsize=10824340 memory=7448488012996568912 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11900/stat : 11900 (java) S 11839 11842 5578 0 -1 1077944384 5 13291 0 0 0 0 5 3 20 0 15 0 408119537 11084124160 21201 33554432000 4194304 4196468 140730569484816 139661469612144 139661942934146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11901] ppid=11839 vsize=10824340 memory=7668056027324048724 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11901/stat : 11901 (java) S 11839 11842 5578 0 -1 1077944384 13 13291 0 0 0 0 5 3 20 0 15 0 408119537 11084124160 21201 33554432000 4194304 4196468 140730569484816 139661397713696 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11902] ppid=11839 vsize=10824340 memory=7523071198212214892 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11902/stat : 11902 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119538 11084124160 21201 33554432000 4194304 4196468 140730569484816 139661263496304 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11903] ppid=11839 vsize=10824340 memory=5450916488555034154 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11903/stat : 11903 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119540 11084124160 21201 33554432000 4194304 4196468 140730569484816 139660659517520 139661942941595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11904] ppid=11839 vsize=10824340 memory=-6808994639057120388 CPUtime=0.23 cores=1,3,5,7
/proc/11842/task/11904/stat : 11904 (java) S 11839 11842 5578 0 -1 1077944384 940 13291 0 0 15 0 5 3 20 0 15 0 408119540 11084124160 21201 33554432000 4194304 4196468 140730569484816 139661468559984 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11905] ppid=11839 vsize=10824340 memory=-7025452035940392864 CPUtime=0.2 cores=1,3,5,7
/proc/11842/task/11905/stat : 11905 (java) S 11839 11842 5578 0 -1 1077944384 318 13291 0 0 12 0 5 3 20 0 15 0 408119540 11084124160 21201 33554432000 4194304 4196468 140730569484816 139661467507184 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11906] ppid=11839 vsize=10824340 memory=-9001734000804784231 CPUtime=0.25 cores=1,3,5,7
/proc/11842/task/11906/stat : 11906 (java) R 11839 11842 5578 0 -1 4202560 788 13291 0 0 17 0 5 3 20 0 15 0 408119540 11084124160 21201 33554432000 4194304 4196468 140730569484816 139661466454896 139661921841667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11907] ppid=11839 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11907/stat : 11907 (java) S 11839 11842 5578 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 408119541 11084124160 21201 33554432000 4194304 4196468 140730569484816 139660189756384 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11908] ppid=11839 vsize=10824340 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11908/stat : 11908 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119541 11084124160 21201 33554432000 4194304 4196468 140730569484816 139661364156848 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 84804 KiB
[startup+1.50787 s]
/proc/loadavg: 1.23 1.33 1.38 4/228 11908
/proc/meminfo: memFree=30836272/32770624 swapFree=66999796/67108860
[pid=11842] ppid=11839 vsize=10834656 memory=171516 CPUtime=2.58 cores=1,3,5,7
/proc/11842/stat : 11842 (java) S 11839 11842 5578 0 -1 1077944320 21772 13291 0 0 241 9 5 3 20 0 15 0 408119526 11094687744 42879 33554432000 4194304 4196468 140730569484816 140730569467360 139661942922999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
/proc/11842/statm: 2708664 42879 3580 1 0 2670733 0
[pid=11842/tid=11895] ppid=11839 vsize=10834656 memory=11839 CPUtime=1.45 cores=1,3,5,7
/proc/11842/task/11895/stat : 11895 (java) R 11839 11842 5578 0 -1 4202560 15505 13291 0 0 131 6 5 3 20 0 15 0 408119535 11094687744 42898 33554432000 4194304 4196468 140730569484816 139661914729912 139661546643456 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11896] ppid=11839 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11842/task/11896/stat : 11896 (java) S 11839 11842 5578 0 -1 1077944384 65 13291 0 0 1 0 5 3 20 0 15 0 408119536 11094687744 42898 33554432000 4194304 4196468 140730569484816 139661947165584 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11897] ppid=11839 vsize=10834656 memory=3281 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11897/stat : 11897 (java) S 11839 11842 5578 0 -1 1077944384 373 13291 0 0 0 0 5 3 20 0 15 0 408119536 11094687744 42898 33554432000 4194304 4196468 140730569484816 139661516024592 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11898] ppid=11839 vsize=10834656 memory=18141941861341 CPUtime=0.09 cores=1,3,5,7
/proc/11842/task/11898/stat : 11898 (java) S 11839 11842 5578 0 -1 1077944384 23 13291 0 0 1 0 5 3 20 0 15 0 408119536 11094687744 42898 33554432000 4194304 4196468 140730569484816 139661514972304 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11899] ppid=11839 vsize=10834656 memory=6933690286009757744 CPUtime=0.09 cores=1,3,5,7
/proc/11842/task/11899/stat : 11899 (java) S 11839 11842 5578 0 -1 1077944384 73 13291 0 0 1 0 5 3 20 0 15 0 408119536 11094687744 42898 33554432000 4194304 4196468 140730569484816 139661513919504 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11900] ppid=11839 vsize=10834656 memory=4206468019014099040 CPUtime=0.09 cores=1,3,5,7
/proc/11842/task/11900/stat : 11900 (java) S 11839 11842 5578 0 -1 1077944384 113 13291 0 0 1 0 5 3 20 0 15 0 408119537 11094687744 42898 33554432000 4194304 4196468 140730569484816 139661469612144 139661942934146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11901] ppid=11839 vsize=10834656 memory=6944656425122832000 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11901/stat : 11901 (java) S 11839 11842 5578 0 -1 1077944384 14 13291 0 0 0 0 5 3 20 0 15 0 408119537 11094687744 42898 33554432000 4194304 4196468 140730569484816 139661397713760 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11902] ppid=11839 vsize=10834656 memory=3472328296227736193 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11902/stat : 11902 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119538 11094687744 42898 33554432000 4194304 4196468 140730569484816 139661263496320 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11903] ppid=11839 vsize=10834656 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11903/stat : 11903 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119540 11094687744 42898 33554432000 4194304 4196468 140730569484816 139660659517520 139661942941595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11904] ppid=11839 vsize=10834656 memory=6944656425122832000 CPUtime=0.41 cores=1,3,5,7
/proc/11842/task/11904/stat : 11904 (java) S 11839 11842 5578 0 -1 1077944384 1423 13291 0 0 33 0 5 3 20 0 15 0 408119540 11094687744 42898 33554432000 4194304 4196468 140730569484816 139661468559984 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11905] ppid=11839 vsize=10834656 memory=-7522837583045875833 CPUtime=0.36 cores=1,3,5,7
/proc/11842/task/11905/stat : 11905 (java) S 11839 11842 5578 0 -1 1077944384 515 13291 0 0 28 0 5 3 20 0 15 0 408119540 11094687744 42898 33554432000 4194304 4196468 140730569484816 139661467507184 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11906] ppid=11839 vsize=10834656 memory=-7737605721172012177 CPUtime=0.49 cores=1,3,5,7
/proc/11842/task/11906/stat : 11906 (java) R 11839 11842 5578 0 -1 4202560 1475 13291 0 0 41 0 5 3 20 0 15 0 408119540 11094687744 42898 33554432000 4194304 4196468 140730569484816 139661466454896 139661936019748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11907] ppid=11839 vsize=10834656 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11907/stat : 11907 (java) S 11839 11842 5578 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 408119541 11094687744 42898 33554432000 4194304 4196468 140730569484816 139660189756384 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11908] ppid=11839 vsize=10834656 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11908/stat : 11908 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119541 11094687744 42898 33554432000 4194304 4196468 140730569484816 139661364156848 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
################
# More data... #
################
/proc/11842/task/11895/stat : 11895 (java) R 11839 11842 5578 0 -1 4202560 56888 13291 0 0 224364 35 5 3 20 0 15 0 408119535 11109400576 168026 33554432000 4194304 4196468 140730569484816 139661914757616 139661926306946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11896] ppid=11839 vsize=10849024 memory=672104 CPUtime=8.24 cores=1,3,5,7
/proc/11842/task/11896/stat : 11896 (java) S 11839 11842 5578 0 -1 1077944384 9160 13291 0 0 769 47 5 3 20 0 15 0 408119536 11109400576 168026 33554432000 4194304 4196468 140730569484816 139661947165584 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11897] ppid=11839 vsize=10849024 memory=670056 CPUtime=8.24 cores=1,3,5,7
/proc/11842/task/11897/stat : 11897 (java) S 11839 11842 5578 0 -1 1077944384 9204 13291 0 0 773 43 5 3 20 0 15 0 408119536 11109400576 168026 33554432000 4194304 4196468 140730569484816 139661516024592 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11898] ppid=11839 vsize=10849024 memory=670056 CPUtime=8.23 cores=1,3,5,7
/proc/11842/task/11898/stat : 11898 (java) S 11839 11842 5578 0 -1 1077944384 8303 13291 0 0 770 45 5 3 20 0 15 0 408119536 11109400576 168026 33554432000 4194304 4196468 140730569484816 139661514972304 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11899] ppid=11839 vsize=10849024 memory=670056 CPUtime=8.22 cores=1,3,5,7
/proc/11842/task/11899/stat : 11899 (java) S 11839 11842 5578 0 -1 1077944384 8274 13291 0 0 775 39 5 3 20 0 15 0 408119536 11109400576 168026 33554432000 4194304 4196468 140730569484816 139661513919504 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11900] ppid=11839 vsize=10849024 memory=813 CPUtime=7.81 cores=1,3,5,7
/proc/11842/task/11900/stat : 11900 (java) S 11839 11842 5578 0 -1 1077944384 13044 13291 0 0 731 42 5 3 20 0 15 0 408119537 11109400576 168026 33554432000 4194304 4196468 140730569484816 139661469612144 139661942934146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11901] ppid=11839 vsize=10849024 memory=670056 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11901/stat : 11901 (java) S 11839 11842 5578 0 -1 1077944384 15 13291 0 0 0 0 5 3 20 0 15 0 408119537 11109400576 168026 33554432000 4194304 4196468 140730569484816 139661397713760 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11902] ppid=11839 vsize=10849024 memory=672104 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11902/stat : 11902 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119538 11109400576 168026 33554432000 4194304 4196468 140730569484816 139661263496320 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11903] ppid=11839 vsize=10849024 memory=7595437690911549800 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11903/stat : 11903 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119540 11109400576 168026 33554432000 4194304 4196468 140730569484816 139660659517520 139661942941595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11904] ppid=11839 vsize=10849024 memory=0 CPUtime=7.43 cores=1,3,5,7
/proc/11842/task/11904/stat : 11904 (java) S 11839 11842 5578 0 -1 1077944384 27252 13291 0 0 728 7 5 3 20 0 15 0 408119540 11109400576 168026 33554432000 4194304 4196468 140730569484816 139661468559984 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11905] ppid=11839 vsize=10849024 memory=3616 CPUtime=7.21 cores=1,3,5,7
/proc/11842/task/11905/stat : 11905 (java) S 11839 11842 5578 0 -1 1077944384 22619 13291 0 0 708 5 5 3 20 0 15 0 408119540 11109400576 168026 33554432000 4194304 4196468 140730569484816 139661467507184 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11906] ppid=11839 vsize=10849024 memory=33676 CPUtime=4.57 cores=1,3,5,7
/proc/11842/task/11906/stat : 11906 (java) S 11839 11842 5578 0 -1 1077944384 26467 13291 0 0 442 7 5 3 20 0 15 0 408119540 11109400576 168026 33554432000 4194304 4196468 140730569484816 139661466454896 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11907] ppid=11839 vsize=10849024 memory=672104 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11907/stat : 11907 (java) S 11839 11842 5578 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 408119541 11109400576 168026 33554432000 4194304 4196468 140730569484816 139660189756384 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11908] ppid=11839 vsize=10849024 memory=672104 CPUtime=1.2 cores=1,3,5,7
/proc/11842/task/11908/stat : 11908 (java) S 11839 11842 5578 0 -1 1077944384 921 13291 0 0 53 59 5 3 20 0 15 0 408119541 11109400576 168026 33554432000 4194304 4196468 140730569484816 139661364156848 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
Current children cumulated CPU time: 2304.63 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 672104 KiB
[startup+2322.3 s]
/proc/loadavg: 1.63 1.43 1.39 3/227 12268
/proc/meminfo: memFree=30283500/32770624 swapFree=66999812/67108860
[pid=11842] ppid=11839 vsize=10849024 memory=672164 CPUtime=2365.28 cores=1,3,5,7
/proc/11842/stat : 11842 (java) S 11839 11842 5578 0 -1 1077944320 185567 13291 0 0 236236 284 5 3 20 0 15 0 408119526 11109400576 168041 33554432000 4194304 4196468 140730569484816 140730569467360 139661942922999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
/proc/11842/statm: 2712256 168041 3625 1 0 2674317 0
[pid=11842/tid=11895] ppid=11839 vsize=10849024 memory=672164 CPUtime=2303.56 cores=1,3,5,7
/proc/11842/task/11895/stat : 11895 (java) S 11839 11842 5578 0 -1 1077944384 57455 13291 0 0 230312 36 5 3 20 0 15 0 408119535 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661914754352 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11896] ppid=11839 vsize=10849024 memory=672164 CPUtime=8.47 cores=1,3,5,7
/proc/11842/task/11896/stat : 11896 (java) S 11839 11842 5578 0 -1 1077944384 9176 13291 0 0 790 49 5 3 20 0 15 0 408119536 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661947165584 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11897] ppid=11839 vsize=10849024 memory=672164 CPUtime=8.47 cores=1,3,5,7
/proc/11842/task/11897/stat : 11897 (java) S 11839 11842 5578 0 -1 1077944384 9422 13291 0 0 795 44 5 3 20 0 15 0 408119536 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661516024592 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11898] ppid=11839 vsize=10849024 memory=672164 CPUtime=8.46 cores=1,3,5,7
/proc/11842/task/11898/stat : 11898 (java) S 11839 11842 5578 0 -1 1077944384 8411 13291 0 0 792 46 5 3 20 0 15 0 408119536 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661514972304 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11899] ppid=11839 vsize=10849024 memory=672164 CPUtime=8.45 cores=1,3,5,7
/proc/11842/task/11899/stat : 11899 (java) S 11839 11842 5578 0 -1 1077944384 8328 13291 0 0 797 40 5 3 20 0 15 0 408119536 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661513919504 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11900] ppid=11839 vsize=10849024 memory=672164 CPUtime=8.03 cores=1,3,5,7
/proc/11842/task/11900/stat : 11900 (java) R 11839 11842 5578 0 -1 4202560 13261 13291 0 0 752 43 5 3 20 0 15 0 408119537 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661469610656 139661942944346 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11901] ppid=11839 vsize=10849024 memory=672164 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11901/stat : 11901 (java) S 11839 11842 5578 0 -1 1077944384 15 13291 0 0 0 0 5 3 20 0 15 0 408119537 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661397713760 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11902] ppid=11839 vsize=10849024 memory=672164 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11902/stat : 11902 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119538 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661263496320 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11903] ppid=11839 vsize=10849024 memory=672164 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11903/stat : 11903 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119540 11109400576 168041 33554432000 4194304 4196468 140730569484816 139660659517520 139661942941595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11904] ppid=11839 vsize=10849024 memory=4104 CPUtime=7.43 cores=1,3,5,7
/proc/11842/task/11904/stat : 11904 (java) S 11839 11842 5578 0 -1 1077944384 27254 13291 0 0 728 7 5 3 20 0 15 0 408119540 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661468559984 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11905] ppid=11839 vsize=10849024 memory=672164 CPUtime=7.21 cores=1,3,5,7
/proc/11842/task/11905/stat : 11905 (java) S 11839 11842 5578 0 -1 1077944384 22621 13291 0 0 708 5 5 3 20 0 15 0 408119540 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661467507184 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11906] ppid=11839 vsize=10849024 memory=672164 CPUtime=4.58 cores=1,3,5,7
/proc/11842/task/11906/stat : 11906 (java) S 11839 11842 5578 0 -1 1077944384 26470 13291 0 0 443 7 5 3 20 0 15 0 408119540 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661466454896 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11907] ppid=11839 vsize=10849024 memory=672164 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11907/stat : 11907 (java) S 11839 11842 5578 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 408119541 11109400576 168041 33554432000 4194304 4196468 140730569484816 139660189756384 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11908] ppid=11839 vsize=10849024 memory=920 CPUtime=1.24 cores=1,3,5,7
/proc/11842/task/11908/stat : 11908 (java) S 11839 11842 5578 0 -1 1077944384 938 13291 0 0 55 61 5 3 20 0 15 0 408119541 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661364156848 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
Current children cumulated CPU time: 2365.28 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 672164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2356.7 s]
/proc/loadavg: 1.52 1.42 1.39 3/227 12270
/proc/meminfo: memFree=30283956/32770624 swapFree=66999812/67108860
[pid=11842] ppid=11839 vsize=10849024 memory=672164 CPUtime=2400.06 cores=1,3,5,7
/proc/11842/stat : 11842 (java) S 11839 11842 5578 0 -1 1077944320 186214 13291 0 0 239712 286 5 3 20 0 15 0 408119526 11109400576 168041 33554432000 4194304 4196468 140730569484816 140730569467360 139661942922999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
/proc/11842/statm: 2712256 168041 3625 1 0 2674317 0
[pid=11842/tid=11895] ppid=11839 vsize=10849024 memory=670056 CPUtime=2337.66 cores=1,3,5,7
/proc/11842/task/11895/stat : 11895 (java) R 11839 11842 5578 0 -1 4202560 57800 13291 0 0 233722 36 5 3 20 0 15 0 408119535 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661914754816 139661559711051 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11896] ppid=11839 vsize=10849024 memory=532 CPUtime=8.6 cores=1,3,5,7
/proc/11842/task/11896/stat : 11896 (java) S 11839 11842 5578 0 -1 1077944384 9386 13291 0 0 803 49 5 3 20 0 15 0 408119536 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661947165584 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11897] ppid=11839 vsize=10849024 memory=33676 CPUtime=8.6 cores=1,3,5,7
/proc/11842/task/11897/stat : 11897 (java) S 11839 11842 5578 0 -1 1077944384 9458 13291 0 0 808 44 5 3 20 0 15 0 408119536 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661516024592 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11898] ppid=11839 vsize=10849024 memory=672164 CPUtime=8.59 cores=1,3,5,7
/proc/11842/task/11898/stat : 11898 (java) S 11839 11842 5578 0 -1 1077944384 8422 13291 0 0 805 46 5 3 20 0 15 0 408119536 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661514972304 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11899] ppid=11839 vsize=10849024 memory=672164 CPUtime=8.58 cores=1,3,5,7
/proc/11842/task/11899/stat : 11899 (java) S 11839 11842 5578 0 -1 1077944384 8341 13291 0 0 810 40 5 3 20 0 15 0 408119536 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661513919504 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11900] ppid=11839 vsize=10849024 memory=672164 CPUtime=8.15 cores=1,3,5,7
/proc/11842/task/11900/stat : 11900 (java) S 11839 11842 5578 0 -1 1077944384 13289 13291 0 0 764 43 5 3 20 0 15 0 408119537 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661469612144 139661942934146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11901] ppid=11839 vsize=10849024 memory=672164 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11901/stat : 11901 (java) S 11839 11842 5578 0 -1 1077944384 15 13291 0 0 0 0 5 3 20 0 15 0 408119537 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661397713760 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11902] ppid=11839 vsize=10849024 memory=672164 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11902/stat : 11902 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119538 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661263496320 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11903] ppid=11839 vsize=10849024 memory=672164 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11903/stat : 11903 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119540 11109400576 168041 33554432000 4194304 4196468 140730569484816 139660659517520 139661942941595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11904] ppid=11839 vsize=10849024 memory=279668809870320 CPUtime=7.43 cores=1,3,5,7
/proc/11842/task/11904/stat : 11904 (java) S 11839 11842 5578 0 -1 1077944384 27254 13291 0 0 728 7 5 3 20 0 15 0 408119540 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661468559984 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11905] ppid=11839 vsize=10849024 memory=118 CPUtime=7.21 cores=1,3,5,7
/proc/11842/task/11905/stat : 11905 (java) S 11839 11842 5578 0 -1 1077944384 22621 13291 0 0 708 5 5 3 20 0 15 0 408119540 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661467507184 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11906] ppid=11839 vsize=10849024 memory=0 CPUtime=4.58 cores=1,3,5,7
/proc/11842/task/11906/stat : 11906 (java) S 11839 11842 5578 0 -1 1077944384 26470 13291 0 0 443 7 5 3 20 0 15 0 408119540 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661466454896 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11907] ppid=11839 vsize=10849024 memory=1696 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11907/stat : 11907 (java) S 11839 11842 5578 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 408119541 11109400576 168041 33554432000 4194304 4196468 140730569484816 139660189756384 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11908] ppid=11839 vsize=10849024 memory=3436 CPUtime=1.26 cores=1,3,5,7
/proc/11842/task/11908/stat : 11908 (java) S 11839 11842 5578 0 -1 1077944384 942 13291 0 0 56 62 5 3 20 0 15 0 408119541 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661364156848 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 672164 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2356.73 s]
# the end of solver process 11842 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.19 s, system=2.90591 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2356.7 s]
/proc/loadavg: 1.52 1.42 1.39 3/227 12270
/proc/meminfo: memFree=30283956/32770624 swapFree=66999812/67108860
[pid=11842] ppid=11839 vsize=10849024 memory=672164 CPUtime=2400.06 cores=1,3,5,7
/proc/11842/stat : 11842 (java) S 11839 11842 5578 0 -1 1077944320 186214 13291 0 0 239712 286 5 3 20 0 15 0 408119526 11109400576 168041 33554432000 4194304 4196468 140730569484816 140730569467360 139661942922999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
/proc/11842/statm: 2712256 168041 3625 1 0 2674317 0
[pid=11842/tid=11895] ppid=11839 vsize=10849024 memory=670056 CPUtime=2337.66 cores=1,3,5,7
/proc/11842/task/11895/stat : 11895 (java) R 11839 11842 5578 0 -1 4202560 57800 13291 0 0 233722 36 5 3 20 0 15 0 408119535 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661914754816 139661559711051 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11896] ppid=11839 vsize=10849024 memory=532 CPUtime=8.6 cores=1,3,5,7
/proc/11842/task/11896/stat : 11896 (java) S 11839 11842 5578 0 -1 1077944384 9386 13291 0 0 803 49 5 3 20 0 15 0 408119536 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661947165584 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11897] ppid=11839 vsize=10849024 memory=33676 CPUtime=8.6 cores=1,3,5,7
/proc/11842/task/11897/stat : 11897 (java) S 11839 11842 5578 0 -1 1077944384 9458 13291 0 0 808 44 5 3 20 0 15 0 408119536 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661516024592 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11898] ppid=11839 vsize=10849024 memory=672164 CPUtime=8.59 cores=1,3,5,7
/proc/11842/task/11898/stat : 11898 (java) S 11839 11842 5578 0 -1 1077944384 8422 13291 0 0 805 46 5 3 20 0 15 0 408119536 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661514972304 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11899] ppid=11839 vsize=10849024 memory=672164 CPUtime=8.58 cores=1,3,5,7
/proc/11842/task/11899/stat : 11899 (java) S 11839 11842 5578 0 -1 1077944384 8341 13291 0 0 810 40 5 3 20 0 15 0 408119536 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661513919504 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11900] ppid=11839 vsize=10849024 memory=672164 CPUtime=8.15 cores=1,3,5,7
/proc/11842/task/11900/stat : 11900 (java) S 11839 11842 5578 0 -1 1077944384 13289 13291 0 0 764 43 5 3 20 0 15 0 408119537 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661469612144 139661942934146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11901] ppid=11839 vsize=10849024 memory=672164 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11901/stat : 11901 (java) S 11839 11842 5578 0 -1 1077944384 15 13291 0 0 0 0 5 3 20 0 15 0 408119537 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661397713760 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11902] ppid=11839 vsize=10849024 memory=672164 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11902/stat : 11902 (java) S 11839 11842 5578 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 408119538 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661263496320 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11903] ppid=11839 vsize=10849024 memory=672164 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11903/stat : 11903 (java) S 11839 11842 5578 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 408119540 11109400576 168041 33554432000 4194304 4196468 140730569484816 139660659517520 139661942941595 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11904] ppid=11839 vsize=10849024 memory=279668809870320 CPUtime=7.43 cores=1,3,5,7
/proc/11842/task/11904/stat : 11904 (java) S 11839 11842 5578 0 -1 1077944384 27254 13291 0 0 728 7 5 3 20 0 15 0 408119540 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661468559984 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11905] ppid=11839 vsize=10849024 memory=118 CPUtime=7.21 cores=1,3,5,7
/proc/11842/task/11905/stat : 11905 (java) S 11839 11842 5578 0 -1 1077944384 22621 13291 0 0 708 5 5 3 20 0 15 0 408119540 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661467507184 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11906] ppid=11839 vsize=10849024 memory=0 CPUtime=4.58 cores=1,3,5,7
/proc/11842/task/11906/stat : 11906 (java) S 11839 11842 5578 0 -1 1077944384 26470 13291 0 0 443 7 5 3 20 0 15 0 408119540 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661466454896 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11907] ppid=11839 vsize=10849024 memory=1696 CPUtime=0.08 cores=1,3,5,7
/proc/11842/task/11907/stat : 11907 (java) S 11839 11842 5578 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 408119541 11109400576 168041 33554432000 4194304 4196468 140730569484816 139660189756384 139661942933205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
[pid=11842/tid=11908] ppid=11839 vsize=10849024 memory=3436 CPUtime=1.26 cores=1,3,5,7
/proc/11842/task/11908/stat : 11908 (java) S 11839 11842 5578 0 -1 1077944384 942 13291 0 0 56 62 5 3 20 0 15 0 408119541 11109400576 168041 33554432000 4194304 4196468 140730569484816 139661364156848 139661942934146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38019072 140730569489142 140730569491653 140730569491653 140730569494479 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 672164 KiB
Child status: 143
Real time (s): 2356.73
CPU time (s): 2400.1
CPU user time (s): 2397.19
CPU system time (s): 2.90591
CPU usage (%): 101.84
Max. virtual memory (cumulated for all children) (KiB): 10852008
Max. memory (cumulated for all children) (KiB): 674408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.19
system time used= 2.90591
maximum resident set size= 676292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200773
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 242560
involuntary context switches= 6080
# summary of solver processes directly reported to runsolver:
# pid: 11842
# total CPU time (s): 2400.1
# total CPU user time (s): 2397.19
# total CPU system time (s): 2.90591
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2057 second user time and 24.882 second system time
The end