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-3479333-1307447377/watcher-3479333-1307447377 -o /tmp/evaluation-result-3479333-1307447377/solver-3479333-1307447377 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479333-1307447377.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: 3.57 3.62 3.40 3/482 17072
/proc/meminfo: memFree=25261552/32951124 swapFree=41830676/67111528
[pid=17072] ppid=17070 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/17072/stat : 17072 (java) S 17070 17072 15115 0 -1 4202496 1508 0 1 0 0 0 0 0 25 0 2 0 856335683 10681323520 1211 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/17072/statm: 2607745 1222 906 9 0 2598901 0
[pid=17072/tid=17073] ppid=17070 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17073/stat : 17073 (java) R 17070 17072 15115 0 -1 4202560 4483 0 1 0 0 0 0 0 25 0 2 0 856335684 10694979584 5299 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.04153 s]
/proc/loadavg: 3.57 3.62 3.40 3/482 17072
/proc/meminfo: memFree=25261552/32951124 swapFree=41830676/67111528
[pid=17072] ppid=17070 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/17072/stat : 17072 (java) S 17070 17072 15115 0 -1 4202496 11157 0 1 0 2 0 0 0 25 0 13 0 856335683 10718699520 10855 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/17072/statm: 2616870 10855 1653 9 0 2607618 0
[pid=17072/tid=17073] ppid=17070 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/17072/task/17073/stat : 17073 (java) R 17070 17072 15115 0 -1 4202560 10010 0 1 0 2 0 0 0 25 0 13 0 856335684 10718699520 10855 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 47484880948120 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.104592 s]
/proc/loadavg: 3.57 3.62 3.40 3/482 17072
/proc/meminfo: memFree=25261552/32951124 swapFree=41830676/67111528
[pid=17072] ppid=17070 vsize=10540136 CPUtime=0.1 cores=0,2,4,6
/proc/17072/stat : 17072 (java) S 17070 17072 15115 0 -1 4202496 13120 0 1 0 9 1 0 0 25 0 18 0 856335683 10793099264 12800 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17072/statm: 2635034 12802 2093 9 0 2625768 0
[pid=17072/tid=17073] ppid=17070 vsize=10540136 CPUtime=0.09 cores=0,2,4,6
/proc/17072/task/17073/stat : 17073 (java) R 17070 17072 15115 0 -1 4202560 11197 0 1 0 8 1 0 0 18 0 18 0 856335684 10793099264 12802 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 47484885896019 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540136
[startup+0.301523 s]
/proc/loadavg: 3.57 3.62 3.40 3/482 17072
/proc/meminfo: memFree=25261552/32951124 swapFree=41830676/67111528
[pid=17072] ppid=17070 vsize=10541304 CPUtime=0.46 cores=0,2,4,6
/proc/17072/stat : 17072 (java) S 17070 17072 15115 0 -1 4202496 20521 0 1 0 44 2 0 0 25 0 18 0 856335683 10794295296 20022 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17072/statm: 2635326 20022 2200 9 0 2626060 0
[pid=17072/tid=17073] ppid=17070 vsize=10541304 CPUtime=0.28 cores=0,2,4,6
/proc/17072/task/17073/stat : 17073 (java) R 17070 17072 15115 0 -1 4202560 17837 0 1 0 27 1 0 0 18 0 18 0 856335684 10794295296 20022 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 46912505217638 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541304
[startup+0.700504 s]
/proc/loadavg: 3.57 3.62 3.40 3/482 17072
/proc/meminfo: memFree=25261552/32951124 swapFree=41830676/67111528
[pid=17072] ppid=17070 vsize=10545336 CPUtime=1.16 cores=0,2,4,6
/proc/17072/stat : 17072 (java) S 17070 17072 15115 0 -1 4202496 49794 0 1 0 110 6 0 0 25 0 18 0 856335683 10798424064 48343 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17072/statm: 2636334 48348 2214 9 0 2627068 0
[pid=17072/tid=17073] ppid=17070 vsize=10545336 CPUtime=0.68 cores=0,2,4,6
/proc/17072/task/17073/stat : 17073 (java) R 17070 17072 15115 0 -1 4202560 44483 0 1 0 63 5 0 0 18 0 18 0 856335684 10798424064 48350 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 46912505576907 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10545336
[startup+1.50135 s]
/proc/loadavg: 3.57 3.62 3.40 4/500 17090
/proc/meminfo: memFree=24490804/32951124 swapFree=41830676/67111528
[pid=17072] ppid=17070 vsize=10545336 CPUtime=2.05 cores=0,2,4,6
/proc/17072/stat : 17072 (java) S 17070 17072 15115 0 -1 4202496 484430 0 1 0 147 58 0 0 25 0 18 0 856335683 10798424064 482980 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17072/statm: 2636334 483010 2224 9 0 2627068 0
[pid=17072/tid=17073] ppid=17070 vsize=10545336 CPUtime=1.48 cores=0,2,4,6
/proc/17072/task/17073/stat : 17073 (java) R 17070 17072 15115 0 -1 4202560 479146 0 1 0 92 56 0 0 19 0 18 0 856335684 10798424064 483024 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 46912505808277 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17075/stat : 17075 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335685 10798424064 483041 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17076/stat : 17076 (java) S 17070 17072 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 856335685 10798424064 483045 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17077] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17077/stat : 17077 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335685 10798424064 483062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17078] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17078/stat : 17078 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335685 10798424064 483080 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17079] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17079/stat : 17079 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335685 10798424064 483097 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17080] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17080/stat : 17080 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335685 10798424064 483115 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17081] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17081/stat : 17081 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335685 10798424064 483131 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17082] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17082/stat : 17082 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335685 10798424064 483148 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17083] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17083/stat : 17083 (java) S 17070 17072 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 856335686 10798424064 483164 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 0 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17084] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17084/stat : 17084 (java) S 17070 17072 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 856335687 10798424064 483181 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17085] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17085/stat : 17085 (java) S 17070 17072 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 856335687 10798424064 483198 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17086] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17086/stat : 17086 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335689 10798424064 483215 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134537649 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17087] ppid=17070 vsize=10545336 CPUtime=0.24 cores=0,2,4,6
/proc/17072/task/17087/stat : 17087 (java) S 17070 17072 15115 0 -1 4202560 1950 0 0 0 24 0 0 0 15 0 18 0 856335689 10798424064 483230 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17088] ppid=17070 vsize=10545336 CPUtime=0.3 cores=0,2,4,6
/proc/17072/task/17088/stat : 17088 (java) S 17070 17072 15115 0 -1 4202560 2230 0 0 0 30 0 0 0 16 0 18 0 856335689 10798424064 483247 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17089] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17089/stat : 17089 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335689 10798424064 483265 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17090] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17090/stat : 17090 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 856335689 10798424064 483281 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 10545336
[startup+3.10102 s]
/proc/loadavg: 3.57 3.62 3.40 4/500 17090
/proc/meminfo: memFree=22615304/32951124 swapFree=41830676/67111528
[pid=17072] ppid=17070 vsize=10545336 CPUtime=4.04 cores=0,2,4,6
/proc/17072/stat : 17072 (java) S 17070 17072 15115 0 -1 4202496 677100 0 1 0 324 80 0 0 25 0 18 0 856335683 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17072/statm: 2636334 675637 2240 9 0 2627068 0
[pid=17072/tid=17073] ppid=17070 vsize=10545336 CPUtime=2.96 cores=0,2,4,6
/proc/17072/task/17073/stat : 17073 (java) R 17070 17072 15115 0 -1 4202560 651005 0 1 0 220 76 0 0 21 0 18 0 856335684 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 46912505808277 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=10545336 CPUtime=0.05 cores=0,2,4,6
/proc/17072/task/17075/stat : 17075 (java) S 17070 17072 15115 0 -1 4202560 2518 0 0 0 5 0 0 0 16 0 18 0 856335685 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=10545336 CPUtime=0.02 cores=0,2,4,6
/proc/17072/task/17076/stat : 17076 (java) S 17070 17072 15115 0 -1 4202560 2120 0 0 0 2 0 0 0 15 0 18 0 856335685 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17077] ppid=17070 vsize=10545336 CPUtime=0.02 cores=0,2,4,6
/proc/17072/task/17077/stat : 17077 (java) S 17070 17072 15115 0 -1 4202560 307 0 0 0 2 0 0 0 16 0 18 0 856335685 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17078] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17078/stat : 17078 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 856335685 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17079] ppid=17070 vsize=10545336 CPUtime=0.07 cores=0,2,4,6
/proc/17072/task/17079/stat : 17079 (java) S 17070 17072 15115 0 -1 4202560 4892 0 0 0 7 0 0 0 15 0 18 0 856335685 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17080] ppid=17070 vsize=10545336 CPUtime=0.1 cores=0,2,4,6
/proc/17072/task/17080/stat : 17080 (java) S 17070 17072 15115 0 -1 4202560 5348 0 0 0 10 0 0 0 16 0 18 0 856335685 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17081] ppid=17070 vsize=10545336 CPUtime=0.07 cores=0,2,4,6
/proc/17072/task/17081/stat : 17081 (java) S 17070 17072 15115 0 -1 4202560 2924 0 0 0 7 0 0 0 16 0 18 0 856335685 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17082] ppid=17070 vsize=10545336 CPUtime=0.05 cores=0,2,4,6
/proc/17072/task/17082/stat : 17082 (java) S 17070 17072 15115 0 -1 4202560 2640 0 0 0 5 0 0 0 15 0 18 0 856335685 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17083] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17083/stat : 17083 (java) S 17070 17072 15115 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 856335686 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 0 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17084] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17084/stat : 17084 (java) S 17070 17072 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 856335687 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17085] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17085/stat : 17085 (java) S 17070 17072 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 856335687 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17086] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17086/stat : 17086 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335689 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134537649 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17087] ppid=17070 vsize=10545336 CPUtime=0.27 cores=0,2,4,6
/proc/17072/task/17087/stat : 17087 (java) S 17070 17072 15115 0 -1 4202560 1956 0 0 0 27 0 0 0 16 0 18 0 856335689 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17088] ppid=17070 vsize=10545336 CPUtime=0.33 cores=0,2,4,6
/proc/17072/task/17088/stat : 17088 (java) S 17070 17072 15115 0 -1 4202560 2237 0 0 0 33 0 0 0 16 0 18 0 856335689 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17089] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17089/stat : 17089 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335689 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17090] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17090/stat : 17090 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 856335689 10798424064 675637 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 10545336
[startup+6.30148 s]
/proc/loadavg: 3.53 3.61 3.39 4/500 17090
/proc/meminfo: memFree=21777908/32951124 swapFree=41830676/67111528
[pid=17072] ppid=17070 vsize=10545336 CPUtime=7.69 cores=0,2,4,6
/proc/17072/stat : 17072 (java) S 17070 17072 15115 0 -1 4202496 877109 0 1 0 665 104 0 0 25 0 18 0 856335683 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17072/statm: 2636334 875062 2240 9 0 2627068 0
[pid=17072/tid=17073] ppid=17070 vsize=10545336 CPUtime=5.99 cores=0,2,4,6
/proc/17072/task/17073/stat : 17073 (java) R 17070 17072 15115 0 -1 4202560 817161 0 1 0 503 96 0 0 19 0 18 0 856335684 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 46912505808277 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=10545336 CPUtime=0.14 cores=0,2,4,6
/proc/17072/task/17075/stat : 17075 (java) S 17070 17072 15115 0 -1 4202560 6664 0 0 0 14 0 0 0 16 0 18 0 856335685 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=10545336 CPUtime=0.15 cores=0,2,4,6
/proc/17072/task/17076/stat : 17076 (java) S 17070 17072 15115 0 -1 4202560 10100 0 0 0 15 0 0 0 16 0 18 0 856335685 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17077] ppid=17070 vsize=10545336 CPUtime=0.14 cores=0,2,4,6
/proc/17072/task/17077/stat : 17077 (java) S 17070 17072 15115 0 -1 4202560 5865 0 0 0 14 0 0 0 16 0 18 0 856335685 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17078] ppid=17070 vsize=10545336 CPUtime=0.06 cores=0,2,4,6
/proc/17072/task/17078/stat : 17078 (java) S 17070 17072 15115 0 -1 4202560 4221 0 0 0 5 1 0 0 16 0 18 0 856335685 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17079] ppid=17070 vsize=10545336 CPUtime=0.1 cores=0,2,4,6
/proc/17072/task/17079/stat : 17079 (java) S 17070 17072 15115 0 -1 4202560 5698 0 0 0 10 0 0 0 16 0 18 0 856335685 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17080] ppid=17070 vsize=10545336 CPUtime=0.14 cores=0,2,4,6
/proc/17072/task/17080/stat : 17080 (java) S 17070 17072 15115 0 -1 4202560 8914 0 0 0 14 0 0 0 15 0 18 0 856335685 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17081] ppid=17070 vsize=10545336 CPUtime=0.13 cores=0,2,4,6
/proc/17072/task/17081/stat : 17081 (java) S 17070 17072 15115 0 -1 4202560 5673 0 0 0 13 0 0 0 15 0 18 0 856335685 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17082] ppid=17070 vsize=10545336 CPUtime=0.11 cores=0,2,4,6
/proc/17072/task/17082/stat : 17082 (java) S 17070 17072 15115 0 -1 4202560 7468 0 0 0 11 0 0 0 16 0 18 0 856335685 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17083] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17083/stat : 17083 (java) S 17070 17072 15115 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 856335686 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 0 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17084] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17084/stat : 17084 (java) S 17070 17072 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 856335687 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17085] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17085/stat : 17085 (java) S 17070 17072 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 856335687 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17086] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17086/stat : 17086 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335689 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134537649 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17087] ppid=17070 vsize=10545336 CPUtime=0.27 cores=0,2,4,6
/proc/17072/task/17087/stat : 17087 (java) S 17070 17072 15115 0 -1 4202560 1956 0 0 0 27 0 0 0 16 0 18 0 856335689 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17088] ppid=17070 vsize=10545336 CPUtime=0.33 cores=0,2,4,6
/proc/17072/task/17088/stat : 17088 (java) S 17070 17072 15115 0 -1 4202560 2237 0 0 0 33 0 0 0 16 0 18 0 856335689 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17089] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17089/stat : 17089 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856335689 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17090] ppid=17070 vsize=10545336 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17090/stat : 17090 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 856335689 10798424064 875062 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 4.02 3.94 3.72 5/504 17198
/proc/meminfo: memFree=20326304/32951124 swapFree=41830676/67111528
[pid=17072] ppid=17070 vsize=10550804 CPUtime=1680.96 cores=0,2,4,6
/proc/17072/stat : 17072 (java) S 17070 17072 15115 0 -1 4202496 1087354 0 1 0 167958 138 0 0 25 0 22 0 856335683 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17072/statm: 2637701 1069298 2268 9 0 2628435 0
[pid=17072/tid=17073] ppid=17070 vsize=10550804 CPUtime=15.52 cores=0,2,4,6
/proc/17072/task/17073/stat : 17073 (java) S 17070 17072 15115 0 -1 4202560 822916 0 1 0 1454 98 0 0 15 0 22 0 856335684 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=10550804 CPUtime=2.06 cores=0,2,4,6
/proc/17072/task/17075/stat : 17075 (java) S 17070 17072 15115 0 -1 4202560 15902 0 0 0 205 1 0 0 16 0 22 0 856335685 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=10550804 CPUtime=1.83 cores=0,2,4,6
/proc/17072/task/17076/stat : 17076 (java) S 17070 17072 15115 0 -1 4202560 21738 0 0 0 180 3 0 0 15 0 22 0 856335685 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17077] ppid=17070 vsize=10550804 CPUtime=1.8 cores=0,2,4,6
/proc/17072/task/17077/stat : 17077 (java) S 17070 17072 15115 0 -1 4202560 28721 0 0 0 175 5 0 0 16 0 22 0 856335685 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17078] ppid=17070 vsize=10550804 CPUtime=1.92 cores=0,2,4,6
/proc/17072/task/17078/stat : 17078 (java) S 17070 17072 15115 0 -1 4202560 23178 0 0 0 189 3 0 0 16 0 22 0 856335685 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17079] ppid=17070 vsize=10550804 CPUtime=1.8 cores=0,2,4,6
/proc/17072/task/17079/stat : 17079 (java) S 17070 17072 15115 0 -1 4202560 19977 0 0 0 179 1 0 0 16 0 22 0 856335685 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17080] ppid=17070 vsize=10550804 CPUtime=1.93 cores=0,2,4,6
/proc/17072/task/17080/stat : 17080 (java) S 17070 17072 15115 0 -1 4202560 22814 0 0 0 190 3 0 0 15 0 22 0 856335685 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17081] ppid=17070 vsize=10550804 CPUtime=2.05 cores=0,2,4,6
/proc/17072/task/17081/stat : 17081 (java) S 17070 17072 15115 0 -1 4202560 25242 0 0 0 202 3 0 0 15 0 22 0 856335685 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17082] ppid=17070 vsize=10550804 CPUtime=1.91 cores=0,2,4,6
/proc/17072/task/17082/stat : 17082 (java) S 17070 17072 15115 0 -1 4202560 20615 0 0 0 189 2 0 0 15 0 22 0 856335685 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17083] ppid=17070 vsize=10550804 CPUtime=77.97 cores=0,2,4,6
/proc/17072/task/17083/stat : 17083 (java) S 17070 17072 15115 0 -1 4202560 65731 0 0 0 7789 8 0 0 15 0 22 0 856335686 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 0 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17084] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17084/stat : 17084 (java) S 17070 17072 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 856335687 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17085] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17085/stat : 17085 (java) S 17070 17072 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 856335687 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17086] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17086/stat : 17086 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856335689 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134537649 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17087] ppid=17070 vsize=10550804 CPUtime=1.43 cores=0,2,4,6
/proc/17072/task/17087/stat : 17087 (java) S 17070 17072 15115 0 -1 4202560 9928 0 0 0 141 2 0 0 15 0 22 0 856335689 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17088] ppid=17070 vsize=10550804 CPUtime=1.76 cores=0,2,4,6
/proc/17072/task/17088/stat : 17088 (java) S 17070 17072 15115 0 -1 4202560 9204 0 0 0 175 1 0 0 15 0 22 0 856335689 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17089] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17089/stat : 17089 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856335689 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17090] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17090/stat : 17090 (java) S 17070 17072 15115 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 856335689 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17091] ppid=17070 vsize=10550804 CPUtime=784.47 cores=0,2,4,6
/proc/17072/task/17091/stat : 17091 (java) R 17070 17072 15115 0 -1 4202560 77 0 0 0 78447 0 0 0 25 0 22 0 856337283 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 46912506051348 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17072/tid=17092] ppid=17070 vsize=10550804 CPUtime=784.36 cores=0,2,4,6
/proc/17072/task/17092/stat : 17092 (java) R 17070 17072 15115 0 -1 4202560 106 0 0 0 78436 0 0 0 25 0 22 0 856337283 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 46912506204251 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17072/tid=17093] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17093/stat : 17093 (java) S 17070 17072 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856337291 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17095] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17095/stat : 17095 (java) S 17070 17072 15115 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 856337292 10804023296 1069298 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1680.96
Current children cumulated vsize (KiB) 10550804
[startup+942.301 s]
/proc/loadavg: 3.97 3.93 3.73 5/504 17201
/proc/meminfo: memFree=20308380/32951124 swapFree=41830676/67111528
[pid=17072] ppid=17070 vsize=10550804 CPUtime=1796.74 cores=0,2,4,6
/proc/17072/stat : 17072 (java) S 17070 17072 15115 0 -1 4202496 1089824 0 1 0 179535 139 0 0 25 0 22 0 856335683 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17072/statm: 2637701 1071733 2268 9 0 2628435 0
[pid=17072/tid=17073] ppid=17070 vsize=10550804 CPUtime=15.52 cores=0,2,4,6
/proc/17072/task/17073/stat : 17073 (java) S 17070 17072 15115 0 -1 4202560 822919 0 1 0 1454 98 0 0 15 0 22 0 856335684 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=10550804 CPUtime=2.17 cores=0,2,4,6
/proc/17072/task/17075/stat : 17075 (java) S 17070 17072 15115 0 -1 4202560 15902 0 0 0 216 1 0 0 15 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=10550804 CPUtime=1.94 cores=0,2,4,6
/proc/17072/task/17076/stat : 17076 (java) S 17070 17072 15115 0 -1 4202560 21803 0 0 0 191 3 0 0 16 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17077] ppid=17070 vsize=10550804 CPUtime=1.85 cores=0,2,4,6
/proc/17072/task/17077/stat : 17077 (java) S 17070 17072 15115 0 -1 4202560 29120 0 0 0 180 5 0 0 16 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17078] ppid=17070 vsize=10550804 CPUtime=2.1 cores=0,2,4,6
/proc/17072/task/17078/stat : 17078 (java) S 17070 17072 15115 0 -1 4202560 23178 0 0 0 207 3 0 0 16 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17079] ppid=17070 vsize=10550804 CPUtime=1.92 cores=0,2,4,6
/proc/17072/task/17079/stat : 17079 (java) S 17070 17072 15115 0 -1 4202560 20404 0 0 0 190 2 0 0 16 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17080] ppid=17070 vsize=10550804 CPUtime=2.07 cores=0,2,4,6
/proc/17072/task/17080/stat : 17080 (java) S 17070 17072 15115 0 -1 4202560 23133 0 0 0 204 3 0 0 16 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17081] ppid=17070 vsize=10550804 CPUtime=2.16 cores=0,2,4,6
/proc/17072/task/17081/stat : 17081 (java) S 17070 17072 15115 0 -1 4202560 25694 0 0 0 213 3 0 0 16 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17082] ppid=17070 vsize=10550804 CPUtime=1.99 cores=0,2,4,6
/proc/17072/task/17082/stat : 17082 (java) S 17070 17072 15115 0 -1 4202560 20616 0 0 0 197 2 0 0 15 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17083] ppid=17070 vsize=10550804 CPUtime=82.59 cores=0,2,4,6
/proc/17072/task/17083/stat : 17083 (java) S 17070 17072 15115 0 -1 4202560 66527 0 0 0 8251 8 0 0 15 0 22 0 856335686 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 0 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17084] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17084/stat : 17084 (java) S 17070 17072 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 856335687 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17085] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17085/stat : 17085 (java) S 17070 17072 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 856335687 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17086] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17086/stat : 17086 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856335689 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134537649 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17087] ppid=17070 vsize=10550804 CPUtime=1.43 cores=0,2,4,6
/proc/17072/task/17087/stat : 17087 (java) S 17070 17072 15115 0 -1 4202560 9928 0 0 0 141 2 0 0 15 0 22 0 856335689 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17088] ppid=17070 vsize=10550804 CPUtime=1.76 cores=0,2,4,6
/proc/17072/task/17088/stat : 17088 (java) S 17070 17072 15115 0 -1 4202560 9204 0 0 0 175 1 0 0 15 0 22 0 856335689 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17089] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17089/stat : 17089 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856335689 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17090] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17090/stat : 17090 (java) S 17070 17072 15115 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 856335689 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17091] ppid=17070 vsize=10550804 CPUtime=839.6 cores=0,2,4,6
/proc/17072/task/17091/stat : 17091 (java) R 17070 17072 15115 0 -1 4202560 80 0 0 0 83960 0 0 0 25 0 22 0 856337283 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 46912506018317 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17072/tid=17092] ppid=17070 vsize=10550804 CPUtime=839.49 cores=0,2,4,6
/proc/17072/task/17092/stat : 17092 (java) R 17070 17072 15115 0 -1 4202560 107 0 0 0 83949 0 0 0 25 0 22 0 856337283 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 46912506272436 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17072/tid=17093] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17093/stat : 17093 (java) S 17070 17072 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856337291 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17095] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17095/stat : 17095 (java) S 17070 17072 15115 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 856337292 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 10550804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+944.001 s]
/proc/loadavg: 3.97 3.93 3.73 5/504 17201
/proc/meminfo: memFree=20308256/32951124 swapFree=41830676/67111528
[pid=17072] ppid=17070 vsize=10550804 CPUtime=1800.16 cores=0,2,4,6
/proc/17072/stat : 17072 (java) S 17070 17072 15115 0 -1 4202496 1089824 0 1 0 179877 139 0 0 25 0 22 0 856335683 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17072/statm: 2637701 1071733 2268 9 0 2628435 0
[pid=17072/tid=17073] ppid=17070 vsize=10550804 CPUtime=15.52 cores=0,2,4,6
/proc/17072/task/17073/stat : 17073 (java) S 17070 17072 15115 0 -1 4202560 822919 0 1 0 1454 98 0 0 15 0 22 0 856335684 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=10550804 CPUtime=2.17 cores=0,2,4,6
/proc/17072/task/17075/stat : 17075 (java) S 17070 17072 15115 0 -1 4202560 15902 0 0 0 216 1 0 0 15 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=10550804 CPUtime=1.94 cores=0,2,4,6
/proc/17072/task/17076/stat : 17076 (java) S 17070 17072 15115 0 -1 4202560 21803 0 0 0 191 3 0 0 16 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17077] ppid=17070 vsize=10550804 CPUtime=1.85 cores=0,2,4,6
/proc/17072/task/17077/stat : 17077 (java) S 17070 17072 15115 0 -1 4202560 29120 0 0 0 180 5 0 0 16 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17078] ppid=17070 vsize=10550804 CPUtime=2.1 cores=0,2,4,6
/proc/17072/task/17078/stat : 17078 (java) S 17070 17072 15115 0 -1 4202560 23178 0 0 0 207 3 0 0 16 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17079] ppid=17070 vsize=10550804 CPUtime=1.92 cores=0,2,4,6
/proc/17072/task/17079/stat : 17079 (java) S 17070 17072 15115 0 -1 4202560 20404 0 0 0 190 2 0 0 16 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17080] ppid=17070 vsize=10550804 CPUtime=2.07 cores=0,2,4,6
/proc/17072/task/17080/stat : 17080 (java) S 17070 17072 15115 0 -1 4202560 23133 0 0 0 204 3 0 0 16 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17081] ppid=17070 vsize=10550804 CPUtime=2.16 cores=0,2,4,6
/proc/17072/task/17081/stat : 17081 (java) S 17070 17072 15115 0 -1 4202560 25694 0 0 0 213 3 0 0 16 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17082] ppid=17070 vsize=10550804 CPUtime=1.99 cores=0,2,4,6
/proc/17072/task/17082/stat : 17082 (java) S 17070 17072 15115 0 -1 4202560 20616 0 0 0 197 2 0 0 15 0 22 0 856335685 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17083] ppid=17070 vsize=10550804 CPUtime=82.59 cores=0,2,4,6
/proc/17072/task/17083/stat : 17083 (java) S 17070 17072 15115 0 -1 4202560 66527 0 0 0 8251 8 0 0 15 0 22 0 856335686 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 0 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17084] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17084/stat : 17084 (java) S 17070 17072 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 856335687 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17085] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17085/stat : 17085 (java) S 17070 17072 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 856335687 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17086] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17086/stat : 17086 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856335689 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134537649 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17087] ppid=17070 vsize=10550804 CPUtime=1.43 cores=0,2,4,6
/proc/17072/task/17087/stat : 17087 (java) S 17070 17072 15115 0 -1 4202560 9928 0 0 0 141 2 0 0 15 0 22 0 856335689 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 4 0 0 0
[pid=17072/tid=17088] ppid=17070 vsize=10550804 CPUtime=1.76 cores=0,2,4,6
/proc/17072/task/17088/stat : 17088 (java) S 17070 17072 15115 0 -1 4202560 9204 0 0 0 175 1 0 0 15 0 22 0 856335689 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17089] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17089/stat : 17089 (java) S 17070 17072 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856335689 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134529945 0 4 0 16800975 18446604447116559360 0 0 -1 6 0 0 0
[pid=17072/tid=17090] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17090/stat : 17090 (java) S 17070 17072 15115 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 856335689 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 0 0 0 0
[pid=17072/tid=17091] ppid=17070 vsize=10550804 CPUtime=841.32 cores=0,2,4,6
/proc/17072/task/17091/stat : 17091 (java) R 17070 17072 15115 0 -1 4202560 80 0 0 0 84132 0 0 0 25 0 22 0 856337283 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 46912506017904 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17072/tid=17092] ppid=17070 vsize=10550804 CPUtime=841.21 cores=0,2,4,6
/proc/17072/task/17092/stat : 17092 (java) R 17070 17072 15115 0 -1 4202560 107 0 0 0 84121 0 0 0 25 0 22 0 856337283 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 46912506204335 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17072/tid=17093] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17093/stat : 17093 (java) S 17070 17072 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856337291 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
[pid=17072/tid=17095] ppid=17070 vsize=10550804 CPUtime=0 cores=0,2,4,6
/proc/17072/task/17095/stat : 17095 (java) S 17070 17072 15115 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 856337292 10804023296 1071733 33554432000 1073741824 1073778376 140734905673680 18446744073709551615 228134530560 0 4 0 16800975 18446604447116559360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10550804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+944.201 s]
/proc/loadavg: 3.97 3.93 3.73 5/504 17201
/proc/meminfo: memFree=20308256/32951124 swapFree=41830676/67111528
[pid=17072] ppid=17070 vsize=0 CPUtime=1800.49 cores=0,2,4,6
/proc/17072/stat : 17072 (java) Z 17070 17072 15115 0 -1 4203548 1089852 0 1 0 179898 151 0 0 17 0 2 0 856335683 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17072/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 944.232
CPU time (s): 1800.54
CPU user time (s): 1798.99
CPU system time (s): 1.54976
CPU usage (%): 190.688
Max. virtual memory (cumulated for all children) (KiB): 10560504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.54976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1089852
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= 26416
involuntary context switches= 19112
runsolver used 4.80727 second user time and 9.8595 second system time
The end