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-3456649-1307222582/watcher-3456649-1307222582 -o /tmp/evaluation-result-3456649-1307222582/solver-3456649-1307222582 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456649-1307222582.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.03 2.00 2/507 4407
/proc/meminfo: memFree=23571344/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/4407/stat : 4407 (java) S 4405 4407 3581 0 -1 4202496 1236 0 0 0 0 0 0 0 25 0 2 0 833856688 31260672 955 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/4407/statm: 7632 955 728 9 0 383 0
[pid=4407/tid=4408] ppid=4405 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4408/stat : 4408 (java) R 4405 4407 3581 0 -1 4202560 5022 0 1 0 0 0 0 0 25 0 2 0 833856689 10694979584 5838 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.131669 s]
/proc/loadavg: 2.03 2.03 2.00 2/507 4407
/proc/meminfo: memFree=23571344/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=10540352 CPUtime=0.14 cores=0,2,4,6
/proc/4407/stat : 4407 (java) S 4405 4407 3581 0 -1 4202496 13451 0 1 0 12 2 0 0 25 0 18 0 833856688 10793320448 13092 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4407/statm: 2635088 13092 2133 9 0 2625822 0
[pid=4407/tid=4408] ppid=4405 vsize=10540352 CPUtime=0.1 cores=0,2,4,6
/proc/4407/task/4408/stat : 4408 (java) R 4405 4407 3581 0 -1 4202560 11408 0 1 0 9 1 0 0 18 0 18 0 833856689 10793320448 13092 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 10540352
[startup+0.201681 s]
/proc/loadavg: 2.03 2.03 2.00 2/507 4407
/proc/meminfo: memFree=23571344/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=10540952 CPUtime=0.27 cores=0,2,4,6
/proc/4407/stat : 4407 (java) S 4405 4407 3581 0 -1 4202496 14085 0 1 0 25 2 0 0 25 0 18 0 833856688 10793934848 13677 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4407/statm: 2635238 13678 2185 9 0 2625972 0
[pid=4407/tid=4408] ppid=4405 vsize=10540952 CPUtime=0.17 cores=0,2,4,6
/proc/4407/task/4408/stat : 4408 (java) R 4405 4407 3581 0 -1 4202560 11794 0 1 0 16 1 0 0 18 0 18 0 833856689 10793934848 13678 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10540952
[startup+0.454802 s]
/proc/loadavg: 2.03 2.03 2.00 2/507 4407
/proc/meminfo: memFree=23571344/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=10552216 CPUtime=0.99 cores=0,2,4,6
/proc/4407/stat : 4407 (java) S 4405 4407 3581 0 -1 4202496 27740 0 1 0 95 4 0 0 25 0 19 0 833856688 10805469184 24428 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4407/statm: 2638054 24428 2221 9 0 2628788 0
[pid=4407/tid=4408] ppid=4405 vsize=10552216 CPUtime=0.43 cores=0,2,4,6
/proc/4407/task/4408/stat : 4408 (java) R 4405 4407 3581 0 -1 4202560 18059 0 1 0 41 2 0 0 19 0 19 0 833856689 10805469184 24428 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10552216
[startup+0.700535 s]
/proc/loadavg: 2.03 2.03 2.00 2/507 4407
/proc/meminfo: memFree=23571344/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=10552216 CPUtime=1.47 cores=0,2,4,6
/proc/4407/stat : 4407 (java) S 4405 4407 3581 0 -1 4202496 35313 0 1 0 142 5 0 0 25 0 19 0 833856688 10805469184 31286 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4407/statm: 2638054 31287 2229 9 0 2628788 0
[pid=4407/tid=4408] ppid=4405 vsize=10552216 CPUtime=0.68 cores=0,2,4,6
/proc/4407/task/4408/stat : 4408 (java) R 4405 4407 3581 0 -1 4202560 24839 0 1 0 65 3 0 0 19 0 19 0 833856689 10805469184 31287 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 46912505673270 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10552216
[startup+1.50136 s]
/proc/loadavg: 2.19 2.06 2.01 3/526 4426
/proc/meminfo: memFree=23325992/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=10552216 CPUtime=2.75 cores=0,2,4,6
/proc/4407/stat : 4407 (java) S 4405 4407 3581 0 -1 4202496 98256 0 1 0 264 11 0 0 25 0 19 0 833856688 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4407/statm: 2638054 88782 2235 9 0 2628788 0
[pid=4407/tid=4408] ppid=4405 vsize=10552216 CPUtime=1.47 cores=0,2,4,6
/proc/4407/task/4408/stat : 4408 (java) R 4405 4407 3581 0 -1 4202560 82126 0 1 0 138 9 0 0 18 0 19 0 833856689 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 46912505769900 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4407/tid=4410] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4410/stat : 4410 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4411] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4411/stat : 4411 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4412] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4412/stat : 4412 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4413] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4413/stat : 4413 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4414] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4414/stat : 4414 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4415] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4415/stat : 4415 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4416] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4416/stat : 4416 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4417] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4417/stat : 4417 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4418] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4418/stat : 4418 (java) S 4405 4407 3581 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833856691 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 0 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4419] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4419/stat : 4419 (java) S 4405 4407 3581 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833856692 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4420] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4420/stat : 4420 (java) S 4405 4407 3581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833856692 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4421] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4421/stat : 4421 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856694 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216470961 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4422] ppid=4405 vsize=10552216 CPUtime=0.53 cores=0,2,4,6
/proc/4407/task/4422/stat : 4422 (java) S 4405 4407 3581 0 -1 4202560 4833 0 0 0 53 0 0 0 15 0 19 0 833856694 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4423] ppid=4405 vsize=10552216 CPUtime=0.72 cores=0,2,4,6
/proc/4407/task/4423/stat : 4423 (java) R 4405 4407 3581 0 -1 4202560 10136 0 0 0 71 1 0 0 15 0 19 0 833856694 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 47849110641767 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4407/tid=4424] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4424/stat : 4424 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856694 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4425] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4425/stat : 4425 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833856694 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4426] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4426/stat : 4426 (java) S 4405 4407 3581 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833856732 10805469184 88782 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 4 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 10552216
[startup+3.1011 s]
/proc/loadavg: 2.19 2.06 2.01 3/526 4426
/proc/meminfo: memFree=22954864/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=10552216 CPUtime=4.74 cores=0,2,4,6
/proc/4407/stat : 4407 (java) S 4405 4407 3581 0 -1 4202496 236839 0 1 0 449 25 0 0 25 0 19 0 833856688 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4407/statm: 2638054 218923 2237 9 0 2628788 0
[pid=4407/tid=4408] ppid=4405 vsize=10552216 CPUtime=3.06 cores=0,2,4,6
/proc/4407/task/4408/stat : 4408 (java) R 4405 4407 3581 0 -1 4202560 212221 0 1 0 285 21 0 0 19 0 19 0 833856689 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 46912505571647 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4407/tid=4410] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4410/stat : 4410 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4411] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4411/stat : 4411 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4412] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4412/stat : 4412 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4413] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4413/stat : 4413 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4414] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4414/stat : 4414 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4415] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4415/stat : 4415 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4416] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4416/stat : 4416 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4417] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4417/stat : 4417 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4418] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4418/stat : 4418 (java) S 4405 4407 3581 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 833856691 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 0 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4419] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4419/stat : 4419 (java) S 4405 4407 3581 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833856692 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4420] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4420/stat : 4420 (java) S 4405 4407 3581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833856692 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4421] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4421/stat : 4421 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856694 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216470961 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4422] ppid=4405 vsize=10552216 CPUtime=0.57 cores=0,2,4,6
/proc/4407/task/4422/stat : 4422 (java) S 4405 4407 3581 0 -1 4202560 4839 0 0 0 57 0 0 0 15 0 19 0 833856694 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4423] ppid=4405 vsize=10552216 CPUtime=1.07 cores=0,2,4,6
/proc/4407/task/4423/stat : 4423 (java) S 4405 4407 3581 0 -1 4202560 18617 0 0 0 105 2 0 0 15 0 19 0 833856694 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
[pid=4407/tid=4424] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4424/stat : 4424 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856694 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4425] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4425/stat : 4425 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833856694 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4426] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4426/stat : 4426 (java) S 4405 4407 3581 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833856732 10805469184 218923 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 4 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 10552216
[startup+6.30163 s]
/proc/loadavg: 2.18 2.06 2.01 3/526 4426
/proc/meminfo: memFree=21888936/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=10552216 CPUtime=8.04 cores=0,2,4,6
/proc/4407/stat : 4407 (java) S 4405 4407 3581 0 -1 4202496 489836 0 1 0 750 54 0 0 25 0 19 0 833856688 10805469184 470241 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4407/statm: 2638054 470244 2237 9 0 2628788 0
[pid=4407/tid=4408] ppid=4405 vsize=10552216 CPUtime=6.25 cores=0,2,4,6
/proc/4407/task/4408/stat : 4408 (java) R 4405 4407 3581 0 -1 4202560 463536 0 1 0 575 50 0 0 20 0 19 0 833856689 10805469184 470245 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 46912505771502 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4407/tid=4410] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4410/stat : 4410 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 470248 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4411] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4411/stat : 4411 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 470250 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4412] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4412/stat : 4412 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 470253 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4413] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4413/stat : 4413 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 470255 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4414] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4414/stat : 4414 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 470258 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4415] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4415/stat : 4415 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 470261 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4416] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4416/stat : 4416 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 470263 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4417] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4417/stat : 4417 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856690 10805469184 470266 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4418] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4418/stat : 4418 (java) S 4405 4407 3581 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833856691 10805469184 470267 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 0 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4419] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4419/stat : 4419 (java) S 4405 4407 3581 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833856692 10805469184 470268 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4420] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4420/stat : 4420 (java) S 4405 4407 3581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833856692 10805469184 470272 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4421] ppid=4405 vsize=10552216 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4421/stat : 4421 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856694 10805469184 470274 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216470961 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4422] ppid=4405 vsize=10552216 CPUtime=0.57 cores=0,2,4,6
/proc/4407/task/4422/stat : 4422 (java) S 4405 4407 3581 0 -1 4202560 4839 0 0 0 57 0 0 0 15 0 19 0 833856694 10805469184 470277 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4423] ppid=4405 vsize=10552216 CPUtime=1.19 cores=0,2,4,6
/proc/4407/task/4423/stat : 4423 (java) S 4405 4407 3581 0 -1 4202560 20303 0 0 0 116 3 0 0 15 0 19 0 833856694 10805469184 470279 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=4407/tid=4426] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4426/stat : 4426 (java) S 4405 4407 3581 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833856732 10803372032 903041 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 4 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1668.98
Current children cumulated vsize (KiB) 10550168
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/526 4566
/proc/meminfo: memFree=19916316/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=10550168 CPUtime=1729.12 cores=0,2,4,6
/proc/4407/stat : 4407 (java) S 4405 4407 3581 0 -1 4202496 930660 0 1 0 172802 110 0 0 25 0 19 0 833856688 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4407/statm: 2637542 903119 2266 9 0 2628276 0
[pid=4407/tid=4408] ppid=4405 vsize=10550168 CPUtime=1718.57 cores=0,2,4,6
/proc/4407/task/4408/stat : 4408 (java) R 4405 4407 3581 0 -1 4202560 842898 0 1 0 171759 98 0 0 25 0 19 0 833856689 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 46912506177578 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4407/tid=4410] ppid=4405 vsize=10550168 CPUtime=0.76 cores=0,2,4,6
/proc/4407/task/4410/stat : 4410 (java) S 4405 4407 3581 0 -1 4202560 5826 0 0 0 76 0 0 0 15 0 19 0 833856690 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4411] ppid=4405 vsize=10550168 CPUtime=0.75 cores=0,2,4,6
/proc/4407/task/4411/stat : 4411 (java) S 4405 4407 3581 0 -1 4202560 6007 0 0 0 75 0 0 0 16 0 19 0 833856690 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4412] ppid=4405 vsize=10550168 CPUtime=0.78 cores=0,2,4,6
/proc/4407/task/4412/stat : 4412 (java) S 4405 4407 3581 0 -1 4202560 5007 0 0 0 78 0 0 0 15 0 19 0 833856690 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4413] ppid=4405 vsize=10550168 CPUtime=0.85 cores=0,2,4,6
/proc/4407/task/4413/stat : 4413 (java) S 4405 4407 3581 0 -1 4202560 6551 0 0 0 84 1 0 0 16 0 19 0 833856690 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4414] ppid=4405 vsize=10550168 CPUtime=0.72 cores=0,2,4,6
/proc/4407/task/4414/stat : 4414 (java) S 4405 4407 3581 0 -1 4202560 5749 0 0 0 72 0 0 0 16 0 19 0 833856690 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4415] ppid=4405 vsize=10550168 CPUtime=0.85 cores=0,2,4,6
/proc/4407/task/4415/stat : 4415 (java) S 4405 4407 3581 0 -1 4202560 6928 0 0 0 84 1 0 0 15 0 19 0 833856690 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4416] ppid=4405 vsize=10550168 CPUtime=0.7 cores=0,2,4,6
/proc/4407/task/4416/stat : 4416 (java) S 4405 4407 3581 0 -1 4202560 5395 0 0 0 70 0 0 0 15 0 19 0 833856690 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 2 0 0 0
[pid=4407/tid=4417] ppid=4405 vsize=10550168 CPUtime=0.79 cores=0,2,4,6
/proc/4407/task/4417/stat : 4417 (java) S 4405 4407 3581 0 -1 4202560 4892 0 0 0 79 0 0 0 16 0 19 0 833856690 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 2 0 0 0
[pid=4407/tid=4418] ppid=4405 vsize=10550168 CPUtime=1.45 cores=0,2,4,6
/proc/4407/task/4418/stat : 4418 (java) S 4405 4407 3581 0 -1 4202560 7577 0 0 0 144 1 0 0 15 0 19 0 833856691 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 0 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
[pid=4407/tid=4419] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4419/stat : 4419 (java) S 4405 4407 3581 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833856692 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4420] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4420/stat : 4420 (java) S 4405 4407 3581 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833856692 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4421] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4421/stat : 4421 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856694 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216470961 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4422] ppid=4405 vsize=10550168 CPUtime=0.93 cores=0,2,4,6
/proc/4407/task/4422/stat : 4422 (java) S 4405 4407 3581 0 -1 4202560 6377 0 0 0 93 0 0 0 15 0 19 0 833856694 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
[pid=4407/tid=4423] ppid=4405 vsize=10550168 CPUtime=1.85 cores=0,2,4,6
/proc/4407/task/4423/stat : 4423 (java) S 4405 4407 3581 0 -1 4202560 26204 0 0 0 182 3 0 0 15 0 19 0 833856694 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4424] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4424/stat : 4424 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856694 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4425] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4425/stat : 4425 (java) S 4405 4407 3581 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833856694 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4426] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4426/stat : 4426 (java) S 4405 4407 3581 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833856732 10803372032 903119 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 4 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1729.12
Current children cumulated vsize (KiB) 10550168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/526 4568
/proc/meminfo: memFree=19884672/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=10550168 CPUtime=1789.3 cores=0,2,4,6
/proc/4407/stat : 4407 (java) S 4405 4407 3581 0 -1 4202496 931933 0 1 0 178820 110 0 0 25 0 19 0 833856688 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4407/statm: 2637542 904378 2266 9 0 2628276 0
[pid=4407/tid=4408] ppid=4405 vsize=10550168 CPUtime=1778.17 cores=0,2,4,6
/proc/4407/task/4408/stat : 4408 (java) R 4405 4407 3581 0 -1 4202560 842903 0 1 0 177719 98 0 0 25 0 19 0 833856689 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 46912506177578 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4407/tid=4410] ppid=4405 vsize=10550168 CPUtime=0.78 cores=0,2,4,6
/proc/4407/task/4410/stat : 4410 (java) S 4405 4407 3581 0 -1 4202560 5840 0 0 0 78 0 0 0 15 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4411] ppid=4405 vsize=10550168 CPUtime=0.78 cores=0,2,4,6
/proc/4407/task/4411/stat : 4411 (java) S 4405 4407 3581 0 -1 4202560 6038 0 0 0 78 0 0 0 15 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 2 0 0 0
[pid=4407/tid=4412] ppid=4405 vsize=10550168 CPUtime=0.82 cores=0,2,4,6
/proc/4407/task/4412/stat : 4412 (java) S 4405 4407 3581 0 -1 4202560 5057 0 0 0 82 0 0 0 16 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 2 0 0 0
[pid=4407/tid=4413] ppid=4405 vsize=10550168 CPUtime=0.89 cores=0,2,4,6
/proc/4407/task/4413/stat : 4413 (java) S 4405 4407 3581 0 -1 4202560 6606 0 0 0 88 1 0 0 16 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4414] ppid=4405 vsize=10550168 CPUtime=0.75 cores=0,2,4,6
/proc/4407/task/4414/stat : 4414 (java) S 4405 4407 3581 0 -1 4202560 5775 0 0 0 75 0 0 0 15 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4415] ppid=4405 vsize=10550168 CPUtime=0.91 cores=0,2,4,6
/proc/4407/task/4415/stat : 4415 (java) S 4405 4407 3581 0 -1 4202560 7015 0 0 0 90 1 0 0 16 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4416] ppid=4405 vsize=10550168 CPUtime=0.74 cores=0,2,4,6
/proc/4407/task/4416/stat : 4416 (java) S 4405 4407 3581 0 -1 4202560 5420 0 0 0 74 0 0 0 15 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4417] ppid=4405 vsize=10550168 CPUtime=0.82 cores=0,2,4,6
/proc/4407/task/4417/stat : 4417 (java) S 4405 4407 3581 0 -1 4202560 4925 0 0 0 82 0 0 0 15 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 2 0 0 0
[pid=4407/tid=4418] ppid=4405 vsize=10550168 CPUtime=1.74 cores=0,2,4,6
/proc/4407/task/4418/stat : 4418 (java) S 4405 4407 3581 0 -1 4202560 8519 0 0 0 173 1 0 0 15 0 19 0 833856691 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 0 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
[pid=4407/tid=4419] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4419/stat : 4419 (java) S 4405 4407 3581 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833856692 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4420] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4420/stat : 4420 (java) S 4405 4407 3581 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833856692 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4421] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4421/stat : 4421 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856694 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216470961 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4422] ppid=4405 vsize=10550168 CPUtime=0.93 cores=0,2,4,6
/proc/4407/task/4422/stat : 4422 (java) S 4405 4407 3581 0 -1 4202560 6377 0 0 0 93 0 0 0 15 0 19 0 833856694 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
[pid=4407/tid=4423] ppid=4405 vsize=10550168 CPUtime=1.85 cores=0,2,4,6
/proc/4407/task/4423/stat : 4423 (java) S 4405 4407 3581 0 -1 4202560 26205 0 0 0 182 3 0 0 15 0 19 0 833856694 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4424] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4424/stat : 4424 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856694 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4425] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4425/stat : 4425 (java) S 4405 4407 3581 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833856694 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4426] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4426/stat : 4426 (java) S 4405 4407 3581 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833856732 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 4 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1789.3
Current children cumulated vsize (KiB) 10550168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.1 s]
/proc/loadavg: 2.00 2.02 2.00 4/526 4568
/proc/meminfo: memFree=19868424/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=10550168 CPUtime=1800.12 cores=0,2,4,6
/proc/4407/stat : 4407 (java) S 4405 4407 3581 0 -1 4202496 931933 0 1 0 179902 110 0 0 25 0 19 0 833856688 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4407/statm: 2637542 904378 2266 9 0 2628276 0
[pid=4407/tid=4408] ppid=4405 vsize=10550168 CPUtime=1789 cores=0,2,4,6
/proc/4407/task/4408/stat : 4408 (java) R 4405 4407 3581 0 -1 4202560 842903 0 1 0 178802 98 0 0 25 0 19 0 833856689 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 46912505771654 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4407/tid=4410] ppid=4405 vsize=10550168 CPUtime=0.78 cores=0,2,4,6
/proc/4407/task/4410/stat : 4410 (java) S 4405 4407 3581 0 -1 4202560 5840 0 0 0 78 0 0 0 15 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4411] ppid=4405 vsize=10550168 CPUtime=0.78 cores=0,2,4,6
/proc/4407/task/4411/stat : 4411 (java) S 4405 4407 3581 0 -1 4202560 6038 0 0 0 78 0 0 0 15 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 2 0 0 0
[pid=4407/tid=4412] ppid=4405 vsize=10550168 CPUtime=0.82 cores=0,2,4,6
/proc/4407/task/4412/stat : 4412 (java) S 4405 4407 3581 0 -1 4202560 5057 0 0 0 82 0 0 0 16 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 2 0 0 0
[pid=4407/tid=4413] ppid=4405 vsize=10550168 CPUtime=0.89 cores=0,2,4,6
/proc/4407/task/4413/stat : 4413 (java) S 4405 4407 3581 0 -1 4202560 6606 0 0 0 88 1 0 0 16 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4414] ppid=4405 vsize=10550168 CPUtime=0.75 cores=0,2,4,6
/proc/4407/task/4414/stat : 4414 (java) S 4405 4407 3581 0 -1 4202560 5775 0 0 0 75 0 0 0 15 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4415] ppid=4405 vsize=10550168 CPUtime=0.91 cores=0,2,4,6
/proc/4407/task/4415/stat : 4415 (java) S 4405 4407 3581 0 -1 4202560 7015 0 0 0 90 1 0 0 16 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4416] ppid=4405 vsize=10550168 CPUtime=0.74 cores=0,2,4,6
/proc/4407/task/4416/stat : 4416 (java) S 4405 4407 3581 0 -1 4202560 5420 0 0 0 74 0 0 0 15 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4417] ppid=4405 vsize=10550168 CPUtime=0.82 cores=0,2,4,6
/proc/4407/task/4417/stat : 4417 (java) S 4405 4407 3581 0 -1 4202560 4925 0 0 0 82 0 0 0 15 0 19 0 833856690 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 2 0 0 0
[pid=4407/tid=4418] ppid=4405 vsize=10550168 CPUtime=1.74 cores=0,2,4,6
/proc/4407/task/4418/stat : 4418 (java) S 4405 4407 3581 0 -1 4202560 8519 0 0 0 173 1 0 0 15 0 19 0 833856691 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 0 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
[pid=4407/tid=4419] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4419/stat : 4419 (java) S 4405 4407 3581 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833856692 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4420] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4420/stat : 4420 (java) S 4405 4407 3581 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833856692 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4421] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4421/stat : 4421 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856694 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216470961 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4422] ppid=4405 vsize=10550168 CPUtime=0.93 cores=0,2,4,6
/proc/4407/task/4422/stat : 4422 (java) S 4405 4407 3581 0 -1 4202560 6377 0 0 0 93 0 0 0 15 0 19 0 833856694 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
[pid=4407/tid=4423] ppid=4405 vsize=10550168 CPUtime=1.85 cores=0,2,4,6
/proc/4407/task/4423/stat : 4423 (java) S 4405 4407 3581 0 -1 4202560 26205 0 0 0 182 3 0 0 15 0 19 0 833856694 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4424] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4424/stat : 4424 (java) S 4405 4407 3581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833856694 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463257 0 4 0 16800975 18446604446225446784 0 0 -1 6 0 0 0
[pid=4407/tid=4425] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4425/stat : 4425 (java) S 4405 4407 3581 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833856694 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 4 0 16800975 18446604446225446784 0 0 -1 4 0 0 0
[pid=4407/tid=4426] ppid=4405 vsize=10550168 CPUtime=0 cores=0,2,4,6
/proc/4407/task/4426/stat : 4426 (java) S 4405 4407 3581 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833856732 10803372032 904378 33554432000 1073741824 1073778376 140736993836576 18446744073709551615 210216463872 0 4 0 16800975 18446604446225446784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10550168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.24 s]
/proc/loadavg: 2.00 2.02 2.00 4/526 4568
/proc/meminfo: memFree=19868424/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/4407/stat : 4407 (java) Z 4405 4407 3581 0 -1 4203548 931968 0 1 0 179912 117 0 0 17 0 2 0 833856688 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4407/statm: 0 0 0 0 0 0 0
[pid=4407/tid=4419] ppid=4405 vsize=0 CPUtime=0.06 cores=0,2,4,6
/proc/4407/task/4419/stat : 4419 (java) R 4405 4407 3581 0 -1 4203588 17 0 0 0 0 6 0 0 18 0 2 0 833856692 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
[startup+1793.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/526 4568
/proc/meminfo: memFree=19868424/32951124 swapFree=63649284/67111528
[pid=4407] ppid=4405 vsize=0 CPUtime=1800.35 cores=0,2,4,6
/proc/4407/stat : 4407 (java) Z 4405 4407 3581 0 -1 4203548 931968 0 1 0 179912 123 0 0 17 0 2 0 833856688 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4407/statm: 0 0 0 0 0 0 0
[pid=4407/tid=4419] ppid=4405 vsize=0 CPUtime=0.12 cores=0,2,4,6
/proc/4407/task/4419/stat : 4419 (java) R 4405 4407 3581 0 -1 4203588 17 0 0 0 0 12 0 0 18 0 2 0 833856692 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.33
CPU time (s): 1800.39
CPU user time (s): 1799.13
CPU system time (s): 1.25881
CPU usage (%): 100.394
Max. virtual memory (cumulated for all children) (KiB): 10557856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.25881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 931968
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= 40408
involuntary context switches= 16169
runsolver used 9.90749 second user time and 19.494 second system time
The end