runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3736620-1338760839/watcher-3736620-1338760839 -o /tmp/evaluation-result-3736620-1338760839/solver-3736620-1338760839 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3736620-1338760839.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.05 2.01 2.00 2/195 4156
/proc/meminfo: memFree=27828124/32873844 swapFree=7120/7120
[pid=4156] ppid=4154 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/4156/stat : 4156 (java6) D 4154 4156 2643 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342208777 9515008 183 33554432000 1073741824 1073778376 140733394104128 140733394095160 233220947637 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 2323 183 140 9 0 71 0
[startup+0.102336 s]
/proc/loadavg: 2.05 2.01 2.00 2/195 4156
/proc/meminfo: memFree=27828124/32873844 swapFree=7120/7120
[pid=4156] ppid=4154 vsize=2648568 CPUtime=0.08 cores=0,2,4,6
/proc/4156/stat : 4156 (java) S 4154 4156 2643 0 -1 4202496 4551 0 1 0 7 1 0 0 20 0 18 0 342208777 2712133632 6269 33554432000 1073741824 1073778376 140737432426624 140737432417760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 662142 6269 2086 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.200248 s]
/proc/loadavg: 2.05 2.01 2.00 2/195 4156
/proc/meminfo: memFree=27828124/32873844 swapFree=7120/7120
[pid=4156] ppid=4154 vsize=2715132 CPUtime=0.25 cores=0,2,4,6
/proc/4156/stat : 4156 (java) S 4154 4156 2643 0 -1 4202496 5190 0 1 0 24 1 0 0 20 0 19 0 342208777 2780295168 7345 33554432000 1073741824 1073778376 140737432426624 140737432417760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 678783 7345 2200 9 0 669476 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 2715132
[startup+0.300268 s]
/proc/loadavg: 2.05 2.01 2.00 2/195 4156
/proc/meminfo: memFree=27828124/32873844 swapFree=7120/7120
[pid=4156] ppid=4154 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/4156/stat : 4156 (java) S 4154 4156 2643 0 -1 4202496 8738 0 1 0 52 2 0 0 20 0 19 0 342208777 2780295168 9578 33554432000 1073741824 1073778376 140737432426624 140737432417760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 678783 9578 2235 9 0 669476 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2715132
[startup+0.700234 s]
/proc/loadavg: 2.05 2.01 2.00 2/195 4156
/proc/meminfo: memFree=27828124/32873844 swapFree=7120/7120
[pid=4156] ppid=4154 vsize=2715132 CPUtime=1.09 cores=0,2,4,6
/proc/4156/stat : 4156 (java) S 4154 4156 2643 0 -1 4202496 8776 0 1 0 106 3 0 0 20 0 19 0 342208777 2780295168 19099 33554432000 1073741824 1073778376 140737432426624 140737432417760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 678783 19099 2243 9 0 669476 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2715132
[startup+1.50073 s]
/proc/loadavg: 2.05 2.01 2.00 3/214 4175
/proc/meminfo: memFree=27721252/32873844 swapFree=7120/7120
[pid=4156] ppid=4154 vsize=2715132 CPUtime=1.93 cores=0,2,4,6
/proc/4156/stat : 4156 (java) S 4154 4156 2643 0 -1 4202496 8818 0 1 0 189 4 0 0 20 0 19 0 342208777 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140737432417760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 678783 38047 2245 9 0 669476 0
[pid=4156/tid=4158] ppid=4154 vsize=2715132 CPUtime=1.46 cores=0,2,4,6
/proc/4156/task/4158/stat : 4158 (java) R 4154 4156 2643 0 -1 4202560 2814 0 1 0 143 3 0 0 20 0 19 0 342208778 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140498527800056 140498396756268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4159] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4159/stat : 4159 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140498394466856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4160] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4160/stat : 4160 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140498393414056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4161] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4161/stat : 4161 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140498392361256 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4162] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4162/stat : 4162 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140498391308456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4163] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4163/stat : 4163 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140498390256680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4164/stat : 4164 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140498389203880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4165/stat : 4165 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140498388151080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4166/stat : 4166 (java) S 4154 4156 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140498387098280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4167/stat : 4167 (java) S 4154 4156 2643 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140497904441832 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4168/stat : 4168 (java) S 4154 4156 2643 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140497903387896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4169/stat : 4169 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208782 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140497902334984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4170/stat : 4170 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140497901283472 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4171] ppid=4154 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/4156/task/4171/stat : 4171 (java) S 4154 4156 2643 0 -1 4202560 2433 0 0 0 23 0 0 0 20 0 19 0 342208784 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140497900231608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4172] ppid=4154 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/4156/task/4172/stat : 4172 (java) S 4154 4156 2643 0 -1 4202560 2376 0 0 0 20 0 0 0 20 0 19 0 342208784 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140497899178808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4173] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4173/stat : 4173 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140497898126200 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4174] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4174/stat : 4174 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140497897073608 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4175] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4175/stat : 4175 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208796 2780295168 38047 33554432000 1073741824 1073778376 140737432426624 140497896019112 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 2715132
[startup+3.10073 s]
/proc/loadavg: 2.05 2.01 2.00 3/214 4175
/proc/meminfo: memFree=27628348/32873844 swapFree=7120/7120
[pid=4156] ppid=4154 vsize=2715132 CPUtime=3.53 cores=0,2,4,6
/proc/4156/stat : 4156 (java) S 4154 4156 2643 0 -1 4202496 8877 0 1 0 347 6 0 0 20 0 19 0 342208777 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140737432417760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 678783 67743 2245 9 0 669476 0
[pid=4156/tid=4158] ppid=4154 vsize=2715132 CPUtime=3.05 cores=0,2,4,6
/proc/4156/task/4158/stat : 4158 (java) R 4154 4156 2643 0 -1 4202560 2873 0 1 0 300 5 0 0 20 0 19 0 342208778 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140498527793584 140498396776596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4159] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4159/stat : 4159 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140498394466856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4160] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4160/stat : 4160 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140498393414056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4161] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4161/stat : 4161 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140498392361256 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4162] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4162/stat : 4162 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140498391308456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4163] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4163/stat : 4163 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140498390256680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4164/stat : 4164 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140498389203880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4165/stat : 4165 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140498388151080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4166/stat : 4166 (java) S 4154 4156 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140498387098280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4167/stat : 4167 (java) S 4154 4156 2643 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140497904441832 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4168/stat : 4168 (java) S 4154 4156 2643 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140497903387896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4169/stat : 4169 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208782 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140497902334984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4170/stat : 4170 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140497901283472 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4171] ppid=4154 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/4156/task/4171/stat : 4171 (java) S 4154 4156 2643 0 -1 4202560 2433 0 0 0 23 0 0 0 20 0 19 0 342208784 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140497900231608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4172] ppid=4154 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/4156/task/4172/stat : 4172 (java) S 4154 4156 2643 0 -1 4202560 2376 0 0 0 20 0 0 0 20 0 19 0 342208784 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140497899178808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4173] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4173/stat : 4173 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140497898126200 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4174] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4174/stat : 4174 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140497897073608 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4175] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4175/stat : 4175 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208796 2780295168 67743 33554432000 1073741824 1073778376 140737432426624 140497896019112 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 2715132
[startup+6.30073 s]
/proc/loadavg: 2.05 2.01 2.00 3/214 4175
/proc/meminfo: memFree=27453524/32873844 swapFree=7120/7120
[pid=4156] ppid=4154 vsize=2715132 CPUtime=6.79 cores=0,2,4,6
/proc/4156/stat : 4156 (java) S 4154 4156 2643 0 -1 4202496 8973 0 1 0 670 9 0 0 20 0 19 0 342208777 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140737432417760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 678783 95405 2259 9 0 669476 0
[pid=4156/tid=4158] ppid=4154 vsize=2715132 CPUtime=6.22 cores=0,2,4,6
/proc/4156/task/4158/stat : 4158 (java) R 4154 4156 2643 0 -1 4202560 2925 0 1 0 615 7 0 0 20 0 19 0 342208778 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140498527801864 140498396756935 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4159] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4159/stat : 4159 (java) S 4154 4156 2643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140498394466856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4160] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4160/stat : 4160 (java) S 4154 4156 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140498393414056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4161] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4161/stat : 4161 (java) S 4154 4156 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140498392361256 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4162] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4162/stat : 4162 (java) S 4154 4156 2643 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140498391308456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4163] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4163/stat : 4163 (java) S 4154 4156 2643 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140498390256680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4164/stat : 4164 (java) S 4154 4156 2643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140498389203880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4165/stat : 4165 (java) S 4154 4156 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140498388151080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4166/stat : 4166 (java) S 4154 4156 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140498387098280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4167/stat : 4167 (java) S 4154 4156 2643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140497904441832 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4168/stat : 4168 (java) S 4154 4156 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140497903387896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4169/stat : 4169 (java) S 4154 4156 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342208782 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140497902334984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4170/stat : 4170 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140497901283472 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4171] ppid=4154 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/4156/task/4171/stat : 4171 (java) S 4154 4156 2643 0 -1 4202560 2433 0 0 0 23 0 0 0 20 0 19 0 342208784 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140497900231608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4172] ppid=4154 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/4156/task/4172/stat : 4172 (java) S 4154 4156 2643 0 -1 4202560 2377 0 0 0 21 0 0 0 20 0 19 0 342208784 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140497899178808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4173] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4173/stat : 4173 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140497898126200 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4174] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4174/stat : 4174 (java) S 4154 4156 2643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140497897073608 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4175] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4175/stat : 4175 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208796 2780295168 95405 33554432000 1073741824 1073778376 140737432426624 140497896019112 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
/proc/4156/task/4160/stat : 4160 (java) S 4154 4156 2643 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498393414056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4161] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4161/stat : 4161 (java) S 4154 4156 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498392361256 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4162] ppid=4154 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/4156/task/4162/stat : 4162 (java) S 4154 4156 2643 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498391308456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4163] ppid=4154 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/4156/task/4163/stat : 4163 (java) S 4154 4156 2643 0 -1 4202560 25 0 0 0 1 2 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498390256680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4164/stat : 4164 (java) S 4154 4156 2643 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498389203880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4165/stat : 4165 (java) S 4154 4156 2643 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498388151080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4166/stat : 4166 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498387098280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4167/stat : 4167 (java) S 4154 4156 2643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497904441832 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4168/stat : 4168 (java) S 4154 4156 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497903387896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4169/stat : 4169 (java) S 4154 4156 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342208782 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497902334984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4170/stat : 4170 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497901283472 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4171] ppid=4154 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/4156/task/4171/stat : 4171 (java) S 4154 4156 2643 0 -1 4202560 2433 0 0 0 23 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497900231608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4172] ppid=4154 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/4156/task/4172/stat : 4172 (java) S 4154 4156 2643 0 -1 4202560 2377 0 0 0 23 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497899178808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4173] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4173/stat : 4173 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497898126200 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4174] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4174/stat : 4174 (java) S 4154 4156 2643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497897073608 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4175] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4175/stat : 4175 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208796 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497896019112 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 13.3
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
[startup+12.8009 s]
/proc/loadavg: 2.12 2.03 2.01 3/214 4175
/proc/meminfo: memFree=27453168/32873844 swapFree=7120/7120
[pid=4156] ppid=4154 vsize=2715132 CPUtime=13.4 cores=0,2,4,6
/proc/4156/stat : 4156 (java) S 4154 4156 2643 0 -1 4202496 9032 0 1 0 1328 12 0 0 20 0 19 0 342208777 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140737432417760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 678783 102574 2259 9 0 669476 0
[pid=4156/tid=4158] ppid=4154 vsize=2715132 CPUtime=12.68 cores=0,2,4,6
/proc/4156/task/4158/stat : 4158 (java) R 4154 4156 2643 0 -1 4202560 2927 0 1 0 1261 7 0 0 20 0 19 0 342208778 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498527800808 140498396755367 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4159] ppid=4154 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/4156/task/4159/stat : 4159 (java) S 4154 4156 2643 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498394466856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4160] ppid=4154 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/4156/task/4160/stat : 4160 (java) S 4154 4156 2643 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498393414056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4161] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4161/stat : 4161 (java) S 4154 4156 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498392361256 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4162] ppid=4154 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/4156/task/4162/stat : 4162 (java) S 4154 4156 2643 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498391308456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4163] ppid=4154 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/4156/task/4163/stat : 4163 (java) S 4154 4156 2643 0 -1 4202560 25 0 0 0 1 2 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498390256680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4164/stat : 4164 (java) S 4154 4156 2643 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498389203880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4165/stat : 4165 (java) S 4154 4156 2643 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498388151080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4166/stat : 4166 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498387098280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4167/stat : 4167 (java) S 4154 4156 2643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497904441832 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4168/stat : 4168 (java) S 4154 4156 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497903387896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4169/stat : 4169 (java) S 4154 4156 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342208782 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497902334984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4170/stat : 4170 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497901283472 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4171] ppid=4154 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/4156/task/4171/stat : 4171 (java) S 4154 4156 2643 0 -1 4202560 2433 0 0 0 23 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497900231608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4172] ppid=4154 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/4156/task/4172/stat : 4172 (java) S 4154 4156 2643 0 -1 4202560 2377 0 0 0 23 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497899178808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4173] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4173/stat : 4173 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497898126200 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4174] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4174/stat : 4174 (java) S 4154 4156 2643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497897073608 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4175] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4175/stat : 4175 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208796 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497896019112 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 13.4
Current children cumulated vsize (KiB) 2715132
[startup+13.2006 s]
/proc/loadavg: 2.12 2.03 2.01 3/214 4175
/proc/meminfo: memFree=27424504/32873844 swapFree=7120/7120
[pid=4156] ppid=4154 vsize=2715132 CPUtime=13.82 cores=0,2,4,6
/proc/4156/stat : 4156 (java) S 4154 4156 2643 0 -1 4202496 9032 0 1 0 1370 12 0 0 20 0 19 0 342208777 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140737432417760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 678783 102574 2259 9 0 669476 0
[pid=4156/tid=4158] ppid=4154 vsize=2715132 CPUtime=13.08 cores=0,2,4,6
/proc/4156/task/4158/stat : 4158 (java) R 4154 4156 2643 0 -1 4202560 2927 0 1 0 1301 7 0 0 20 0 19 0 342208778 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498527802264 140498396920208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4159] ppid=4154 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/4156/task/4159/stat : 4159 (java) S 4154 4156 2643 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498394466856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4160] ppid=4154 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/4156/task/4160/stat : 4160 (java) S 4154 4156 2643 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498393414056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4161] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4161/stat : 4161 (java) S 4154 4156 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498392361256 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4162] ppid=4154 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/4156/task/4162/stat : 4162 (java) S 4154 4156 2643 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498391308456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4163] ppid=4154 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/4156/task/4163/stat : 4163 (java) S 4154 4156 2643 0 -1 4202560 25 0 0 0 1 2 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498390256680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4164/stat : 4164 (java) S 4154 4156 2643 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498389203880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4165/stat : 4165 (java) S 4154 4156 2643 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498388151080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4166/stat : 4166 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498387098280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4167/stat : 4167 (java) S 4154 4156 2643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497904441832 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4168/stat : 4168 (java) S 4154 4156 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497903387896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4169/stat : 4169 (java) S 4154 4156 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342208782 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497902334984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4170/stat : 4170 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497901283472 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4171] ppid=4154 vsize=2715132 CPUtime=0.24 cores=0,2,4,6
/proc/4156/task/4171/stat : 4171 (java) S 4154 4156 2643 0 -1 4202560 2433 0 0 0 24 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497900231608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4172] ppid=4154 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/4156/task/4172/stat : 4172 (java) S 4154 4156 2643 0 -1 4202560 2377 0 0 0 23 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497899178808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4173] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4173/stat : 4173 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497898126200 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4174] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4174/stat : 4174 (java) S 4154 4156 2643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497897073608 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4175] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4175/stat : 4175 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208796 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497896019112 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 13.82
Current children cumulated vsize (KiB) 2715132
[startup+13.4006 s]
/proc/loadavg: 2.12 2.03 2.01 3/214 4175
/proc/meminfo: memFree=27424504/32873844 swapFree=7120/7120
[pid=4156] ppid=4154 vsize=2715132 CPUtime=14.01 cores=0,2,4,6
/proc/4156/stat : 4156 (java) S 4154 4156 2643 0 -1 4202496 9032 0 1 0 1389 12 0 0 20 0 19 0 342208777 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140737432417760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 678783 102574 2259 9 0 669476 0
[pid=4156/tid=4158] ppid=4154 vsize=2715132 CPUtime=13.28 cores=0,2,4,6
/proc/4156/task/4158/stat : 4158 (java) R 4154 4156 2643 0 -1 4202560 2927 0 1 0 1321 7 0 0 20 0 19 0 342208778 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498527800280 140498396920512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4159] ppid=4154 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/4156/task/4159/stat : 4159 (java) S 4154 4156 2643 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498394466856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4160] ppid=4154 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/4156/task/4160/stat : 4160 (java) S 4154 4156 2643 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498393414056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4161] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4161/stat : 4161 (java) S 4154 4156 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498392361256 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4162] ppid=4154 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/4156/task/4162/stat : 4162 (java) S 4154 4156 2643 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498391308456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4163] ppid=4154 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/4156/task/4163/stat : 4163 (java) S 4154 4156 2643 0 -1 4202560 25 0 0 0 1 2 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498390256680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4164/stat : 4164 (java) S 4154 4156 2643 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498389203880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4165/stat : 4165 (java) S 4154 4156 2643 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498388151080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4166/stat : 4166 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208780 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140498387098280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4167/stat : 4167 (java) S 4154 4156 2643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497904441832 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4168/stat : 4168 (java) S 4154 4156 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342208781 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497903387896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4169/stat : 4169 (java) S 4154 4156 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342208782 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497902334984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4170/stat : 4170 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497901283472 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4171] ppid=4154 vsize=2715132 CPUtime=0.24 cores=0,2,4,6
/proc/4156/task/4171/stat : 4171 (java) S 4154 4156 2643 0 -1 4202560 2433 0 0 0 24 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497900231608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4172] ppid=4154 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/4156/task/4172/stat : 4172 (java) S 4154 4156 2643 0 -1 4202560 2377 0 0 0 23 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497899178808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4173] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4173/stat : 4173 (java) S 4154 4156 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497898126200 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4174] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4174/stat : 4174 (java) S 4154 4156 2643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342208784 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497897073608 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4175] ppid=4154 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/4156/task/4175/stat : 4175 (java) S 4154 4156 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342208796 2780295168 102574 33554432000 1073741824 1073778376 140737432426624 140497896019112 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 14.01
Current children cumulated vsize (KiB) 2715132
Child status: 30
Real time (s): 13.4918
CPU time (s): 14.1329
CPU user time (s): 13.9299
CPU system time (s): 0.202969
CPU usage (%): 104.752
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.9299
system time used= 0.202969
maximum resident set size= 410340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9046
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 615
involuntary context switches= 203
runsolver used 0.058991 second user time and 0.148977 second system time
The end