runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741210-1338771951/watcher-3741210-1338771951 -o /tmp/evaluation-result-3741210-1338771951/solver-3741210-1338771951 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3741210-1338771951.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 1638
/proc/meminfo: memFree=26082620/32873624 swapFree=7112/7112
[pid=1638] ppid=1636 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/1638/stat : 1638 (java6) R 1636 1638 31294 0 -1 4202496 102 0 0 0 0 0 0 0 20 0 1 0 343320567 5767168 55 33554432000 1073741824 1073778376 140736706333440 140736706330568 227503336743 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1638/statm: 2303 62 49 9 0 35 0
[startup+0.05204 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 1638
/proc/meminfo: memFree=26082620/32873624 swapFree=7112/7112
[pid=1638] ppid=1636 vsize=2315716 CPUtime=0.02 cores=0,2,4,6
/proc/1638/stat : 1638 (java) S 1636 1638 31294 0 -1 4202496 3696 0 1 0 2 0 0 0 20 0 13 0 343320567 2371293184 4905 33554432000 1073741824 1073778376 140734755209392 140734755200528 227515859005 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1638/statm: 578929 4905 1708 9 0 569630 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2315716
[startup+0.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 1638
/proc/meminfo: memFree=26082620/32873624 swapFree=7112/7112
[pid=1638] ppid=1636 vsize=2648568 CPUtime=0.09 cores=0,2,4,6
/proc/1638/stat : 1638 (java) S 1636 1638 31294 0 -1 4202496 4685 0 1 0 8 1 0 0 20 0 18 0 343320567 2712133632 6403 33554432000 1073741824 1073778376 140734755209392 140734755200528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1638/statm: 662142 6403 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.30016 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 1638
/proc/meminfo: memFree=26082620/32873624 swapFree=7112/7112
[pid=1638] ppid=1636 vsize=2715132 CPUtime=0.52 cores=0,2,4,6
/proc/1638/stat : 1638 (java) S 1636 1638 31294 0 -1 4202496 8247 0 1 0 50 2 0 0 20 0 19 0 343320567 2780295168 10216 33554432000 1073741824 1073778376 140734755209392 140734755200528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1638/statm: 678783 10216 2232 9 0 669476 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2715132
[startup+0.7001 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 1638
/proc/meminfo: memFree=26082620/32873624 swapFree=7112/7112
[pid=1638] ppid=1636 vsize=2715132 CPUtime=1.11 cores=0,2,4,6
/proc/1638/stat : 1638 (java) S 1636 1638 31294 0 -1 4202496 8538 0 1 0 109 2 0 0 20 0 19 0 343320567 2780295168 10742 33554432000 1073741824 1073778376 140734755209392 140734755200528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1638/statm: 678783 10742 2233 9 0 669476 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2715132
[startup+1.50051 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 1659
/proc/meminfo: memFree=26047848/32873624 swapFree=7112/7112
[pid=1638] ppid=1636 vsize=2715132 CPUtime=1.98 cores=0,2,4,6
/proc/1638/stat : 1638 (java) S 1636 1638 31294 0 -1 4202496 8994 0 1 0 196 2 0 0 20 0 19 0 343320567 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140734755200528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1638/statm: 678783 11262 2240 9 0 669476 0
[pid=1638/tid=1640] ppid=1636 vsize=2715132 CPUtime=1.46 cores=0,2,4,6
/proc/1638/task/1640/stat : 1640 (java) R 1636 1638 31294 0 -1 4202560 2752 0 1 0 146 0 0 0 20 0 19 0 343320568 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140139022037608 140138894595414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1641] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1641/stat : 1641 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138888661288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1642] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1642/stat : 1642 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138887608488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1643] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1643/stat : 1643 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138886556200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1638/tid=1644] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1644/stat : 1644 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138885503400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1645] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1645/stat : 1645 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138884451112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1646] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1646/stat : 1646 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138883398312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1647] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1647/stat : 1647 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138882346024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1638/tid=1649] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1649/stat : 1649 (java) S 1636 1638 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138881293224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1650] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1650/stat : 1650 (java) S 1636 1638 31294 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138399099112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1651] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1651/stat : 1651 (java) S 1636 1638 31294 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138398045176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1652] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1652/stat : 1652 (java) S 1636 1638 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138396992776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1653] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1653/stat : 1653 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138395941264 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1654] ppid=1636 vsize=2715132 CPUtime=0.28 cores=0,2,4,6
/proc/1638/task/1654/stat : 1654 (java) S 1636 1638 31294 0 -1 4202560 2603 0 0 0 28 0 0 0 20 0 19 0 343320573 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138394888888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1655] ppid=1636 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/1638/task/1655/stat : 1655 (java) S 1636 1638 31294 0 -1 4202560 2441 0 0 0 20 0 0 0 20 0 19 0 343320573 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138393836088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1657] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1657/stat : 1657 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138392783992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1658] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1658/stat : 1658 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138391731400 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1659] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1659/stat : 1659 (java) S 1636 1638 31294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343320590 2780295168 11262 33554432000 1073741824 1073778376 140734755209392 140138390676392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 2715132
[startup+3.10051 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 1659
/proc/meminfo: memFree=26042760/32873624 swapFree=7112/7112
[pid=1638] ppid=1636 vsize=2715132 CPUtime=3.58 cores=0,2,4,6
/proc/1638/stat : 1638 (java) S 1636 1638 31294 0 -1 4202496 8996 0 1 0 356 2 0 0 20 0 19 0 343320567 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140734755200528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1638/statm: 678783 11774 2240 9 0 669476 0
[pid=1638/tid=1640] ppid=1636 vsize=2715132 CPUtime=3.05 cores=0,2,4,6
/proc/1638/task/1640/stat : 1640 (java) R 1636 1638 31294 0 -1 4202560 2754 0 1 0 305 0 0 0 20 0 19 0 343320568 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140139022037584 140138894554169 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1641] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1641/stat : 1641 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138888661288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1642] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1642/stat : 1642 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138887608488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1643] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1643/stat : 1643 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138886556200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1638/tid=1644] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1644/stat : 1644 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138885503400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1645] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1645/stat : 1645 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138884451112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1646] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1646/stat : 1646 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138883398312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1647] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1647/stat : 1647 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138882346024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1638/tid=1649] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1649/stat : 1649 (java) S 1636 1638 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138881293224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1650] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1650/stat : 1650 (java) S 1636 1638 31294 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138399099112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1651] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1651/stat : 1651 (java) S 1636 1638 31294 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138398045176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1652] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1652/stat : 1652 (java) S 1636 1638 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138396992776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1653] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1653/stat : 1653 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138395941264 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1654] ppid=1636 vsize=2715132 CPUtime=0.28 cores=0,2,4,6
/proc/1638/task/1654/stat : 1654 (java) S 1636 1638 31294 0 -1 4202560 2603 0 0 0 28 0 0 0 20 0 19 0 343320573 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138394888888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1655] ppid=1636 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/1638/task/1655/stat : 1655 (java) S 1636 1638 31294 0 -1 4202560 2441 0 0 0 20 0 0 0 20 0 19 0 343320573 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138393836088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1657] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1657/stat : 1657 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138392783992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1658] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1658/stat : 1658 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138391731400 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1659] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1659/stat : 1659 (java) S 1636 1638 31294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343320590 2780295168 11774 33554432000 1073741824 1073778376 140734755209392 140138390676392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 2715132
[startup+6.30054 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 1659
/proc/meminfo: memFree=26038664/32873624 swapFree=7112/7112
[pid=1638] ppid=1636 vsize=2715132 CPUtime=6.78 cores=0,2,4,6
/proc/1638/stat : 1638 (java) S 1636 1638 31294 0 -1 4202496 9001 0 1 0 676 2 0 0 20 0 19 0 343320567 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140734755200528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1638/statm: 678783 13228 2241 9 0 669476 0
[pid=1638/tid=1640] ppid=1636 vsize=2715132 CPUtime=6.25 cores=0,2,4,6
/proc/1638/task/1640/stat : 1640 (java) R 1636 1638 31294 0 -1 4202560 2758 0 1 0 625 0 0 0 20 0 19 0 343320568 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140139022037568 140138894591753 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1641] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1641/stat : 1641 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138888661288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1642] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1642/stat : 1642 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138887608488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1643] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1643/stat : 1643 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138886556200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1638/tid=1644] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1644/stat : 1644 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138885503400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1645] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1645/stat : 1645 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138884451112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1646] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1646/stat : 1646 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138883398312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1647] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1647/stat : 1647 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138882346024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1638/tid=1649] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1649/stat : 1649 (java) S 1636 1638 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343320569 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138881293224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1650] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1650/stat : 1650 (java) S 1636 1638 31294 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138399099112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1651] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1651/stat : 1651 (java) S 1636 1638 31294 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138398045176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1652] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1652/stat : 1652 (java) S 1636 1638 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138396992776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1653] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1653/stat : 1653 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138395941264 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1654] ppid=1636 vsize=2715132 CPUtime=0.28 cores=0,2,4,6
/proc/1638/task/1654/stat : 1654 (java) S 1636 1638 31294 0 -1 4202560 2603 0 0 0 28 0 0 0 20 0 19 0 343320573 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138394888888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1655] ppid=1636 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/1638/task/1655/stat : 1655 (java) S 1636 1638 31294 0 -1 4202560 2441 0 0 0 20 0 0 0 20 0 19 0 343320573 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138393836088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1657] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1657/stat : 1657 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138392783992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1658] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1658/stat : 1658 (java) S 1636 1638 31294 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138391731400 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1659] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1659/stat : 1659 (java) S 1636 1638 31294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343320590 2780295168 13228 33554432000 1073741824 1073778376 140734755209392 140138390676392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 2715132
[startup+12.7006 s]
################
# More data... #
################
[pid=1638/tid=1654] ppid=1636 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/1638/task/1654/stat : 1654 (java) S 1636 1638 31294 0 -1 4202560 2603 0 0 0 29 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138394888888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1655] ppid=1636 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/1638/task/1655/stat : 1655 (java) S 1636 1638 31294 0 -1 4202560 2441 0 0 0 20 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138393836088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1657] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1657/stat : 1657 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138392783992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1658] ppid=1636 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/1638/task/1658/stat : 1658 (java) S 1636 1638 31294 0 -1 4202560 100 0 0 0 26 27 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138391731400 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1659] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1659/stat : 1659 (java) S 1636 1638 31294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343320590 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138390676392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1723.44
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/211 1950
/proc/meminfo: memFree=25915696/32873624 swapFree=7112/7112
[pid=1638] ppid=1636 vsize=2715132 CPUtime=1783.46 cores=0,2,4,6
/proc/1638/stat : 1638 (java) S 1636 1638 31294 0 -1 4202496 9848 0 1 0 178273 73 0 0 20 0 19 0 343320567 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140734755200528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1638/statm: 678783 163570 2254 9 0 669476 0
[pid=1638/tid=1640] ppid=1636 vsize=2715132 CPUtime=1777.03 cores=0,2,4,6
/proc/1638/task/1640/stat : 1640 (java) R 1636 1638 31294 0 -1 4202560 2914 0 1 0 177663 40 0 0 20 0 19 0 343320568 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140139022036424 140138894553748 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1641] ppid=1636 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/1638/task/1641/stat : 1641 (java) S 1636 1638 31294 0 -1 4202560 76 0 0 0 5 5 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138888661288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1642] ppid=1636 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/1638/task/1642/stat : 1642 (java) S 1636 1638 31294 0 -1 4202560 76 0 0 0 6 4 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138887608488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1643] ppid=1636 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/1638/task/1643/stat : 1643 (java) S 1636 1638 31294 0 -1 4202560 53 0 0 0 3 3 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138886556200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1644] ppid=1636 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/1638/task/1644/stat : 1644 (java) S 1636 1638 31294 0 -1 4202560 142 0 0 0 11 10 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138885503400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1645] ppid=1636 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/1638/task/1645/stat : 1645 (java) S 1636 1638 31294 0 -1 4202560 51 0 0 0 3 3 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138884451112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1646] ppid=1636 vsize=2715132 CPUtime=0.09 cores=0,2,4,6
/proc/1638/task/1646/stat : 1646 (java) S 1636 1638 31294 0 -1 4202560 71 0 0 0 5 4 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138883398312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1647] ppid=1636 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/1638/task/1647/stat : 1647 (java) S 1636 1638 31294 0 -1 4202560 48 0 0 0 4 2 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138882346024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1649] ppid=1636 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/1638/task/1649/stat : 1649 (java) S 1636 1638 31294 0 -1 4202560 74 0 0 0 5 5 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138881293224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1650] ppid=1636 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/1638/task/1650/stat : 1650 (java) S 1636 1638 31294 0 -1 4202560 11 0 0 0 0 1 0 0 20 0 19 0 343320570 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138399099112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1651] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1651/stat : 1651 (java) S 1636 1638 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138398045176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1638/tid=1652] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1652/stat : 1652 (java) S 1636 1638 31294 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138396992776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1638/tid=1653] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1653/stat : 1653 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138395941264 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1654] ppid=1636 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/1638/task/1654/stat : 1654 (java) S 1636 1638 31294 0 -1 4202560 2603 0 0 0 29 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138394888888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1655] ppid=1636 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/1638/task/1655/stat : 1655 (java) S 1636 1638 31294 0 -1 4202560 2441 0 0 0 20 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138393836088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1657] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1657/stat : 1657 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138392783992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1658] ppid=1636 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/1638/task/1658/stat : 1658 (java) S 1636 1638 31294 0 -1 4202560 104 0 0 0 28 28 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138391731400 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1659] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1659/stat : 1659 (java) S 1636 1638 31294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343320590 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138390676392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1783.46
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.9 s]
/proc/loadavg: 2.08 2.02 2.01 3/211 1950
/proc/meminfo: memFree=25909552/32873624 swapFree=7112/7112
[pid=1638] ppid=1636 vsize=2715132 CPUtime=1800.07 cores=0,2,4,6
/proc/1638/stat : 1638 (java) S 1636 1638 31294 0 -1 4202496 9848 0 1 0 179933 74 0 0 20 0 19 0 343320567 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140734755200528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1638/statm: 678783 163570 2254 9 0 669476 0
[pid=1638/tid=1640] ppid=1636 vsize=2715132 CPUtime=1793.6 cores=0,2,4,6
/proc/1638/task/1640/stat : 1640 (java) R 1636 1638 31294 0 -1 4202560 2914 0 1 0 179320 40 0 0 20 0 19 0 343320568 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140139022036424 140138894591349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1641] ppid=1636 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/1638/task/1641/stat : 1641 (java) S 1636 1638 31294 0 -1 4202560 76 0 0 0 5 5 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138888661288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1642] ppid=1636 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/1638/task/1642/stat : 1642 (java) S 1636 1638 31294 0 -1 4202560 76 0 0 0 6 4 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138887608488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1643] ppid=1636 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/1638/task/1643/stat : 1643 (java) S 1636 1638 31294 0 -1 4202560 53 0 0 0 3 3 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138886556200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1644] ppid=1636 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/1638/task/1644/stat : 1644 (java) S 1636 1638 31294 0 -1 4202560 142 0 0 0 11 10 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138885503400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1645] ppid=1636 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/1638/task/1645/stat : 1645 (java) S 1636 1638 31294 0 -1 4202560 51 0 0 0 3 3 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138884451112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1646] ppid=1636 vsize=2715132 CPUtime=0.09 cores=0,2,4,6
/proc/1638/task/1646/stat : 1646 (java) S 1636 1638 31294 0 -1 4202560 71 0 0 0 5 4 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138883398312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1647] ppid=1636 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/1638/task/1647/stat : 1647 (java) S 1636 1638 31294 0 -1 4202560 48 0 0 0 4 2 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138882346024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1649] ppid=1636 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/1638/task/1649/stat : 1649 (java) S 1636 1638 31294 0 -1 4202560 74 0 0 0 5 5 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138881293224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1650] ppid=1636 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/1638/task/1650/stat : 1650 (java) S 1636 1638 31294 0 -1 4202560 11 0 0 0 0 1 0 0 20 0 19 0 343320570 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138399099112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1651] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1651/stat : 1651 (java) S 1636 1638 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138398045176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1638/tid=1652] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1652/stat : 1652 (java) S 1636 1638 31294 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138396992776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1638/tid=1653] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1653/stat : 1653 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138395941264 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1654] ppid=1636 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/1638/task/1654/stat : 1654 (java) S 1636 1638 31294 0 -1 4202560 2603 0 0 0 29 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138394888888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1655] ppid=1636 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/1638/task/1655/stat : 1655 (java) S 1636 1638 31294 0 -1 4202560 2441 0 0 0 20 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138393836088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1657] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1657/stat : 1657 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138392783992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1658] ppid=1636 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/1638/task/1658/stat : 1658 (java) S 1636 1638 31294 0 -1 4202560 104 0 0 0 28 28 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138391731400 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1659] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1659/stat : 1659 (java) S 1636 1638 31294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343320590 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138390676392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.9 s]
/proc/loadavg: 2.08 2.02 2.01 3/211 1950
/proc/meminfo: memFree=25909552/32873624 swapFree=7112/7112
[pid=1638] ppid=1636 vsize=2715132 CPUtime=1800.07 cores=0,2,4,6
/proc/1638/stat : 1638 (java) S 1636 1638 31294 0 -1 4202496 9848 0 1 0 179933 74 0 0 20 0 19 0 343320567 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140734755200528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1638/statm: 678783 163570 2254 9 0 669476 0
[pid=1638/tid=1640] ppid=1636 vsize=2715132 CPUtime=1793.6 cores=0,2,4,6
/proc/1638/task/1640/stat : 1640 (java) R 1636 1638 31294 0 -1 4202560 2914 0 1 0 179320 40 0 0 20 0 19 0 343320568 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140139022036424 140138894591349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1641] ppid=1636 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/1638/task/1641/stat : 1641 (java) S 1636 1638 31294 0 -1 4202560 76 0 0 0 5 5 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138888661288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1642] ppid=1636 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/1638/task/1642/stat : 1642 (java) S 1636 1638 31294 0 -1 4202560 76 0 0 0 6 4 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138887608488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1643] ppid=1636 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/1638/task/1643/stat : 1643 (java) S 1636 1638 31294 0 -1 4202560 53 0 0 0 3 3 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138886556200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1644] ppid=1636 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/1638/task/1644/stat : 1644 (java) S 1636 1638 31294 0 -1 4202560 142 0 0 0 11 10 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138885503400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1645] ppid=1636 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/1638/task/1645/stat : 1645 (java) S 1636 1638 31294 0 -1 4202560 51 0 0 0 3 3 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138884451112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1646] ppid=1636 vsize=2715132 CPUtime=0.09 cores=0,2,4,6
/proc/1638/task/1646/stat : 1646 (java) S 1636 1638 31294 0 -1 4202560 71 0 0 0 5 4 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138883398312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1647] ppid=1636 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/1638/task/1647/stat : 1647 (java) S 1636 1638 31294 0 -1 4202560 48 0 0 0 4 2 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138882346024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1649] ppid=1636 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/1638/task/1649/stat : 1649 (java) S 1636 1638 31294 0 -1 4202560 74 0 0 0 5 5 0 0 20 0 19 0 343320569 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138881293224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1650] ppid=1636 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/1638/task/1650/stat : 1650 (java) S 1636 1638 31294 0 -1 4202560 11 0 0 0 0 1 0 0 20 0 19 0 343320570 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138399099112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1651] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1651/stat : 1651 (java) S 1636 1638 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138398045176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1638/tid=1652] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1652/stat : 1652 (java) S 1636 1638 31294 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343320570 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138396992776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1638/tid=1653] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1653/stat : 1653 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138395941264 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1654] ppid=1636 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/1638/task/1654/stat : 1654 (java) S 1636 1638 31294 0 -1 4202560 2603 0 0 0 29 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138394888888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1638/tid=1655] ppid=1636 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/1638/task/1655/stat : 1655 (java) S 1636 1638 31294 0 -1 4202560 2441 0 0 0 20 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138393836088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1657] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1657/stat : 1657 (java) S 1636 1638 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138392783992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1638/tid=1658] ppid=1636 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/1638/task/1658/stat : 1658 (java) S 1636 1638 31294 0 -1 4202560 104 0 0 0 28 28 0 0 20 0 19 0 343320573 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138391731400 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1638/tid=1659] ppid=1636 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1638/task/1659/stat : 1659 (java) S 1636 1638 31294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343320590 2780295168 163570 33554432000 1073741824 1073778376 140734755209392 140138390676392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2715132
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1638 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=648172
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=192818
# CPU time returned by wait4() is 1795.84
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1798.97
CPU time (s): 1800.07
CPU user time (s): 1799.33
CPU system time (s): 0.74
CPU usage (%): 100.061
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.65
system time used= 1.19282
maximum resident set size= 654472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9900
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38081
involuntary context switches= 24323
runsolver used 6.42302 second user time and 14.1099 second system time
The end