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-3455044-1307187922/watcher-3455044-1307187922 -o /tmp/evaluation-result-3455044-1307187922/solver-3455044-1307187922 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455044-1307187922.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: 0.93 1.23 1.61 3/502 16075
/proc/meminfo: memFree=27026616/32950928 swapFree=39617324/67111528
[pid=16075] ppid=16073 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16075/stat : 16075 (java) S 16073 16075 13533 0 -1 4202496 3694 0 1 0 0 0 0 0 25 0 2 0 830391894 10694979584 3395 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/16075/statm: 2611079 3409 917 9 0 2602235 0
[pid=16075/tid=16076] ppid=16073 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16076/stat : 16076 (java) R 16073 16075 13533 0 -1 4202560 4693 0 1 0 0 0 0 0 25 0 2 0 830391894 10694979584 5509 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0206029 s]
/proc/loadavg: 0.93 1.23 1.61 3/502 16075
/proc/meminfo: memFree=27026616/32950928 swapFree=39617324/67111528
[pid=16075] ppid=16073 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/16075/stat : 16075 (java) S 16073 16075 13533 0 -1 4202496 7100 0 1 0 0 1 0 0 25 0 2 0 830391894 10694979584 6802 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/16075/statm: 2611079 6818 917 9 0 2602235 0
[pid=16075/tid=16076] ppid=16073 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16076/stat : 16076 (java) R 16073 16075 13533 0 -1 4202560 6013 0 1 0 0 0 0 0 25 0 2 0 830391894 10694979584 6829 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.10059 s]
/proc/loadavg: 0.93 1.23 1.61 3/502 16075
/proc/meminfo: memFree=27026616/32950928 swapFree=39617324/67111528
[pid=16075] ppid=16073 vsize=10540464 CPUtime=0.1 cores=1,3,5,7
/proc/16075/stat : 16075 (java) S 16073 16075 13533 0 -1 4202496 13052 0 1 0 9 1 0 0 25 0 18 0 830391894 10793435136 12717 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16075/statm: 2635116 12717 2092 9 0 2625850 0
[pid=16075/tid=16076] ppid=16073 vsize=10540464 CPUtime=0.08 cores=1,3,5,7
/proc/16075/task/16076/stat : 16076 (java) R 16073 16075 13533 0 -1 4202560 11103 0 1 0 7 1 0 0 25 0 18 0 830391894 10793435136 12717 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208079917584 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540464
[startup+0.300625 s]
/proc/loadavg: 0.93 1.23 1.61 3/502 16075
/proc/meminfo: memFree=27026616/32950928 swapFree=39617324/67111528
[pid=16075] ppid=16073 vsize=10548432 CPUtime=0.48 cores=1,3,5,7
/proc/16075/stat : 16075 (java) S 16073 16075 13533 0 -1 4202496 17932 0 1 0 46 2 0 0 25 0 19 0 830391894 10801594368 15997 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16075/statm: 2637108 15997 2192 9 0 2627842 0
[pid=16075/tid=16076] ppid=16073 vsize=10548432 CPUtime=0.13 cores=1,3,5,7
/proc/16075/task/16076/stat : 16076 (java) S 16073 16075 13533 0 -1 4202560 11528 0 1 0 12 1 0 0 25 0 19 0 830391894 10801594368 15997 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10548432
[startup+0.700478 s]
/proc/loadavg: 0.93 1.23 1.61 3/502 16075
/proc/meminfo: memFree=27026616/32950928 swapFree=39617324/67111528
[pid=16075] ppid=16073 vsize=10548432 CPUtime=0.61 cores=1,3,5,7
/proc/16075/stat : 16075 (java) S 16073 16075 13533 0 -1 4202496 18640 0 1 0 59 2 0 0 25 0 19 0 830391894 10801594368 16417 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16075/statm: 2637108 16417 2194 9 0 2627842 0
[pid=16075/tid=16076] ppid=16073 vsize=10548432 CPUtime=0.13 cores=1,3,5,7
/proc/16075/task/16076/stat : 16076 (java) S 16073 16075 13533 0 -1 4202560 11532 0 1 0 12 1 0 0 21 0 19 0 830391894 10801594368 16417 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10548432
[startup+1.50132 s]
/proc/loadavg: 0.93 1.23 1.61 3/521 16100
/proc/meminfo: memFree=26941656/32950928 swapFree=39617324/67111528
[pid=16075] ppid=16073 vsize=10548432 CPUtime=0.63 cores=1,3,5,7
/proc/16075/stat : 16075 (java) S 16073 16075 13533 0 -1 4202496 18803 0 1 0 61 2 0 0 25 0 19 0 830391894 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16075/statm: 2637108 16579 2197 9 0 2627842 0
[pid=16075/tid=16076] ppid=16073 vsize=10548432 CPUtime=0.13 cores=1,3,5,7
/proc/16075/task/16076/stat : 16076 (java) S 16073 16075 13533 0 -1 4202560 11537 0 1 0 12 1 0 0 17 0 19 0 830391894 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16078] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16078/stat : 16078 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16079] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16079/stat : 16079 (java) S 16073 16075 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830391896 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16080] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16080/stat : 16080 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16081] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16081/stat : 16081 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16082] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16082/stat : 16082 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16083] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16083/stat : 16083 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16084] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16084/stat : 16084 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16085] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16085/stat : 16085 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16086] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16086/stat : 16086 (java) S 16073 16075 13533 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830391897 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 0 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16087] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16087/stat : 16087 (java) S 16073 16075 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830391898 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16088] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16088/stat : 16088 (java) S 16073 16075 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830391898 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16089] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16089/stat : 16089 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391900 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092055985 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16090] ppid=16073 vsize=10548432 CPUtime=0.17 cores=1,3,5,7
/proc/16075/task/16090/stat : 16090 (java) S 16073 16075 13533 0 -1 4202560 3097 0 0 0 17 0 0 0 17 0 19 0 830391900 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16091] ppid=16073 vsize=10548432 CPUtime=0.16 cores=1,3,5,7
/proc/16075/task/16091/stat : 16091 (java) S 16073 16075 13533 0 -1 4202560 2137 0 0 0 16 0 0 0 17 0 19 0 830391900 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=16075/tid=16092] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16092/stat : 16092 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391900 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16093] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16093/stat : 16093 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830391900 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 1 0 0 0
[pid=16075/tid=16096] ppid=16073 vsize=10548432 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16096/stat : 16096 (java) S 16073 16075 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830391909 10801594368 16579 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10548432
Solver just ended. Dumping a history of the last processes samples
[startup+1.90125 s]
/proc/loadavg: 0.93 1.23 1.61 3/521 16100
/proc/meminfo: memFree=26941656/32950928 swapFree=39617324/67111528
[pid=16075] ppid=16073 vsize=10548620 CPUtime=0.93 cores=1,3,5,7
/proc/16075/stat : 16075 (java) S 16073 16075 13533 0 -1 4202496 21286 0 1 0 91 2 0 0 25 0 19 0 830391894 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16075/statm: 2637155 18984 2211 9 0 2627889 0
[pid=16075/tid=16076] ppid=16073 vsize=10548620 CPUtime=0.13 cores=1,3,5,7
/proc/16075/task/16076/stat : 16076 (java) S 16073 16075 13533 0 -1 4202560 11541 0 1 0 12 1 0 0 16 0 19 0 830391894 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 1 0 0 0
[pid=16075/tid=16078] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16078/stat : 16078 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16079] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16079/stat : 16079 (java) S 16073 16075 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16080] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16080/stat : 16080 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16081] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16081/stat : 16081 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16082] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16082/stat : 16082 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16083] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16083/stat : 16083 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16084] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16084/stat : 16084 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16085] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16085/stat : 16085 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16086] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16086/stat : 16086 (java) S 16073 16075 13533 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830391897 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 0 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16087] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16087/stat : 16087 (java) S 16073 16075 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830391898 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16088] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16088/stat : 16088 (java) S 16073 16075 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830391898 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16089] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16089/stat : 16089 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391900 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092055985 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16090] ppid=16073 vsize=10548620 CPUtime=0.27 cores=1,3,5,7
/proc/16075/task/16090/stat : 16090 (java) S 16073 16075 13533 0 -1 4202560 3246 0 0 0 27 0 0 0 15 0 19 0 830391900 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16091] ppid=16073 vsize=10548620 CPUtime=0.23 cores=1,3,5,7
/proc/16075/task/16091/stat : 16091 (java) S 16073 16075 13533 0 -1 4202560 2208 0 0 0 23 0 0 0 15 0 19 0 830391900 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=16075/tid=16092] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16092/stat : 16092 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391900 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16093] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16093/stat : 16093 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830391900 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 1 0 0 0
[pid=16075/tid=16096] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16096/stat : 16096 (java) S 16073 16075 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830391909 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 10548620
[startup+2.10121 s]
/proc/loadavg: 0.93 1.23 1.61 3/521 16106
/proc/meminfo: memFree=26923416/32950928 swapFree=39617324/67111528
[pid=16075] ppid=16073 vsize=10548620 CPUtime=0.93 cores=1,3,5,7
/proc/16075/stat : 16075 (java) S 16073 16075 13533 0 -1 4202496 21286 0 1 0 91 2 0 0 25 0 19 0 830391894 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16075/statm: 2637155 18984 2211 9 0 2627889 0
[pid=16075/tid=16076] ppid=16073 vsize=10548620 CPUtime=0.13 cores=1,3,5,7
/proc/16075/task/16076/stat : 16076 (java) S 16073 16075 13533 0 -1 4202560 11541 0 1 0 12 1 0 0 16 0 19 0 830391894 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 1 0 0 0
[pid=16075/tid=16078] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16078/stat : 16078 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16079] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16079/stat : 16079 (java) S 16073 16075 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16080] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16080/stat : 16080 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16081] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16081/stat : 16081 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16082] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16082/stat : 16082 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16083] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16083/stat : 16083 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16084] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16084/stat : 16084 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16085] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16085/stat : 16085 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391896 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 7 0 0 0
[pid=16075/tid=16086] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16086/stat : 16086 (java) S 16073 16075 13533 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830391897 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 0 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16087] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16087/stat : 16087 (java) S 16073 16075 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830391898 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16088] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16088/stat : 16088 (java) S 16073 16075 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830391898 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16089] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16089/stat : 16089 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391900 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092055985 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16090] ppid=16073 vsize=10548620 CPUtime=0.27 cores=1,3,5,7
/proc/16075/task/16090/stat : 16090 (java) S 16073 16075 13533 0 -1 4202560 3246 0 0 0 27 0 0 0 15 0 19 0 830391900 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16091] ppid=16073 vsize=10548620 CPUtime=0.23 cores=1,3,5,7
/proc/16075/task/16091/stat : 16091 (java) S 16073 16075 13533 0 -1 4202560 2208 0 0 0 23 0 0 0 15 0 19 0 830391900 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=16075/tid=16092] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16092/stat : 16092 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830391900 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=16075/tid=16093] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16093/stat : 16093 (java) S 16073 16075 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830391900 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 1 0 0 0
[pid=16075/tid=16096] ppid=16073 vsize=10548620 CPUtime=0 cores=1,3,5,7
/proc/16075/task/16096/stat : 16096 (java) S 16073 16075 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830391909 10801786880 18984 33554432000 1073741824 1073778376 140733807659312 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 10548620
Child status: 30
Real time (s): 2.1749
CPU time (s): 0.956854
CPU user time (s): 0.924859
CPU system time (s): 0.031995
CPU usage (%): 43.9954
Max. virtual memory (cumulated for all children) (KiB): 10549024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.924859
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21299
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= 227
involuntary context switches= 77
runsolver used 0.014997 second user time and 0.040993 second system time
The end