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-3456886-1307660693/watcher-3456886-1307660693 -o /tmp/evaluation-result-3456886-1307660693/solver-3456886-1307660693 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456886-1307660693.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.04 2.04 2.72 2/199 31798
/proc/meminfo: memFree=29437880/32951124 swapFree=67054536/67111528
[pid=31798] ppid=31796 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 29691 0 -1 4202496 1240 0 0 0 0 0 0 0 22 0 2 0 877667175 31272960 960 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31798/statm: 7634 963 736 9 0 385 0
[pid=31798/tid=31799] ppid=31796 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31799/stat : 31799 (java) S 31796 31798 29691 0 -1 4202560 130 0 0 0 0 0 0 0 24 0 2 0 877667176 31268864 963 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271545613959 0 2147483391 0 16784584 18446744071699469502 0 0 -1 3 0 0 0
[startup+0.0809639 s]
/proc/loadavg: 2.04 2.04 2.72 2/199 31798
/proc/meminfo: memFree=29437880/32951124 swapFree=67054536/67111528
[pid=31798] ppid=31796 vsize=10538892 CPUtime=0.07 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 29691 0 -1 4202496 12325 0 1 0 6 1 0 0 22 0 18 0 877667175 10791825408 12022 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31798/statm: 2634723 12025 1934 9 0 2625457 0
[pid=31798/tid=31799] ppid=31796 vsize=10538892 CPUtime=0.06 cores=1,3,5,7
/proc/31798/task/31799/stat : 31799 (java) R 31796 31798 29691 0 -1 4202560 10916 0 1 0 5 1 0 0 18 0 18 0 877667176 10791825408 12026 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 47437864045395 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538892
[startup+0.100996 s]
/proc/loadavg: 2.04 2.04 2.72 2/199 31798
/proc/meminfo: memFree=29437880/32951124 swapFree=67054536/67111528
[pid=31798] ppid=31796 vsize=10539816 CPUtime=0.1 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 29691 0 -1 4202496 13086 0 1 0 9 1 0 0 22 0 18 0 877667175 10792771584 12769 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31798/statm: 2634954 12771 2093 9 0 2625688 0
[pid=31798/tid=31799] ppid=31796 vsize=10539816 CPUtime=0.08 cores=1,3,5,7
/proc/31798/task/31799/stat : 31799 (java) R 31796 31798 29691 0 -1 4202560 11172 0 1 0 7 1 0 0 18 0 18 0 877667176 10792771584 12771 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562364363 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) 10539816
[startup+0.302956 s]
/proc/loadavg: 2.04 2.04 2.72 2/199 31798
/proc/meminfo: memFree=29437880/32951124 swapFree=67054536/67111528
[pid=31798] ppid=31796 vsize=10551712 CPUtime=0.6 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 29691 0 -1 4202496 21991 0 1 0 57 3 0 0 22 0 18 0 877667175 10804953088 20001 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31798/statm: 2637928 20003 2204 9 0 2628662 0
[pid=31798/tid=31799] ppid=31796 vsize=10551712 CPUtime=0.29 cores=1,3,5,7
/proc/31798/task/31799/stat : 31799 (java) R 31796 31798 29691 0 -1 4202560 13477 0 1 0 27 2 0 0 18 0 18 0 877667176 10804953088 20003 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 46912505549737 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10551712
[startup+0.700886 s]
/proc/loadavg: 2.04 2.04 2.72 2/199 31798
/proc/meminfo: memFree=29437880/32951124 swapFree=67054536/67111528
[pid=31798] ppid=31796 vsize=10551712 CPUtime=1.17 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 29691 0 -1 4202496 55527 0 1 0 110 7 0 0 22 0 18 0 877667175 10804953088 53165 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31798/statm: 2637928 53169 2213 9 0 2628662 0
[pid=31798/tid=31799] ppid=31796 vsize=10551712 CPUtime=0.68 cores=1,3,5,7
/proc/31798/task/31799/stat : 31799 (java) R 31796 31798 29691 0 -1 4202560 46527 0 1 0 62 6 0 0 18 0 18 0 877667176 10804953088 53171 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10551712
[startup+1.50074 s]
/proc/loadavg: 2.04 2.04 2.72 5/218 31817
/proc/meminfo: memFree=29139192/32951124 swapFree=67054536/67111528
[pid=31798] ppid=31796 vsize=10552740 CPUtime=2.45 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 29691 0 -1 4202496 100997 0 1 0 233 12 0 0 22 0 19 0 877667175 10806005760 95801 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31798/statm: 2638185 95803 2232 9 0 2628919 0
[pid=31798/tid=31799] ppid=31796 vsize=10552740 CPUtime=1.49 cores=1,3,5,7
/proc/31798/task/31799/stat : 31799 (java) R 31796 31798 29691 0 -1 4202560 88939 0 1 0 138 11 0 0 20 0 19 0 877667176 10806005760 95804 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 46912505570815 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31798/tid=31801] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31801/stat : 31801 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 95805 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31802/stat : 31802 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 95806 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31803/stat : 31803 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 95806 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31804] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31804/stat : 31804 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 95808 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31805] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31805/stat : 31805 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 95809 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31806] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 95810 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 95811 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 95812 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 29691 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 877667178 10806005760 95813 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 29691 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877667179 10806005760 95814 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877667179 10806005760 95815 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 95816 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=10552740 CPUtime=0.48 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 29691 0 -1 4202560 5218 0 0 0 48 0 0 0 18 0 19 0 877667181 10806005760 95817 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=10552740 CPUtime=0.46 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 29691 0 -1 4202560 5686 0 0 0 46 0 0 0 15 0 19 0 877667181 10806005760 95818 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 95819 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877667181 10806005760 95820 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 29691 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 877667271 10806005760 95821 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 10552740
[startup+3.10145 s]
/proc/loadavg: 2.03 2.03 2.71 3/218 31817
/proc/meminfo: memFree=28958148/32951124 swapFree=67054536/67111528
[pid=31798] ppid=31796 vsize=10552740 CPUtime=4.42 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 29691 0 -1 4202496 180369 0 1 0 420 22 0 0 22 0 19 0 877667175 10806005760 173206 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31798/statm: 2638185 173207 2237 9 0 2628919 0
[pid=31798/tid=31799] ppid=31796 vsize=10552740 CPUtime=3.09 cores=1,3,5,7
/proc/31798/task/31799/stat : 31799 (java) R 31796 31798 29691 0 -1 4202560 166240 0 1 0 289 20 0 0 25 0 19 0 877667176 10806005760 173208 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 46912505856033 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31798/tid=31801] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31801/stat : 31801 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 173209 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31802/stat : 31802 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 173211 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31803/stat : 31803 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 173212 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31804] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31804/stat : 31804 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 173213 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31805] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31805/stat : 31805 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 173215 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31806] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 173216 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 173218 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 173220 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 29691 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877667178 10806005760 173222 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 29691 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877667179 10806005760 173223 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877667179 10806005760 173225 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 173227 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=10552740 CPUtime=0.69 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 29691 0 -1 4202560 6710 0 0 0 69 0 0 0 15 0 19 0 877667181 10806005760 173229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=10552740 CPUtime=0.61 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 29691 0 -1 4202560 6261 0 0 0 61 0 0 0 15 0 19 0 877667181 10806005760 173230 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 173231 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877667181 10806005760 173232 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 29691 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 877667271 10806005760 173233 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 10552740
[startup+6.30087 s]
/proc/loadavg: 2.03 2.03 2.71 3/218 31817
/proc/meminfo: memFree=28237956/32951124 swapFree=67054536/67111528
[pid=31798] ppid=31796 vsize=10552740 CPUtime=7.86 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 29691 0 -1 4202496 362104 0 1 0 746 40 0 0 22 0 19 0 877667175 10806005760 352708 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31798/statm: 2638185 352709 2239 9 0 2628919 0
[pid=31798/tid=31799] ppid=31796 vsize=10552740 CPUtime=6.28 cores=1,3,5,7
/proc/31798/task/31799/stat : 31799 (java) R 31796 31798 29691 0 -1 4202560 345714 0 1 0 590 38 0 0 25 0 19 0 877667176 10806005760 352710 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 46912505856033 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31798/tid=31801] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31801/stat : 31801 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 352711 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31802/stat : 31802 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 352712 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31803/stat : 31803 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 352713 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31804] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31804/stat : 31804 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 352714 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31805] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31805/stat : 31805 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 352715 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31806] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 352716 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 352718 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667177 10806005760 352719 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 29691 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877667178 10806005760 352721 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 29691 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877667179 10806005760 352722 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877667179 10806005760 352724 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 352725 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=10552740 CPUtime=0.79 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 29691 0 -1 4202560 6722 0 0 0 79 0 0 0 15 0 19 0 877667181 10806005760 352727 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=10552740 CPUtime=0.77 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 29691 0 -1 4202560 8509 0 0 0 76 1 0 0 15 0 19 0 877667181 10806005760 352728 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 29691 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877667179 10806005760 924705 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 29691 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877667179 10806005760 924705 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 924705 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=10552740 CPUtime=1.1 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 29691 0 -1 4202560 6796 0 0 0 110 0 0 0 15 0 19 0 877667181 10806005760 924705 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=10552740 CPUtime=0.81 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 29691 0 -1 4202560 8516 0 0 0 80 1 0 0 15 0 19 0 877667181 10806005760 924705 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 924705 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 29691 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 877667181 10806005760 924705 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 29691 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 877667271 10806005760 924705 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1669.6
Current children cumulated vsize (KiB) 10552740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/218 31863
/proc/meminfo: memFree=24602996/32951124 swapFree=67054536/67111528
[pid=31798] ppid=31796 vsize=10552740 CPUtime=1729.82 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 29691 0 -1 4202496 936032 0 1 0 172876 106 0 0 22 0 19 0 877667175 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31798/statm: 2638185 925636 2268 9 0 2628919 0
[pid=31798/tid=31799] ppid=31796 vsize=10552740 CPUtime=1718.78 cores=1,3,5,7
/proc/31798/task/31799/stat : 31799 (java) R 31796 31798 29691 0 -1 4202560 816527 0 1 0 171788 90 0 0 25 0 19 0 877667176 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 46912505907362 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31798/tid=31801] ppid=31796 vsize=10552740 CPUtime=0.91 cores=1,3,5,7
/proc/31798/task/31801/stat : 31801 (java) S 31796 31798 29691 0 -1 4202560 10613 0 0 0 90 1 0 0 16 0 19 0 877667177 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=10552740 CPUtime=0.88 cores=1,3,5,7
/proc/31798/task/31802/stat : 31802 (java) S 31796 31798 29691 0 -1 4202560 10618 0 0 0 87 1 0 0 15 0 19 0 877667177 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=10552740 CPUtime=0.76 cores=1,3,5,7
/proc/31798/task/31803/stat : 31803 (java) S 31796 31798 29691 0 -1 4202560 9141 0 0 0 75 1 0 0 15 0 19 0 877667177 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31804] ppid=31796 vsize=10552740 CPUtime=0.9 cores=1,3,5,7
/proc/31798/task/31804/stat : 31804 (java) S 31796 31798 29691 0 -1 4202560 11227 0 0 0 88 2 0 0 16 0 19 0 877667177 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31805] ppid=31796 vsize=10552740 CPUtime=0.97 cores=1,3,5,7
/proc/31798/task/31805/stat : 31805 (java) S 31796 31798 29691 0 -1 4202560 10248 0 0 0 96 1 0 0 15 0 19 0 877667177 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=31798/tid=31806] ppid=31796 vsize=10552740 CPUtime=1.03 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 29691 0 -1 4202560 12538 0 0 0 102 1 0 0 15 0 19 0 877667177 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=10552740 CPUtime=1.05 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 29691 0 -1 4202560 11036 0 0 0 104 1 0 0 16 0 19 0 877667177 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=10552740 CPUtime=0.99 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 29691 0 -1 4202560 9871 0 0 0 99 0 0 0 16 0 19 0 877667177 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=10552740 CPUtime=1.52 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 29691 0 -1 4202560 17651 0 0 0 151 1 0 0 15 0 19 0 877667178 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 29691 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877667179 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 29691 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877667179 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=10552740 CPUtime=1.1 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 29691 0 -1 4202560 6796 0 0 0 110 0 0 0 15 0 19 0 877667181 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=10552740 CPUtime=0.81 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 29691 0 -1 4202560 8516 0 0 0 80 1 0 0 15 0 19 0 877667181 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 29691 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 877667181 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 29691 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 877667271 10806005760 925636 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1729.82
Current children cumulated vsize (KiB) 10552740
[startup+1782.3 s]
/proc/loadavg: 1.91 1.98 2.08 2/194 31892
/proc/meminfo: memFree=28386304/32951124 swapFree=67054536/67111528
[pid=31798] ppid=31796 vsize=10552740 CPUtime=1790.08 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 29691 0 -1 4202496 938651 0 1 0 178901 107 0 0 22 0 19 0 877667175 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31798/statm: 2638185 928229 2268 9 0 2628919 0
[pid=31798/tid=31799] ppid=31796 vsize=10552740 CPUtime=1778.27 cores=1,3,5,7
/proc/31798/task/31799/stat : 31799 (java) R 31796 31798 29691 0 -1 4202560 816531 0 1 0 177737 90 0 0 25 0 19 0 877667176 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 46912505907942 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31798/tid=31801] ppid=31796 vsize=10552740 CPUtime=0.94 cores=1,3,5,7
/proc/31798/task/31801/stat : 31801 (java) S 31796 31798 29691 0 -1 4202560 10630 0 0 0 93 1 0 0 15 0 19 0 877667177 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=10552740 CPUtime=0.91 cores=1,3,5,7
/proc/31798/task/31802/stat : 31802 (java) S 31796 31798 29691 0 -1 4202560 10869 0 0 0 90 1 0 0 16 0 19 0 877667177 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=10552740 CPUtime=0.8 cores=1,3,5,7
/proc/31798/task/31803/stat : 31803 (java) S 31796 31798 29691 0 -1 4202560 9625 0 0 0 79 1 0 0 16 0 19 0 877667177 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31804] ppid=31796 vsize=10552740 CPUtime=0.94 cores=1,3,5,7
/proc/31798/task/31804/stat : 31804 (java) S 31796 31798 29691 0 -1 4202560 11466 0 0 0 92 2 0 0 15 0 19 0 877667177 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31805] ppid=31796 vsize=10552740 CPUtime=1 cores=1,3,5,7
/proc/31798/task/31805/stat : 31805 (java) S 31796 31798 29691 0 -1 4202560 10354 0 0 0 99 1 0 0 16 0 19 0 877667177 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=31798/tid=31806] ppid=31796 vsize=10552740 CPUtime=1.09 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 29691 0 -1 4202560 12773 0 0 0 108 1 0 0 16 0 19 0 877667177 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=10552740 CPUtime=1.11 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 29691 0 -1 4202560 11234 0 0 0 110 1 0 0 16 0 19 0 877667177 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=10552740 CPUtime=1.02 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 29691 0 -1 4202560 9895 0 0 0 102 0 0 0 16 0 19 0 877667177 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=10552740 CPUtime=1.96 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 29691 0 -1 4202560 18708 0 0 0 194 2 0 0 15 0 19 0 877667178 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 29691 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877667179 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 29691 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877667179 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=10552740 CPUtime=1.1 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 29691 0 -1 4202560 6796 0 0 0 110 0 0 0 15 0 19 0 877667181 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=10552740 CPUtime=0.81 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 29691 0 -1 4202560 8516 0 0 0 80 1 0 0 15 0 19 0 877667181 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 29691 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877667181 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 29691 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 877667271 10806005760 928229 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1790.08
Current children cumulated vsize (KiB) 10552740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.2 s]
/proc/loadavg: 1.77 1.95 2.07 2/194 31892
/proc/meminfo: memFree=28386316/32951124 swapFree=67054536/67111528
[pid=31798] ppid=31796 vsize=10552740 CPUtime=1800.04 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 29691 0 -1 4202496 938667 0 1 0 179897 107 0 0 22 0 19 0 877667175 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31798/statm: 2638185 928242 2268 9 0 2628919 0
[pid=31798/tid=31799] ppid=31796 vsize=10552740 CPUtime=1788.16 cores=1,3,5,7
/proc/31798/task/31799/stat : 31799 (java) R 31796 31798 29691 0 -1 4202560 816532 0 1 0 178726 90 0 0 25 0 19 0 877667176 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 46912505916668 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31798/tid=31801] ppid=31796 vsize=10552740 CPUtime=0.94 cores=1,3,5,7
/proc/31798/task/31801/stat : 31801 (java) S 31796 31798 29691 0 -1 4202560 10630 0 0 0 93 1 0 0 15 0 19 0 877667177 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=10552740 CPUtime=0.93 cores=1,3,5,7
/proc/31798/task/31802/stat : 31802 (java) S 31796 31798 29691 0 -1 4202560 10877 0 0 0 92 1 0 0 16 0 19 0 877667177 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=10552740 CPUtime=0.8 cores=1,3,5,7
/proc/31798/task/31803/stat : 31803 (java) S 31796 31798 29691 0 -1 4202560 9625 0 0 0 79 1 0 0 15 0 19 0 877667177 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31804] ppid=31796 vsize=10552740 CPUtime=0.96 cores=1,3,5,7
/proc/31798/task/31804/stat : 31804 (java) S 31796 31798 29691 0 -1 4202560 11467 0 0 0 94 2 0 0 16 0 19 0 877667177 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=31798/tid=31805] ppid=31796 vsize=10552740 CPUtime=1.02 cores=1,3,5,7
/proc/31798/task/31805/stat : 31805 (java) S 31796 31798 29691 0 -1 4202560 10356 0 0 0 101 1 0 0 16 0 19 0 877667177 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31806] ppid=31796 vsize=10552740 CPUtime=1.11 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 29691 0 -1 4202560 12775 0 0 0 110 1 0 0 16 0 19 0 877667177 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=10552740 CPUtime=1.11 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 29691 0 -1 4202560 11234 0 0 0 110 1 0 0 15 0 19 0 877667177 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=10552740 CPUtime=1.02 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 29691 0 -1 4202560 9895 0 0 0 102 0 0 0 15 0 19 0 877667177 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=10552740 CPUtime=1.96 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 29691 0 -1 4202560 18710 0 0 0 194 2 0 0 15 0 19 0 877667178 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 29691 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877667179 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 29691 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877667179 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=10552740 CPUtime=1.1 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 29691 0 -1 4202560 6796 0 0 0 110 0 0 0 15 0 19 0 877667181 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 1 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=10552740 CPUtime=0.81 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 29691 0 -1 4202560 8516 0 0 0 80 1 0 0 15 0 19 0 877667181 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667181 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 29691 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877667181 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 29691 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 877667271 10806005760 928242 33554432000 1073741824 1073778376 140736040213696 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10552740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.31 s]
/proc/loadavg: 1.77 1.95 2.07 2/194 31892
/proc/meminfo: memFree=28386316/32951124 swapFree=67054536/67111528
[pid=31798] ppid=31796 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/31798/stat : 31798 (java) Z 31796 31798 29691 0 -1 4203548 938698 0 1 0 179904 114 0 0 17 0 2 0 877667175 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31798/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.37
CPU time (s): 1800.25
CPU user time (s): 1799.05
CPU system time (s): 1.20082
CPU usage (%): 100.44
Max. virtual memory (cumulated for all children) (KiB): 10552740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.20082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 938698
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= 40011
involuntary context switches= 23856
runsolver used 2.72959 second user time and 7.06792 second system time
The end