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-3456404-1307657367/watcher-3456404-1307657367 -o /tmp/evaluation-result-3456404-1307657367/solver-3456404-1307657367 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456404-1307657367.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: 1.06 1.55 1.82 2/189 25948
/proc/meminfo: memFree=31865676/32951124 swapFree=67050916/67111528
[pid=25948] ppid=25946 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/25948/stat : 25948 (java) S 25946 25948 25204 0 -1 4202496 1218 0 0 0 0 0 0 0 18 0 2 0 858152986 31260672 938 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051458021 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/25948/statm: 7632 946 721 9 0 383 0
[pid=25948/tid=25949] ppid=25946 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25949/stat : 25949 (java) R 25946 25948 25204 0 -1 4202560 123 0 0 0 0 0 0 0 19 0 2 0 858152987 31260672 957 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212039655168 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.068274 s]
/proc/loadavg: 1.06 1.55 1.82 2/189 25948
/proc/meminfo: memFree=31865676/32951124 swapFree=67050916/67111528
[pid=25948] ppid=25946 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/25948/stat : 25948 (java) S 25946 25948 25204 0 -1 4202496 11839 0 1 0 5 1 0 0 18 0 18 0 858152986 10724442112 11536 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25948/statm: 2618272 11536 1742 9 0 2609006 0
[pid=25948/tid=25949] ppid=25946 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/25948/task/25949/stat : 25949 (java) R 25946 25948 25204 0 -1 4202560 10665 0 1 0 4 1 0 0 25 0 18 0 858152987 10724442112 11536 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 47663706272515 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100266 s]
/proc/loadavg: 1.06 1.55 1.82 2/189 25948
/proc/meminfo: memFree=31865676/32951124 swapFree=67050916/67111528
[pid=25948] ppid=25946 vsize=10474924 CPUtime=0.1 cores=1,3,5,7
/proc/25948/stat : 25948 (java) S 25946 25948 25204 0 -1 4202496 13053 0 1 0 9 1 0 0 18 0 18 0 858152986 10726322176 12750 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25948/statm: 2618731 12751 2093 9 0 2609465 0
[pid=25948/tid=25949] ppid=25946 vsize=10474924 CPUtime=0.08 cores=1,3,5,7
/proc/25948/task/25949/stat : 25949 (java) R 25946 25948 25204 0 -1 4202560 11138 0 1 0 7 1 0 0 18 0 18 0 858152987 10726322176 12751 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 47663710767924 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) 10474924
[startup+0.300237 s]
/proc/loadavg: 1.06 1.55 1.82 2/189 25948
/proc/meminfo: memFree=31865676/32951124 swapFree=67050916/67111528
[pid=25948] ppid=25946 vsize=10541756 CPUtime=0.47 cores=1,3,5,7
/proc/25948/stat : 25948 (java) S 25946 25948 25204 0 -1 4202496 21332 0 1 0 44 3 0 0 18 0 18 0 858152986 10794758144 20393 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25948/statm: 2635439 20396 2200 9 0 2626173 0
[pid=25948/tid=25949] ppid=25946 vsize=10541756 CPUtime=0.28 cores=1,3,5,7
/proc/25948/task/25949/stat : 25949 (java) R 25946 25948 25204 0 -1 4202560 17870 0 1 0 26 2 0 0 18 0 18 0 858152987 10794758144 20398 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 46912505604721 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) 10541756
[startup+0.701161 s]
/proc/loadavg: 1.06 1.55 1.82 2/189 25948
/proc/meminfo: memFree=31865676/32951124 swapFree=67050916/67111528
[pid=25948] ppid=25946 vsize=10541756 CPUtime=0.87 cores=1,3,5,7
/proc/25948/stat : 25948 (java) S 25946 25948 25204 0 -1 4202496 47387 0 1 0 81 6 0 0 18 0 18 0 858152986 10794758144 46448 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25948/statm: 2635439 46448 2200 9 0 2626173 0
[pid=25948/tid=25949] ppid=25946 vsize=10541756 CPUtime=0.69 cores=1,3,5,7
/proc/25948/task/25949/stat : 25949 (java) R 25946 25948 25204 0 -1 4202560 43920 0 1 0 63 6 0 0 18 0 18 0 858152987 10794758144 46448 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 46912505211820 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 10541756
[startup+1.50102 s]
/proc/loadavg: 1.14 1.56 1.82 4/212 25971
/proc/meminfo: memFree=31363752/32951124 swapFree=67050916/67111528
[pid=25948] ppid=25946 vsize=10557400 CPUtime=2.13 cores=1,3,5,7
/proc/25948/stat : 25948 (java) S 25946 25948 25204 0 -1 4202496 113512 0 1 0 200 13 0 0 18 0 18 0 858152986 10810777600 109964 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25948/statm: 2639350 109968 2212 9 0 2630084 0
[pid=25948/tid=25949] ppid=25946 vsize=10557400 CPUtime=1.48 cores=1,3,5,7
/proc/25948/task/25949/stat : 25949 (java) R 25946 25948 25204 0 -1 4202560 102199 0 1 0 136 12 0 0 19 0 18 0 858152987 10810777600 109971 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 46912505633848 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25948/tid=25956] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25956/stat : 25956 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 858152988 10810777600 109973 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25957] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25957/stat : 25957 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 858152988 10810777600 109975 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25958] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25958/stat : 25958 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 858152988 10810777600 109977 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25959] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25959/stat : 25959 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 858152988 10810777600 109979 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25960] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25960/stat : 25960 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 858152988 10810777600 109981 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25961] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25961/stat : 25961 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 858152988 10810777600 109983 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25962] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25962/stat : 25962 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 858152988 10810777600 109987 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25963] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25963/stat : 25963 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 858152988 10810777600 109988 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25964] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25964/stat : 25964 (java) S 25946 25948 25204 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 858152989 10810777600 109990 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 0 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25965] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25965/stat : 25965 (java) S 25946 25948 25204 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 858152990 10810777600 109992 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25966] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25966/stat : 25966 (java) S 25946 25948 25204 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 858152990 10810777600 109994 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25967] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25967/stat : 25967 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858152992 10810777600 109996 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051478961 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25968] ppid=25946 vsize=10557400 CPUtime=0.28 cores=1,3,5,7
/proc/25948/task/25968/stat : 25968 (java) S 25946 25948 25204 0 -1 4202560 3605 0 0 0 28 0 0 0 16 0 18 0 858152992 10810777600 109999 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25969] ppid=25946 vsize=10557400 CPUtime=0.34 cores=1,3,5,7
/proc/25948/task/25969/stat : 25969 (java) S 25946 25948 25204 0 -1 4202560 6565 0 0 0 34 0 0 0 18 0 18 0 858152992 10810777600 110001 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25970] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25970/stat : 25970 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858152992 10810777600 110003 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25971] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25971/stat : 25971 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 858152992 10810777600 110005 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 10557400
[startup+3.10073 s]
/proc/loadavg: 1.14 1.56 1.82 3/213 25972
/proc/meminfo: memFree=30714856/32951124 swapFree=67050916/67111528
[pid=25948] ppid=25946 vsize=10557400 CPUtime=3.93 cores=1,3,5,7
/proc/25948/stat : 25948 (java) S 25946 25948 25204 0 -1 4202496 216699 0 1 0 369 24 0 0 18 0 18 0 858152986 10810777600 212926 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25948/statm: 2639350 212928 2228 9 0 2630084 0
[pid=25948/tid=25949] ppid=25946 vsize=10557400 CPUtime=3.09 cores=1,3,5,7
/proc/25948/task/25949/stat : 25949 (java) R 25946 25948 25204 0 -1 4202560 205124 0 1 0 286 23 0 0 25 0 18 0 858152987 10810777600 212929 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 46912505673299 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25948/tid=25956] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25956/stat : 25956 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 858152988 10810777600 212930 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25957] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25957/stat : 25957 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 858152988 10810777600 212930 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25958] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25958/stat : 25958 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 858152988 10810777600 212931 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25959] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25959/stat : 25959 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 858152988 10810777600 212932 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25960] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25960/stat : 25960 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 858152988 10810777600 212933 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25961] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25961/stat : 25961 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 858152988 10810777600 212934 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25962] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25962/stat : 25962 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 858152988 10810777600 212935 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25963] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25963/stat : 25963 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 858152988 10810777600 212936 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25964] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25964/stat : 25964 (java) S 25946 25948 25204 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 858152989 10810777600 212937 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 0 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25965] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25965/stat : 25965 (java) S 25946 25948 25204 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 858152990 10810777600 212938 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25966] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25966/stat : 25966 (java) S 25946 25948 25204 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 858152990 10810777600 212939 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25967] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25967/stat : 25967 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858152992 10810777600 212939 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051478961 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25968] ppid=25946 vsize=10557400 CPUtime=0.36 cores=1,3,5,7
/proc/25948/task/25968/stat : 25968 (java) R 25946 25948 25204 0 -1 4202560 3840 0 0 0 36 0 0 0 15 0 18 0 858152992 10810777600 212940 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 47663706580567 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25948/tid=25969] ppid=25946 vsize=10557400 CPUtime=0.45 cores=1,3,5,7
/proc/25948/task/25969/stat : 25969 (java) S 25946 25948 25204 0 -1 4202560 6588 0 0 0 45 0 0 0 17 0 18 0 858152992 10810777600 212941 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25970] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25970/stat : 25970 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858152992 10810777600 212942 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25971] ppid=25946 vsize=10557400 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25971/stat : 25971 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 858152992 10810777600 212943 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 10557400
[startup+6.30116 s]
/proc/loadavg: 1.21 1.57 1.82 3/214 25973
/proc/meminfo: memFree=29948560/32951124 swapFree=67050916/67111528
[pid=25948] ppid=25946 vsize=10558428 CPUtime=7.52 cores=1,3,5,7
/proc/25948/stat : 25948 (java) S 25946 25948 25204 0 -1 4202496 349458 0 1 0 713 39 0 0 18 0 19 0 858152986 10811830272 344712 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25948/statm: 2639607 344713 2237 9 0 2630341 0
[pid=25948/tid=25949] ppid=25946 vsize=10558428 CPUtime=6.29 cores=1,3,5,7
/proc/25948/task/25949/stat : 25949 (java) R 25946 25948 25204 0 -1 4202560 337174 0 1 0 591 38 0 0 19 0 19 0 858152987 10811830272 344714 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 46912505673277 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25948/tid=25956] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25956/stat : 25956 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858152988 10811830272 344714 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25957] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25957/stat : 25957 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858152988 10811830272 344715 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25958] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25958/stat : 25958 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858152988 10811830272 344716 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25959] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25959/stat : 25959 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858152988 10811830272 344716 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25960] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25960/stat : 25960 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858152988 10811830272 344717 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25961] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25961/stat : 25961 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858152988 10811830272 344718 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25962] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25962/stat : 25962 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858152988 10811830272 344718 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25963] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25963/stat : 25963 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 858152988 10811830272 344719 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25964] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25964/stat : 25964 (java) S 25946 25948 25204 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858152989 10811830272 344719 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 0 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25965] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25965/stat : 25965 (java) S 25946 25948 25204 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 858152990 10811830272 344720 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25966] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25966/stat : 25966 (java) S 25946 25948 25204 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858152990 10811830272 344721 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25967] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25967/stat : 25967 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858152992 10811830272 344721 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051478961 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25968] ppid=25946 vsize=10558428 CPUtime=0.55 cores=1,3,5,7
/proc/25948/task/25968/stat : 25968 (java) S 25946 25948 25204 0 -1 4202560 4508 0 0 0 55 0 0 0 15 0 19 0 858152992 10811830272 344722 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25969] ppid=25946 vsize=10558428 CPUtime=0.66 cores=1,3,5,7
/proc/25948/task/25969/stat : 25969 (java) S 25946 25948 25204 0 -1 4202560 6617 0 0 0 66 0 0 0 15 0 19 0 858152992 10811830272 344723 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25970] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25970/stat : 25970 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858152992 10811830272 344724 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25971] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25971/stat : 25971 (java) S 25946 25948 25204 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858152992 10811830272 344724 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/25948/task/25965/stat : 25965 (java) S 25946 25948 25204 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858152990 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25966] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25966/stat : 25966 (java) S 25946 25948 25204 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858152990 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25967] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25967/stat : 25967 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051478961 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25968] ppid=25946 vsize=10558428 CPUtime=0.62 cores=1,3,5,7
/proc/25948/task/25968/stat : 25968 (java) S 25946 25948 25204 0 -1 4202560 4520 0 0 0 62 0 0 0 15 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25969] ppid=25946 vsize=10558428 CPUtime=0.8 cores=1,3,5,7
/proc/25948/task/25969/stat : 25969 (java) S 25946 25948 25204 0 -1 4202560 6647 0 0 0 80 0 0 0 15 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25970] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25970/stat : 25970 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25971] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25971/stat : 25971 (java) S 25946 25948 25204 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
[pid=25948/tid=25973] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25973/stat : 25973 (java) S 25946 25948 25204 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858153304 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1677.36
Current children cumulated vsize (KiB) 10558428
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/214 26022
/proc/meminfo: memFree=22949228/32951124 swapFree=67050916/67111528
[pid=25948] ppid=25946 vsize=10558428 CPUtime=1737.36 cores=1,3,5,7
/proc/25948/stat : 25948 (java) S 25946 25948 25204 0 -1 4202496 1318138 0 1 0 173583 153 0 0 18 0 19 0 858152986 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25948/statm: 2639607 1306041 2250 9 0 2630341 0
[pid=25948/tid=25949] ppid=25946 vsize=10558428 CPUtime=1717.74 cores=1,3,5,7
/proc/25948/task/25949/stat : 25949 (java) R 25946 25948 25204 0 -1 4202560 651016 0 1 0 171703 71 0 0 25 0 19 0 858152987 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 46912505953678 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25948/tid=25956] ppid=25946 vsize=10558428 CPUtime=2.29 cores=1,3,5,7
/proc/25948/task/25956/stat : 25956 (java) S 25946 25948 25204 0 -1 4202560 83648 0 0 0 220 9 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25957] ppid=25946 vsize=10558428 CPUtime=1.57 cores=1,3,5,7
/proc/25948/task/25957/stat : 25957 (java) S 25946 25948 25204 0 -1 4202560 63759 0 0 0 149 8 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25958] ppid=25946 vsize=10558428 CPUtime=2.95 cores=1,3,5,7
/proc/25948/task/25958/stat : 25958 (java) S 25946 25948 25204 0 -1 4202560 101437 0 0 0 285 10 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25959] ppid=25946 vsize=10558428 CPUtime=2.85 cores=1,3,5,7
/proc/25948/task/25959/stat : 25959 (java) S 25946 25948 25204 0 -1 4202560 81877 0 0 0 274 11 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
[pid=25948/tid=25960] ppid=25946 vsize=10558428 CPUtime=1.58 cores=1,3,5,7
/proc/25948/task/25960/stat : 25960 (java) S 25946 25948 25204 0 -1 4202560 54134 0 0 0 151 7 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25961] ppid=25946 vsize=10558428 CPUtime=1.98 cores=1,3,5,7
/proc/25948/task/25961/stat : 25961 (java) S 25946 25948 25204 0 -1 4202560 78056 0 0 0 188 10 0 0 16 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25962] ppid=25946 vsize=10558428 CPUtime=1.36 cores=1,3,5,7
/proc/25948/task/25962/stat : 25962 (java) S 25946 25948 25204 0 -1 4202560 70100 0 0 0 128 8 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
[pid=25948/tid=25963] ppid=25946 vsize=10558428 CPUtime=3.49 cores=1,3,5,7
/proc/25948/task/25963/stat : 25963 (java) S 25946 25948 25204 0 -1 4202560 121662 0 0 0 337 12 0 0 16 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25964] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25964/stat : 25964 (java) S 25946 25948 25204 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 858152989 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 0 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25965] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25965/stat : 25965 (java) S 25946 25948 25204 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858152990 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25966] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25966/stat : 25966 (java) S 25946 25948 25204 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858152990 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25967] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25967/stat : 25967 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051478961 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25968] ppid=25946 vsize=10558428 CPUtime=0.62 cores=1,3,5,7
/proc/25948/task/25968/stat : 25968 (java) S 25946 25948 25204 0 -1 4202560 4520 0 0 0 62 0 0 0 15 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25969] ppid=25946 vsize=10558428 CPUtime=0.8 cores=1,3,5,7
/proc/25948/task/25969/stat : 25969 (java) S 25946 25948 25204 0 -1 4202560 6647 0 0 0 80 0 0 0 15 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25970] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25970/stat : 25970 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25971] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25971/stat : 25971 (java) S 25946 25948 25204 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
[pid=25948/tid=25973] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25973/stat : 25973 (java) S 25946 25948 25204 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858153304 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1737.36
Current children cumulated vsize (KiB) 10558428
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/214 26023
/proc/meminfo: memFree=22948772/32951124 swapFree=67050916/67111528
[pid=25948] ppid=25946 vsize=10558428 CPUtime=1797.36 cores=1,3,5,7
/proc/25948/stat : 25948 (java) S 25946 25948 25204 0 -1 4202496 1318142 0 1 0 179583 153 0 0 18 0 19 0 858152986 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25948/statm: 2639607 1306041 2250 9 0 2630341 0
[pid=25948/tid=25949] ppid=25946 vsize=10558428 CPUtime=1777.74 cores=1,3,5,7
/proc/25948/task/25949/stat : 25949 (java) R 25946 25948 25204 0 -1 4202560 651016 0 1 0 177703 71 0 0 25 0 19 0 858152987 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 46912505993931 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25948/tid=25956] ppid=25946 vsize=10558428 CPUtime=2.29 cores=1,3,5,7
/proc/25948/task/25956/stat : 25956 (java) S 25946 25948 25204 0 -1 4202560 83648 0 0 0 220 9 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25957] ppid=25946 vsize=10558428 CPUtime=1.57 cores=1,3,5,7
/proc/25948/task/25957/stat : 25957 (java) S 25946 25948 25204 0 -1 4202560 63759 0 0 0 149 8 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25958] ppid=25946 vsize=10558428 CPUtime=2.95 cores=1,3,5,7
/proc/25948/task/25958/stat : 25958 (java) S 25946 25948 25204 0 -1 4202560 101437 0 0 0 285 10 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25959] ppid=25946 vsize=10558428 CPUtime=2.85 cores=1,3,5,7
/proc/25948/task/25959/stat : 25959 (java) S 25946 25948 25204 0 -1 4202560 81877 0 0 0 274 11 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
[pid=25948/tid=25960] ppid=25946 vsize=10558428 CPUtime=1.58 cores=1,3,5,7
/proc/25948/task/25960/stat : 25960 (java) S 25946 25948 25204 0 -1 4202560 54134 0 0 0 151 7 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25961] ppid=25946 vsize=10558428 CPUtime=1.98 cores=1,3,5,7
/proc/25948/task/25961/stat : 25961 (java) S 25946 25948 25204 0 -1 4202560 78056 0 0 0 188 10 0 0 16 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25962] ppid=25946 vsize=10558428 CPUtime=1.36 cores=1,3,5,7
/proc/25948/task/25962/stat : 25962 (java) S 25946 25948 25204 0 -1 4202560 70100 0 0 0 128 8 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
[pid=25948/tid=25963] ppid=25946 vsize=10558428 CPUtime=3.49 cores=1,3,5,7
/proc/25948/task/25963/stat : 25963 (java) S 25946 25948 25204 0 -1 4202560 121662 0 0 0 337 12 0 0 16 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25964] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25964/stat : 25964 (java) S 25946 25948 25204 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 858152989 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 0 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25965] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25965/stat : 25965 (java) S 25946 25948 25204 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858152990 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25966] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25966/stat : 25966 (java) S 25946 25948 25204 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858152990 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25967] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25967/stat : 25967 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051478961 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25968] ppid=25946 vsize=10558428 CPUtime=0.62 cores=1,3,5,7
/proc/25948/task/25968/stat : 25968 (java) S 25946 25948 25204 0 -1 4202560 4520 0 0 0 62 0 0 0 15 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25969] ppid=25946 vsize=10558428 CPUtime=0.8 cores=1,3,5,7
/proc/25948/task/25969/stat : 25969 (java) S 25946 25948 25204 0 -1 4202560 6647 0 0 0 80 0 0 0 15 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25970] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25970/stat : 25970 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25971] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25971/stat : 25971 (java) S 25946 25948 25204 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
[pid=25948/tid=25973] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25973/stat : 25973 (java) S 25946 25948 25204 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858153304 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1797.36
Current children cumulated vsize (KiB) 10558428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785 s]
/proc/loadavg: 2.04 2.03 1.99 3/214 26023
/proc/meminfo: memFree=22948648/32951124 swapFree=67050916/67111528
[pid=25948] ppid=25946 vsize=10558428 CPUtime=1800.07 cores=1,3,5,7
/proc/25948/stat : 25948 (java) S 25946 25948 25204 0 -1 4202496 1318142 0 1 0 179854 153 0 0 18 0 19 0 858152986 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25948/statm: 2639607 1306041 2250 9 0 2630341 0
[pid=25948/tid=25949] ppid=25946 vsize=10558428 CPUtime=1780.45 cores=1,3,5,7
/proc/25948/task/25949/stat : 25949 (java) R 25946 25948 25204 0 -1 4202560 651016 0 1 0 177974 71 0 0 25 0 19 0 858152987 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 46912505987283 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25948/tid=25956] ppid=25946 vsize=10558428 CPUtime=2.29 cores=1,3,5,7
/proc/25948/task/25956/stat : 25956 (java) S 25946 25948 25204 0 -1 4202560 83648 0 0 0 220 9 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25957] ppid=25946 vsize=10558428 CPUtime=1.57 cores=1,3,5,7
/proc/25948/task/25957/stat : 25957 (java) S 25946 25948 25204 0 -1 4202560 63759 0 0 0 149 8 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25958] ppid=25946 vsize=10558428 CPUtime=2.95 cores=1,3,5,7
/proc/25948/task/25958/stat : 25958 (java) S 25946 25948 25204 0 -1 4202560 101437 0 0 0 285 10 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25959] ppid=25946 vsize=10558428 CPUtime=2.85 cores=1,3,5,7
/proc/25948/task/25959/stat : 25959 (java) S 25946 25948 25204 0 -1 4202560 81877 0 0 0 274 11 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
[pid=25948/tid=25960] ppid=25946 vsize=10558428 CPUtime=1.58 cores=1,3,5,7
/proc/25948/task/25960/stat : 25960 (java) S 25946 25948 25204 0 -1 4202560 54134 0 0 0 151 7 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 7 0 0 0
[pid=25948/tid=25961] ppid=25946 vsize=10558428 CPUtime=1.98 cores=1,3,5,7
/proc/25948/task/25961/stat : 25961 (java) S 25946 25948 25204 0 -1 4202560 78056 0 0 0 188 10 0 0 16 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25962] ppid=25946 vsize=10558428 CPUtime=1.36 cores=1,3,5,7
/proc/25948/task/25962/stat : 25962 (java) S 25946 25948 25204 0 -1 4202560 70100 0 0 0 128 8 0 0 18 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
[pid=25948/tid=25963] ppid=25946 vsize=10558428 CPUtime=3.49 cores=1,3,5,7
/proc/25948/task/25963/stat : 25963 (java) S 25946 25948 25204 0 -1 4202560 121662 0 0 0 337 12 0 0 16 0 19 0 858152988 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25964] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25964/stat : 25964 (java) S 25946 25948 25204 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 858152989 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 0 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25965] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25965/stat : 25965 (java) S 25946 25948 25204 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858152990 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25966] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25966/stat : 25966 (java) S 25946 25948 25204 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858152990 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25967] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25967/stat : 25967 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051478961 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25968] ppid=25946 vsize=10558428 CPUtime=0.62 cores=1,3,5,7
/proc/25948/task/25968/stat : 25968 (java) S 25946 25948 25204 0 -1 4202560 4520 0 0 0 62 0 0 0 15 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 3 0 0 0
[pid=25948/tid=25969] ppid=25946 vsize=10558428 CPUtime=0.8 cores=1,3,5,7
/proc/25948/task/25969/stat : 25969 (java) S 25946 25948 25204 0 -1 4202560 6647 0 0 0 80 0 0 0 15 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25970] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25970/stat : 25970 (java) S 25946 25948 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471257 0 4 0 16800975 18446604463434860608 0 0 -1 1 0 0 0
[pid=25948/tid=25971] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25971/stat : 25971 (java) S 25946 25948 25204 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 858152992 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
[pid=25948/tid=25973] ppid=25946 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/25948/task/25973/stat : 25973 (java) S 25946 25948 25204 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858153304 10811830272 1306041 33554432000 1073741824 1073778376 140735868160640 18446744073709551615 212051471872 0 4 0 16800975 18446604463434860608 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10558428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1785.2 s]
/proc/loadavg: 2.04 2.03 1.99 3/198 26026
/proc/meminfo: memFree=28157396/32951124 swapFree=67050916/67111528
[pid=25948] ppid=25946 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/25948/stat : 25948 (java) Z 25946 25948 25204 0 -1 4203548 1318172 0 1 0 179855 172 0 0 17 0 1 0 858152986 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25948/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1785.21
CPU time (s): 1800.27
CPU user time (s): 1798.55
CPU system time (s): 1.72174
CPU usage (%): 100.844
Max. virtual memory (cumulated for all children) (KiB): 10558428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.55
system time used= 1.72174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1318172
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= 36768
involuntary context switches= 17119
runsolver used 2.81257 second user time and 6.93694 second system time
The end