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-3453788-1307194214/watcher-3453788-1307194214 -o /tmp/evaluation-result-3453788-1307194214/solver-3453788-1307194214 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453788-1307194214.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.61 3.63 3.79 4/525 10083
/proc/meminfo: memFree=22818432/32951124 swapFree=64303760/67111528
[pid=10082] ppid=10078 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/10082/stat : 10082 (java) R 10078 10082 4512 0 -1 4202496 956 0 0 0 0 0 0 0 20 0 1 0 811837279 23580672 700 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233505334760 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10082/statm: 5757 701 518 9 0 124 0
[pid=10082/tid=10084] ppid=10078 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10084/stat : 10084 (java) R 10078 10082 4512 0 -1 4202560 5077 0 1 0 0 0 0 0 21 0 2 0 811837280 10694979584 5893 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.066067 s]
/proc/loadavg: 2.61 3.63 3.79 4/525 10083
/proc/meminfo: memFree=22818432/32951124 swapFree=64303760/67111528
[pid=10082] ppid=10078 vsize=10472924 CPUtime=0.05 cores=0,2,4,6
/proc/10082/stat : 10082 (java) S 10078 10082 4512 0 -1 4202496 11671 0 1 0 3 2 0 0 20 0 18 0 811837279 10724274176 11368 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10082/statm: 2618231 11368 1733 9 0 2608972 0
[pid=10082/tid=10084] ppid=10078 vsize=10472924 CPUtime=0.04 cores=0,2,4,6
/proc/10082/task/10084/stat : 10084 (java) R 10078 10082 4512 0 -1 4202560 10496 0 1 0 3 1 0 0 23 0 18 0 811837280 10724274176 11368 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 47125782594032 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.101105 s]
/proc/loadavg: 2.61 3.63 3.79 4/525 10083
/proc/meminfo: memFree=22818432/32951124 swapFree=64303760/67111528
[pid=10082] ppid=10078 vsize=10540100 CPUtime=0.1 cores=0,2,4,6
/proc/10082/stat : 10082 (java) S 10078 10082 4512 0 -1 4202496 12958 0 1 0 8 2 0 0 20 0 18 0 811837279 10793062400 12655 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10082/statm: 2635025 12655 2093 9 0 2625759 0
[pid=10082/tid=10084] ppid=10078 vsize=10540100 CPUtime=0.08 cores=0,2,4,6
/proc/10082/task/10084/stat : 10084 (java) R 10078 10082 4512 0 -1 4202560 11047 0 1 0 6 2 0 0 23 0 18 0 811837280 10793062400 12655 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233509982213 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540100
[startup+0.335048 s]
/proc/loadavg: 2.61 3.63 3.79 4/525 10083
/proc/meminfo: memFree=22818432/32951124 swapFree=64303760/67111528
[pid=10082] ppid=10078 vsize=10551292 CPUtime=0.76 cores=0,2,4,6
/proc/10082/stat : 10082 (java) S 10078 10082 4512 0 -1 4202496 18453 0 1 0 73 3 0 0 20 0 19 0 811837279 10804523008 16666 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10082/statm: 2637823 16666 2202 9 0 2628557 0
[pid=10082/tid=10084] ppid=10078 vsize=10551292 CPUtime=0.14 cores=0,2,4,6
/proc/10082/task/10084/stat : 10084 (java) S 10078 10082 4512 0 -1 4202560 11601 0 1 0 12 2 0 0 24 0 19 0 811837280 10804523008 16666 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 10551292
[startup+0.700985 s]
/proc/loadavg: 2.61 3.63 3.79 4/525 10083
/proc/meminfo: memFree=22818432/32951124 swapFree=64303760/67111528
[pid=10082] ppid=10078 vsize=10551292 CPUtime=0.96 cores=0,2,4,6
/proc/10082/stat : 10082 (java) S 10078 10082 4512 0 -1 4202496 19937 0 1 0 93 3 0 0 20 0 22 0 811837279 10804523008 17430 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10082/statm: 2637823 17430 2203 9 0 2628557 0
[pid=10082/tid=10084] ppid=10078 vsize=10551292 CPUtime=0.14 cores=0,2,4,6
/proc/10082/task/10084/stat : 10084 (java) S 10078 10082 4512 0 -1 4202560 11602 0 1 0 12 2 0 0 21 0 22 0 811837280 10804523008 17430 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 4 0 16800975 18446604440514300992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10551292
[startup+1.50093 s]
/proc/loadavg: 2.61 3.63 3.79 1/563 10136
/proc/meminfo: memFree=22684536/32951124 swapFree=64303760/67111528
[pid=10082] ppid=10078 vsize=10551292 CPUtime=1.23 cores=0,2,4,6
/proc/10082/stat : 10082 (java) S 10078 10082 4512 0 -1 4202496 26585 0 1 0 119 4 0 0 20 0 19 0 811837279 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10082/statm: 2637823 21278 2204 9 0 2628557 0
[pid=10082/tid=10084] ppid=10078 vsize=10551292 CPUtime=0.14 cores=0,2,4,6
/proc/10082/task/10084/stat : 10084 (java) S 10078 10082 4512 0 -1 4202560 11605 0 1 0 12 2 0 0 16 0 19 0 811837280 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10088] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10088/stat : 10088 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10089] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10089/stat : 10089 (java) S 10078 10082 4512 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10091] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10091/stat : 10091 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10092] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10092/stat : 10092 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10094] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10094/stat : 10094 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10096] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10096/stat : 10096 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10098] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10098/stat : 10098 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10100] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10100/stat : 10100 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10105] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10105/stat : 10105 (java) S 10078 10082 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811837283 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 0 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10107] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10107/stat : 10107 (java) S 10078 10082 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811837283 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10109] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10109/stat : 10109 (java) S 10078 10082 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811837283 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10112] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10112/stat : 10112 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837285 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522121137 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10113] ppid=10078 vsize=10551292 CPUtime=0.37 cores=0,2,4,6
/proc/10082/task/10113/stat : 10113 (java) S 10078 10082 4512 0 -1 4202560 7357 0 0 0 37 0 0 0 15 0 19 0 811837285 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 4 0 0 0
[pid=10082/tid=10116] ppid=10078 vsize=10551292 CPUtime=0.27 cores=0,2,4,6
/proc/10082/task/10116/stat : 10116 (java) S 10078 10082 4512 0 -1 4202560 3351 0 0 0 27 0 0 0 15 0 19 0 811837285 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 0 0 0 0
[pid=10082/tid=10117] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10117/stat : 10117 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 811837285 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10119] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10119/stat : 10119 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811837285 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10122] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10122/stat : 10122 (java) S 10078 10082 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811837295 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 4 0 16800975 18446604440514300992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10551292
Solver just ended. Dumping a history of the last processes samples
[startup+1.60093 s]
/proc/loadavg: 2.61 3.63 3.79 1/563 10136
/proc/meminfo: memFree=22684536/32951124 swapFree=64303760/67111528
[pid=10082] ppid=10078 vsize=10551292 CPUtime=1.23 cores=0,2,4,6
/proc/10082/stat : 10082 (java) S 10078 10082 4512 0 -1 4202496 26585 0 1 0 119 4 0 0 20 0 19 0 811837279 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10082/statm: 2637823 21278 2204 9 0 2628557 0
[pid=10082/tid=10084] ppid=10078 vsize=10551292 CPUtime=0.14 cores=0,2,4,6
/proc/10082/task/10084/stat : 10084 (java) S 10078 10082 4512 0 -1 4202560 11605 0 1 0 12 2 0 0 16 0 19 0 811837280 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10088] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10088/stat : 10088 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10089] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10089/stat : 10089 (java) S 10078 10082 4512 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10091] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10091/stat : 10091 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10092] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10092/stat : 10092 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10094] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10094/stat : 10094 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10096] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10096/stat : 10096 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10098] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10098/stat : 10098 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10100] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10100/stat : 10100 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811837282 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10105] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10105/stat : 10105 (java) S 10078 10082 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811837283 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 0 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10107] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10107/stat : 10107 (java) S 10078 10082 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811837283 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10109] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10109/stat : 10109 (java) S 10078 10082 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811837283 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10112] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10112/stat : 10112 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837285 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522121137 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10113] ppid=10078 vsize=10551292 CPUtime=0.37 cores=0,2,4,6
/proc/10082/task/10113/stat : 10113 (java) S 10078 10082 4512 0 -1 4202560 7357 0 0 0 37 0 0 0 15 0 19 0 811837285 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 4 0 0 0
[pid=10082/tid=10116] ppid=10078 vsize=10551292 CPUtime=0.27 cores=0,2,4,6
/proc/10082/task/10116/stat : 10116 (java) S 10078 10082 4512 0 -1 4202560 3351 0 0 0 27 0 0 0 15 0 19 0 811837285 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 0 0 0 0
[pid=10082/tid=10117] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10117/stat : 10117 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 811837285 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10119] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10119/stat : 10119 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811837285 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10122] ppid=10078 vsize=10551292 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10122/stat : 10122 (java) S 10078 10082 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811837295 10804523008 21278 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 4 0 16800975 18446604440514300992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10551292
[startup+2.00069 s]
/proc/loadavg: 2.61 3.63 3.79 1/563 10136
/proc/meminfo: memFree=22684536/32951124 swapFree=64303760/67111528
[pid=10082] ppid=10078 vsize=10561616 CPUtime=2.5 cores=0,2,4,6
/proc/10082/stat : 10082 (java) S 10078 10082 4512 0 -1 4202496 50004 0 1 0 243 7 0 0 20 0 22 0 811837279 10815094784 43161 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10082/statm: 2640404 43163 2225 9 0 2631138 0
[pid=10082/tid=10084] ppid=10078 vsize=10561616 CPUtime=0.14 cores=0,2,4,6
/proc/10082/task/10084/stat : 10084 (java) S 10078 10082 4512 0 -1 4202560 11607 0 1 0 12 2 0 0 16 0 22 0 811837280 10815094784 43164 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10088] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10088/stat : 10088 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811837282 10815094784 43168 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10089] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10089/stat : 10089 (java) S 10078 10082 4512 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 22 0 811837282 10815094784 43169 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10091] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10091/stat : 10091 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811837282 10815094784 43171 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10092] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10092/stat : 10092 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811837282 10815094784 43172 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10094] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10094/stat : 10094 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811837282 10815094784 43174 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10096] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10096/stat : 10096 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811837282 10815094784 43176 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10098] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10098/stat : 10098 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811837282 10815094784 43177 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10100] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10100/stat : 10100 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811837282 10815094784 43180 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10105] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10105/stat : 10105 (java) S 10078 10082 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811837283 10815094784 43184 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 0 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10107] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10107/stat : 10107 (java) S 10078 10082 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811837283 10815094784 43188 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10109] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10109/stat : 10109 (java) S 10078 10082 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811837283 10815094784 43191 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10112] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10112/stat : 10112 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811837285 10815094784 43192 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522121137 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10113] ppid=10078 vsize=10561616 CPUtime=0.7 cores=0,2,4,6
/proc/10082/task/10113/stat : 10113 (java) R 10078 10082 4512 0 -1 4202560 7798 0 0 0 69 1 0 0 16 0 22 0 811837285 10815094784 43193 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 47125783959138 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10082/tid=10116] ppid=10078 vsize=10561616 CPUtime=0.57 cores=0,2,4,6
/proc/10082/task/10116/stat : 10116 (java) R 10078 10082 4512 0 -1 4202560 7282 0 0 0 57 0 0 0 16 0 22 0 811837285 10815094784 43194 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 47125784499859 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10082/tid=10117] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10117/stat : 10117 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811837285 10815094784 43197 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10119] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10119/stat : 10119 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811837285 10815094784 43198 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10122] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10122/stat : 10122 (java) S 10078 10082 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811837295 10815094784 43199 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 4 0 16800975 18446604440514300992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 10561616
[startup+2.20073 s]
/proc/loadavg: 2.61 3.63 3.79 2/562 10208
/proc/meminfo: memFree=22545416/32951124 swapFree=64303760/67111528
[pid=10082] ppid=10078 vsize=10561616 CPUtime=3.06 cores=0,2,4,6
/proc/10082/stat : 10082 (java) S 10078 10082 4512 0 -1 4202496 63563 0 1 0 297 9 0 0 20 0 18 0 811837279 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10082/statm: 2640404 55048 2252 9 0 2631138 0
[pid=10082/tid=10084] ppid=10078 vsize=10561616 CPUtime=0.15 cores=0,2,4,6
/proc/10082/task/10084/stat : 10084 (java) S 10078 10082 4512 0 -1 4202560 11610 0 1 0 13 2 0 0 16 0 18 0 811837280 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10088] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10088/stat : 10088 (java) S 10078 10082 4512 0 -1 4202560 219 0 0 0 0 0 0 0 17 0 18 0 811837282 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 4 0 0 0
[pid=10082/tid=10089] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10089/stat : 10089 (java) S 10078 10082 4512 0 -1 4202560 234 0 0 0 0 0 0 0 18 0 18 0 811837282 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10091] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10091/stat : 10091 (java) S 10078 10082 4512 0 -1 4202560 76 0 0 0 0 0 0 0 18 0 18 0 811837282 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 0 0 0 0
[pid=10082/tid=10092] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10092/stat : 10092 (java) S 10078 10082 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 811837282 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10094] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10094/stat : 10094 (java) S 10078 10082 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 811837282 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 4 0 0 0
[pid=10082/tid=10096] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10096/stat : 10096 (java) S 10078 10082 4512 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 811837282 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 4 0 0 0
[pid=10082/tid=10098] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10098/stat : 10098 (java) S 10078 10082 4512 0 -1 4202560 30 0 0 0 0 0 0 0 17 0 18 0 811837282 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 0 0 0 0
[pid=10082/tid=10100] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10100/stat : 10100 (java) S 10078 10082 4512 0 -1 4202560 91 0 0 0 0 0 0 0 17 0 18 0 811837282 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 4 0 0 0
[pid=10082/tid=10105] ppid=10078 vsize=10561616 CPUtime=0.01 cores=0,2,4,6
/proc/10082/task/10105/stat : 10105 (java) S 10078 10082 4512 0 -1 4202560 645 0 0 0 1 0 0 0 16 0 18 0 811837283 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 0 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10107] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10107/stat : 10107 (java) S 10078 10082 4512 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 811837283 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10109] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10109/stat : 10109 (java) S 10078 10082 4512 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 811837283 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 6 0 0 0
[pid=10082/tid=10112] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10112/stat : 10112 (java) S 10078 10082 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 811837285 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10113] ppid=10078 vsize=10561616 CPUtime=0.9 cores=0,2,4,6
/proc/10082/task/10113/stat : 10113 (java) R 10078 10082 4512 0 -1 4202560 10624 0 0 0 89 1 0 0 16 0 18 0 811837285 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 47125787356830 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10082/tid=10116] ppid=10078 vsize=10561616 CPUtime=0.68 cores=0,2,4,6
/proc/10082/task/10116/stat : 10116 (java) S 10078 10082 4512 0 -1 4202560 7376 0 0 0 68 0 0 0 15 0 18 0 811837285 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 0 0 0 0
[pid=10082/tid=10117] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10117/stat : 10117 (java) S 10078 10082 4512 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811837285 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522113433 0 4 0 16800975 18446604440514300992 0 0 -1 2 0 0 0
[pid=10082/tid=10122] ppid=10078 vsize=10561616 CPUtime=0 cores=0,2,4,6
/proc/10082/task/10122/stat : 10122 (java) S 10078 10082 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 811837295 10815094784 55048 33554432000 1073741824 1073778376 140737132492704 18446744073709551615 233522114048 0 4 0 16800975 18446604440514300992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10561616
Child status: 30
Real time (s): 2.28048
CPU time (s): 3.13052
CPU user time (s): 3.02554
CPU system time (s): 0.104984
CPU usage (%): 137.275
Max. virtual memory (cumulated for all children) (KiB): 10562808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.02554
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63635
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= 602
involuntary context switches= 364
runsolver used 0.018997 second user time and 0.038994 second system time
The end