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-3456877-1307638672/watcher-3456877-1307638672 -o /tmp/evaluation-result-3456877-1307638672/solver-3456877-1307638672 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456877-1307638672.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.00 2.00 1.93 3/192 24271
/proc/meminfo: memFree=27750108/32951124 swapFree=67062556/67111528
[pid=24271] ppid=24269 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/24271/stat : 24271 (java) S 24269 24271 23633 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 1 0 954097673 9318400 165 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252458063872 0 2147483391 4096 0 18446744071699199166 0 0 17 5 0 0 0
/proc/24271/statm: 2275 165 125 9 0 67 0
[startup+0.0155981 s]
/proc/loadavg: 2.00 2.00 1.93 3/192 24271
/proc/meminfo: memFree=27750108/32951124 swapFree=67062556/67111528
[pid=24271] ppid=24269 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24271/stat : 24271 (java) S 24269 24271 23633 0 -1 4202496 3261 0 1 0 0 0 0 0 25 0 2 0 954097673 10694979584 2963 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/24271/statm: 2611079 2985 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.100571 s]
/proc/loadavg: 2.00 2.00 1.93 3/192 24271
/proc/meminfo: memFree=27750108/32951124 swapFree=67062556/67111528
[pid=24271] ppid=24269 vsize=10605408 CPUtime=0.1 cores=1,3,5,7
/proc/24271/stat : 24271 (java) S 24269 24271 23633 0 -1 4202496 13046 0 1 0 9 1 0 0 25 0 18 0 954097673 10859937792 12705 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24271/statm: 2651352 12706 2092 9 0 2642086 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605408
[startup+0.310558 s]
/proc/loadavg: 2.00 2.00 1.93 3/192 24271
/proc/meminfo: memFree=27750108/32951124 swapFree=67062556/67111528
[pid=24271] ppid=24269 vsize=10606784 CPUtime=0.5 cores=1,3,5,7
/proc/24271/stat : 24271 (java) S 24269 24271 23633 0 -1 4202496 16236 0 1 0 48 2 0 0 25 0 18 0 954097673 10861346816 15635 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24271/statm: 2651696 15636 2201 9 0 2642430 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10606784
[startup+0.700423 s]
/proc/loadavg: 2.00 2.00 1.93 3/192 24271
/proc/meminfo: memFree=27750108/32951124 swapFree=67062556/67111528
[pid=24271] ppid=24269 vsize=10610356 CPUtime=0.98 cores=1,3,5,7
/proc/24271/stat : 24271 (java) S 24269 24271 23633 0 -1 4202496 54524 0 1 0 92 6 0 0 25 0 18 0 954097673 10865004544 53153 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24271/statm: 2652589 53153 2218 9 0 2643323 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10610356
[startup+1.50132 s]
/proc/loadavg: 2.00 2.00 1.93 5/211 24291
/proc/meminfo: memFree=27516796/32951124 swapFree=67062556/67111528
[pid=24271] ppid=24269 vsize=10626440 CPUtime=2.73 cores=1,3,5,7
/proc/24271/stat : 24271 (java) S 24269 24271 23633 0 -1 4202496 84220 0 1 0 262 11 0 0 25 0 19 0 954097673 10881474560 78510 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24271/statm: 2656610 78510 2231 9 0 2647344 0
[pid=24271/tid=24273] ppid=24269 vsize=10626440 CPUtime=1.47 cores=1,3,5,7
/proc/24271/task/24273/stat : 24273 (java) R 24269 24271 23633 0 -1 4202560 68287 0 1 0 139 8 0 0 18 0 19 0 954097674 10881474560 78510 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 46912505991090 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24271/tid=24274] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24274/stat : 24274 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 78510 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24275] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24275/stat : 24275 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 78510 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24276] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24276/stat : 24276 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 78510 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24277] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24277/stat : 24277 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 78510 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24278] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24278/stat : 24278 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 78516 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24279] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24279/stat : 24279 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 78522 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24280] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24280/stat : 24280 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 78528 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24281] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24281/stat : 24281 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 78530 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24282] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24282/stat : 24282 (java) S 24269 24271 23633 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 954097676 10881474560 78533 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 0 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24283] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24283/stat : 24283 (java) S 24269 24271 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954097677 10881474560 78535 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24284] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24284/stat : 24284 (java) S 24269 24271 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954097677 10881474560 78536 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24285] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24285/stat : 24285 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10881474560 78538 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469889457 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24286] ppid=24269 vsize=10626440 CPUtime=0.59 cores=1,3,5,7
/proc/24271/task/24286/stat : 24286 (java) S 24269 24271 23633 0 -1 4202560 6080 0 0 0 59 0 0 0 23 0 19 0 954097679 10881474560 78539 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24287] ppid=24269 vsize=10626440 CPUtime=0.63 cores=1,3,5,7
/proc/24271/task/24287/stat : 24287 (java) S 24269 24271 23633 0 -1 4202560 8694 0 0 0 62 1 0 0 15 0 19 0 954097679 10881474560 78540 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 3 0 0 0
[pid=24271/tid=24288] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24288/stat : 24288 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10881474560 78541 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24289] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24289/stat : 24289 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954097679 10881474560 78543 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24291] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24291/stat : 24291 (java) S 24269 24271 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954097744 10881474560 78543 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 10626440
[startup+3.10101 s]
/proc/loadavg: 2.08 2.02 1.93 3/211 24291
/proc/meminfo: memFree=27352248/32951124 swapFree=67062556/67111528
[pid=24271] ppid=24269 vsize=10626440 CPUtime=4.36 cores=1,3,5,7
/proc/24271/stat : 24271 (java) S 24269 24271 23633 0 -1 4202496 143172 0 1 0 418 18 0 0 25 0 19 0 954097673 10881474560 137461 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24271/statm: 2656610 137463 2232 9 0 2647344 0
[pid=24271/tid=24273] ppid=24269 vsize=10626440 CPUtime=3.08 cores=1,3,5,7
/proc/24271/task/24273/stat : 24273 (java) R 24269 24271 23633 0 -1 4202560 127236 0 1 0 292 16 0 0 19 0 19 0 954097674 10881474560 137463 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 46912505864531 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24271/tid=24274] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24274/stat : 24274 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 137464 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24275] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24275/stat : 24275 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 137465 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24276] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24276/stat : 24276 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 137465 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24277] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24277/stat : 24277 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 137466 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24278] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24278/stat : 24278 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 137466 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24279] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24279/stat : 24279 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 137467 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24280] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24280/stat : 24280 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 137468 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24281] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24281/stat : 24281 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10881474560 137469 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24282] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24282/stat : 24282 (java) S 24269 24271 23633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954097676 10881474560 137469 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 0 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24283] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24283/stat : 24283 (java) S 24269 24271 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954097677 10881474560 137470 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24284] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24284/stat : 24284 (java) S 24269 24271 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954097677 10881474560 137471 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24285] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24285/stat : 24285 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10881474560 137472 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469889457 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24286] ppid=24269 vsize=10626440 CPUtime=0.59 cores=1,3,5,7
/proc/24271/task/24286/stat : 24286 (java) S 24269 24271 23633 0 -1 4202560 6080 0 0 0 59 0 0 0 18 0 19 0 954097679 10881474560 137473 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24287] ppid=24269 vsize=10626440 CPUtime=0.66 cores=1,3,5,7
/proc/24271/task/24287/stat : 24287 (java) S 24269 24271 23633 0 -1 4202560 8698 0 0 0 65 1 0 0 15 0 19 0 954097679 10881474560 137473 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 3 0 0 0
[pid=24271/tid=24288] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24288/stat : 24288 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10881474560 137473 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24289] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24289/stat : 24289 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954097679 10881474560 137474 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24291] ppid=24269 vsize=10626440 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24291/stat : 24291 (java) S 24269 24271 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954097744 10881474560 137475 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 10626440
[startup+6.30142 s]
/proc/loadavg: 2.08 2.02 1.93 3/211 24291
/proc/meminfo: memFree=26888980/32951124 swapFree=67062556/67111528
[pid=24271] ppid=24269 vsize=10621592 CPUtime=7.65 cores=1,3,5,7
/proc/24271/stat : 24271 (java) S 24269 24271 23633 0 -1 4202496 260273 0 1 0 735 30 0 0 25 0 19 0 954097673 10876510208 251771 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24271/statm: 2655398 251772 2234 9 0 2646132 0
[pid=24271/tid=24273] ppid=24269 vsize=10621592 CPUtime=6.28 cores=1,3,5,7
/proc/24271/task/24273/stat : 24273 (java) R 24269 24271 23633 0 -1 4202560 243646 0 1 0 600 28 0 0 25 0 19 0 954097674 10876510208 251772 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 46912505766044 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24271/tid=24274] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24274/stat : 24274 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10876510208 251772 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24275] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24275/stat : 24275 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10876510208 251772 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24276] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24276/stat : 24276 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10876510208 251772 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24277] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24277/stat : 24277 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10876510208 251772 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24278] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24278/stat : 24278 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10876510208 251772 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24279] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24279/stat : 24279 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10876510208 251772 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24280] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24280/stat : 24280 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10876510208 251773 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24281] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24281/stat : 24281 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097675 10876510208 251773 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24282] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24282/stat : 24282 (java) S 24269 24271 23633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954097676 10876510208 251773 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 0 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24283] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24283/stat : 24283 (java) S 24269 24271 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954097677 10876510208 251773 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24284] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24284/stat : 24284 (java) S 24269 24271 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954097677 10876510208 251773 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24285] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24285/stat : 24285 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10876510208 251773 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469889457 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24286] ppid=24269 vsize=10621592 CPUtime=0.67 cores=1,3,5,7
/proc/24271/task/24286/stat : 24286 (java) S 24269 24271 23633 0 -1 4202560 6765 0 0 0 67 0 0 0 15 0 19 0 954097679 10876510208 251777 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24287] ppid=24269 vsize=10621592 CPUtime=0.68 cores=1,3,5,7
/proc/24271/task/24287/stat : 24287 (java) S 24269 24271 23633 0 -1 4202560 8702 0 0 0 67 1 0 0 15 0 19 0 954097679 10876510208 251782 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 3 0 0 0
[pid=24271/tid=24288] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24288/stat : 24288 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10876510208 251787 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24289] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24289/stat : 24289 (java) S 24269 24271 23633 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954097679 10876510208 251792 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24291] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24291/stat : 24291 (java) S 24269 24271 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954097744 10876510208 251798 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 10621592
[startup+12.7012 s]
################
# More data... #
################
/proc/24271/task/24284/stat : 24284 (java) S 24269 24271 23633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954097677 10876510208 1224543 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24285] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24285/stat : 24285 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10876510208 1224543 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469889457 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24286] ppid=24269 vsize=10621592 CPUtime=0.87 cores=1,3,5,7
/proc/24271/task/24286/stat : 24286 (java) S 24269 24271 23633 0 -1 4202560 6806 0 0 0 87 0 0 0 15 0 19 0 954097679 10876510208 1224543 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24287] ppid=24269 vsize=10621592 CPUtime=0.77 cores=1,3,5,7
/proc/24271/task/24287/stat : 24287 (java) S 24269 24271 23633 0 -1 4202560 8732 0 0 0 76 1 0 0 15 0 19 0 954097679 10876510208 1224543 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 3 0 0 0
[pid=24271/tid=24288] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24288/stat : 24288 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10876510208 1224543 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24289] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24289/stat : 24289 (java) S 24269 24271 23633 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 954097679 10876510208 1224543 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24291] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24291/stat : 24291 (java) S 24269 24271 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954097744 10876510208 1224543 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1675.44
Current children cumulated vsize (KiB) 10621592
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 24404
/proc/meminfo: memFree=23089528/32951124 swapFree=67062556/67111528
[pid=24271] ppid=24269 vsize=10621592 CPUtime=1735.63 cores=1,3,5,7
/proc/24271/stat : 24271 (java) S 24269 24271 23633 0 -1 4202496 1242194 0 1 0 173417 146 0 0 25 0 19 0 954097673 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24271/statm: 2655398 1224733 2263 9 0 2646132 0
[pid=24271/tid=24273] ppid=24269 vsize=10621592 CPUtime=1715.36 cores=1,3,5,7
/proc/24271/task/24273/stat : 24273 (java) R 24269 24271 23633 0 -1 4202560 678515 0 1 0 171462 74 0 0 25 0 19 0 954097674 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 46912505858207 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24271/tid=24274] ppid=24269 vsize=10621592 CPUtime=1.69 cores=1,3,5,7
/proc/24271/task/24274/stat : 24274 (java) S 24269 24271 23633 0 -1 4202560 65213 0 0 0 162 7 0 0 15 0 19 0 954097675 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 3 0 0 0
[pid=24271/tid=24275] ppid=24269 vsize=10621592 CPUtime=1.99 cores=1,3,5,7
/proc/24271/task/24275/stat : 24275 (java) S 24269 24271 23633 0 -1 4202560 71038 0 0 0 190 9 0 0 15 0 19 0 954097675 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24276] ppid=24269 vsize=10621592 CPUtime=1.71 cores=1,3,5,7
/proc/24271/task/24276/stat : 24276 (java) S 24269 24271 23633 0 -1 4202560 61216 0 0 0 165 6 0 0 16 0 19 0 954097675 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24277] ppid=24269 vsize=10621592 CPUtime=2.14 cores=1,3,5,7
/proc/24271/task/24277/stat : 24277 (java) S 24269 24271 23633 0 -1 4202560 82937 0 0 0 206 8 0 0 15 0 19 0 954097675 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24278] ppid=24269 vsize=10621592 CPUtime=2.07 cores=1,3,5,7
/proc/24271/task/24278/stat : 24278 (java) S 24269 24271 23633 0 -1 4202560 72028 0 0 0 198 9 0 0 16 0 19 0 954097675 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24279] ppid=24269 vsize=10621592 CPUtime=2.37 cores=1,3,5,7
/proc/24271/task/24279/stat : 24279 (java) S 24269 24271 23633 0 -1 4202560 72597 0 0 0 228 9 0 0 16 0 19 0 954097675 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24280] ppid=24269 vsize=10621592 CPUtime=1.79 cores=1,3,5,7
/proc/24271/task/24280/stat : 24280 (java) S 24269 24271 23633 0 -1 4202560 48844 0 0 0 173 6 0 0 16 0 19 0 954097675 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 3 0 0 0
[pid=24271/tid=24281] ppid=24269 vsize=10621592 CPUtime=1.76 cores=1,3,5,7
/proc/24271/task/24281/stat : 24281 (java) S 24269 24271 23633 0 -1 4202560 67387 0 0 0 168 8 0 0 15 0 19 0 954097675 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24282] ppid=24269 vsize=10621592 CPUtime=2.98 cores=1,3,5,7
/proc/24271/task/24282/stat : 24282 (java) S 24269 24271 23633 0 -1 4202560 5631 0 0 0 297 1 0 0 15 0 19 0 954097676 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 0 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24283] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24283/stat : 24283 (java) S 24269 24271 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954097677 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24284] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24284/stat : 24284 (java) S 24269 24271 23633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954097677 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24285] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24285/stat : 24285 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469889457 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24286] ppid=24269 vsize=10621592 CPUtime=0.87 cores=1,3,5,7
/proc/24271/task/24286/stat : 24286 (java) S 24269 24271 23633 0 -1 4202560 6806 0 0 0 87 0 0 0 15 0 19 0 954097679 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24287] ppid=24269 vsize=10621592 CPUtime=0.77 cores=1,3,5,7
/proc/24271/task/24287/stat : 24287 (java) S 24269 24271 23633 0 -1 4202560 8732 0 0 0 76 1 0 0 15 0 19 0 954097679 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 3 0 0 0
[pid=24271/tid=24288] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24288/stat : 24288 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24289] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24289/stat : 24289 (java) S 24269 24271 23633 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 954097679 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24291] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24291/stat : 24291 (java) S 24269 24271 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954097744 10876510208 1224733 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1735.63
Current children cumulated vsize (KiB) 10621592
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 24406
/proc/meminfo: memFree=23058844/32951124 swapFree=67062556/67111528
[pid=24271] ppid=24269 vsize=10621592 CPUtime=1796.02 cores=1,3,5,7
/proc/24271/stat : 24271 (java) S 24269 24271 23633 0 -1 4202496 1247010 0 1 0 179456 146 0 0 25 0 19 0 954097673 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24271/statm: 2655398 1229432 2263 9 0 2646132 0
[pid=24271/tid=24273] ppid=24269 vsize=10621592 CPUtime=1775.23 cores=1,3,5,7
/proc/24271/task/24273/stat : 24273 (java) R 24269 24271 23633 0 -1 4202560 678517 0 1 0 177449 74 0 0 25 0 19 0 954097674 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 46912505883551 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24271/tid=24274] ppid=24269 vsize=10621592 CPUtime=1.82 cores=1,3,5,7
/proc/24271/task/24274/stat : 24274 (java) S 24269 24271 23633 0 -1 4202560 66480 0 0 0 175 7 0 0 16 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 3 0 0 0
[pid=24271/tid=24275] ppid=24269 vsize=10621592 CPUtime=1.99 cores=1,3,5,7
/proc/24271/task/24275/stat : 24275 (java) S 24269 24271 23633 0 -1 4202560 71038 0 0 0 190 9 0 0 15 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24276] ppid=24269 vsize=10621592 CPUtime=1.78 cores=1,3,5,7
/proc/24271/task/24276/stat : 24276 (java) S 24269 24271 23633 0 -1 4202560 62038 0 0 0 172 6 0 0 15 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24277] ppid=24269 vsize=10621592 CPUtime=2.27 cores=1,3,5,7
/proc/24271/task/24277/stat : 24277 (java) S 24269 24271 23633 0 -1 4202560 84143 0 0 0 219 8 0 0 16 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24278] ppid=24269 vsize=10621592 CPUtime=2.07 cores=1,3,5,7
/proc/24271/task/24278/stat : 24278 (java) S 24269 24271 23633 0 -1 4202560 72028 0 0 0 198 9 0 0 15 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24279] ppid=24269 vsize=10621592 CPUtime=2.44 cores=1,3,5,7
/proc/24271/task/24279/stat : 24279 (java) S 24269 24271 23633 0 -1 4202560 72826 0 0 0 235 9 0 0 16 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24280] ppid=24269 vsize=10621592 CPUtime=1.86 cores=1,3,5,7
/proc/24271/task/24280/stat : 24280 (java) S 24269 24271 23633 0 -1 4202560 49749 0 0 0 180 6 0 0 15 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24281] ppid=24269 vsize=10621592 CPUtime=1.83 cores=1,3,5,7
/proc/24271/task/24281/stat : 24281 (java) S 24269 24271 23633 0 -1 4202560 67764 0 0 0 174 9 0 0 16 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24282] ppid=24269 vsize=10621592 CPUtime=2.98 cores=1,3,5,7
/proc/24271/task/24282/stat : 24282 (java) S 24269 24271 23633 0 -1 4202560 5635 0 0 0 297 1 0 0 15 0 19 0 954097676 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 0 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24283] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24283/stat : 24283 (java) S 24269 24271 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954097677 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24284] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24284/stat : 24284 (java) S 24269 24271 23633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954097677 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24285] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24285/stat : 24285 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469889457 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24286] ppid=24269 vsize=10621592 CPUtime=0.87 cores=1,3,5,7
/proc/24271/task/24286/stat : 24286 (java) S 24269 24271 23633 0 -1 4202560 6806 0 0 0 87 0 0 0 15 0 19 0 954097679 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24287] ppid=24269 vsize=10621592 CPUtime=0.77 cores=1,3,5,7
/proc/24271/task/24287/stat : 24287 (java) S 24269 24271 23633 0 -1 4202560 8732 0 0 0 76 1 0 0 15 0 19 0 954097679 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 3 0 0 0
[pid=24271/tid=24288] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24288/stat : 24288 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24289] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24289/stat : 24289 (java) S 24269 24271 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954097679 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24291] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24291/stat : 24291 (java) S 24269 24271 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954097744 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (KiB) 10621592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1786.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 24406
/proc/meminfo: memFree=23058596/32951124 swapFree=67062556/67111528
[pid=24271] ppid=24269 vsize=10621592 CPUtime=1800.03 cores=1,3,5,7
/proc/24271/stat : 24271 (java) S 24269 24271 23633 0 -1 4202496 1247010 0 1 0 179857 146 0 0 25 0 19 0 954097673 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24271/statm: 2655398 1229432 2263 9 0 2646132 0
[pid=24271/tid=24273] ppid=24269 vsize=10621592 CPUtime=1779.23 cores=1,3,5,7
/proc/24271/task/24273/stat : 24273 (java) R 24269 24271 23633 0 -1 4202560 678517 0 1 0 177849 74 0 0 25 0 19 0 954097674 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 46912505882871 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24271/tid=24274] ppid=24269 vsize=10621592 CPUtime=1.82 cores=1,3,5,7
/proc/24271/task/24274/stat : 24274 (java) S 24269 24271 23633 0 -1 4202560 66480 0 0 0 175 7 0 0 16 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 3 0 0 0
[pid=24271/tid=24275] ppid=24269 vsize=10621592 CPUtime=1.99 cores=1,3,5,7
/proc/24271/task/24275/stat : 24275 (java) S 24269 24271 23633 0 -1 4202560 71038 0 0 0 190 9 0 0 15 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24276] ppid=24269 vsize=10621592 CPUtime=1.78 cores=1,3,5,7
/proc/24271/task/24276/stat : 24276 (java) S 24269 24271 23633 0 -1 4202560 62038 0 0 0 172 6 0 0 15 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24277] ppid=24269 vsize=10621592 CPUtime=2.27 cores=1,3,5,7
/proc/24271/task/24277/stat : 24277 (java) S 24269 24271 23633 0 -1 4202560 84143 0 0 0 219 8 0 0 16 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24278] ppid=24269 vsize=10621592 CPUtime=2.07 cores=1,3,5,7
/proc/24271/task/24278/stat : 24278 (java) S 24269 24271 23633 0 -1 4202560 72028 0 0 0 198 9 0 0 15 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24279] ppid=24269 vsize=10621592 CPUtime=2.44 cores=1,3,5,7
/proc/24271/task/24279/stat : 24279 (java) S 24269 24271 23633 0 -1 4202560 72826 0 0 0 235 9 0 0 16 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
[pid=24271/tid=24280] ppid=24269 vsize=10621592 CPUtime=1.86 cores=1,3,5,7
/proc/24271/task/24280/stat : 24280 (java) S 24269 24271 23633 0 -1 4202560 49749 0 0 0 180 6 0 0 15 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24281] ppid=24269 vsize=10621592 CPUtime=1.83 cores=1,3,5,7
/proc/24271/task/24281/stat : 24281 (java) S 24269 24271 23633 0 -1 4202560 67764 0 0 0 174 9 0 0 16 0 19 0 954097675 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24282] ppid=24269 vsize=10621592 CPUtime=2.98 cores=1,3,5,7
/proc/24271/task/24282/stat : 24282 (java) S 24269 24271 23633 0 -1 4202560 5635 0 0 0 297 1 0 0 15 0 19 0 954097676 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 0 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24283] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24283/stat : 24283 (java) S 24269 24271 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954097677 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24284] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24284/stat : 24284 (java) S 24269 24271 23633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954097677 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24285] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24285/stat : 24285 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469889457 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24286] ppid=24269 vsize=10621592 CPUtime=0.87 cores=1,3,5,7
/proc/24271/task/24286/stat : 24286 (java) S 24269 24271 23633 0 -1 4202560 6806 0 0 0 87 0 0 0 15 0 19 0 954097679 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24287] ppid=24269 vsize=10621592 CPUtime=0.77 cores=1,3,5,7
/proc/24271/task/24287/stat : 24287 (java) S 24269 24271 23633 0 -1 4202560 8732 0 0 0 76 1 0 0 15 0 19 0 954097679 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 3 0 0 0
[pid=24271/tid=24288] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24288/stat : 24288 (java) S 24269 24271 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954097679 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469881753 0 4 0 16800975 18446604471125311744 0 0 -1 5 0 0 0
[pid=24271/tid=24289] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24289/stat : 24289 (java) S 24269 24271 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954097679 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 1 0 0 0
[pid=24271/tid=24291] ppid=24269 vsize=10621592 CPUtime=0 cores=1,3,5,7
/proc/24271/task/24291/stat : 24291 (java) S 24269 24271 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954097744 10876510208 1229432 33554432000 1073741824 1073778376 140737294704080 18446744073709551615 252469882368 0 4 0 16800975 18446604471125311744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10621592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1786.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 24409
/proc/meminfo: memFree=25296108/32951124 swapFree=67062556/67111528
[pid=24271] ppid=24269 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/24271/stat : 24271 (java) Z 24269 24271 23633 0 -1 4203548 1247047 0 1 0 179861 164 0 0 17 0 2 0 954097673 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24271/statm: 0 0 0 0 0 0 0
[pid=24271/tid=24408] ppid=24269 vsize=0 CPUtime=0.17 cores=1,3,5,7
/proc/24271/task/24408/stat : 24408 (java) R 24269 24271 23633 0 -1 4203588 11 0 0 0 0 17 0 0 18 0 2 0 954276304 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1786.51
CPU time (s): 1800.26
CPU user time (s): 1798.62
CPU system time (s): 1.64675
CPU usage (%): 100.77
Max. virtual memory (cumulated for all children) (KiB): 10626440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.62
system time used= 1.64675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1247047
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= 38008
involuntary context switches= 18554
runsolver used 2.93055 second user time and 6.84196 second system time
The end