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 (15063 MiB free)
memory of node 1: 16384 MiB (12323 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259412-1502649474/watcher-4259412-1502649474 -o /tmp/evaluation-result-4259412-1502649474/solver-4259412-1502649474 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312 bin/concrete HOME/instance-4259412-1502649474.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1696, runsolver pid=1693
[startup+0.10016 s]*
/proc/loadavg: 1.68 1.93 1.97 3/200 1724
/proc/meminfo: memFree=28042480/32770624 swapFree=67108860/67108860
[pid=1696] ppid=1693 vsize=9636 memory=1512 CPUtime=0.01 cores=0,2,4,6
/proc/1696/stat : 1696 (bash) S 1693 1696 8289 0 -1 4202496 897 6481 0 0 0 0 0 1 20 0 1 0 112762674 9867264 378 18446744073709551615 4194304 5098028 140736911350336 140736911344344 140540847098880 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 8 0 0 7196144 7232144 9875456 140736911356404 140736911356489 140736911356489 140736911359978 0
/proc/1696/statm: 2409 378 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1512 KiB
[startup+0.210037 s]*
/proc/loadavg: 1.68 1.93 1.97 2/216 1741
/proc/meminfo: memFree=28029396/32770624 swapFree=67108860/67108860
[pid=1696] ppid=1693 vsize=9636 memory=1512 CPUtime=0.01 cores=0,2,4,6
/proc/1696/stat : 1696 (bash) S 1693 1696 8289 0 -1 4202496 897 6481 0 0 0 0 0 1 20 0 1 0 112762674 9867264 378 18446744073709551615 4194304 5098028 140736911350336 140736911344344 140540847098880 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 8 0 0 7196144 7232144 9875456 140736911356404 140736911356489 140736911356489 140736911359978 0
/proc/1696/statm: 2409 378 297 221 0 118 0
[pid=1726] ppid=1696 vsize=9636 memory=708 CPUtime=0 cores=0,2,4,6
/proc/1726/stat : 1726 (bash) S 1696 1696 8289 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 1 0 112762685 9867264 177 18446744073709551615 4194304 5098028 140736911350336 140736911343016 140540846924412 0 65536 1 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9875456 140736911356404 140736911356489 140736911356489 140736911359978 0
/proc/1726/statm: 2409 177 96 221 0 118 0
[pid=1728] ppid=1726 vsize=9876 memory=972 CPUtime=0 cores=0,2,4,6
/proc/1728/stat : 1728 (awk) S 1726 1696 8289 0 -1 4202496 416 0 0 0 0 0 0 0 20 0 1 0 112762685 10113024 243 18446744073709551615 4194304 4609284 140732011808048 140732011807224 140208554224640 0 0 1 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 23482368 140732011811456 140732011811486 140732011811486 140732011814891 0
/proc/1728/statm: 2469 243 202 102 0 89 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 29148 KiB
Current children cumulated memory: 3192 KiB
[startup+0.310031 s]*
/proc/loadavg: 1.68 1.93 1.97 2/213 1758
/proc/meminfo: memFree=28031492/32770624 swapFree=67108860/67108860
[pid=1696] ppid=1693 vsize=13907308 memory=21680 CPUtime=0.14 cores=0,2,4,6
/proc/1696/stat : 1696 (java) S 1693 1696 8289 0 -1 1077944320 5745 12653 0 0 5 1 5 3 20 0 14 0 112762674 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140726682865072 140397510123255 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
/proc/1696/statm: 3476827 5420 2562 1 0 3466324 0
[pid=1696/tid=1746] ppid=1693 vsize=13907308 memory=4026531858 CPUtime=0.13 cores=0,2,4,6
/proc/1696/task/1746/stat : 1746 (java) D 1693 1696 8289 0 -1 4202560 3000 12653 0 0 4 1 5 3 20 0 14 0 112762697 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397514360736 140397510145277 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1747] ppid=1693 vsize=13907308 memory=288230604640878615 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1747/stat : 1747 (java) S 1693 1696 8289 0 -1 1077944384 1 12653 0 0 0 0 5 3 20 0 14 0 112762698 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397452070032 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1748] ppid=1693 vsize=13907308 memory=15399418090423960 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1748/stat : 1748 (java) S 1693 1696 8289 0 -1 1077944384 1 12653 0 0 0 0 5 3 20 0 14 0 112762698 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397451017232 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1749] ppid=1693 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1749/stat : 1749 (java) S 1693 1696 8289 0 -1 1077944384 1 12653 0 0 0 0 5 3 20 0 14 0 112762698 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397449964432 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1750] ppid=1693 vsize=13907308 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1750/stat : 1750 (java) S 1693 1696 8289 0 -1 1077944384 2 12653 0 0 0 0 5 3 20 0 14 0 112762698 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397448911632 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1751] ppid=1693 vsize=13907308 memory=140167264536192 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1751/stat : 1751 (java) S 1693 1696 8289 0 -1 1077944384 2 12653 0 0 0 0 5 3 20 0 14 0 112762699 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397055773040 140397510134402 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1752] ppid=1693 vsize=13907308 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1752/stat : 1752 (java) S 1693 1696 8289 0 -1 1077944384 33 12653 0 0 0 0 5 3 20 0 14 0 112762699 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397054719008 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1753] ppid=1693 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1753/stat : 1753 (java) S 1693 1696 8289 0 -1 1077944384 21 12653 0 0 0 0 5 3 20 0 14 0 112762700 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397053666160 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1754] ppid=1693 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1754/stat : 1754 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 14 0 112762702 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397052614480 140397510141851 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1755] ppid=1693 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1755/stat : 1755 (java) S 1693 1696 8289 0 -1 1077944384 306 12653 0 0 0 0 5 3 20 0 14 0 112762702 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397051562864 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1756] ppid=1693 vsize=13907308 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1756/stat : 1756 (java) S 1693 1696 8289 0 -1 1077944384 1 12653 0 0 0 0 5 3 20 0 14 0 112762702 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397050510064 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1757] ppid=1693 vsize=13907308 memory=140167264536192 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1757/stat : 1757 (java) S 1693 1696 8289 0 -1 1077944384 218 12653 0 0 0 0 5 3 20 0 14 0 112762702 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397049457264 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1758] ppid=1693 vsize=13907308 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1758/stat : 1758 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 14 0 112762702 14241083392 5420 18446744073709551615 4194304 4196468 140726682882528 140397048404704 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 21680 KiB
[startup+0.705083 s]
/proc/loadavg: 1.68 1.93 1.97 3/214 1759
/proc/meminfo: memFree=28005488/32770624 swapFree=67108860/67108860
[pid=1696] ppid=1693 vsize=13974784 memory=56828 CPUtime=0.67 cores=0,2,4,6
/proc/1696/stat : 1696 (java) S 1693 1696 8289 0 -1 1077944320 13786 12653 0 0 55 4 5 3 20 0 15 0 112762674 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140726682865072 140397510123255 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
/proc/1696/statm: 3493696 14207 3126 1 0 3482965 0
[pid=1696/tid=1746] ppid=1693 vsize=13974784 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/1696/task/1746/stat : 1746 (java) R 1693 1696 8289 0 -1 4202560 10143 12653 0 0 39 3 5 3 20 0 15 0 112762697 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397514344432 140397494166885 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1747] ppid=1693 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1747/stat : 1747 (java) S 1693 1696 8289 0 -1 1077944384 1 12653 0 0 0 0 5 3 20 0 15 0 112762698 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397452070032 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1748] ppid=1693 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1748/stat : 1748 (java) S 1693 1696 8289 0 -1 1077944384 1 12653 0 0 0 0 5 3 20 0 15 0 112762698 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397451017232 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1749] ppid=1693 vsize=13974784 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1749/stat : 1749 (java) S 1693 1696 8289 0 -1 1077944384 1 12653 0 0 0 0 5 3 20 0 15 0 112762698 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397449964432 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1750] ppid=1693 vsize=13974784 memory=14356 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1750/stat : 1750 (java) S 1693 1696 8289 0 -1 1077944384 2 12653 0 0 0 0 5 3 20 0 15 0 112762698 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397448911632 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1751] ppid=1693 vsize=13974784 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1751/stat : 1751 (java) S 1693 1696 8289 0 -1 1077944384 5 12653 0 0 0 0 5 3 20 0 15 0 112762699 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397055773040 140397510134402 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1752] ppid=1693 vsize=13974784 memory=2012 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1752/stat : 1752 (java) S 1693 1696 8289 0 -1 1077944384 33 12653 0 0 0 0 5 3 20 0 15 0 112762699 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397054719008 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1753] ppid=1693 vsize=13974784 memory=11136 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1753/stat : 1753 (java) S 1693 1696 8289 0 -1 1077944384 21 12653 0 0 0 0 5 3 20 0 15 0 112762700 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397053666160 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1754] ppid=1693 vsize=13974784 memory=5788 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1754/stat : 1754 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 15 0 112762702 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397052614480 140397510141851 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1755] ppid=1693 vsize=13974784 memory=4612 CPUtime=0.1 cores=0,2,4,6
/proc/1696/task/1755/stat : 1755 (java) R 1693 1696 8289 0 -1 1077944384 437 12653 0 0 2 0 5 3 20 0 15 0 112762702 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397051562864 140397510134402 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1756] ppid=1693 vsize=13974784 memory=1436 CPUtime=0.11 cores=0,2,4,6
/proc/1696/task/1756/stat : 1756 (java) R 1693 1696 8289 0 -1 4202560 400 12653 0 0 3 0 5 3 20 0 15 0 112762702 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397050510064 140397489369840 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1757] ppid=1693 vsize=13974784 memory=1200 CPUtime=0.17 cores=0,2,4,6
/proc/1696/task/1757/stat : 1757 (java) R 1693 1696 8289 0 -1 4202560 582 12653 0 0 9 0 5 3 20 0 15 0 112762702 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397049457264 140397510135190 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1758] ppid=1693 vsize=13974784 memory=15876 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1758/stat : 1758 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 15 0 112762702 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397048404704 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1759] ppid=1693 vsize=13974784 memory=4064 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1759/stat : 1759 (java) S 1693 1696 8289 0 -1 1077944384 1 12653 0 0 0 0 5 3 20 0 15 0 112762707 14310178816 14207 18446744073709551615 4194304 4196468 140726682882528 140397047351984 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 56828 KiB
[startup+1.50068 s]
/proc/loadavg: 1.68 1.93 1.97 3/214 1759
/proc/meminfo: memFree=27928104/32770624 swapFree=67108860/67108860
[pid=1696] ppid=1693 vsize=13985408 memory=135684 CPUtime=1.85 cores=0,2,4,6
/proc/1696/stat : 1696 (java) S 1693 1696 8289 0 -1 1077944320 28074 12653 0 0 167 10 5 3 20 0 15 0 112762674 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140726682865072 140397510123255 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
/proc/1696/statm: 3496352 33921 3338 1 0 3485525 0
[pid=1696/tid=1746] ppid=1693 vsize=13985408 memory=54620 CPUtime=1.3 cores=0,2,4,6
/proc/1696/task/1746/stat : 1746 (java) R 1693 1696 8289 0 -1 4202560 22708 12653 0 0 115 7 5 3 20 0 15 0 112762697 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397514356624 140397510135190 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1747] ppid=1693 vsize=13985408 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1747/stat : 1747 (java) S 1693 1696 8289 0 -1 1077944384 1 12653 0 0 0 0 5 3 20 0 15 0 112762698 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397452070032 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1748] ppid=1693 vsize=13985408 memory=2440 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1748/stat : 1748 (java) S 1693 1696 8289 0 -1 1077944384 1 12653 0 0 0 0 5 3 20 0 15 0 112762698 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397451017232 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1749] ppid=1693 vsize=13985408 memory=1724 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1749/stat : 1749 (java) S 1693 1696 8289 0 -1 1077944384 1 12653 0 0 0 0 5 3 20 0 15 0 112762698 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397449964432 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1750] ppid=1693 vsize=13985408 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1750/stat : 1750 (java) S 1693 1696 8289 0 -1 1077944384 2 12653 0 0 0 0 5 3 20 0 15 0 112762698 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397448911632 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1751] ppid=1693 vsize=13985408 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1751/stat : 1751 (java) S 1693 1696 8289 0 -1 1077944384 5 12653 0 0 0 0 5 3 20 0 15 0 112762699 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397055773040 140397510134402 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1752] ppid=1693 vsize=13985408 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1752/stat : 1752 (java) S 1693 1696 8289 0 -1 1077944384 33 12653 0 0 0 0 5 3 20 0 15 0 112762699 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397054719008 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1753] ppid=1693 vsize=13985408 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1753/stat : 1753 (java) S 1693 1696 8289 0 -1 1077944384 21 12653 0 0 0 0 5 3 20 0 15 0 112762700 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397053666160 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1754] ppid=1693 vsize=13985408 memory=83520 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1754/stat : 1754 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 15 0 112762702 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397052614480 140397510141851 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1755] ppid=1693 vsize=13985408 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/1696/task/1755/stat : 1755 (java) S 1693 1696 8289 0 -1 1077944384 1124 12653 0 0 16 0 5 3 20 0 15 0 112762702 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397051562864 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1756] ppid=1693 vsize=13985408 memory=280334261004768 CPUtime=0.19 cores=0,2,4,6
/proc/1696/task/1756/stat : 1756 (java) S 1693 1696 8289 0 -1 1077944384 638 12653 0 0 11 0 5 3 20 0 15 0 112762702 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397050510064 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1757] ppid=1693 vsize=13985408 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/1696/task/1757/stat : 1757 (java) S 1693 1696 8289 0 -1 1077944384 1374 12653 0 0 22 0 5 3 20 0 15 0 112762702 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397049457264 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1758] ppid=1693 vsize=13985408 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1758/stat : 1758 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 15 0 112762702 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397048404704 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1759] ppid=1693 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1759/stat : 1759 (java) S 1693 1696 8289 0 -1 1077944384 8 12653 0 0 0 0 5 3 20 0 15 0 112762707 14321057792 33921 18446744073709551615 4194304 4196468 140726682882528 140397047351984 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 135684 KiB
[startup+3.10665 s]
/proc/loadavg: 1.68 1.93 1.97 6/214 1759
/proc/meminfo: memFree=27541480/32770624 swapFree=67108860/67108860
[pid=1696] ppid=1693 vsize=13993788 memory=1237044 CPUtime=5.18 cores=0,2,4,6
/proc/1696/stat : 1696 (java) S 1693 1696 8289 0 -1 1077944320 40650 12653 0 0 454 56 5 3 20 0 15 0 112762674 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140726682865072 140397510123255 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
/proc/1696/statm: 3498447 309261 3458 1 0 3487061 0
[pid=1696/tid=1746] ppid=1693 vsize=13993788 memory=0 CPUtime=2.67 cores=0,2,4,6
/proc/1696/task/1746/stat : 1746 (java) R 1693 1696 8289 0 -1 4202560 27419 12653 0 0 236 23 5 3 20 0 15 0 112762697 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397514357168 140397129112160 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1747] ppid=1693 vsize=13993788 memory=7680170660397595203 CPUtime=0.26 cores=0,2,4,6
/proc/1696/task/1747/stat : 1747 (java) S 1693 1696 8289 0 -1 1077944384 385 12653 0 0 12 6 5 3 20 0 15 0 112762698 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397452070032 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1748] ppid=1693 vsize=13993788 memory=4612 CPUtime=0.27 cores=0,2,4,6
/proc/1696/task/1748/stat : 1748 (java) S 1693 1696 8289 0 -1 1077944384 600 12653 0 0 12 7 5 3 20 0 15 0 112762698 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397451017232 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1749] ppid=1693 vsize=13993788 memory=1436 CPUtime=0.26 cores=0,2,4,6
/proc/1696/task/1749/stat : 1749 (java) S 1693 1696 8289 0 -1 1077944384 360 12653 0 0 12 6 5 3 20 0 15 0 112762698 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397449964432 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1750] ppid=1693 vsize=13993788 memory=1200 CPUtime=0.26 cores=0,2,4,6
/proc/1696/task/1750/stat : 1750 (java) S 1693 1696 8289 0 -1 1077944384 548 12653 0 0 12 6 5 3 20 0 15 0 112762698 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397448911632 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1751] ppid=1693 vsize=13993788 memory=15876 CPUtime=0.11 cores=0,2,4,6
/proc/1696/task/1751/stat : 1751 (java) S 1693 1696 8289 0 -1 1077944384 2881 12653 0 0 3 0 5 3 20 0 15 0 112762699 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397055773040 140397510134402 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1752] ppid=1693 vsize=13993788 memory=4064 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1752/stat : 1752 (java) S 1693 1696 8289 0 -1 1077944384 54 12653 0 0 0 0 5 3 20 0 15 0 112762699 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397054719072 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1753] ppid=1693 vsize=13993788 memory=4040 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1753/stat : 1753 (java) S 1693 1696 8289 0 -1 1077944384 47 12653 0 0 0 0 5 3 20 0 15 0 112762700 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397053666176 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1754] ppid=1693 vsize=13993788 memory=33564 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1754/stat : 1754 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 15 0 112762702 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397052614480 140397510141851 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1755] ppid=1693 vsize=13993788 memory=1232 CPUtime=0.55 cores=0,2,4,6
/proc/1696/task/1755/stat : 1755 (java) R 1693 1696 8289 0 -1 4202560 1640 12653 0 0 46 1 5 3 20 0 15 0 112762702 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397051549936 140397502412709 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1756] ppid=1693 vsize=13993788 memory=640 CPUtime=0.56 cores=0,2,4,6
/proc/1696/task/1756/stat : 1756 (java) R 1693 1696 8289 0 -1 4202560 1618 12653 0 0 47 1 5 3 20 0 15 0 112762702 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397050491472 140397493619765 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1757] ppid=1693 vsize=13993788 memory=1792 CPUtime=0.79 cores=0,2,4,6
/proc/1696/task/1757/stat : 1757 (java) R 1693 1696 8289 0 -1 4202560 2930 12653 0 0 69 2 5 3 20 0 15 0 112762702 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397049454520 140397488750164 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1758] ppid=1693 vsize=13993788 memory=7680170660397595203 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1758/stat : 1758 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 15 0 112762702 14329638912 309261 18446744073709551615 4194304 4196468 140726682882528 140397048404704 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
################
# More data... #
################
/proc/1696/task/1750/stat : 1750 (java) S 1693 1696 8289 0 -1 1077944384 43255 12653 0 0 788 125 5 3 20 0 15 0 112762698 14407233536 1099615 18446744073709551615 4194304 4196468 140726682882528 140397448911632 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1751] ppid=1693 vsize=14069564 memory=1716 CPUtime=1.49 cores=0,2,4,6
/proc/1696/task/1751/stat : 1751 (java) S 1693 1696 8289 0 -1 1077944384 30524 12653 0 0 136 5 5 3 20 0 15 0 112762699 14407233536 1099615 18446744073709551615 4194304 4196468 140726682882528 140397055773040 140397510134402 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1752] ppid=1693 vsize=14069564 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1752/stat : 1752 (java) S 1693 1696 8289 0 -1 1077944384 67 12653 0 0 0 0 5 3 20 0 15 0 112762699 14407233536 1099615 18446744073709551615 4194304 4196468 140726682882528 140397054719072 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1753] ppid=1693 vsize=14069564 memory=14356 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1753/stat : 1753 (java) S 1693 1696 8289 0 -1 1077944384 65 12653 0 0 0 0 5 3 20 0 15 0 112762700 14407233536 1099615 18446744073709551615 4194304 4196468 140726682882528 140397053666176 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1754] ppid=1693 vsize=14069564 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1754/stat : 1754 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 15 0 112762702 14407233536 1099615 18446744073709551615 4194304 4196468 140726682882528 140397052614480 140397510141851 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1755] ppid=1693 vsize=14069564 memory=2012 CPUtime=5.35 cores=0,2,4,6
/proc/1696/task/1755/stat : 1755 (java) R 1693 1696 8289 0 -1 4202560 12256 12653 0 0 525 2 5 3 20 0 15 0 112762702 14407233536 1099615 18446744073709551615 4194304 4196468 140726682882528 140397051543568 140397491644115 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1756] ppid=1693 vsize=14069564 memory=11136 CPUtime=5.5 cores=0,2,4,6
/proc/1696/task/1756/stat : 1756 (java) R 1693 1696 8289 0 -1 4202560 12493 12653 0 0 540 2 5 3 20 0 15 0 112762702 14407233536 1099615 18446744073709551615 4194304 4196468 140726682882528 140397050497744 140397491432059 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1757] ppid=1693 vsize=14069564 memory=5788 CPUtime=1.86 cores=0,2,4,6
/proc/1696/task/1757/stat : 1757 (java) S 1693 1696 8289 0 -1 1077944384 13743 12653 0 0 174 4 5 3 20 0 15 0 112762702 14407233536 1099615 18446744073709551615 4194304 4196468 140726682882528 140397049457264 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1758] ppid=1693 vsize=14069564 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1758/stat : 1758 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 15 0 112762702 14407233536 1099615 18446744073709551615 4194304 4196468 140726682882528 140397048404704 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1759] ppid=1693 vsize=14069564 memory=1436 CPUtime=0.2 cores=0,2,4,6
/proc/1696/task/1759/stat : 1759 (java) S 1693 1696 8289 0 -1 1077944384 2347 12653 0 0 6 6 5 3 20 0 15 0 112762707 14407233536 1099615 18446744073709551615 4194304 4196468 140726682882528 140397047351984 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
Current children cumulated CPU time: 252.14 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4398460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+213.062 s]
# the end of solver process 1696 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.194 s, system=5.73768 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+212.702 s]*
/proc/loadavg: 1.82 1.85 1.93 6/216 1898
/proc/meminfo: memFree=24713408/32770624 swapFree=67108860/67108860
[pid=1696] ppid=1693 vsize=14202692 memory=4398484 CPUtime=252.88 cores=0,2,4,6
/proc/1696/stat : 1696 (java) S 1693 1696 8289 0 -1 1077944320 372011 12653 0 0 24714 566 5 3 20 0 17 0 112762674 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140726682865072 140397510123255 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
/proc/1696/statm: 3550673 1099621 3473 1 0 3539287 0
[pid=1696/tid=1746] ppid=1693 vsize=14202692 memory=4278483708103473607 CPUtime=201.62 cores=0,2,4,6
/proc/1696/task/1746/stat : 1746 (java) S 1693 1696 8289 0 -1 1077944384 129655 12653 0 0 20118 36 5 3 20 0 17 0 112762697 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397514361040 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1747] ppid=1693 vsize=14202692 memory=4872558044660077418 CPUtime=9.3 cores=0,2,4,6
/proc/1696/task/1747/stat : 1747 (java) R 1693 1696 8289 0 -1 4202560 39718 12653 0 0 794 128 5 3 20 0 17 0 112762698 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397452070032 140397494823943 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1748] ppid=1693 vsize=14202692 memory=1620 CPUtime=9.35 cores=0,2,4,6
/proc/1696/task/1748/stat : 1748 (java) R 1693 1696 8289 0 -1 4202560 41164 12653 0 0 801 126 5 3 20 0 17 0 112762698 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397451017432 140397494823840 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1749] ppid=1693 vsize=14202692 memory=844 CPUtime=9.36 cores=0,2,4,6
/proc/1696/task/1749/stat : 1749 (java) R 1693 1696 8289 0 -1 4202560 41181 12653 0 0 800 128 5 3 20 0 17 0 112762698 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397449964432 140397494823902 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1750] ppid=1693 vsize=14202692 memory=1160 CPUtime=9.39 cores=0,2,4,6
/proc/1696/task/1750/stat : 1750 (java) R 1693 1696 8289 0 -1 4202560 43305 12653 0 0 806 125 5 3 20 0 17 0 112762698 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397448911632 140397494823873 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1751] ppid=1693 vsize=14202692 memory=3040 CPUtime=1.51 cores=0,2,4,6
/proc/1696/task/1751/stat : 1751 (java) S 1693 1696 8289 0 -1 1077944384 33764 12653 0 0 138 5 5 3 20 0 17 0 112762699 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397055771664 140397510133461 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1752] ppid=1693 vsize=14202692 memory=4396440 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1752/stat : 1752 (java) S 1693 1696 8289 0 -1 1077944384 67 12653 0 0 0 0 5 3 20 0 17 0 112762699 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397054719072 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1753] ppid=1693 vsize=14202692 memory=288230617509003574 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1753/stat : 1753 (java) S 1693 1696 8289 0 -1 1077944384 65 12653 0 0 0 0 5 3 20 0 17 0 112762700 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397053666176 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1754] ppid=1693 vsize=14202692 memory=14689686622832056 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1754/stat : 1754 (java) S 1693 1696 8289 0 -1 1077944384 39 12653 0 0 0 0 5 3 20 0 17 0 112762702 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397052614480 140397510141851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1755] ppid=1693 vsize=14202692 memory=1620 CPUtime=5.4 cores=0,2,4,6
/proc/1696/task/1755/stat : 1755 (java) S 1693 1696 8289 0 -1 1077944384 12257 12653 0 0 530 2 5 3 20 0 17 0 112762702 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397051547856 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1756] ppid=1693 vsize=14202692 memory=844 CPUtime=5.5 cores=0,2,4,6
/proc/1696/task/1756/stat : 1756 (java) S 1693 1696 8289 0 -1 1077944384 12493 12653 0 0 540 2 5 3 20 0 17 0 112762702 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397050510064 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1757] ppid=1693 vsize=14202692 memory=1160 CPUtime=1.86 cores=0,2,4,6
/proc/1696/task/1757/stat : 1757 (java) S 1693 1696 8289 0 -1 1077944384 13743 12653 0 0 174 4 5 3 20 0 17 0 112762702 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397049457264 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1758] ppid=1693 vsize=14202692 memory=3040 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1758/stat : 1758 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 17 0 112762702 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397048404704 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1759] ppid=1693 vsize=14202692 memory=4365788 CPUtime=0.2 cores=0,2,4,6
/proc/1696/task/1759/stat : 1759 (java) S 1693 1696 8289 0 -1 1077944384 2347 12653 0 0 6 6 5 3 20 0 17 0 112762707 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140397047351984 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1897] ppid=1693 vsize=14202692 memory=1156 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1897/stat : 1897 (java) S 1693 1696 8289 0 -1 1077944384 34 12653 0 0 0 0 5 3 20 0 17 0 112783925 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140396948517104 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1898] ppid=1693 vsize=14202692 memory=2552 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1898/stat : 1898 (java) S 1693 1696 8289 0 -1 1077944384 22 12653 0 0 0 0 5 3 20 0 17 0 112783925 14543556608 1099621 18446744073709551615 4194304 4196468 140726682882528 140396947465024 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
Current children cumulated CPU time: 252.88 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 4398484 KiB
[startup+212.902 s]
/proc/loadavg: 1.82 1.85 1.93 6/216 1898
/proc/meminfo: memFree=24713408/32770624 swapFree=67108860/67108860
[pid=1696] ppid=1693 vsize=14202692 memory=4398620 CPUtime=253.51 cores=0,2,4,6
/proc/1696/stat : 1696 (java) S 1693 1696 8289 0 -1 1077944320 373079 12653 0 0 24777 566 5 3 20 0 17 0 112762674 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140726682865072 140397510123255 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
/proc/1696/statm: 3550673 1099655 3478 1 0 3539287 0
[pid=1696/tid=1746] ppid=1693 vsize=14202692 memory=2856 CPUtime=201.62 cores=0,2,4,6
/proc/1696/task/1746/stat : 1746 (java) S 1693 1696 8289 0 -1 1077944384 129655 12653 0 0 20118 36 5 3 20 0 17 0 112762697 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397514361040 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1747] ppid=1693 vsize=14202692 memory=7680170660397595203 CPUtime=9.45 cores=0,2,4,6
/proc/1696/task/1747/stat : 1747 (java) R 1693 1696 8289 0 -1 4202560 39719 12653 0 0 809 128 5 3 20 0 17 0 112762698 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397452069920 140397495108551 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1748] ppid=1693 vsize=14202692 memory=1156 CPUtime=9.5 cores=0,2,4,6
/proc/1696/task/1748/stat : 1748 (java) R 1693 1696 8289 0 -1 4202560 41171 12653 0 0 815 127 5 3 20 0 17 0 112762698 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397451017232 140397495073984 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1749] ppid=1693 vsize=14202692 memory=2548 CPUtime=9.51 cores=0,2,4,6
/proc/1696/task/1749/stat : 1749 (java) R 1693 1696 8289 0 -1 4202560 41181 12653 0 0 815 128 5 3 20 0 17 0 112762698 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397449964432 140397494820800 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1750] ppid=1693 vsize=14202692 memory=2046508 CPUtime=9.54 cores=0,2,4,6
/proc/1696/task/1750/stat : 1750 (java) R 1693 1696 8289 0 -1 4202560 43310 12653 0 0 821 125 5 3 20 0 17 0 112762698 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397448911832 140397494821007 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1751] ppid=1693 vsize=14202692 memory=18484 CPUtime=1.55 cores=0,2,4,6
/proc/1696/task/1751/stat : 1751 (java) S 1693 1696 8289 0 -1 1077944384 34802 12653 0 0 142 5 5 3 20 0 17 0 112762699 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397055771440 140397510133461 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1752] ppid=1693 vsize=14202692 memory=3912 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1752/stat : 1752 (java) S 1693 1696 8289 0 -1 1077944384 69 12653 0 0 0 0 5 3 20 0 17 0 112762699 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397054718576 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1753] ppid=1693 vsize=14202692 memory=2856 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1753/stat : 1753 (java) S 1693 1696 8289 0 -1 1077944384 65 12653 0 0 0 0 5 3 20 0 17 0 112762700 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397053666176 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1754] ppid=1693 vsize=14202692 memory=2952 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1754/stat : 1754 (java) S 1693 1696 8289 0 -1 1077944384 39 12653 0 0 0 0 5 3 20 0 17 0 112762702 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397052614480 140397510141851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1755] ppid=1693 vsize=14202692 memory=4278483708103473607 CPUtime=5.4 cores=0,2,4,6
/proc/1696/task/1755/stat : 1755 (java) S 1693 1696 8289 0 -1 1077944384 12271 12653 0 0 530 2 5 3 20 0 17 0 112762702 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397051562864 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1756] ppid=1693 vsize=14202692 memory=4872558044660077418 CPUtime=5.5 cores=0,2,4,6
/proc/1696/task/1756/stat : 1756 (java) S 1693 1696 8289 0 -1 1077944384 12493 12653 0 0 540 2 5 3 20 0 17 0 112762702 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397050510064 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1757] ppid=1693 vsize=14202692 memory=33564 CPUtime=1.86 cores=0,2,4,6
/proc/1696/task/1757/stat : 1757 (java) S 1693 1696 8289 0 -1 1077944384 13743 12653 0 0 174 4 5 3 20 0 17 0 112762702 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397049457264 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1758] ppid=1693 vsize=14202692 memory=1232 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1758/stat : 1758 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 17 0 112762702 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397048404704 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1759] ppid=1693 vsize=14202692 memory=640 CPUtime=0.2 cores=0,2,4,6
/proc/1696/task/1759/stat : 1759 (java) S 1693 1696 8289 0 -1 1077944384 2347 12653 0 0 6 6 5 3 20 0 17 0 112762707 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140397047351984 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1897] ppid=1693 vsize=14202692 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1897/stat : 1897 (java) S 1693 1696 8289 0 -1 1077944384 34 12653 0 0 0 0 5 3 20 0 17 0 112783925 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140396948517104 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1898] ppid=1693 vsize=14202692 memory=4367352 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1898/stat : 1898 (java) S 1693 1696 8289 0 -1 1077944384 23 12653 0 0 0 0 5 3 20 0 17 0 112783925 14543556608 1099655 18446744073709551615 4194304 4196468 140726682882528 140396947465024 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
Current children cumulated CPU time: 253.51 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 4398620 KiB
[startup+213.005 s]
/proc/loadavg: 1.82 1.85 1.93 6/216 1898
/proc/meminfo: memFree=24713408/32770624 swapFree=67108860/67108860
[pid=1696] ppid=1693 vsize=14202692 memory=4398616 CPUtime=253.83 cores=0,2,4,6
/proc/1696/stat : 1696 (java) S 1693 1696 8289 0 -1 1077944320 373083 12653 0 0 24809 566 5 3 20 0 17 0 112762674 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140726682865072 140397510123255 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
/proc/1696/statm: 3550673 1099654 3478 1 0 3539287 0
[pid=1696/tid=1746] ppid=1693 vsize=14202692 memory=4397772 CPUtime=201.62 cores=0,2,4,6
/proc/1696/task/1746/stat : 1746 (java) S 1693 1696 8289 0 -1 1077944384 129655 12653 0 0 20118 36 5 3 20 0 17 0 112762697 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397514361040 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1747] ppid=1693 vsize=14202692 memory=4396736 CPUtime=9.52 cores=0,2,4,6
/proc/1696/task/1747/stat : 1747 (java) R 1693 1696 8289 0 -1 4202560 39720 12653 0 0 816 128 5 3 20 0 17 0 112762698 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397452070032 140397495119917 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1748] ppid=1693 vsize=14202692 memory=4397352 CPUtime=9.57 cores=0,2,4,6
/proc/1696/task/1748/stat : 1748 (java) R 1693 1696 8289 0 -1 4202560 41171 12653 0 0 822 127 5 3 20 0 17 0 112762698 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397451017232 140397491733031 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1749] ppid=1693 vsize=14202692 memory=4398268 CPUtime=9.58 cores=0,2,4,6
/proc/1696/task/1749/stat : 1749 (java) R 1693 1696 8289 0 -1 4202560 41182 12653 0 0 822 128 5 3 20 0 17 0 112762698 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397449964432 140397491733010 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1750] ppid=1693 vsize=14202692 memory=4398628 CPUtime=9.61 cores=0,2,4,6
/proc/1696/task/1750/stat : 1750 (java) R 1693 1696 8289 0 -1 4202560 43310 12653 0 0 828 125 5 3 20 0 17 0 112762698 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397448911520 140397495119636 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1751] ppid=1693 vsize=14202692 memory=4398484 CPUtime=1.58 cores=0,2,4,6
/proc/1696/task/1751/stat : 1751 (java) S 1693 1696 8289 0 -1 1077944384 34803 12653 0 0 145 5 5 3 20 0 17 0 112762699 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397055771664 140397510133461 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1752] ppid=1693 vsize=14202692 memory=4367352 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1752/stat : 1752 (java) S 1693 1696 8289 0 -1 1077944384 69 12653 0 0 0 0 5 3 20 0 17 0 112762699 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397054718608 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1753] ppid=1693 vsize=14202692 memory=4362348 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1753/stat : 1753 (java) S 1693 1696 8289 0 -1 1077944384 65 12653 0 0 0 0 5 3 20 0 17 0 112762700 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397053666176 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1754] ppid=1693 vsize=14202692 memory=4362080 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1754/stat : 1754 (java) S 1693 1696 8289 0 -1 1077944384 39 12653 0 0 0 0 5 3 20 0 17 0 112762702 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397052614480 140397510141851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1755] ppid=1693 vsize=14202692 memory=4367208 CPUtime=5.4 cores=0,2,4,6
/proc/1696/task/1755/stat : 1755 (java) S 1693 1696 8289 0 -1 1077944384 12271 12653 0 0 530 2 5 3 20 0 17 0 112762702 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397051562864 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1756] ppid=1693 vsize=14202692 memory=4367208 CPUtime=5.5 cores=0,2,4,6
/proc/1696/task/1756/stat : 1756 (java) S 1693 1696 8289 0 -1 1077944384 12493 12653 0 0 540 2 5 3 20 0 17 0 112762702 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397050510064 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1757] ppid=1693 vsize=14202692 memory=4367352 CPUtime=1.86 cores=0,2,4,6
/proc/1696/task/1757/stat : 1757 (java) S 1693 1696 8289 0 -1 1077944384 13743 12653 0 0 174 4 5 3 20 0 17 0 112762702 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397049457264 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1758] ppid=1693 vsize=14202692 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1758/stat : 1758 (java) S 1693 1696 8289 0 -1 1077944384 3 12653 0 0 0 0 5 3 20 0 17 0 112762702 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397048404704 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1759] ppid=1693 vsize=14202692 memory=2046508 CPUtime=0.2 cores=0,2,4,6
/proc/1696/task/1759/stat : 1759 (java) S 1693 1696 8289 0 -1 1077944384 2347 12653 0 0 6 6 5 3 20 0 17 0 112762707 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140397047351984 140397510134402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1897] ppid=1693 vsize=14202692 memory=18484 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1897/stat : 1897 (java) S 1693 1696 8289 0 -1 1077944384 34 12653 0 0 0 0 5 3 20 0 17 0 112783925 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140396948517104 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
[pid=1696/tid=1898] ppid=1693 vsize=14202692 memory=4362080 CPUtime=0.08 cores=0,2,4,6
/proc/1696/task/1898/stat : 1898 (java) S 1693 1696 8289 0 -1 1077944384 24 12653 0 0 0 0 5 3 20 0 17 0 112783925 14543556608 1099654 18446744073709551615 4194304 4196468 140726682882528 140396947465024 140397510133461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17694720 140726682888112 140726682890897 140726682890897 140726682894287 0
Current children cumulated CPU time: 253.83 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 4398616 KiB
Child status: 143
Real time (s): 213.063
CPU time (s): 253.932
CPU user time (s): 248.194
CPU system time (s): 5.73768
CPU usage (%): 119.182
Max. virtual memory (cumulated for all children) (KiB): 14202692
Max. memory (cumulated for all children) (KiB): 6031064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.194
system time used= 5.73768
maximum resident set size= 6035352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385791
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15467
involuntary context switches= 819
# summary of solver processes directly reported to runsolver:
# pid: 1696
# total CPU time (s): 253.932
# total CPU user time (s): 248.194
# total CPU system time (s): 5.73768
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22615 second user time and 2.12912 second system time
The end