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-3479066-1307445777/watcher-3479066-1307445777 -o /tmp/evaluation-result-3479066-1307445777/solver-3479066-1307445777 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3479066-1307445777.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.14 2.07 2.04 2/442 25182
/proc/meminfo: memFree=22848620/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25180 25182 24324 0 -1 4202496 3686 0 1 0 0 0 0 0 24 0 2 0 856175917 10694979584 3387 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 2611079 3399 917 9 0 2602235 0
[pid=25182/tid=25183] ppid=25180 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25183/stat : 25183 (java) R 25180 25182 24324 0 -1 4202560 5277 0 1 0 0 0 0 0 25 0 2 0 856175917 10694979584 6093 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0736509 s]
/proc/loadavg: 2.14 2.07 2.04 2/442 25182
/proc/meminfo: memFree=22848620/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25180 25182 24324 0 -1 4202496 11942 0 1 0 5 1 0 0 24 0 18 0 856175917 10724442112 11638 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 2618272 11638 1754 9 0 2609006 0
[pid=25182/tid=25183] ppid=25180 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/25182/task/25183/stat : 25183 (java) R 25180 25182 24324 0 -1 4202560 10767 0 1 0 5 0 0 0 25 0 18 0 856175917 10724442112 11638 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 47524777281555 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100651 s]
/proc/loadavg: 2.14 2.07 2.04 2/442 25182
/proc/meminfo: memFree=22848620/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=10539212 CPUtime=0.1 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25180 25182 24324 0 -1 4202496 12942 0 1 0 9 1 0 0 24 0 18 0 856175917 10792153088 12638 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 2634803 12639 2092 9 0 2625537 0
[pid=25182/tid=25183] ppid=25180 vsize=10539212 CPUtime=0.09 cores=1,3,5,7
/proc/25182/task/25183/stat : 25183 (java) R 25180 25182 24324 0 -1 4202560 11153 0 1 0 8 1 0 0 18 0 18 0 856175917 10792153088 12639 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 47524777944600 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539212
[startup+0.300579 s]
/proc/loadavg: 2.14 2.07 2.04 2/442 25182
/proc/meminfo: memFree=22848620/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=10539920 CPUtime=0.5 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25180 25182 24324 0 -1 4202496 16668 0 1 0 49 1 0 0 24 0 18 0 856175917 10792878080 15676 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 2634980 15676 2200 9 0 2625714 0
[pid=25182/tid=25183] ppid=25180 vsize=10539920 CPUtime=0.28 cores=1,3,5,7
/proc/25182/task/25183/stat : 25183 (java) R 25180 25182 24324 0 -1 4202560 13153 0 1 0 27 1 0 0 18 0 18 0 856175917 10792878080 15677 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10539920
[startup+0.700507 s]
/proc/loadavg: 2.14 2.07 2.04 2/442 25182
/proc/meminfo: memFree=22848620/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=10549236 CPUtime=1.6 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25180 25182 24324 0 -1 4202496 36000 0 1 0 156 4 0 0 24 0 19 0 856175917 10802417664 30636 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 2637309 30637 2232 9 0 2628043 0
[pid=25182/tid=25183] ppid=25180 vsize=10549236 CPUtime=0.68 cores=1,3,5,7
/proc/25182/task/25183/stat : 25183 (java) R 25180 25182 24324 0 -1 4202560 23070 0 1 0 65 3 0 0 19 0 19 0 856175917 10802417664 30637 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 46912505698751 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10549236
[startup+1.50141 s]
/proc/loadavg: 2.14 2.07 2.04 4/461 25201
/proc/meminfo: memFree=22684736/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=10553336 CPUtime=2.9 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25180 25182 24324 0 -1 4202496 91852 0 1 0 280 10 0 0 24 0 19 0 856175917 10806616064 85639 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 2638334 85646 2236 9 0 2629068 0
[pid=25182/tid=25183] ppid=25180 vsize=10553336 CPUtime=1.48 cores=1,3,5,7
/proc/25182/task/25183/stat : 25183 (java) R 25180 25182 24324 0 -1 4202560 77038 0 1 0 140 8 0 0 20 0 19 0 856175917 10806616064 85649 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 46912505874316 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25182/tid=25185] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25185/stat : 25185 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 85652 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25186] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25186/stat : 25186 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 85655 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25187] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25187/stat : 25187 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 85658 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25188] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25188/stat : 25188 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 85660 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25189] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25189/stat : 25189 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 85661 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25190] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25190/stat : 25190 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 85662 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25191] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25191/stat : 25191 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 85663 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25192] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25192/stat : 25192 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 85664 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25193] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25193/stat : 25193 (java) S 25180 25182 24324 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 856175920 10806616064 85665 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 0 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25194] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25194/stat : 25194 (java) S 25180 25182 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856175920 10806616064 85666 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25195] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25195/stat : 25195 (java) S 25180 25182 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856175920 10806616064 85667 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25196] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25196/stat : 25196 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175922 10806616064 85669 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528657841 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25197] ppid=25180 vsize=10553336 CPUtime=0.64 cores=1,3,5,7
/proc/25182/task/25197/stat : 25197 (java) S 25180 25182 24324 0 -1 4202560 5050 0 0 0 64 0 0 0 21 0 19 0 856175922 10806616064 85670 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25198] ppid=25180 vsize=10553336 CPUtime=0.74 cores=1,3,5,7
/proc/25182/task/25198/stat : 25198 (java) S 25180 25182 24324 0 -1 4202560 8614 0 0 0 74 0 0 0 18 0 19 0 856175922 10806616064 85672 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25199] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25199/stat : 25199 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175922 10806616064 85673 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25200] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25200/stat : 25200 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856175922 10806616064 85674 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25201] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25201/stat : 25201 (java) S 25180 25182 24324 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 856175951 10806616064 85675 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 10553336
[startup+3.10111 s]
/proc/loadavg: 2.14 2.07 2.04 3/461 25201
/proc/meminfo: memFree=22305680/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=10553336 CPUtime=4.63 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25180 25182 24324 0 -1 4202496 228566 0 1 0 440 23 0 0 24 0 19 0 856175917 10806616064 222351 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 2638334 222354 2236 9 0 2629068 0
[pid=25182/tid=25183] ppid=25180 vsize=10553336 CPUtime=3.08 cores=1,3,5,7
/proc/25182/task/25183/stat : 25183 (java) R 25180 25182 24324 0 -1 4202560 213720 0 1 0 287 21 0 0 25 0 19 0 856175917 10806616064 222355 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 46912505735198 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25182/tid=25185] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25185/stat : 25185 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 222357 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25186] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25186/stat : 25186 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 222358 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25187] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25187/stat : 25187 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 222360 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25188] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25188/stat : 25188 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 222361 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25189] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25189/stat : 25189 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 222363 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25190] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25190/stat : 25190 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 222364 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25191] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25191/stat : 25191 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 222366 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25192] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25192/stat : 25192 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10806616064 222367 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25193] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25193/stat : 25193 (java) S 25180 25182 24324 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 856175920 10806616064 222369 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 0 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25194] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25194/stat : 25194 (java) S 25180 25182 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856175920 10806616064 222370 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25195] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25195/stat : 25195 (java) S 25180 25182 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856175920 10806616064 222372 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25196] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25196/stat : 25196 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175922 10806616064 222374 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528657841 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25197] ppid=25180 vsize=10553336 CPUtime=0.72 cores=1,3,5,7
/proc/25182/task/25197/stat : 25197 (java) S 25180 25182 24324 0 -1 4202560 5057 0 0 0 72 0 0 0 16 0 19 0 856175922 10806616064 222375 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25198] ppid=25180 vsize=10553336 CPUtime=0.8 cores=1,3,5,7
/proc/25182/task/25198/stat : 25198 (java) S 25180 25182 24324 0 -1 4202560 8632 0 0 0 80 0 0 0 15 0 19 0 856175922 10806616064 222377 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25199] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25199/stat : 25199 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175922 10806616064 222379 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25200] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25200/stat : 25200 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856175922 10806616064 222380 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25201] ppid=25180 vsize=10553336 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25201/stat : 25201 (java) S 25180 25182 24324 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 856175951 10806616064 222382 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 10553336
[startup+6.30153 s]
/proc/loadavg: 2.13 2.07 2.04 3/461 25201
/proc/meminfo: memFree=21173824/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=10548764 CPUtime=7.83 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25180 25182 24324 0 -1 4202496 489732 0 1 0 734 49 0 0 24 0 19 0 856175917 10801934336 482571 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 2637191 482574 2237 9 0 2627925 0
[pid=25182/tid=25183] ppid=25180 vsize=10548764 CPUtime=6.29 cores=1,3,5,7
/proc/25182/task/25183/stat : 25183 (java) R 25180 25182 24324 0 -1 4202560 474886 0 1 0 581 48 0 0 25 0 19 0 856175917 10801934336 482576 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 46912505787551 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25182/tid=25185] ppid=25180 vsize=10548764 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25185/stat : 25185 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10801934336 482578 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25186] ppid=25180 vsize=10548764 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25186/stat : 25186 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10801934336 482580 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25187] ppid=25180 vsize=10548764 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25187/stat : 25187 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10801934336 482582 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25188] ppid=25180 vsize=10548764 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25188/stat : 25188 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10801934336 482584 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25189] ppid=25180 vsize=10548764 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25189/stat : 25189 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10801934336 482585 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25190] ppid=25180 vsize=10548764 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25190/stat : 25190 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10801934336 482587 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25191] ppid=25180 vsize=10548764 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25191/stat : 25191 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10801934336 482590 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25192] ppid=25180 vsize=10548764 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25192/stat : 25192 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175919 10801934336 482592 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25193] ppid=25180 vsize=10548764 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25193/stat : 25193 (java) S 25180 25182 24324 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 856175920 10801934336 482594 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 0 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25194] ppid=25180 vsize=10548764 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25194/stat : 25194 (java) S 25180 25182 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856175920 10801934336 482596 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25195] ppid=25180 vsize=10548764 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25195/stat : 25195 (java) S 25180 25182 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856175920 10801934336 482598 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25196] ppid=25180 vsize=10548764 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25196/stat : 25196 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175922 10801934336 482600 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528657841 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25197] ppid=25180 vsize=10548764 CPUtime=0.72 cores=1,3,5,7
/proc/25182/task/25197/stat : 25197 (java) S 25180 25182 24324 0 -1 4202560 5057 0 0 0 72 0 0 0 15 0 19 0 856175922 10801934336 482602 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25198] ppid=25180 vsize=10548764 CPUtime=0.8 cores=1,3,5,7
/proc/25182/task/25198/stat : 25198 (java) S 25180 25182 24324 0 -1 4202560 8632 0 0 0 80 0 0 0 15 0 19 0 856175922 10801934336 482604 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=25182/tid=25199] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25199/stat : 25199 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175922 10802135040 934602 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25200] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25200/stat : 25200 (java) S 25180 25182 24324 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 856175922 10802135040 934602 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25201] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25201/stat : 25201 (java) S 25180 25182 24324 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 856175951 10802135040 934602 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1667.77
Current children cumulated vsize (KiB) 10548960
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/461 25247
/proc/meminfo: memFree=17802632/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=10548960 CPUtime=1727.9 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25180 25182 24324 0 -1 4202496 944136 0 1 0 172689 101 0 0 24 0 19 0 856175917 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 2637240 935242 2263 9 0 2627974 0
[pid=25182/tid=25183] ppid=25180 vsize=10548960 CPUtime=1719.59 cores=1,3,5,7
/proc/25182/task/25183/stat : 25183 (java) R 25180 25182 24324 0 -1 4202560 817408 0 1 0 171874 85 0 0 25 0 19 0 856175917 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 46912505746527 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25182/tid=25185] ppid=25180 vsize=10548960 CPUtime=0.78 cores=1,3,5,7
/proc/25182/task/25185/stat : 25185 (java) S 25180 25182 24324 0 -1 4202560 18694 0 0 0 76 2 0 0 15 0 19 0 856175919 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25186] ppid=25180 vsize=10548960 CPUtime=0.68 cores=1,3,5,7
/proc/25182/task/25186/stat : 25186 (java) S 25180 25182 24324 0 -1 4202560 10287 0 0 0 67 1 0 0 15 0 19 0 856175919 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25187] ppid=25180 vsize=10548960 CPUtime=0.74 cores=1,3,5,7
/proc/25182/task/25187/stat : 25187 (java) S 25180 25182 24324 0 -1 4202560 16538 0 0 0 73 1 0 0 15 0 19 0 856175919 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25188] ppid=25180 vsize=10548960 CPUtime=0.59 cores=1,3,5,7
/proc/25182/task/25188/stat : 25188 (java) S 25180 25182 24324 0 -1 4202560 6515 0 0 0 58 1 0 0 15 0 19 0 856175919 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25189] ppid=25180 vsize=10548960 CPUtime=0.55 cores=1,3,5,7
/proc/25182/task/25189/stat : 25189 (java) S 25180 25182 24324 0 -1 4202560 7029 0 0 0 55 0 0 0 15 0 19 0 856175919 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25190] ppid=25180 vsize=10548960 CPUtime=0.72 cores=1,3,5,7
/proc/25182/task/25190/stat : 25190 (java) S 25180 25182 24324 0 -1 4202560 13190 0 0 0 71 1 0 0 16 0 19 0 856175919 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25191] ppid=25180 vsize=10548960 CPUtime=0.78 cores=1,3,5,7
/proc/25182/task/25191/stat : 25191 (java) S 25180 25182 24324 0 -1 4202560 17588 0 0 0 76 2 0 0 15 0 19 0 856175919 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25192] ppid=25180 vsize=10548960 CPUtime=0.81 cores=1,3,5,7
/proc/25182/task/25192/stat : 25192 (java) S 25180 25182 24324 0 -1 4202560 13730 0 0 0 80 1 0 0 16 0 19 0 856175919 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25193] ppid=25180 vsize=10548960 CPUtime=0.78 cores=1,3,5,7
/proc/25182/task/25193/stat : 25193 (java) S 25180 25182 24324 0 -1 4202560 8114 0 0 0 77 1 0 0 15 0 19 0 856175920 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 0 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25194] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25194/stat : 25194 (java) S 25180 25182 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856175920 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25195] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25195/stat : 25195 (java) S 25180 25182 24324 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856175920 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25196] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25196/stat : 25196 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175922 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528657841 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25197] ppid=25180 vsize=10548960 CPUtime=0.9 cores=1,3,5,7
/proc/25182/task/25197/stat : 25197 (java) S 25180 25182 24324 0 -1 4202560 5144 0 0 0 90 0 0 0 15 0 19 0 856175922 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25198] ppid=25180 vsize=10548960 CPUtime=0.86 cores=1,3,5,7
/proc/25182/task/25198/stat : 25198 (java) S 25180 25182 24324 0 -1 4202560 8647 0 0 0 86 0 0 0 15 0 19 0 856175922 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25199] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25199/stat : 25199 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175922 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25200] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25200/stat : 25200 (java) S 25180 25182 24324 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 856175922 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25201] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25201/stat : 25201 (java) S 25180 25182 24324 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 856175951 10802135040 935242 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1727.9
Current children cumulated vsize (KiB) 10548960
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 2/441 25252
/proc/meminfo: memFree=21750312/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=10548960 CPUtime=1788.01 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25180 25182 24324 0 -1 4202496 944465 0 1 0 178700 101 0 0 24 0 19 0 856175917 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 2637240 935561 2263 9 0 2627974 0
[pid=25182/tid=25183] ppid=25180 vsize=10548960 CPUtime=1779.55 cores=1,3,5,7
/proc/25182/task/25183/stat : 25183 (java) R 25180 25182 24324 0 -1 4202560 817411 0 1 0 177870 85 0 0 25 0 19 0 856175917 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 46912505785451 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25182/tid=25185] ppid=25180 vsize=10548960 CPUtime=0.78 cores=1,3,5,7
/proc/25182/task/25185/stat : 25185 (java) S 25180 25182 24324 0 -1 4202560 18694 0 0 0 76 2 0 0 15 0 19 0 856175919 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25186] ppid=25180 vsize=10548960 CPUtime=0.69 cores=1,3,5,7
/proc/25182/task/25186/stat : 25186 (java) S 25180 25182 24324 0 -1 4202560 10321 0 0 0 68 1 0 0 15 0 19 0 856175919 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25187] ppid=25180 vsize=10548960 CPUtime=0.75 cores=1,3,5,7
/proc/25182/task/25187/stat : 25187 (java) S 25180 25182 24324 0 -1 4202560 16562 0 0 0 74 1 0 0 15 0 19 0 856175919 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25188] ppid=25180 vsize=10548960 CPUtime=0.62 cores=1,3,5,7
/proc/25182/task/25188/stat : 25188 (java) S 25180 25182 24324 0 -1 4202560 6593 0 0 0 61 1 0 0 16 0 19 0 856175919 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25189] ppid=25180 vsize=10548960 CPUtime=0.57 cores=1,3,5,7
/proc/25182/task/25189/stat : 25189 (java) S 25180 25182 24324 0 -1 4202560 7050 0 0 0 57 0 0 0 15 0 19 0 856175919 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25190] ppid=25180 vsize=10548960 CPUtime=0.76 cores=1,3,5,7
/proc/25182/task/25190/stat : 25190 (java) S 25180 25182 24324 0 -1 4202560 13271 0 0 0 75 1 0 0 16 0 19 0 856175919 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25191] ppid=25180 vsize=10548960 CPUtime=0.81 cores=1,3,5,7
/proc/25182/task/25191/stat : 25191 (java) S 25180 25182 24324 0 -1 4202560 17625 0 0 0 79 2 0 0 16 0 19 0 856175919 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25192] ppid=25180 vsize=10548960 CPUtime=0.83 cores=1,3,5,7
/proc/25182/task/25192/stat : 25192 (java) S 25180 25182 24324 0 -1 4202560 13775 0 0 0 82 1 0 0 16 0 19 0 856175919 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25193] ppid=25180 vsize=10548960 CPUtime=0.78 cores=1,3,5,7
/proc/25182/task/25193/stat : 25193 (java) S 25180 25182 24324 0 -1 4202560 8118 0 0 0 77 1 0 0 15 0 19 0 856175920 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 0 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25194] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25194/stat : 25194 (java) S 25180 25182 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856175920 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25195] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25195/stat : 25195 (java) S 25180 25182 24324 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856175920 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25196] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25196/stat : 25196 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175922 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528657841 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25197] ppid=25180 vsize=10548960 CPUtime=0.9 cores=1,3,5,7
/proc/25182/task/25197/stat : 25197 (java) S 25180 25182 24324 0 -1 4202560 5144 0 0 0 90 0 0 0 15 0 19 0 856175922 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25198] ppid=25180 vsize=10548960 CPUtime=0.86 cores=1,3,5,7
/proc/25182/task/25198/stat : 25198 (java) S 25180 25182 24324 0 -1 4202560 8647 0 0 0 86 0 0 0 15 0 19 0 856175922 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25199] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25199/stat : 25199 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175922 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25200] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25200/stat : 25200 (java) S 25180 25182 24324 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 856175922 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25201] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25201/stat : 25201 (java) S 25180 25182 24324 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 856175951 10802135040 935561 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1788.01
Current children cumulated vsize (KiB) 10548960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.3 s]
/proc/loadavg: 1.95 2.02 1.99 3/461 25297
/proc/meminfo: memFree=19106996/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=10548960 CPUtime=1800.06 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25180 25182 24324 0 -1 4202496 944660 0 1 0 179905 101 0 0 24 0 19 0 856175917 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 2637240 935749 2263 9 0 2627974 0
[pid=25182/tid=25183] ppid=25180 vsize=10548960 CPUtime=1791.54 cores=1,3,5,7
/proc/25182/task/25183/stat : 25183 (java) R 25180 25182 24324 0 -1 4202560 817412 0 1 0 179069 85 0 0 25 0 19 0 856175917 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 46912505785470 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25182/tid=25185] ppid=25180 vsize=10548960 CPUtime=0.8 cores=1,3,5,7
/proc/25182/task/25185/stat : 25185 (java) S 25180 25182 24324 0 -1 4202560 18732 0 0 0 78 2 0 0 16 0 19 0 856175919 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25186] ppid=25180 vsize=10548960 CPUtime=0.71 cores=1,3,5,7
/proc/25182/task/25186/stat : 25186 (java) S 25180 25182 24324 0 -1 4202560 10405 0 0 0 70 1 0 0 16 0 19 0 856175919 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25187] ppid=25180 vsize=10548960 CPUtime=0.75 cores=1,3,5,7
/proc/25182/task/25187/stat : 25187 (java) S 25180 25182 24324 0 -1 4202560 16562 0 0 0 74 1 0 0 15 0 19 0 856175919 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25188] ppid=25180 vsize=10548960 CPUtime=0.64 cores=1,3,5,7
/proc/25182/task/25188/stat : 25188 (java) S 25180 25182 24324 0 -1 4202560 6663 0 0 0 63 1 0 0 16 0 19 0 856175919 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25189] ppid=25180 vsize=10548960 CPUtime=0.57 cores=1,3,5,7
/proc/25182/task/25189/stat : 25189 (java) S 25180 25182 24324 0 -1 4202560 7050 0 0 0 57 0 0 0 15 0 19 0 856175919 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25190] ppid=25180 vsize=10548960 CPUtime=0.76 cores=1,3,5,7
/proc/25182/task/25190/stat : 25190 (java) S 25180 25182 24324 0 -1 4202560 13271 0 0 0 75 1 0 0 15 0 19 0 856175919 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25191] ppid=25180 vsize=10548960 CPUtime=0.81 cores=1,3,5,7
/proc/25182/task/25191/stat : 25191 (java) S 25180 25182 24324 0 -1 4202560 17625 0 0 0 79 2 0 0 15 0 19 0 856175919 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25192] ppid=25180 vsize=10548960 CPUtime=0.83 cores=1,3,5,7
/proc/25182/task/25192/stat : 25192 (java) S 25180 25182 24324 0 -1 4202560 13775 0 0 0 82 1 0 0 15 0 19 0 856175919 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25193] ppid=25180 vsize=10548960 CPUtime=0.78 cores=1,3,5,7
/proc/25182/task/25193/stat : 25193 (java) S 25180 25182 24324 0 -1 4202560 8118 0 0 0 77 1 0 0 15 0 19 0 856175920 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 0 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25194] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25194/stat : 25194 (java) S 25180 25182 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856175920 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25195] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25195/stat : 25195 (java) S 25180 25182 24324 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856175920 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25196] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25196/stat : 25196 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175922 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528657841 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25197] ppid=25180 vsize=10548960 CPUtime=0.9 cores=1,3,5,7
/proc/25182/task/25197/stat : 25197 (java) S 25180 25182 24324 0 -1 4202560 5144 0 0 0 90 0 0 0 15 0 19 0 856175922 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=25182/tid=25198] ppid=25180 vsize=10548960 CPUtime=0.86 cores=1,3,5,7
/proc/25182/task/25198/stat : 25198 (java) S 25180 25182 24324 0 -1 4202560 8647 0 0 0 86 0 0 0 15 0 19 0 856175922 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=25182/tid=25199] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25199/stat : 25199 (java) S 25180 25182 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856175922 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
[pid=25182/tid=25200] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25200/stat : 25200 (java) S 25180 25182 24324 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 856175922 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=25182/tid=25201] ppid=25180 vsize=10548960 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25201/stat : 25201 (java) S 25180 25182 24324 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 856175951 10802135040 935749 33554432000 1073741824 1073778376 140737468982992 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10548960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.42 s]
/proc/loadavg: 1.95 2.02 1.99 3/461 25297
/proc/meminfo: memFree=19106996/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/25182/stat : 25182 (java) Z 25180 25182 24324 0 -1 4203548 944697 0 1 0 179915 107 0 0 17 0 2 0 856175917 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
[startup+1794.5 s]
/proc/loadavg: 1.95 2.02 1.99 3/461 25297
/proc/meminfo: memFree=19106996/32951124 swapFree=44043516/67111528
[pid=25182] ppid=25180 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/25182/stat : 25182 (java) Z 25180 25182 24324 0 -1 4203548 944697 0 1 0 179915 115 0 0 17 0 2 0 856175917 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25182/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.5
CPU time (s): 1800.31
CPU user time (s): 1799.15
CPU system time (s): 1.15282
CPU usage (%): 100.323
Max. virtual memory (cumulated for all children) (KiB): 10553336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 1.15282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 944697
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= 39729
involuntary context switches= 16022
runsolver used 7.28789 second user time and 17.6773 second system time
The end