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-3455457-1307196999/watcher-3455457-1307196999 -o /tmp/evaluation-result-3455457-1307196999/solver-3455457-1307196999 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455457-1307196999.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: 3.67 3.60 3.62 3/498 2935
/proc/meminfo: memFree=18482188/32951124 swapFree=67057928/67111528
[pid=2935] ppid=2933 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/2935/stat : 2935 (java) R 2933 2935 2378 0 -1 4202496 1022 0 0 0 0 0 0 0 24 0 1 0 812115292 23580672 767 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 47767284820512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2935/statm: 5757 783 581 9 0 124 0
[pid=2935/tid=2936] ppid=2933 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2936/stat : 2936 (java) R 2933 2935 2378 0 -1 4202560 3239 0 1 0 0 0 0 0 25 0 2 0 812115293 10694979584 4054 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0429409 s]
/proc/loadavg: 3.67 3.60 3.62 3/498 2935
/proc/meminfo: memFree=18482188/32951124 swapFree=67057928/67111528
[pid=2935] ppid=2933 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/2935/stat : 2935 (java) S 2933 2935 2378 0 -1 4202496 11143 0 1 0 2 0 0 0 24 0 13 0 812115292 10718699520 10840 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/2935/statm: 2616870 10841 1653 9 0 2607618 0
[pid=2935/tid=2936] ppid=2933 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/2935/task/2936/stat : 2936 (java) R 2933 2935 2378 0 -1 4202560 9999 0 1 0 2 0 0 0 25 0 13 0 812115293 10718699520 10843 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 47767282101187 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.100883 s]
/proc/loadavg: 3.67 3.60 3.62 3/498 2935
/proc/meminfo: memFree=18482188/32951124 swapFree=67057928/67111528
[pid=2935] ppid=2933 vsize=10540272 CPUtime=0.1 cores=1,3,5,7
/proc/2935/stat : 2935 (java) S 2933 2935 2378 0 -1 4202496 13015 0 1 0 9 1 0 0 24 0 18 0 812115292 10793238528 12712 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2935/statm: 2635068 12713 2093 9 0 2625802 0
[pid=2935/tid=2936] ppid=2933 vsize=10540272 CPUtime=0.08 cores=1,3,5,7
/proc/2935/task/2936/stat : 2936 (java) R 2933 2935 2378 0 -1 4202560 11104 0 1 0 7 1 0 0 18 0 18 0 812115293 10793238528 12714 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 47767281242883 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540272
[startup+0.300879 s]
/proc/loadavg: 3.67 3.60 3.62 3/498 2935
/proc/meminfo: memFree=18482188/32951124 swapFree=67057928/67111528
[pid=2935] ppid=2933 vsize=10543440 CPUtime=0.47 cores=1,3,5,7
/proc/2935/stat : 2935 (java) S 2933 2935 2378 0 -1 4202496 16760 0 1 0 46 1 0 0 24 0 18 0 812115292 10796482560 16163 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2935/statm: 2635860 16163 2201 9 0 2626594 0
[pid=2935/tid=2936] ppid=2933 vsize=10543440 CPUtime=0.28 cores=1,3,5,7
/proc/2935/task/2936/stat : 2936 (java) R 2933 2935 2378 0 -1 4202560 13444 0 1 0 27 1 0 0 18 0 18 0 812115293 10796482560 16164 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 46912505584082 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10543440
[startup+0.700812 s]
/proc/loadavg: 3.67 3.60 3.62 3/498 2935
/proc/meminfo: memFree=18482188/32951124 swapFree=67057928/67111528
[pid=2935] ppid=2933 vsize=10548444 CPUtime=1.27 cores=1,3,5,7
/proc/2935/stat : 2935 (java) S 2933 2935 2378 0 -1 4202496 49957 0 1 0 121 6 0 0 24 0 18 0 812115292 10801606656 47127 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2935/statm: 2637111 47132 2222 9 0 2627845 0
[pid=2935/tid=2936] ppid=2933 vsize=10548444 CPUtime=0.68 cores=1,3,5,7
/proc/2935/task/2936/stat : 2936 (java) R 2933 2935 2378 0 -1 4202560 42611 0 1 0 63 5 0 0 18 0 18 0 812115293 10801606656 47134 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 46912505804414 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 10548444
[startup+1.50064 s]
/proc/loadavg: 3.67 3.60 3.62 4/516 2956
/proc/meminfo: memFree=18182780/32951124 swapFree=67057928/67111528
[pid=2935] ppid=2933 vsize=10556376 CPUtime=3 cores=1,3,5,7
/proc/2935/stat : 2935 (java) S 2933 2935 2378 0 -1 4202496 110027 0 1 0 287 13 0 0 24 0 22 0 812115292 10809729024 103842 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2935/statm: 2639094 103842 2234 9 0 2629828 0
[pid=2935/tid=2936] ppid=2933 vsize=10556376 CPUtime=1.31 cores=1,3,5,7
/proc/2935/task/2936/stat : 2936 (java) S 2933 2935 2378 0 -1 4202560 94529 0 1 0 120 11 0 0 20 0 22 0 812115293 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2938/stat : 2938 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2940] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2940/stat : 2940 (java) S 2933 2935 2378 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2941] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2941/stat : 2941 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2942] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2942/stat : 2942 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2943] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2943/stat : 2943 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2944] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2944/stat : 2944 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2945] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2945/stat : 2945 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2946] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2946/stat : 2946 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2947] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2947/stat : 2947 (java) S 2933 2935 2378 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 812115296 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 0 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2948] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2948/stat : 2948 (java) S 2933 2935 2378 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 812115296 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2949] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2949/stat : 2949 (java) S 2933 2935 2378 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812115296 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2950] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2950/stat : 2950 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115299 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273440177 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2951] ppid=2933 vsize=10556376 CPUtime=0.67 cores=1,3,5,7
/proc/2935/task/2951/stat : 2951 (java) R 2933 2935 2378 0 -1 4202560 4759 0 0 0 67 0 0 0 21 0 22 0 812115299 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273442485 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2935/tid=2953] ppid=2933 vsize=10556376 CPUtime=0.66 cores=1,3,5,7
/proc/2935/task/2953/stat : 2953 (java) R 2933 2935 2378 0 -1 4202560 7674 0 0 0 66 0 0 0 16 0 22 0 812115299 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 47767281589297 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2935/tid=2954] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2954/stat : 2954 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115299 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2955] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2955/stat : 2955 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812115299 10809729024 103844 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 10556376
[startup+3.10136 s]
/proc/loadavg: 3.67 3.60 3.62 5/520 2961
/proc/meminfo: memFree=17844952/32951124 swapFree=67057928/67111528
[pid=2935] ppid=2933 vsize=10556376 CPUtime=6.92 cores=1,3,5,7
/proc/2935/stat : 2935 (java) S 2933 2935 2378 0 -1 4202496 278528 0 1 0 662 30 0 0 24 0 22 0 812115292 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2935/statm: 2639094 271359 2242 9 0 2629828 0
[pid=2935/tid=2936] ppid=2933 vsize=10556376 CPUtime=1.31 cores=1,3,5,7
/proc/2935/task/2936/stat : 2936 (java) S 2933 2935 2378 0 -1 4202560 94529 0 1 0 120 11 0 0 15 0 22 0 812115293 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2938/stat : 2938 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2940] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2940/stat : 2940 (java) S 2933 2935 2378 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2941] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2941/stat : 2941 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2942] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2942/stat : 2942 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2943] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2943/stat : 2943 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2944] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2944/stat : 2944 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2945] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2945/stat : 2945 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2946] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2946/stat : 2946 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115295 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2947] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2947/stat : 2947 (java) S 2933 2935 2378 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 812115296 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 0 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2948] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2948/stat : 2948 (java) S 2933 2935 2378 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 812115296 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2949] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2949/stat : 2949 (java) S 2933 2935 2378 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812115296 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2950] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2950/stat : 2950 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115299 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273440177 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2951] ppid=2933 vsize=10556376 CPUtime=1.01 cores=1,3,5,7
/proc/2935/task/2951/stat : 2951 (java) S 2933 2935 2378 0 -1 4202560 4793 0 0 0 101 0 0 0 15 0 22 0 812115299 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2953] ppid=2933 vsize=10556376 CPUtime=1.05 cores=1,3,5,7
/proc/2935/task/2953/stat : 2953 (java) S 2933 2935 2378 0 -1 4202560 8727 0 0 0 104 1 0 0 15 0 22 0 812115299 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2954] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2954/stat : 2954 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115299 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2955] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2955/stat : 2955 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812115299 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2957] ppid=2933 vsize=10556376 CPUtime=1.76 cores=1,3,5,7
/proc/2935/task/2957/stat : 2957 (java) R 2933 2935 2378 0 -1 4202560 782 0 0 0 176 0 0 0 25 0 22 0 812115426 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 46912506094887 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2935/tid=2959] ppid=2933 vsize=10556376 CPUtime=1.74 cores=1,3,5,7
/proc/2935/task/2959/stat : 2959 (java) R 2933 2935 2378 0 -1 4202560 168528 0 0 0 158 16 0 0 25 0 22 0 812115426 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 46912505856110 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2935/tid=2960] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2960/stat : 2960 (java) S 2933 2935 2378 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 812115432 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2961] ppid=2933 vsize=10556376 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2961/stat : 2961 (java) S 2933 2935 2378 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812115432 10809729024 271359 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 10556376
[startup+6.30083 s]
/proc/loadavg: 3.70 3.60 3.62 5/520 2961
/proc/meminfo: memFree=16925120/32951124 swapFree=67057928/67111528
[pid=2935] ppid=2933 vsize=10555788 CPUtime=13.82 cores=1,3,5,7
/proc/2935/stat : 2935 (java) S 2933 2935 2378 0 -1 4202496 401997 0 1 0 1338 44 0 0 24 0 22 0 812115292 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2935/statm: 2638947 391621 2271 9 0 2629681 0
[pid=2935/tid=2936] ppid=2933 vsize=10555788 CPUtime=1.31 cores=1,3,5,7
/proc/2935/task/2936/stat : 2936 (java) S 2933 2935 2378 0 -1 4202560 94529 0 1 0 120 11 0 0 15 0 22 0 812115293 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2938/stat : 2938 (java) S 2933 2935 2378 0 -1 4202560 456 0 0 0 0 0 0 0 16 0 22 0 812115295 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2940] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2940/stat : 2940 (java) S 2933 2935 2378 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 812115295 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2941] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2941/stat : 2941 (java) S 2933 2935 2378 0 -1 4202560 439 0 0 0 0 0 0 0 16 0 22 0 812115295 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2942] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2942/stat : 2942 (java) S 2933 2935 2378 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 22 0 812115295 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2943] ppid=2933 vsize=10555788 CPUtime=0.03 cores=1,3,5,7
/proc/2935/task/2943/stat : 2943 (java) S 2933 2935 2378 0 -1 4202560 2533 0 0 0 3 0 0 0 16 0 22 0 812115295 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2944] ppid=2933 vsize=10555788 CPUtime=0.04 cores=1,3,5,7
/proc/2935/task/2944/stat : 2944 (java) S 2933 2935 2378 0 -1 4202560 3142 0 0 0 4 0 0 0 18 0 22 0 812115295 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2945] ppid=2933 vsize=10555788 CPUtime=0.03 cores=1,3,5,7
/proc/2935/task/2945/stat : 2945 (java) S 2933 2935 2378 0 -1 4202560 2271 0 0 0 3 0 0 0 18 0 22 0 812115295 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2946] ppid=2933 vsize=10555788 CPUtime=0.03 cores=1,3,5,7
/proc/2935/task/2946/stat : 2946 (java) S 2933 2935 2378 0 -1 4202560 2286 0 0 0 3 0 0 0 18 0 22 0 812115295 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2947] ppid=2933 vsize=10555788 CPUtime=0.14 cores=1,3,5,7
/proc/2935/task/2947/stat : 2947 (java) R 2933 2935 2378 0 -1 4202560 9562 0 0 0 14 0 0 0 15 0 22 0 812115296 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 47767282110822 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=2935/tid=2948] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2948/stat : 2948 (java) S 2933 2935 2378 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812115296 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2949] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2949/stat : 2949 (java) S 2933 2935 2378 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 812115296 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2950] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2950/stat : 2950 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115299 10809126912 391621 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273440177 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/2935/task/2941/stat : 2941 (java) S 2933 2935 2378 0 -1 4202560 11223 0 0 0 71 1 0 0 15 0 22 0 812115295 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2942] ppid=2933 vsize=10555788 CPUtime=0.92 cores=1,3,5,7
/proc/2935/task/2942/stat : 2942 (java) S 2933 2935 2378 0 -1 4202560 11283 0 0 0 91 1 0 0 15 0 22 0 812115295 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2943] ppid=2933 vsize=10555788 CPUtime=0.84 cores=1,3,5,7
/proc/2935/task/2943/stat : 2943 (java) S 2933 2935 2378 0 -1 4202560 14188 0 0 0 83 1 0 0 16 0 22 0 812115295 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2944] ppid=2933 vsize=10555788 CPUtime=0.78 cores=1,3,5,7
/proc/2935/task/2944/stat : 2944 (java) S 2933 2935 2378 0 -1 4202560 13438 0 0 0 77 1 0 0 15 0 22 0 812115295 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2945] ppid=2933 vsize=10555788 CPUtime=0.67 cores=1,3,5,7
/proc/2935/task/2945/stat : 2945 (java) S 2933 2935 2378 0 -1 4202560 9561 0 0 0 66 1 0 0 16 0 22 0 812115295 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2946] ppid=2933 vsize=10555788 CPUtime=0.84 cores=1,3,5,7
/proc/2935/task/2946/stat : 2946 (java) S 2933 2935 2378 0 -1 4202560 11698 0 0 0 83 1 0 0 16 0 22 0 812115295 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2947] ppid=2933 vsize=10555788 CPUtime=24.38 cores=1,3,5,7
/proc/2935/task/2947/stat : 2947 (java) S 2933 2935 2378 0 -1 4202560 56760 0 0 0 2432 6 0 0 15 0 22 0 812115296 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 0 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2948] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2948/stat : 2948 (java) S 2933 2935 2378 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812115296 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2949] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2949/stat : 2949 (java) S 2933 2935 2378 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 812115296 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2950] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2950/stat : 2950 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115299 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273440177 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2951] ppid=2933 vsize=10555788 CPUtime=1.97 cores=1,3,5,7
/proc/2935/task/2951/stat : 2951 (java) S 2933 2935 2378 0 -1 4202560 9161 0 0 0 196 1 0 0 15 0 22 0 812115299 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2953] ppid=2933 vsize=10555788 CPUtime=1.28 cores=1,3,5,7
/proc/2935/task/2953/stat : 2953 (java) S 2933 2935 2378 0 -1 4202560 9445 0 0 0 127 1 0 0 16 0 22 0 812115299 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2954] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2954/stat : 2954 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115299 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2955] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2955/stat : 2955 (java) S 2933 2935 2378 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 812115299 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2957] ppid=2933 vsize=10555788 CPUtime=794.71 cores=1,3,5,7
/proc/2935/task/2957/stat : 2957 (java) R 2933 2935 2378 0 -1 4202560 1413 0 0 0 79471 0 0 0 25 0 22 0 812115426 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 46912506094887 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2935/tid=2959] ppid=2933 vsize=10555788 CPUtime=794.68 cores=1,3,5,7
/proc/2935/task/2959/stat : 2959 (java) R 2933 2935 2378 0 -1 4202560 744144 0 0 0 79387 81 0 0 25 0 22 0 812115426 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 46912506192095 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2935/tid=2960] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2960/stat : 2960 (java) S 2933 2935 2378 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 812115432 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2961] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2961/stat : 2961 (java) S 2933 2935 2378 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812115432 10809126912 988498 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1624.7
Current children cumulated vsize (KiB) 10555788
[startup+882.301 s]
/proc/loadavg: 4.07 3.98 3.82 5/520 3269
/proc/meminfo: memFree=13587172/32951124 swapFree=67057928/67111528
[pid=2935] ppid=2933 vsize=10555788 CPUtime=1742.8 cores=1,3,5,7
/proc/2935/stat : 2935 (java) S 2933 2935 2378 0 -1 4202496 1003324 0 1 0 174164 116 0 0 24 0 22 0 812115292 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2935/statm: 2638947 989652 2271 9 0 2629681 0
[pid=2935/tid=2936] ppid=2933 vsize=10555788 CPUtime=1.31 cores=1,3,5,7
/proc/2935/task/2936/stat : 2936 (java) S 2933 2935 2378 0 -1 4202560 94549 0 1 0 120 11 0 0 15 0 22 0 812115293 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=10555788 CPUtime=0.83 cores=1,3,5,7
/proc/2935/task/2938/stat : 2938 (java) S 2933 2935 2378 0 -1 4202560 7607 0 0 0 82 1 0 0 16 0 22 0 812115295 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2940] ppid=2933 vsize=10555788 CPUtime=0.7 cores=1,3,5,7
/proc/2935/task/2940/stat : 2940 (java) S 2933 2935 2378 0 -1 4202560 6468 0 0 0 69 1 0 0 15 0 22 0 812115295 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2941] ppid=2933 vsize=10555788 CPUtime=0.78 cores=1,3,5,7
/proc/2935/task/2941/stat : 2941 (java) S 2933 2935 2378 0 -1 4202560 11229 0 0 0 77 1 0 0 15 0 22 0 812115295 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2942] ppid=2933 vsize=10555788 CPUtime=0.99 cores=1,3,5,7
/proc/2935/task/2942/stat : 2942 (java) S 2933 2935 2378 0 -1 4202560 11652 0 0 0 98 1 0 0 15 0 22 0 812115295 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2943] ppid=2933 vsize=10555788 CPUtime=0.9 cores=1,3,5,7
/proc/2935/task/2943/stat : 2943 (java) S 2933 2935 2378 0 -1 4202560 14579 0 0 0 88 2 0 0 16 0 22 0 812115295 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2944] ppid=2933 vsize=10555788 CPUtime=0.83 cores=1,3,5,7
/proc/2935/task/2944/stat : 2944 (java) S 2933 2935 2378 0 -1 4202560 13438 0 0 0 82 1 0 0 16 0 22 0 812115295 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2945] ppid=2933 vsize=10555788 CPUtime=0.75 cores=1,3,5,7
/proc/2935/task/2945/stat : 2945 (java) S 2933 2935 2378 0 -1 4202560 9934 0 0 0 74 1 0 0 16 0 22 0 812115295 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2946] ppid=2933 vsize=10555788 CPUtime=0.9 cores=1,3,5,7
/proc/2935/task/2946/stat : 2946 (java) S 2933 2935 2378 0 -1 4202560 11730 0 0 0 89 1 0 0 15 0 22 0 812115295 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2947] ppid=2933 vsize=10555788 CPUtime=26.44 cores=1,3,5,7
/proc/2935/task/2947/stat : 2947 (java) S 2933 2935 2378 0 -1 4202560 56764 0 0 0 2638 6 0 0 15 0 22 0 812115296 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 0 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2948] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2948/stat : 2948 (java) S 2933 2935 2378 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812115296 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2949] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2949/stat : 2949 (java) S 2933 2935 2378 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 812115296 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2950] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2950/stat : 2950 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115299 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273440177 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2951] ppid=2933 vsize=10555788 CPUtime=1.97 cores=1,3,5,7
/proc/2935/task/2951/stat : 2951 (java) S 2933 2935 2378 0 -1 4202560 9161 0 0 0 196 1 0 0 15 0 22 0 812115299 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2953] ppid=2933 vsize=10555788 CPUtime=1.28 cores=1,3,5,7
/proc/2935/task/2953/stat : 2953 (java) S 2933 2935 2378 0 -1 4202560 9445 0 0 0 127 1 0 0 16 0 22 0 812115299 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2954] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2954/stat : 2954 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115299 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2955] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2955/stat : 2955 (java) S 2933 2935 2378 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 812115299 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2957] ppid=2933 vsize=10555788 CPUtime=852.5 cores=1,3,5,7
/proc/2935/task/2957/stat : 2957 (java) R 2933 2935 2378 0 -1 4202560 1416 0 0 0 85250 0 0 0 25 0 22 0 812115426 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 46912506219234 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2935/tid=2959] ppid=2933 vsize=10555788 CPUtime=852.47 cores=1,3,5,7
/proc/2935/task/2959/stat : 2959 (java) R 2933 2935 2378 0 -1 4202560 744144 0 0 0 85166 81 0 0 25 0 22 0 812115426 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 46912506115765 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2935/tid=2960] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2960/stat : 2960 (java) S 2933 2935 2378 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 812115432 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2961] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2961/stat : 2961 (java) S 2933 2935 2378 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812115432 10809126912 989652 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1742.8
Current children cumulated vsize (KiB) 10555788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+911.301 s]
/proc/loadavg: 3.91 3.95 3.82 4/520 3270
/proc/meminfo: memFree=13586660/32951124 swapFree=67057928/67111528
[pid=2935] ppid=2933 vsize=10555788 CPUtime=1800.05 cores=1,3,5,7
/proc/2935/stat : 2935 (java) S 2933 2935 2378 0 -1 4202496 1003375 0 1 0 179889 116 0 0 24 0 22 0 812115292 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2935/statm: 2638947 989695 2271 9 0 2629681 0
[pid=2935/tid=2936] ppid=2933 vsize=10555788 CPUtime=1.31 cores=1,3,5,7
/proc/2935/task/2936/stat : 2936 (java) S 2933 2935 2378 0 -1 4202560 94550 0 1 0 120 11 0 0 15 0 22 0 812115293 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=10555788 CPUtime=0.84 cores=1,3,5,7
/proc/2935/task/2938/stat : 2938 (java) S 2933 2935 2378 0 -1 4202560 7607 0 0 0 83 1 0 0 15 0 22 0 812115295 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2940] ppid=2933 vsize=10555788 CPUtime=0.73 cores=1,3,5,7
/proc/2935/task/2940/stat : 2940 (java) S 2933 2935 2378 0 -1 4202560 6468 0 0 0 72 1 0 0 15 0 22 0 812115295 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2941] ppid=2933 vsize=10555788 CPUtime=0.85 cores=1,3,5,7
/proc/2935/task/2941/stat : 2941 (java) S 2933 2935 2378 0 -1 4202560 11229 0 0 0 84 1 0 0 16 0 22 0 812115295 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2942] ppid=2933 vsize=10555788 CPUtime=1.02 cores=1,3,5,7
/proc/2935/task/2942/stat : 2942 (java) S 2933 2935 2378 0 -1 4202560 11658 0 0 0 101 1 0 0 16 0 22 0 812115295 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2943] ppid=2933 vsize=10555788 CPUtime=0.98 cores=1,3,5,7
/proc/2935/task/2943/stat : 2943 (java) S 2933 2935 2378 0 -1 4202560 14579 0 0 0 96 2 0 0 16 0 22 0 812115295 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2944] ppid=2933 vsize=10555788 CPUtime=0.86 cores=1,3,5,7
/proc/2935/task/2944/stat : 2944 (java) S 2933 2935 2378 0 -1 4202560 13452 0 0 0 85 1 0 0 15 0 22 0 812115295 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2945] ppid=2933 vsize=10555788 CPUtime=0.79 cores=1,3,5,7
/proc/2935/task/2945/stat : 2945 (java) S 2933 2935 2378 0 -1 4202560 9957 0 0 0 78 1 0 0 16 0 22 0 812115295 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 5 0 0 0
[pid=2935/tid=2946] ppid=2933 vsize=10555788 CPUtime=0.92 cores=1,3,5,7
/proc/2935/task/2946/stat : 2946 (java) S 2933 2935 2378 0 -1 4202560 11730 0 0 0 91 1 0 0 15 0 22 0 812115295 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2947] ppid=2933 vsize=10555788 CPUtime=27.31 cores=1,3,5,7
/proc/2935/task/2947/stat : 2947 (java) S 2933 2935 2378 0 -1 4202560 56766 0 0 0 2725 6 0 0 15 0 22 0 812115296 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 0 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2948] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2948/stat : 2948 (java) S 2933 2935 2378 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812115296 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2949] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2949/stat : 2949 (java) S 2933 2935 2378 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 812115296 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2950] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2950/stat : 2950 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115299 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273440177 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2951] ppid=2933 vsize=10555788 CPUtime=1.97 cores=1,3,5,7
/proc/2935/task/2951/stat : 2951 (java) S 2933 2935 2378 0 -1 4202560 9161 0 0 0 196 1 0 0 15 0 22 0 812115299 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2953] ppid=2933 vsize=10555788 CPUtime=1.28 cores=1,3,5,7
/proc/2935/task/2953/stat : 2953 (java) S 2933 2935 2378 0 -1 4202560 9445 0 0 0 127 1 0 0 16 0 22 0 812115299 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2954] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2954/stat : 2954 (java) S 2933 2935 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812115299 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273432473 0 4 0 16800975 18446604464596728768 0 0 -1 1 0 0 0
[pid=2935/tid=2955] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2955/stat : 2955 (java) S 2933 2935 2378 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 812115299 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
[pid=2935/tid=2957] ppid=2933 vsize=10555788 CPUtime=880.55 cores=1,3,5,7
/proc/2935/task/2957/stat : 2957 (java) R 2933 2935 2378 0 -1 4202560 1418 0 0 0 88055 0 0 0 25 0 22 0 812115426 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 46912506110127 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2935/tid=2959] ppid=2933 vsize=10555788 CPUtime=880.52 cores=1,3,5,7
/proc/2935/task/2959/stat : 2959 (java) R 2933 2935 2378 0 -1 4202560 744145 0 0 0 87971 81 0 0 25 0 22 0 812115426 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 46912506115693 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2935/tid=2960] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2960/stat : 2960 (java) S 2933 2935 2378 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 812115432 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 7 0 0 0
[pid=2935/tid=2961] ppid=2933 vsize=10555788 CPUtime=0 cores=1,3,5,7
/proc/2935/task/2961/stat : 2961 (java) S 2933 2935 2378 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812115432 10809126912 989695 33554432000 1073741824 1073778376 140736848981920 18446744073709551615 254273433088 0 4 0 16800975 18446604464596728768 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10555788
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+911.425 s]
/proc/loadavg: 3.91 3.95 3.82 4/520 3270
/proc/meminfo: memFree=13586660/32951124 swapFree=67057928/67111528
[pid=2935] ppid=2933 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/2935/stat : 2935 (java) Z 2933 2935 2378 0 -1 4203548 1003405 0 1 0 179902 123 0 0 17 0 2 0 812115292 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2935/statm: 0 0 0 0 0 0 0
[pid=2935/tid=2957] ppid=2933 vsize=0 CPUtime=880.63 cores=1,3,5,7
/proc/2935/task/2957/stat : 2957 (java) R 2933 2935 2378 0 -1 4203588 1418 0 0 0 88057 6 0 0 25 0 2 0 812115426 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
[startup+911.501 s]
/proc/loadavg: 3.91 3.95 3.82 4/520 3270
/proc/meminfo: memFree=13586660/32951124 swapFree=67057928/67111528
[pid=2935] ppid=2933 vsize=0 CPUtime=1800.32 cores=1,3,5,7
/proc/2935/stat : 2935 (java) Z 2933 2935 2378 0 -1 4203548 1003405 0 1 0 179902 130 0 0 17 0 2 0 812115292 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2935/statm: 0 0 0 0 0 0 0
[pid=2935/tid=2957] ppid=2933 vsize=0 CPUtime=880.71 cores=1,3,5,7
/proc/2935/task/2957/stat : 2957 (java) R 2933 2935 2378 0 -1 4203588 1418 0 0 0 88057 14 0 0 25 0 2 0 812115426 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 911.504
CPU time (s): 1800.34
CPU user time (s): 1799.03
CPU system time (s): 1.3128
CPU usage (%): 197.513
Max. virtual memory (cumulated for all children) (KiB): 10564104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.3128
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1003405
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= 24035
involuntary context switches= 16887
runsolver used 4.26035 second user time and 10.6634 second system time
The end