runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456580-1307221284/watcher-3456580-1307221284 -o /tmp/evaluation-result-3456580-1307221284/solver-3456580-1307221284 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456580-1307221284.opb
running on 4 cores: 1,3,5,7
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.13 2.08 2.02 2/529 12784
/proc/meminfo: memFree=13923732/32951124 swapFree=67111204/67111528
[pid=12784] ppid=12782 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12784/stat : 12784 (java) S 12782 12784 12030 0 -1 4202496 4407 0 1 0 0 0 0 0 25 0 2 0 814544546 10694979584 4109 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12784/statm: 2611079 4123 917 9 0 2602235 0
[pid=12784/tid=12785] ppid=12782 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12785/stat : 12785 (java) R 12782 12784 12030 0 -1 4202560 7442 0 1 0 0 0 0 0 25 0 2 0 814544546 10694979584 8258 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.036599 s]
/proc/loadavg: 2.13 2.08 2.02 2/529 12784
/proc/meminfo: memFree=13923732/32951124 swapFree=67111204/67111528
[pid=12784] ppid=12782 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/12784/stat : 12784 (java) S 12782 12784 12030 0 -1 4202496 11098 0 1 0 2 0 0 0 25 0 13 0 814544546 10718699520 10796 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12784/statm: 2616870 10796 1638 9 0 2607618 0
[pid=12784/tid=12785] ppid=12782 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/12784/task/12785/stat : 12785 (java) S 12782 12784 12030 0 -1 4202560 9957 0 1 0 2 0 0 0 25 0 13 0 814544546 10718699520 10796 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255106788934 0 4 0 16784584 4437936518081806336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.100591 s]
/proc/loadavg: 2.13 2.08 2.02 2/529 12784
/proc/meminfo: memFree=13923732/32951124 swapFree=67111204/67111528
[pid=12784] ppid=12782 vsize=10605388 CPUtime=0.1 cores=1,3,5,7
/proc/12784/stat : 12784 (java) S 12782 12784 12030 0 -1 4202496 13132 0 1 0 9 1 0 0 25 0 18 0 814544546 10859917312 12807 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12784/statm: 2651347 12808 2092 9 0 2642081 0
[pid=12784/tid=12785] ppid=12782 vsize=10605388 CPUtime=0.09 cores=1,3,5,7
/proc/12784/task/12785/stat : 12785 (java) R 12782 12784 12030 0 -1 4202560 11196 0 1 0 8 1 0 0 18 0 18 0 814544546 10859917312 12808 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118595531 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605388
[startup+0.300555 s]
/proc/loadavg: 2.13 2.08 2.02 2/529 12784
/proc/meminfo: memFree=13923732/32951124 swapFree=67111204/67111528
[pid=12784] ppid=12782 vsize=10608084 CPUtime=0.57 cores=1,3,5,7
/proc/12784/stat : 12784 (java) S 12782 12784 12030 0 -1 4202496 19843 0 1 0 55 2 0 0 25 0 18 0 814544546 10862678016 18426 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12784/statm: 2652021 18431 2201 9 0 2642755 0
[pid=12784/tid=12785] ppid=12782 vsize=10608084 CPUtime=0.28 cores=1,3,5,7
/proc/12784/task/12785/stat : 12785 (java) R 12782 12784 12030 0 -1 4202560 15117 0 1 0 27 1 0 0 18 0 18 0 814544546 10862678016 18433 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 46912505554651 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10608084
[startup+0.700481 s]
/proc/loadavg: 2.13 2.08 2.02 2/529 12784
/proc/meminfo: memFree=13923732/32951124 swapFree=67111204/67111528
[pid=12784] ppid=12782 vsize=10608084 CPUtime=0.98 cores=1,3,5,7
/proc/12784/stat : 12784 (java) S 12782 12784 12030 0 -1 4202496 54798 0 1 0 91 7 0 0 25 0 18 0 814544546 10862678016 53381 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12784/statm: 2652021 53384 2201 9 0 2642755 0
[pid=12784/tid=12785] ppid=12782 vsize=10608084 CPUtime=0.69 cores=1,3,5,7
/proc/12784/task/12785/stat : 12785 (java) R 12782 12784 12030 0 -1 4202560 50070 0 1 0 63 6 0 0 18 0 18 0 814544546 10862678016 53386 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10608084
[startup+1.50134 s]
/proc/loadavg: 2.13 2.08 2.02 3/548 12803
/proc/meminfo: memFree=13710060/32951124 swapFree=67111204/67111528
[pid=12784] ppid=12782 vsize=10615000 CPUtime=2.38 cores=1,3,5,7
/proc/12784/stat : 12784 (java) S 12782 12784 12030 0 -1 4202496 67181 0 1 0 230 8 0 0 25 0 19 0 814544546 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12784/statm: 2653750 61705 2225 9 0 2644484 0
[pid=12784/tid=12785] ppid=12782 vsize=10615000 CPUtime=1.48 cores=1,3,5,7
/proc/12784/task/12785/stat : 12785 (java) R 12782 12784 12030 0 -1 4202560 53134 0 1 0 142 6 0 0 18 0 19 0 814544546 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 46912505757163 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12784/tid=12787] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12787/stat : 12787 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12788] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12788/stat : 12788 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12789] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12789/stat : 12789 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12790] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12790/stat : 12790 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12791] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12791/stat : 12791 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12792] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12792/stat : 12792 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12793] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12793/stat : 12793 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12794] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12794/stat : 12794 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12795] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12795/stat : 12795 (java) S 12782 12784 12030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814544549 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 0 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12796] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12796/stat : 12796 (java) S 12782 12784 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814544549 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12797] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12797/stat : 12797 (java) S 12782 12784 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814544549 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12798] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12798/stat : 12798 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118592433 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12799] ppid=12782 vsize=10615000 CPUtime=0.32 cores=1,3,5,7
/proc/12784/task/12799/stat : 12799 (java) R 12782 12784 12030 0 -1 4202560 2566 0 0 0 32 0 0 0 16 0 19 0 814544551 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 47439419536102 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12784/tid=12800] ppid=12782 vsize=10615000 CPUtime=0.55 cores=1,3,5,7
/proc/12784/task/12800/stat : 12800 (java) S 12782 12784 12030 0 -1 4202560 10321 0 0 0 54 1 0 0 16 0 19 0 814544551 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 5 0 0 0
[pid=12784/tid=12801] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12801/stat : 12801 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12802] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12802/stat : 12802 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814544551 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12803] ppid=12782 vsize=10615000 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12803/stat : 12803 (java) S 12782 12784 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814544619 10869760000 61705 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 10615000
[startup+3.10106 s]
/proc/loadavg: 2.13 2.08 2.02 3/548 12803
/proc/meminfo: memFree=13671872/32951124 swapFree=67111204/67111528
[pid=12784] ppid=12782 vsize=10615380 CPUtime=4.23 cores=1,3,5,7
/proc/12784/stat : 12784 (java) S 12782 12784 12030 0 -1 4202496 158144 0 1 0 404 19 0 0 25 0 19 0 814544546 10870149120 152666 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12784/statm: 2653845 152676 2225 9 0 2644579 0
[pid=12784/tid=12785] ppid=12782 vsize=10615380 CPUtime=3.09 cores=1,3,5,7
/proc/12784/task/12785/stat : 12785 (java) R 12782 12784 12030 0 -1 4202560 143949 0 1 0 292 17 0 0 22 0 19 0 814544546 10870149120 152676 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 46912505752759 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12784/tid=12787] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12787/stat : 12787 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10870149120 152677 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12788] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12788/stat : 12788 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10870149120 152683 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12789] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12789/stat : 12789 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10870149120 152687 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12790] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12790/stat : 12790 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10870149120 152687 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12791] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12791/stat : 12791 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10870149120 152692 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12792] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12792/stat : 12792 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10870149120 152697 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12793] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12793/stat : 12793 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10870149120 152697 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12794] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12794/stat : 12794 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10870149120 152701 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12795] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12795/stat : 12795 (java) S 12782 12784 12030 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 814544549 10870149120 152707 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 0 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12796] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12796/stat : 12796 (java) S 12782 12784 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814544549 10870149120 152707 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12797] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12797/stat : 12797 (java) S 12782 12784 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814544549 10870149120 152709 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12798] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12798/stat : 12798 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10870149120 152716 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118592433 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12799] ppid=12782 vsize=10615380 CPUtime=0.42 cores=1,3,5,7
/proc/12784/task/12799/stat : 12799 (java) S 12782 12784 12030 0 -1 4202560 2697 0 0 0 42 0 0 0 15 0 19 0 814544551 10870149120 152718 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12800] ppid=12782 vsize=10615380 CPUtime=0.7 cores=1,3,5,7
/proc/12784/task/12800/stat : 12800 (java) S 12782 12784 12030 0 -1 4202560 10347 0 0 0 69 1 0 0 15 0 19 0 814544551 10870149120 152718 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 5 0 0 0
[pid=12784/tid=12801] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12801/stat : 12801 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10870149120 152725 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12802] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12802/stat : 12802 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814544551 10870149120 152728 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12803] ppid=12782 vsize=10615380 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12803/stat : 12803 (java) S 12782 12784 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814544619 10870149120 152728 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 10615380
[startup+6.30151 s]
/proc/loadavg: 2.12 2.08 2.02 3/548 12803
/proc/meminfo: memFree=12477256/32951124 swapFree=67111204/67111528
[pid=12784] ppid=12782 vsize=10613756 CPUtime=7.51 cores=1,3,5,7
/proc/12784/stat : 12784 (java) S 12782 12784 12030 0 -1 4202496 448366 0 1 0 697 54 0 0 25 0 19 0 814544546 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12784/statm: 2653439 442091 2225 9 0 2644173 0
[pid=12784/tid=12785] ppid=12782 vsize=10613756 CPUtime=6.29 cores=1,3,5,7
/proc/12784/task/12785/stat : 12785 (java) R 12782 12784 12030 0 -1 4202560 433791 0 1 0 577 52 0 0 25 0 19 0 814544546 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 46912505757215 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12784/tid=12787] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12787/stat : 12787 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12788] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12788/stat : 12788 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12789] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12789/stat : 12789 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12790] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12790/stat : 12790 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12791] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12791/stat : 12791 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12792] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12792/stat : 12792 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12793] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12793/stat : 12793 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12794] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12794/stat : 12794 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544548 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12795] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12795/stat : 12795 (java) S 12782 12784 12030 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 814544549 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 0 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12796] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12796/stat : 12796 (java) S 12782 12784 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814544549 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12797] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12797/stat : 12797 (java) S 12782 12784 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814544549 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12798] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12798/stat : 12798 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118592433 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12799] ppid=12782 vsize=10613756 CPUtime=0.5 cores=1,3,5,7
/proc/12784/task/12799/stat : 12799 (java) S 12782 12784 12030 0 -1 4202560 3067 0 0 0 50 0 0 0 15 0 19 0 814544551 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12800] ppid=12782 vsize=10613756 CPUtime=0.7 cores=1,3,5,7
/proc/12784/task/12800/stat : 12800 (java) S 12782 12784 12030 0 -1 4202560 10347 0 0 0 69 1 0 0 15 0 19 0 814544551 10868486144 442091 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/12784/task/12796/stat : 12796 (java) S 12782 12784 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814544549 10868486144 976927 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12797] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12797/stat : 12797 (java) S 12782 12784 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814544549 10868486144 976927 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12798] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12798/stat : 12798 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10868486144 976927 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118592433 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12799] ppid=12782 vsize=10613756 CPUtime=0.67 cores=1,3,5,7
/proc/12784/task/12799/stat : 12799 (java) S 12782 12784 12030 0 -1 4202560 3122 0 0 0 67 0 0 0 15 0 19 0 814544551 10868486144 976927 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12800] ppid=12782 vsize=10613756 CPUtime=1.01 cores=1,3,5,7
/proc/12784/task/12800/stat : 12800 (java) S 12782 12784 12030 0 -1 4202560 10433 0 0 0 100 1 0 0 15 0 19 0 814544551 10868486144 976927 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 5 0 0 0
[pid=12784/tid=12801] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12801/stat : 12801 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10868486144 976927 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12802] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12802/stat : 12802 (java) S 12782 12784 12030 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 814544551 10868486144 976927 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12803] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12803/stat : 12803 (java) S 12782 12784 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814544619 10868486144 976927 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.37
Current children cumulated vsize (KiB) 10613756
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/548 12852
/proc/meminfo: memFree=9032436/32951124 swapFree=67111204/67111528
[pid=12784] ppid=12782 vsize=10613756 CPUtime=1728.62 cores=1,3,5,7
/proc/12784/stat : 12784 (java) S 12782 12784 12030 0 -1 4202496 989475 0 1 0 172742 120 0 0 25 0 19 0 814544546 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12784/statm: 2653439 979447 2242 9 0 2644173 0
[pid=12784/tid=12785] ppid=12782 vsize=10613756 CPUtime=1719.9 cores=1,3,5,7
/proc/12784/task/12785/stat : 12785 (java) R 12782 12784 12030 0 -1 4202560 849323 0 1 0 171895 95 0 0 25 0 19 0 814544546 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 46912506014860 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12784/tid=12787] ppid=12782 vsize=10613756 CPUtime=0.87 cores=1,3,5,7
/proc/12784/task/12787/stat : 12787 (java) S 12782 12784 12030 0 -1 4202560 17062 0 0 0 85 2 0 0 16 0 19 0 814544548 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 5 0 0 0
[pid=12784/tid=12788] ppid=12782 vsize=10613756 CPUtime=0.79 cores=1,3,5,7
/proc/12784/task/12788/stat : 12788 (java) S 12782 12784 12030 0 -1 4202560 12568 0 0 0 78 1 0 0 16 0 19 0 814544548 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12789] ppid=12782 vsize=10613756 CPUtime=0.86 cores=1,3,5,7
/proc/12784/task/12789/stat : 12789 (java) S 12782 12784 12030 0 -1 4202560 19693 0 0 0 84 2 0 0 15 0 19 0 814544548 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12790] ppid=12782 vsize=10613756 CPUtime=0.86 cores=1,3,5,7
/proc/12784/task/12790/stat : 12790 (java) S 12782 12784 12030 0 -1 4202560 15684 0 0 0 83 3 0 0 15 0 19 0 814544548 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12791] ppid=12782 vsize=10613756 CPUtime=0.9 cores=1,3,5,7
/proc/12784/task/12791/stat : 12791 (java) S 12782 12784 12030 0 -1 4202560 16330 0 0 0 88 2 0 0 16 0 19 0 814544548 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12792] ppid=12782 vsize=10613756 CPUtime=0.82 cores=1,3,5,7
/proc/12784/task/12792/stat : 12792 (java) S 12782 12784 12030 0 -1 4202560 12485 0 0 0 80 2 0 0 16 0 19 0 814544548 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12793] ppid=12782 vsize=10613756 CPUtime=0.85 cores=1,3,5,7
/proc/12784/task/12793/stat : 12793 (java) S 12782 12784 12030 0 -1 4202560 13316 0 0 0 84 1 0 0 15 0 19 0 814544548 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12794] ppid=12782 vsize=10613756 CPUtime=0.92 cores=1,3,5,7
/proc/12784/task/12794/stat : 12794 (java) S 12782 12784 12030 0 -1 4202560 18103 0 0 0 90 2 0 0 15 0 19 0 814544548 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12795] ppid=12782 vsize=10613756 CPUtime=0.05 cores=1,3,5,7
/proc/12784/task/12795/stat : 12795 (java) S 12782 12784 12030 0 -1 4202560 108 0 0 0 3 2 0 0 15 0 19 0 814544549 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 0 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12796] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12796/stat : 12796 (java) S 12782 12784 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814544549 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12797] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12797/stat : 12797 (java) S 12782 12784 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814544549 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12798] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12798/stat : 12798 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118592433 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12799] ppid=12782 vsize=10613756 CPUtime=0.67 cores=1,3,5,7
/proc/12784/task/12799/stat : 12799 (java) S 12782 12784 12030 0 -1 4202560 3122 0 0 0 67 0 0 0 15 0 19 0 814544551 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12800] ppid=12782 vsize=10613756 CPUtime=1.01 cores=1,3,5,7
/proc/12784/task/12800/stat : 12800 (java) S 12782 12784 12030 0 -1 4202560 10433 0 0 0 100 1 0 0 15 0 19 0 814544551 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 5 0 0 0
[pid=12784/tid=12801] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12801/stat : 12801 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12802] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12802/stat : 12802 (java) S 12782 12784 12030 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 814544551 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12803] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12803/stat : 12803 (java) S 12782 12784 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814544619 10868486144 979447 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.62
Current children cumulated vsize (KiB) 10613756
[startup+1782.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/548 12902
/proc/meminfo: memFree=10007608/32951124 swapFree=67111204/67111528
[pid=12784] ppid=12782 vsize=10613756 CPUtime=1788.83 cores=1,3,5,7
/proc/12784/stat : 12784 (java) S 12782 12784 12030 0 -1 4202496 995206 0 1 0 178762 121 0 0 25 0 19 0 814544546 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12784/statm: 2653439 985040 2242 9 0 2644173 0
[pid=12784/tid=12785] ppid=12782 vsize=10613756 CPUtime=1779.78 cores=1,3,5,7
/proc/12784/task/12785/stat : 12785 (java) R 12782 12784 12030 0 -1 4202560 849330 0 1 0 177883 95 0 0 25 0 19 0 814544546 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 46912505889878 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12784/tid=12787] ppid=12782 vsize=10613756 CPUtime=0.89 cores=1,3,5,7
/proc/12784/task/12787/stat : 12787 (java) S 12782 12784 12030 0 -1 4202560 17726 0 0 0 87 2 0 0 16 0 19 0 814544548 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 5 0 0 0
[pid=12784/tid=12788] ppid=12782 vsize=10613756 CPUtime=0.8 cores=1,3,5,7
/proc/12784/task/12788/stat : 12788 (java) S 12782 12784 12030 0 -1 4202560 12568 0 0 0 79 1 0 0 15 0 19 0 814544548 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12789] ppid=12782 vsize=10613756 CPUtime=0.95 cores=1,3,5,7
/proc/12784/task/12789/stat : 12789 (java) S 12782 12784 12030 0 -1 4202560 21096 0 0 0 92 3 0 0 15 0 19 0 814544548 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12790] ppid=12782 vsize=10613756 CPUtime=0.9 cores=1,3,5,7
/proc/12784/task/12790/stat : 12790 (java) S 12782 12784 12030 0 -1 4202560 16161 0 0 0 87 3 0 0 16 0 19 0 814544548 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12791] ppid=12782 vsize=10613756 CPUtime=0.93 cores=1,3,5,7
/proc/12784/task/12791/stat : 12791 (java) S 12782 12784 12030 0 -1 4202560 16920 0 0 0 90 3 0 0 16 0 19 0 814544548 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12792] ppid=12782 vsize=10613756 CPUtime=0.88 cores=1,3,5,7
/proc/12784/task/12792/stat : 12792 (java) S 12782 12784 12030 0 -1 4202560 13164 0 0 0 86 2 0 0 15 0 19 0 814544548 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 5 0 0 0
[pid=12784/tid=12793] ppid=12782 vsize=10613756 CPUtime=0.87 cores=1,3,5,7
/proc/12784/task/12793/stat : 12793 (java) S 12782 12784 12030 0 -1 4202560 13426 0 0 0 86 1 0 0 15 0 19 0 814544548 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12794] ppid=12782 vsize=10613756 CPUtime=0.98 cores=1,3,5,7
/proc/12784/task/12794/stat : 12794 (java) S 12782 12784 12030 0 -1 4202560 19895 0 0 0 96 2 0 0 16 0 19 0 814544548 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12795] ppid=12782 vsize=10613756 CPUtime=0.05 cores=1,3,5,7
/proc/12784/task/12795/stat : 12795 (java) S 12782 12784 12030 0 -1 4202560 113 0 0 0 3 2 0 0 15 0 19 0 814544549 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 0 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12796] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12796/stat : 12796 (java) S 12782 12784 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814544549 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12797] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12797/stat : 12797 (java) S 12782 12784 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814544549 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12798] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12798/stat : 12798 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118592433 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12799] ppid=12782 vsize=10613756 CPUtime=0.67 cores=1,3,5,7
/proc/12784/task/12799/stat : 12799 (java) S 12782 12784 12030 0 -1 4202560 3122 0 0 0 67 0 0 0 15 0 19 0 814544551 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12800] ppid=12782 vsize=10613756 CPUtime=1.01 cores=1,3,5,7
/proc/12784/task/12800/stat : 12800 (java) S 12782 12784 12030 0 -1 4202560 10433 0 0 0 100 1 0 0 15 0 19 0 814544551 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 5 0 0 0
[pid=12784/tid=12801] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12801/stat : 12801 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12802] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12802/stat : 12802 (java) S 12782 12784 12030 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 814544551 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12803] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12803/stat : 12803 (java) S 12782 12784 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814544619 10868486144 985040 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.83
Current children cumulated vsize (KiB) 10613756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.4 s]
/proc/loadavg: 2.12 2.06 2.01 3/548 12902
/proc/meminfo: memFree=9968520/32951124 swapFree=67111204/67111528
[pid=12784] ppid=12782 vsize=10613756 CPUtime=1800.01 cores=1,3,5,7
/proc/12784/stat : 12784 (java) S 12782 12784 12030 0 -1 4202496 996302 0 1 0 179880 121 0 0 25 0 19 0 814544546 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12784/statm: 2653439 986104 2242 9 0 2644173 0
[pid=12784/tid=12785] ppid=12782 vsize=10613756 CPUtime=1790.88 cores=1,3,5,7
/proc/12784/task/12785/stat : 12785 (java) R 12782 12784 12030 0 -1 4202560 849332 0 1 0 178993 95 0 0 25 0 19 0 814544546 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 46912506015074 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12784/tid=12787] ppid=12782 vsize=10613756 CPUtime=0.9 cores=1,3,5,7
/proc/12784/task/12787/stat : 12787 (java) S 12782 12784 12030 0 -1 4202560 17738 0 0 0 88 2 0 0 15 0 19 0 814544548 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 5 0 0 0
[pid=12784/tid=12788] ppid=12782 vsize=10613756 CPUtime=0.82 cores=1,3,5,7
/proc/12784/task/12788/stat : 12788 (java) S 12782 12784 12030 0 -1 4202560 12851 0 0 0 81 1 0 0 16 0 19 0 814544548 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12789] ppid=12782 vsize=10613756 CPUtime=0.96 cores=1,3,5,7
/proc/12784/task/12789/stat : 12789 (java) S 12782 12784 12030 0 -1 4202560 21146 0 0 0 93 3 0 0 15 0 19 0 814544548 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12790] ppid=12782 vsize=10613756 CPUtime=0.91 cores=1,3,5,7
/proc/12784/task/12790/stat : 12790 (java) S 12782 12784 12030 0 -1 4202560 16391 0 0 0 88 3 0 0 16 0 19 0 814544548 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12791] ppid=12782 vsize=10613756 CPUtime=0.94 cores=1,3,5,7
/proc/12784/task/12791/stat : 12791 (java) S 12782 12784 12030 0 -1 4202560 17030 0 0 0 91 3 0 0 16 0 19 0 814544548 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12792] ppid=12782 vsize=10613756 CPUtime=0.9 cores=1,3,5,7
/proc/12784/task/12792/stat : 12792 (java) S 12782 12784 12030 0 -1 4202560 13516 0 0 0 88 2 0 0 16 0 19 0 814544548 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 5 0 0 0
[pid=12784/tid=12793] ppid=12782 vsize=10613756 CPUtime=0.88 cores=1,3,5,7
/proc/12784/task/12793/stat : 12793 (java) S 12782 12784 12030 0 -1 4202560 13480 0 0 0 87 1 0 0 16 0 19 0 814544548 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12794] ppid=12782 vsize=10613756 CPUtime=0.99 cores=1,3,5,7
/proc/12784/task/12794/stat : 12794 (java) S 12782 12784 12030 0 -1 4202560 19898 0 0 0 97 2 0 0 15 0 19 0 814544548 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12795] ppid=12782 vsize=10613756 CPUtime=0.05 cores=1,3,5,7
/proc/12784/task/12795/stat : 12795 (java) S 12782 12784 12030 0 -1 4202560 113 0 0 0 3 2 0 0 15 0 19 0 814544549 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 0 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12796] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12796/stat : 12796 (java) S 12782 12784 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814544549 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12797] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12797/stat : 12797 (java) S 12782 12784 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814544549 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
[pid=12784/tid=12798] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12798/stat : 12798 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118592433 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12799] ppid=12782 vsize=10613756 CPUtime=0.67 cores=1,3,5,7
/proc/12784/task/12799/stat : 12799 (java) S 12782 12784 12030 0 -1 4202560 3122 0 0 0 67 0 0 0 15 0 19 0 814544551 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12800] ppid=12782 vsize=10613756 CPUtime=1.01 cores=1,3,5,7
/proc/12784/task/12800/stat : 12800 (java) S 12782 12784 12030 0 -1 4202560 10433 0 0 0 100 1 0 0 15 0 19 0 814544551 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 5 0 0 0
[pid=12784/tid=12801] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12801/stat : 12801 (java) S 12782 12784 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814544551 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118584729 0 4 0 16800975 18446604467562614976 0 0 -1 3 0 0 0
[pid=12784/tid=12802] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12802/stat : 12802 (java) S 12782 12784 12030 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 814544551 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 4 0 16800975 18446604467562614976 0 0 -1 1 0 0 0
[pid=12784/tid=12803] ppid=12782 vsize=10613756 CPUtime=0 cores=1,3,5,7
/proc/12784/task/12803/stat : 12803 (java) S 12782 12784 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814544619 10868486144 986104 33554432000 1073741824 1073778376 140736696891824 18446744073709551615 255118585344 0 4 0 16800975 18446604467562614976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10613756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.6 s]
/proc/loadavg: 2.12 2.06 2.01 3/548 12902
/proc/meminfo: memFree=9968520/32951124 swapFree=67111204/67111528
[pid=12784] ppid=12782 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/12784/stat : 12784 (java) Z 12782 12784 12030 0 -1 4203548 996335 0 1 0 179887 135 0 0 17 0 2 0 814544546 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12784/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.61
CPU time (s): 1800.24
CPU user time (s): 1798.87
CPU system time (s): 1.36679
CPU usage (%): 100.37
Max. virtual memory (cumulated for all children) (KiB): 10617308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.36679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 996335
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45193
involuntary context switches= 19618
runsolver used 9.02063 second user time and 21.9497 second system time
The end