runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732058-1338743136/watcher-3732058-1338743136 -o /tmp/evaluation-result-3732058-1338743136/solver-3732058-1338743136 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3732058-1338743136.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.02 2.03 2.00 3/194 12565
/proc/meminfo: memFree=30585220/32873844 swapFree=7116/7116
[pid=12565] ppid=12563 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/12565/stat : 12565 (java) R 12563 12565 2614 0 -1 4202496 990 0 0 0 0 0 0 0 20 0 1 0 340438500 23793664 716 33554432000 1073741824 1073778376 140734952957904 140734952946968 240555964496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12565/statm: 5809 716 531 9 0 128 0
[startup+0.1022 s]
/proc/loadavg: 2.02 2.03 2.00 3/194 12565
/proc/meminfo: memFree=30585220/32873844 swapFree=7116/7116
[pid=12565] ppid=12563 vsize=2648568 CPUtime=0.1 cores=0,2,4,6
/proc/12565/stat : 12565 (java) S 12563 12565 2614 0 -1 4202496 4677 0 1 0 9 1 0 0 20 0 18 0 340438500 2712133632 6394 33554432000 1073741824 1073778376 140734952957904 140734952949040 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12565/statm: 662142 6394 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.200261 s]
/proc/loadavg: 2.02 2.03 2.00 3/194 12565
/proc/meminfo: memFree=30585220/32873844 swapFree=7116/7116
[pid=12565] ppid=12563 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/12565/stat : 12565 (java) S 12563 12565 2614 0 -1 4202496 5372 0 1 0 25 2 0 0 20 0 19 0 340438500 2780295168 7522 33554432000 1073741824 1073778376 140734952957904 140734952949040 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12565/statm: 678783 7523 2201 9 0 669476 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 2715132
[startup+0.300253 s]
/proc/loadavg: 2.02 2.03 2.00 3/194 12565
/proc/meminfo: memFree=30585220/32873844 swapFree=7116/7116
[pid=12565] ppid=12563 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/12565/stat : 12565 (java) S 12563 12565 2614 0 -1 4202496 7723 0 1 0 51 2 0 0 20 0 19 0 340438500 2780295168 8872 33554432000 1073741824 1073778376 140734952957904 140734952949040 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12565/statm: 678783 8872 2223 9 0 669476 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2715132
[startup+0.700198 s]
/proc/loadavg: 2.02 2.03 2.00 3/194 12565
/proc/meminfo: memFree=30585220/32873844 swapFree=7116/7116
[pid=12565] ppid=12563 vsize=2715132 CPUtime=1.07 cores=0,2,4,6
/proc/12565/stat : 12565 (java) S 12563 12565 2614 0 -1 4202496 7807 0 1 0 105 2 0 0 20 0 19 0 340438500 2780295168 11474 33554432000 1073741824 1073778376 140734952957904 140734952949040 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12565/statm: 678783 11474 2239 9 0 669476 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 2715132
[startup+1.50072 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 12584
/proc/meminfo: memFree=30539460/32873844 swapFree=7116/7116
[pid=12565] ppid=12563 vsize=2715132 CPUtime=1.89 cores=0,2,4,6
/proc/12565/stat : 12565 (java) S 12563 12565 2614 0 -1 4202496 7815 0 1 0 187 2 0 0 20 0 19 0 340438500 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 140734952949040 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12565/statm: 678783 15570 2239 9 0 669476 0
[pid=12565/tid=12567] ppid=12563 vsize=2715132 CPUtime=1.48 cores=0,2,4,6
/proc/12565/task/12567/stat : 12567 (java) R 12563 12565 2614 0 -1 4202560 2785 0 1 0 146 2 0 0 20 0 19 0 340438501 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860619710968 139860459819997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12568] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12568/stat : 12568 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860604160424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12569] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12569/stat : 12569 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860603107880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12570] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12570/stat : 12570 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860602054824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12571] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12571/stat : 12571 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860601002280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12572] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12572/stat : 12572 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860599950248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12573] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12573/stat : 12573 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860598897704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12574] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12574/stat : 12574 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860597844648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12575] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12575/stat : 12575 (java) S 12563 12565 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860596792104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12576] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12576/stat : 12576 (java) S 12563 12565 2614 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860584380776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12577] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12577/stat : 12577 (java) S 12563 12565 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860583327096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12578] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12578/stat : 12578 (java) S 12563 12565 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860582273928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12579] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12579/stat : 12579 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860581222672 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12580] ppid=12563 vsize=2715132 CPUtime=0.18 cores=0,2,4,6
/proc/12565/task/12580/stat : 12580 (java) S 12563 12565 2614 0 -1 4202560 1587 0 0 0 18 0 0 0 20 0 19 0 340438506 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860580170552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12581] ppid=12563 vsize=2715132 CPUtime=0.2 cores=0,2,4,6
/proc/12565/task/12581/stat : 12581 (java) S 12563 12565 2614 0 -1 4202560 2246 0 0 0 20 0 0 0 20 0 19 0 340438506 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860579118008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12582] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12582/stat : 12582 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860578065144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12583] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12583/stat : 12583 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860459383880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12584] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12584/stat : 12584 (java) S 12563 12565 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340438516 2780295168 15570 33554432000 1073741824 1073778376 140734952957904 139860458329128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 2715132
[startup+3.10072 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 12584
/proc/meminfo: memFree=30514264/32873844 swapFree=7116/7116
[pid=12565] ppid=12563 vsize=2715132 CPUtime=3.5 cores=0,2,4,6
/proc/12565/stat : 12565 (java) S 12563 12565 2614 0 -1 4202496 7832 0 1 0 347 3 0 0 20 0 19 0 340438500 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 140734952949040 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12565/statm: 678783 23251 2240 9 0 669476 0
[pid=12565/tid=12567] ppid=12563 vsize=2715132 CPUtime=3.06 cores=0,2,4,6
/proc/12565/task/12567/stat : 12567 (java) R 12563 12565 2614 0 -1 4202560 2801 0 1 0 304 2 0 0 20 0 19 0 340438501 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860619702704 139860459888008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12568] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12568/stat : 12568 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860604160424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12569] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12569/stat : 12569 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860603107880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12570] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12570/stat : 12570 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860602054824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12571] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12571/stat : 12571 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860601002280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12572] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12572/stat : 12572 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860599950248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12573] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12573/stat : 12573 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860598897704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12574] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12574/stat : 12574 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860597844648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12575] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12575/stat : 12575 (java) S 12563 12565 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860596792104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12576] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12576/stat : 12576 (java) S 12563 12565 2614 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860584380776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12577] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12577/stat : 12577 (java) S 12563 12565 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860583327096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12578] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12578/stat : 12578 (java) S 12563 12565 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860582273928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12579] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12579/stat : 12579 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860581222672 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12580] ppid=12563 vsize=2715132 CPUtime=0.18 cores=0,2,4,6
/proc/12565/task/12580/stat : 12580 (java) S 12563 12565 2614 0 -1 4202560 1587 0 0 0 18 0 0 0 20 0 19 0 340438506 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860580170552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12581] ppid=12563 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/12565/task/12581/stat : 12581 (java) S 12563 12565 2614 0 -1 4202560 2247 0 0 0 21 0 0 0 20 0 19 0 340438506 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860579118008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12582] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12582/stat : 12582 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860578065144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12583] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12583/stat : 12583 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860459383880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12584] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12584/stat : 12584 (java) S 12563 12565 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340438516 2780295168 23251 33554432000 1073741824 1073778376 140734952957904 139860458329128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 2715132
[startup+6.30073 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 12584
/proc/meminfo: memFree=30456548/32873844 swapFree=7116/7116
[pid=12565] ppid=12563 vsize=2715132 CPUtime=6.71 cores=0,2,4,6
/proc/12565/stat : 12565 (java) S 12563 12565 2614 0 -1 4202496 7861 0 1 0 668 3 0 0 20 0 19 0 340438500 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 140734952949040 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12565/statm: 678783 36539 2240 9 0 669476 0
[pid=12565/tid=12567] ppid=12563 vsize=2715132 CPUtime=6.26 cores=0,2,4,6
/proc/12565/task/12567/stat : 12567 (java) R 12563 12565 2614 0 -1 4202560 2830 0 1 0 624 2 0 0 20 0 19 0 340438501 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860619711120 139860459856196 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12568] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12568/stat : 12568 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860604160424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12569] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12569/stat : 12569 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860603107880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12570] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12570/stat : 12570 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860602054824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12571] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12571/stat : 12571 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860601002280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12572] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12572/stat : 12572 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860599950248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12573] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12573/stat : 12573 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860598897704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12574] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12574/stat : 12574 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860597844648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12575] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12575/stat : 12575 (java) S 12563 12565 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340438501 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860596792104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12576] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12576/stat : 12576 (java) S 12563 12565 2614 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860584380776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12577] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12577/stat : 12577 (java) S 12563 12565 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860583327096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12578] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12578/stat : 12578 (java) S 12563 12565 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860582273928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12579] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12579/stat : 12579 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860581222672 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12580] ppid=12563 vsize=2715132 CPUtime=0.18 cores=0,2,4,6
/proc/12565/task/12580/stat : 12580 (java) S 12563 12565 2614 0 -1 4202560 1587 0 0 0 18 0 0 0 20 0 19 0 340438506 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860580170552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12581] ppid=12563 vsize=2715132 CPUtime=0.22 cores=0,2,4,6
/proc/12565/task/12581/stat : 12581 (java) S 12563 12565 2614 0 -1 4202560 2247 0 0 0 22 0 0 0 20 0 19 0 340438506 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860579118008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12582] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12582/stat : 12582 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860578065144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12583] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12583/stat : 12583 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860459383880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12584] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12584/stat : 12584 (java) S 12563 12565 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340438516 2780295168 36539 33554432000 1073741824 1073778376 140734952957904 139860458329128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=12565/tid=12571] ppid=12563 vsize=2715132 CPUtime=0.77 cores=0,2,4,6
/proc/12565/task/12571/stat : 12571 (java) S 12563 12565 2614 0 -1 4202560 369 0 0 0 67 10 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860601002280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12572] ppid=12563 vsize=2715132 CPUtime=0.67 cores=0,2,4,6
/proc/12565/task/12572/stat : 12572 (java) S 12563 12565 2614 0 -1 4202560 254 0 0 0 57 10 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860599950248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12573] ppid=12563 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/12565/task/12573/stat : 12573 (java) S 12563 12565 2614 0 -1 4202560 267 0 0 0 46 8 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860598897704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12574] ppid=12563 vsize=2715132 CPUtime=0.6 cores=0,2,4,6
/proc/12565/task/12574/stat : 12574 (java) S 12563 12565 2614 0 -1 4202560 237 0 0 0 51 9 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860597844648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12575] ppid=12563 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/12565/task/12575/stat : 12575 (java) S 12563 12565 2614 0 -1 4202560 173 0 0 0 46 7 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860596792104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12576] ppid=12563 vsize=2715132 CPUtime=5.58 cores=0,2,4,6
/proc/12565/task/12576/stat : 12576 (java) S 12563 12565 2614 0 -1 4202560 98 0 0 0 554 4 0 0 20 0 19 0 340438503 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860584380776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12577] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12577/stat : 12577 (java) S 12563 12565 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860583327096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12578] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12578/stat : 12578 (java) S 12563 12565 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860582273928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12579] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12579/stat : 12579 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860581222672 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12580] ppid=12563 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/12565/task/12580/stat : 12580 (java) S 12563 12565 2614 0 -1 4202560 7528 0 0 0 54 2 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860580170552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12581] ppid=12563 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/12565/task/12581/stat : 12581 (java) S 12563 12565 2614 0 -1 4202560 2510 0 0 0 29 0 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860579118008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12582] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12582/stat : 12582 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860578065144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12583] ppid=12563 vsize=2715132 CPUtime=0.71 cores=0,2,4,6
/proc/12565/task/12583/stat : 12583 (java) S 12563 12565 2614 0 -1 4202560 103 0 0 0 40 31 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860459383880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12584] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12584/stat : 12584 (java) S 12563 12565 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340438516 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860458329128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.95
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 12659
/proc/meminfo: memFree=28592292/32873844 swapFree=7116/7116
[pid=12565] ppid=12563 vsize=2715132 CPUtime=1800.08 cores=0,2,4,6
/proc/12565/stat : 12565 (java) S 12563 12565 2614 0 -1 4202496 16455 0 1 0 179904 104 0 0 20 0 19 0 340438500 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 140734952949040 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12565/statm: 678783 336715 2273 9 0 669476 0
[pid=12565/tid=12567] ppid=12563 vsize=2715132 CPUtime=1783.28 cores=0,2,4,6
/proc/12565/task/12567/stat : 12567 (java) R 12563 12565 2614 0 -1 4202560 2951 0 1 0 178294 34 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860619709792 139860459835399 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12568] ppid=12563 vsize=2715132 CPUtime=0.64 cores=0,2,4,6
/proc/12565/task/12568/stat : 12568 (java) S 12563 12565 2614 0 -1 4202560 211 0 0 0 57 7 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860604160424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12569] ppid=12563 vsize=2715132 CPUtime=0.75 cores=0,2,4,6
/proc/12565/task/12569/stat : 12569 (java) S 12563 12565 2614 0 -1 4202560 290 0 0 0 63 12 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860603107880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12570] ppid=12563 vsize=2715132 CPUtime=0.66 cores=0,2,4,6
/proc/12565/task/12570/stat : 12570 (java) S 12563 12565 2614 0 -1 4202560 279 0 0 0 58 8 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860602054824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12571] ppid=12563 vsize=2715132 CPUtime=0.8 cores=0,2,4,6
/proc/12565/task/12571/stat : 12571 (java) S 12563 12565 2614 0 -1 4202560 369 0 0 0 69 11 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860601002280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12572] ppid=12563 vsize=2715132 CPUtime=0.69 cores=0,2,4,6
/proc/12565/task/12572/stat : 12572 (java) S 12563 12565 2614 0 -1 4202560 254 0 0 0 59 10 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860599950248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12573] ppid=12563 vsize=2715132 CPUtime=0.61 cores=0,2,4,6
/proc/12565/task/12573/stat : 12573 (java) S 12563 12565 2614 0 -1 4202560 267 0 0 0 53 8 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860598897704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12574] ppid=12563 vsize=2715132 CPUtime=0.65 cores=0,2,4,6
/proc/12565/task/12574/stat : 12574 (java) S 12563 12565 2614 0 -1 4202560 237 0 0 0 56 9 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860597844648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12575] ppid=12563 vsize=2715132 CPUtime=0.55 cores=0,2,4,6
/proc/12565/task/12575/stat : 12575 (java) S 12563 12565 2614 0 -1 4202560 173 0 0 0 48 7 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860596792104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12576] ppid=12563 vsize=2715132 CPUtime=5.58 cores=0,2,4,6
/proc/12565/task/12576/stat : 12576 (java) S 12563 12565 2614 0 -1 4202560 100 0 0 0 554 4 0 0 20 0 19 0 340438503 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860584380776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12577] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12577/stat : 12577 (java) S 12563 12565 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860583327096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12578] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12578/stat : 12578 (java) S 12563 12565 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860582273928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12579] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12579/stat : 12579 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860581222672 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12580] ppid=12563 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/12565/task/12580/stat : 12580 (java) S 12563 12565 2614 0 -1 4202560 7528 0 0 0 54 2 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860580170552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12581] ppid=12563 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/12565/task/12581/stat : 12581 (java) S 12563 12565 2614 0 -1 4202560 2510 0 0 0 29 0 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860579118008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12582] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12582/stat : 12582 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860578065144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12583] ppid=12563 vsize=2715132 CPUtime=0.71 cores=0,2,4,6
/proc/12565/task/12583/stat : 12583 (java) S 12563 12565 2614 0 -1 4202560 103 0 0 0 40 31 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860459383880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12584] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12584/stat : 12584 (java) S 12563 12565 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340438516 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860458329128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1796.24 s) is less than in the last sample (1800.08 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (3.83997 s) to the 'lost time'.
[startup+1795.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 12659
/proc/meminfo: memFree=28592292/32873844 swapFree=7116/7116
[pid=12565] ppid=12563 vsize=2715132 CPUtime=1800.08 cores=0,2,4,6
/proc/12565/stat : 12565 (java) S 12563 12565 2614 0 -1 4202496 16455 0 1 0 179904 104 0 0 20 0 19 0 340438500 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 140734952949040 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12565/statm: 678783 336715 2273 9 0 669476 0
[pid=12565/tid=12567] ppid=12563 vsize=2715132 CPUtime=1783.28 cores=0,2,4,6
/proc/12565/task/12567/stat : 12567 (java) R 12563 12565 2614 0 -1 4202560 2951 0 1 0 178294 34 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860619709792 139860459835399 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12568] ppid=12563 vsize=2715132 CPUtime=0.64 cores=0,2,4,6
/proc/12565/task/12568/stat : 12568 (java) S 12563 12565 2614 0 -1 4202560 211 0 0 0 57 7 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860604160424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12569] ppid=12563 vsize=2715132 CPUtime=0.75 cores=0,2,4,6
/proc/12565/task/12569/stat : 12569 (java) S 12563 12565 2614 0 -1 4202560 290 0 0 0 63 12 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860603107880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12570] ppid=12563 vsize=2715132 CPUtime=0.66 cores=0,2,4,6
/proc/12565/task/12570/stat : 12570 (java) S 12563 12565 2614 0 -1 4202560 279 0 0 0 58 8 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860602054824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12571] ppid=12563 vsize=2715132 CPUtime=0.8 cores=0,2,4,6
/proc/12565/task/12571/stat : 12571 (java) S 12563 12565 2614 0 -1 4202560 369 0 0 0 69 11 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860601002280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12572] ppid=12563 vsize=2715132 CPUtime=0.69 cores=0,2,4,6
/proc/12565/task/12572/stat : 12572 (java) S 12563 12565 2614 0 -1 4202560 254 0 0 0 59 10 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860599950248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12573] ppid=12563 vsize=2715132 CPUtime=0.61 cores=0,2,4,6
/proc/12565/task/12573/stat : 12573 (java) S 12563 12565 2614 0 -1 4202560 267 0 0 0 53 8 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860598897704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12574] ppid=12563 vsize=2715132 CPUtime=0.65 cores=0,2,4,6
/proc/12565/task/12574/stat : 12574 (java) S 12563 12565 2614 0 -1 4202560 237 0 0 0 56 9 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860597844648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12565/tid=12575] ppid=12563 vsize=2715132 CPUtime=0.55 cores=0,2,4,6
/proc/12565/task/12575/stat : 12575 (java) S 12563 12565 2614 0 -1 4202560 173 0 0 0 48 7 0 0 20 0 19 0 340438501 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860596792104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12576] ppid=12563 vsize=2715132 CPUtime=5.58 cores=0,2,4,6
/proc/12565/task/12576/stat : 12576 (java) S 12563 12565 2614 0 -1 4202560 100 0 0 0 554 4 0 0 20 0 19 0 340438503 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860584380776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12565/tid=12577] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12577/stat : 12577 (java) S 12563 12565 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860583327096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12578] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12578/stat : 12578 (java) S 12563 12565 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340438503 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860582273928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12579] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12579/stat : 12579 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860581222672 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12580] ppid=12563 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/12565/task/12580/stat : 12580 (java) S 12563 12565 2614 0 -1 4202560 7528 0 0 0 54 2 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860580170552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12581] ppid=12563 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/12565/task/12581/stat : 12581 (java) S 12563 12565 2614 0 -1 4202560 2510 0 0 0 29 0 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860579118008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12582] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12582/stat : 12582 (java) S 12563 12565 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860578065144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12565/tid=12583] ppid=12563 vsize=2715132 CPUtime=0.71 cores=0,2,4,6
/proc/12565/task/12583/stat : 12583 (java) S 12563 12565 2614 0 -1 4202560 103 0 0 0 40 31 0 0 20 0 19 0 340438506 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860459383880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12565/tid=12584] ppid=12563 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12565/task/12584/stat : 12584 (java) S 12563 12565 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340438516 2780295168 336715 33554432000 1073741824 1073778376 140734952957904 139860458329128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2715132
[startup+1795.32 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 12659
/proc/meminfo: memFree=28592292/32873844 swapFree=7116/7116
[pid=12565] ppid=12563 vsize=0 CPUtime=1796.24 cores=0,2,4,6
/proc/12565/stat : 12565 (java) Z 12563 12565 2614 0 -1 4203532 16503 0 1 0 179468 156 0 0 20 0 2 0 340438500 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12565/statm: 0 0 0 0 0 0 0
[pid=12565/tid=12581] ppid=12563 vsize=0 CPUtime=0.31 cores=0,2,4,6
/proc/12565/task/12581/stat : 12581 (java) R 12563 12565 2614 0 -1 4203588 2520 0 0 0 31 0 0 0 20 0 2 0 340438506 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1795.32 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 12659
/proc/meminfo: memFree=28592292/32873844 swapFree=7116/7116
[pid=12565] ppid=12563 vsize=0 CPUtime=1796.24 cores=0,2,4,6
/proc/12565/stat : 12565 (java) Z 12563 12565 2614 0 -1 4203532 16503 0 1 0 179468 156 0 0 20 0 2 0 340438500 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12565/statm: 0 0 0 0 0 0 0
[pid=12565/tid=12581] ppid=12563 vsize=0 CPUtime=0.31 cores=0,2,4,6
/proc/12565/task/12581/stat : 12581 (java) R 12563 12565 2614 0 -1 4203588 2520 0 0 0 31 0 0 0 20 0 2 0 340438506 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 0
Child status: 143
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 3.83997
# lost CPU user time (s): 4.35999
# lost CPU system time (s): -0.52
Real time (s): 1795.32
CPU time (s): 1800.1
CPU user time (s): 1799.05
CPU system time (s): 1.05276
CPU usage (%): 100.266
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.69
system time used= 1.57276
maximum resident set size= 1347044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16503
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38218
involuntary context switches= 19889
runsolver used 5.99009 second user time and 15.5136 second system time
The end