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-3744273-1338810511/watcher-3744273-1338810511 -o /tmp/evaluation-result-3744273-1338810511/solver-3744273-1338810511 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3744273-1338810511.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: 1.00 1.09 1.45 5/194 24096
/proc/meminfo: memFree=27576060/32873844 swapFree=7632/7632
[pid=24096] ppid=24094 vsize=89740 CPUtime=0 cores=1,3,5,7
/proc/24096/stat : 24096 (java) S 24094 24096 21172 0 -1 4202496 1166 0 0 0 0 0 0 0 20 0 2 0 347176738 91893760 887 33554432000 1073741824 1073778376 140734162492656 140734162483792 214373007421 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24096/statm: 22435 894 676 9 0 16770 0
[pid=24096/tid=24097] ppid=24094 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24097/stat : 24097 (java) R 24094 24096 21172 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 347176738 91889664 895 33554432000 1073741824 1073778376 140734162492656 140734162481720 214360485159 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.103982 s]
/proc/loadavg: 1.00 1.09 1.45 5/194 24096
/proc/meminfo: memFree=27576060/32873844 swapFree=7632/7632
[pid=24096] ppid=24094 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/24096/stat : 24096 (java) S 24094 24096 21172 0 -1 4202496 4708 0 1 0 10 1 0 0 20 0 18 0 347176738 2712133632 6938 33554432000 1073741824 1073778376 140734162492656 140734162483792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24096/statm: 662142 6938 2124 9 0 652835 0
[pid=24096/tid=24097] ppid=24094 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/24096/task/24097/stat : 24097 (java) R 24094 24096 21172 0 -1 4202560 2738 0 1 0 7 1 0 0 20 0 18 0 347176738 2712133632 6938 33554432000 1073741824 1073778376 140734162492656 140095208083784 140095210547368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2648568
[startup+0.200342 s]
/proc/loadavg: 1.00 1.09 1.45 5/194 24096
/proc/meminfo: memFree=27576060/32873844 swapFree=7632/7632
[pid=24096] ppid=24094 vsize=2648568 CPUtime=0.31 cores=1,3,5,7
/proc/24096/stat : 24096 (java) S 24094 24096 21172 0 -1 4202496 5608 0 1 0 30 1 0 0 20 0 18 0 347176738 2712133632 9576 33554432000 1073741824 1073778376 140734162492656 140734162483792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24096/statm: 662142 9576 2211 9 0 652835 0
[pid=24096/tid=24097] ppid=24094 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/24096/task/24097/stat : 24097 (java) R 24094 24096 21172 0 -1 4202560 2752 0 1 0 16 1 0 0 20 0 18 0 347176738 2712133632 9576 33554432000 1073741824 1073778376 140734162492656 140095208083784 214373033229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 2648568
[startup+0.300353 s]
/proc/loadavg: 1.00 1.09 1.45 5/194 24096
/proc/meminfo: memFree=27576060/32873844 swapFree=7632/7632
[pid=24096] ppid=24094 vsize=2648568 CPUtime=0.45 cores=1,3,5,7
/proc/24096/stat : 24096 (java) S 24094 24096 21172 0 -1 4202496 5821 0 1 0 44 1 0 0 20 0 18 0 347176738 2712133632 16079 33554432000 1073741824 1073778376 140734162492656 140734162483792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24096/statm: 662142 16079 2215 9 0 652835 0
[pid=24096/tid=24097] ppid=24094 vsize=2648568 CPUtime=0.27 cores=1,3,5,7
/proc/24096/task/24097/stat : 24097 (java) R 24094 24096 21172 0 -1 4202560 2765 0 1 0 26 1 0 0 20 0 18 0 347176738 2712133632 16079 33554432000 1073741824 1073778376 140734162492656 140095208083784 214373033229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2648568
[startup+0.700222 s]
/proc/loadavg: 1.00 1.09 1.45 5/194 24096
/proc/meminfo: memFree=27576060/32873844 swapFree=7632/7632
[pid=24096] ppid=24094 vsize=2648568 CPUtime=1 cores=1,3,5,7
/proc/24096/stat : 24096 (java) S 24094 24096 21172 0 -1 4202496 7849 0 1 0 94 6 0 0 20 0 18 0 347176738 2712133632 80206 33554432000 1073741824 1073778376 140734162492656 140734162483792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24096/statm: 662142 80206 2228 9 0 652835 0
[pid=24096/tid=24097] ppid=24094 vsize=2648568 CPUtime=0.67 cores=1,3,5,7
/proc/24096/task/24097/stat : 24097 (java) R 24094 24096 21172 0 -1 4202560 2897 0 1 0 61 6 0 0 20 0 18 0 347176738 2712133632 80206 33554432000 1073741824 1073778376 140734162492656 140095208087664 214373033229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 2648568
[startup+1.50078 s]
/proc/loadavg: 1.00 1.09 1.45 3/212 24114
/proc/meminfo: memFree=27076976/32873844 swapFree=7632/7632
[pid=24096] ppid=24094 vsize=2648568 CPUtime=2.51 cores=1,3,5,7
/proc/24096/stat : 24096 (java) S 24094 24096 21172 0 -1 4202496 15533 0 1 0 236 15 0 0 20 0 18 0 347176738 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140734162483792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24096/statm: 662142 106125 2258 9 0 652835 0
[pid=24096/tid=24097] ppid=24094 vsize=2648568 CPUtime=1.41 cores=1,3,5,7
/proc/24096/task/24097/stat : 24097 (java) R 24094 24096 21172 0 -1 4202560 2921 0 1 0 134 7 0 0 20 0 18 0 347176738 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140095208087680 214373033229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24099] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24099/stat : 24099 (java) S 24094 24096 21172 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 347176739 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140095192546344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24100] ppid=24094 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/24096/task/24100/stat : 24100 (java) S 24094 24096 21172 0 -1 4202560 16 0 0 0 0 2 0 0 20 0 18 0 347176739 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140095191493544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24101] ppid=24094 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/24096/task/24101/stat : 24101 (java) S 24094 24096 21172 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 347176739 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140095071972136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24102] ppid=24094 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/24096/task/24102/stat : 24102 (java) S 24094 24096 21172 0 -1 4202560 35 0 0 0 3 1 0 0 20 0 18 0 347176739 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140095070919336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24103] ppid=24094 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/24096/task/24103/stat : 24103 (java) S 24094 24096 21172 0 -1 4202560 19 0 0 0 0 1 0 0 20 0 18 0 347176739 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140095069866536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24104] ppid=24094 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/24096/task/24104/stat : 24104 (java) S 24094 24096 21172 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 347176739 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140095068813736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24105] ppid=24094 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/24096/task/24105/stat : 24105 (java) S 24094 24096 21172 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 347176739 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140095067760936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24106] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24106/stat : 24106 (java) S 24094 24096 21172 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 18 0 347176739 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140095066708136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24107] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24107/stat : 24107 (java) S 24094 24096 21172 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347176740 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140094584380392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24108] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24108/stat : 24108 (java) S 24094 24096 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347176741 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140094583326456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24109] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24109/stat : 24109 (java) S 24094 24096 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347176741 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140094582273544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24110] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24110/stat : 24110 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347176743 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140094581222032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24111] ppid=24094 vsize=2648568 CPUtime=0.44 cores=1,3,5,7
/proc/24096/task/24111/stat : 24111 (java) S 24094 24096 21172 0 -1 4202560 4794 0 0 0 44 0 0 0 20 0 18 0 347176743 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140094580169144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24112] ppid=24094 vsize=2648568 CPUtime=0.39 cores=1,3,5,7
/proc/24096/task/24112/stat : 24112 (java) S 24094 24096 21172 0 -1 4202560 6499 0 0 0 38 1 0 0 20 0 18 0 347176743 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140094579116344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24113] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24113/stat : 24113 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347176743 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140094578063736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24114] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24114/stat : 24114 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347176743 2712133632 106125 33554432000 1073741824 1073778376 140734162492656 140094577011144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 2648568
[startup+3.10079 s]
/proc/loadavg: 1.00 1.09 1.45 3/212 24114
/proc/meminfo: memFree=26899048/32873844 swapFree=7632/7632
[pid=24096] ppid=24094 vsize=2648568 CPUtime=4.73 cores=1,3,5,7
/proc/24096/stat : 24096 (java) S 24094 24096 21172 0 -1 4202496 15810 0 1 0 443 30 0 0 20 0 18 0 347176738 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140734162483792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24096/statm: 662142 131304 2258 9 0 652835 0
[pid=24096/tid=24097] ppid=24094 vsize=2648568 CPUtime=2.81 cores=1,3,5,7
/proc/24096/task/24097/stat : 24097 (java) R 24094 24096 21172 0 -1 4202560 2923 0 1 0 274 7 0 0 20 0 18 0 347176738 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140095208094760 140095072423324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24099] ppid=24094 vsize=2648568 CPUtime=0.12 cores=1,3,5,7
/proc/24096/task/24099/stat : 24099 (java) S 24094 24096 21172 0 -1 4202560 59 0 0 0 9 3 0 0 20 0 18 0 347176739 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140095192546344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24100] ppid=24094 vsize=2648568 CPUtime=0.14 cores=1,3,5,7
/proc/24096/task/24100/stat : 24100 (java) S 24094 24096 21172 0 -1 4202560 55 0 0 0 11 3 0 0 20 0 18 0 347176739 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140095191493544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24101] ppid=24094 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/24096/task/24101/stat : 24101 (java) S 24094 24096 21172 0 -1 4202560 45 0 0 0 8 2 0 0 20 0 18 0 347176739 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140095071972136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24102] ppid=24094 vsize=2648568 CPUtime=0.15 cores=1,3,5,7
/proc/24096/task/24102/stat : 24102 (java) S 24094 24096 21172 0 -1 4202560 76 0 0 0 11 4 0 0 20 0 18 0 347176739 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140095070919336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24103] ppid=24094 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/24096/task/24103/stat : 24103 (java) S 24094 24096 21172 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 18 0 347176739 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140095069866536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24104] ppid=24094 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/24096/task/24104/stat : 24104 (java) S 24094 24096 21172 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 18 0 347176739 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140095068813736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24105] ppid=24094 vsize=2648568 CPUtime=0.15 cores=1,3,5,7
/proc/24096/task/24105/stat : 24105 (java) S 24094 24096 21172 0 -1 4202560 57 0 0 0 11 4 0 0 20 0 18 0 347176739 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140095067760936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24106] ppid=24094 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/24096/task/24106/stat : 24106 (java) S 24094 24096 21172 0 -1 4202560 51 0 0 0 8 1 0 0 20 0 18 0 347176739 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140095066708136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24107] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24107/stat : 24107 (java) S 24094 24096 21172 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347176740 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140094584380392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24108] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24108/stat : 24108 (java) S 24094 24096 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347176741 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140094583326456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24109] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24109/stat : 24109 (java) S 24094 24096 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347176741 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140094582273544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24110] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24110/stat : 24110 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347176743 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140094581222032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24111] ppid=24094 vsize=2648568 CPUtime=0.47 cores=1,3,5,7
/proc/24096/task/24111/stat : 24111 (java) S 24094 24096 21172 0 -1 4202560 4794 0 0 0 47 0 0 0 20 0 18 0 347176743 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140094580169144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24112] ppid=24094 vsize=2648568 CPUtime=0.42 cores=1,3,5,7
/proc/24096/task/24112/stat : 24112 (java) S 24094 24096 21172 0 -1 4202560 6502 0 0 0 40 2 0 0 20 0 18 0 347176743 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140094579116344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24113] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24113/stat : 24113 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347176743 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140094578063736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24114] ppid=24094 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24114/stat : 24114 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347176743 2712133632 131304 33554432000 1073741824 1073778376 140734162492656 140094577011144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 2648568
[startup+6.30081 s]
/proc/loadavg: 1.00 1.09 1.45 3/213 24115
/proc/meminfo: memFree=26694552/32873844 swapFree=7632/7632
[pid=24096] ppid=24094 vsize=2715132 CPUtime=9.27 cores=1,3,5,7
/proc/24096/stat : 24096 (java) S 24094 24096 21172 0 -1 4202496 16308 0 1 0 889 38 0 0 20 0 19 0 347176738 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140734162483792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24096/statm: 678783 148252 2273 9 0 669476 0
[pid=24096/tid=24097] ppid=24094 vsize=2715132 CPUtime=5.75 cores=1,3,5,7
/proc/24096/task/24097/stat : 24097 (java) R 24094 24096 21172 0 -1 4202560 2932 0 1 0 568 7 0 0 20 0 19 0 347176738 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140095208094264 140095072981661 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24099] ppid=24094 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/24096/task/24099/stat : 24099 (java) S 24094 24096 21172 0 -1 4202560 79 0 0 0 18 4 0 0 20 0 19 0 347176739 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140095192546344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24100] ppid=24094 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/24096/task/24100/stat : 24100 (java) S 24094 24096 21172 0 -1 4202560 71 0 0 0 16 4 0 0 20 0 19 0 347176739 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140095191493544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24101] ppid=24094 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/24096/task/24101/stat : 24101 (java) S 24094 24096 21172 0 -1 4202560 65 0 0 0 21 3 0 0 20 0 19 0 347176739 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140095071972136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24102] ppid=24094 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/24096/task/24102/stat : 24102 (java) S 24094 24096 21172 0 -1 4202560 92 0 0 0 26 5 0 0 20 0 19 0 347176739 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140095070919336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24103] ppid=24094 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/24096/task/24103/stat : 24103 (java) S 24094 24096 21172 0 -1 4202560 72 0 0 0 26 4 0 0 20 0 19 0 347176739 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140095069866536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24104] ppid=24094 vsize=2715132 CPUtime=0.13 cores=1,3,5,7
/proc/24096/task/24104/stat : 24104 (java) S 24094 24096 21172 0 -1 4202560 45 0 0 0 10 3 0 0 20 0 19 0 347176739 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140095068813736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24105] ppid=24094 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/24096/task/24105/stat : 24105 (java) S 24094 24096 21172 0 -1 4202560 83 0 0 0 20 4 0 0 20 0 19 0 347176739 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140095067760936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24106] ppid=24094 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/24096/task/24106/stat : 24106 (java) S 24094 24096 21172 0 -1 4202560 87 0 0 0 19 3 0 0 20 0 19 0 347176739 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140095066708136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24107] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24107/stat : 24107 (java) S 24094 24096 21172 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 347176740 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140094584380392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24108] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24108/stat : 24108 (java) S 24094 24096 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347176741 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140094583326456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24109] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24109/stat : 24109 (java) S 24094 24096 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347176741 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140094582273544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24110] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24110/stat : 24110 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347176743 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140094581222032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24111] ppid=24094 vsize=2715132 CPUtime=0.82 cores=1,3,5,7
/proc/24096/task/24111/stat : 24111 (java) S 24094 24096 21172 0 -1 4202560 5073 0 0 0 82 0 0 0 20 0 19 0 347176743 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140094580169144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24112] ppid=24094 vsize=2715132 CPUtime=0.69 cores=1,3,5,7
/proc/24096/task/24112/stat : 24112 (java) S 24094 24096 21172 0 -1 4202560 6517 0 0 0 67 2 0 0 20 0 19 0 347176743 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140094579116344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24113] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24113/stat : 24113 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347176743 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140094578063736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24114] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24114/stat : 24114 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347176743 2780295168 148252 33554432000 1073741824 1073778376 140734162492656 140094577011144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=24096/tid=24111] ppid=24094 vsize=2715132 CPUtime=0.92 cores=1,3,5,7
/proc/24096/task/24111/stat : 24111 (java) S 24094 24096 21172 0 -1 4202560 5086 0 0 0 92 0 0 0 20 0 19 0 347176743 2780295168 246355 33554432000 1073741824 1073778376 140734162492656 140094580169144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24112] ppid=24094 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/24096/task/24112/stat : 24112 (java) S 24094 24096 21172 0 -1 4202560 6517 0 0 0 68 2 0 0 20 0 19 0 347176743 2780295168 246355 33554432000 1073741824 1073778376 140734162492656 140094579116344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24113] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24113/stat : 24113 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347176743 2780295168 246355 33554432000 1073741824 1073778376 140734162492656 140094578063736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24114] ppid=24094 vsize=2715132 CPUtime=0.92 cores=1,3,5,7
/proc/24096/task/24114/stat : 24114 (java) S 24094 24096 21172 0 -1 4202560 94 0 0 0 45 47 0 0 20 0 19 0 347176743 2780295168 246355 33554432000 1073741824 1073778376 140734162492656 140094577011144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24115] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24115/stat : 24115 (java) S 24094 24096 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347177153 2780295168 246355 33554432000 1073741824 1073778376 140734162492656 140094575957672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1726.18
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.02 2.06 1.95 3/213 24211
/proc/meminfo: memFree=25272168/32873844 swapFree=7632/7632
[pid=24096] ppid=24094 vsize=2715132 CPUtime=1787.98 cores=1,3,5,7
/proc/24096/stat : 24096 (java) S 24094 24096 21172 0 -1 4202496 19819 0 1 0 178626 172 0 0 20 0 19 0 347176738 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140734162483792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24096/statm: 678783 250963 2273 9 0 669476 0
[pid=24096/tid=24097] ppid=24094 vsize=2715132 CPUtime=1693.9 cores=1,3,5,7
/proc/24096/task/24097/stat : 24097 (java) R 24094 24096 21172 0 -1 4202560 3777 0 1 0 169355 35 0 0 20 0 19 0 347176738 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140095208095040 140095072619804 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24099] ppid=24094 vsize=2715132 CPUtime=10.65 cores=1,3,5,7
/proc/24096/task/24099/stat : 24099 (java) S 24094 24096 21172 0 -1 4202560 397 0 0 0 1051 14 0 0 20 0 19 0 347176739 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140095192546344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24100] ppid=24094 vsize=2715132 CPUtime=10.99 cores=1,3,5,7
/proc/24096/task/24100/stat : 24100 (java) S 24094 24096 21172 0 -1 4202560 364 0 0 0 1088 11 0 0 20 0 19 0 347176739 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140095191493544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24101] ppid=24094 vsize=2715132 CPUtime=11.22 cores=1,3,5,7
/proc/24096/task/24101/stat : 24101 (java) S 24094 24096 21172 0 -1 4202560 381 0 0 0 1111 11 0 0 20 0 19 0 347176739 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140095071972136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24102] ppid=24094 vsize=2715132 CPUtime=10.99 cores=1,3,5,7
/proc/24096/task/24102/stat : 24102 (java) S 24094 24096 21172 0 -1 4202560 401 0 0 0 1086 13 0 0 20 0 19 0 347176739 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140095070919336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24103] ppid=24094 vsize=2715132 CPUtime=10.82 cores=1,3,5,7
/proc/24096/task/24103/stat : 24103 (java) S 24094 24096 21172 0 -1 4202560 394 0 0 0 1067 15 0 0 20 0 19 0 347176739 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140095069866536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24104] ppid=24094 vsize=2715132 CPUtime=10.98 cores=1,3,5,7
/proc/24096/task/24104/stat : 24104 (java) S 24094 24096 21172 0 -1 4202560 357 0 0 0 1088 10 0 0 20 0 19 0 347176739 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140095068813736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24105] ppid=24094 vsize=2715132 CPUtime=10.35 cores=1,3,5,7
/proc/24096/task/24105/stat : 24105 (java) S 24094 24096 21172 0 -1 4202560 375 0 0 0 1022 13 0 0 20 0 19 0 347176739 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140095067760936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24106] ppid=24094 vsize=2715132 CPUtime=10.89 cores=1,3,5,7
/proc/24096/task/24106/stat : 24106 (java) S 24094 24096 21172 0 -1 4202560 383 0 0 0 1079 10 0 0 20 0 19 0 347176739 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140095066708136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24107] ppid=24094 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/24096/task/24107/stat : 24107 (java) S 24094 24096 21172 0 -1 4202560 107 0 0 0 16 3 0 0 20 0 19 0 347176740 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140094584380392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24108] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24108/stat : 24108 (java) S 24094 24096 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347176741 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140094583326456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24109] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24109/stat : 24109 (java) S 24094 24096 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347176741 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140094582273544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24110] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24110/stat : 24110 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347176743 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140094581222032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24111] ppid=24094 vsize=2715132 CPUtime=0.92 cores=1,3,5,7
/proc/24096/task/24111/stat : 24111 (java) S 24094 24096 21172 0 -1 4202560 5087 0 0 0 92 0 0 0 20 0 19 0 347176743 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140094580169144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24112] ppid=24094 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/24096/task/24112/stat : 24112 (java) S 24094 24096 21172 0 -1 4202560 6517 0 0 0 68 2 0 0 20 0 19 0 347176743 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140094579116344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24113] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24113/stat : 24113 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347176743 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140094578063736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24114] ppid=24094 vsize=2715132 CPUtime=0.95 cores=1,3,5,7
/proc/24096/task/24114/stat : 24114 (java) S 24094 24096 21172 0 -1 4202560 98 0 0 0 47 48 0 0 20 0 19 0 347176743 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140094577011144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24115] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24115/stat : 24115 (java) S 24094 24096 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347177153 2780295168 250963 33554432000 1073741824 1073778376 140734162492656 140094575957672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1787.98
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1734.2 s]
/proc/loadavg: 2.02 2.06 1.95 3/213 24211
/proc/meminfo: memFree=25261928/32873844 swapFree=7632/7632
[pid=24096] ppid=24094 vsize=2715132 CPUtime=1800.06 cores=1,3,5,7
/proc/24096/stat : 24096 (java) S 24094 24096 21172 0 -1 4202496 19835 0 1 0 179833 173 0 0 20 0 19 0 347176738 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140734162483792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24096/statm: 678783 253011 2273 9 0 669476 0
[pid=24096/tid=24097] ppid=24094 vsize=2715132 CPUtime=1705.71 cores=1,3,5,7
/proc/24096/task/24097/stat : 24097 (java) R 24094 24096 21172 0 -1 4202560 3780 0 1 0 170536 35 0 0 20 0 19 0 347176738 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095208095040 140095072998879 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24099] ppid=24094 vsize=2715132 CPUtime=10.7 cores=1,3,5,7
/proc/24096/task/24099/stat : 24099 (java) S 24094 24096 21172 0 -1 4202560 399 0 0 0 1056 14 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095192546344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24100] ppid=24094 vsize=2715132 CPUtime=11.02 cores=1,3,5,7
/proc/24096/task/24100/stat : 24100 (java) S 24094 24096 21172 0 -1 4202560 365 0 0 0 1091 11 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095191493544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24101] ppid=24094 vsize=2715132 CPUtime=11.25 cores=1,3,5,7
/proc/24096/task/24101/stat : 24101 (java) S 24094 24096 21172 0 -1 4202560 385 0 0 0 1113 12 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095071972136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24102] ppid=24094 vsize=2715132 CPUtime=11.01 cores=1,3,5,7
/proc/24096/task/24102/stat : 24102 (java) S 24094 24096 21172 0 -1 4202560 401 0 0 0 1088 13 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095070919336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24103] ppid=24094 vsize=2715132 CPUtime=10.86 cores=1,3,5,7
/proc/24096/task/24103/stat : 24103 (java) S 24094 24096 21172 0 -1 4202560 395 0 0 0 1071 15 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095069866536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24104] ppid=24094 vsize=2715132 CPUtime=11 cores=1,3,5,7
/proc/24096/task/24104/stat : 24104 (java) S 24094 24096 21172 0 -1 4202560 358 0 0 0 1090 10 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095068813736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24105] ppid=24094 vsize=2715132 CPUtime=10.37 cores=1,3,5,7
/proc/24096/task/24105/stat : 24105 (java) S 24094 24096 21172 0 -1 4202560 377 0 0 0 1024 13 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095067760936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24106] ppid=24094 vsize=2715132 CPUtime=10.92 cores=1,3,5,7
/proc/24096/task/24106/stat : 24106 (java) S 24094 24096 21172 0 -1 4202560 383 0 0 0 1082 10 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095066708136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24107] ppid=24094 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/24096/task/24107/stat : 24107 (java) S 24094 24096 21172 0 -1 4202560 107 0 0 0 16 3 0 0 20 0 19 0 347176740 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094584380392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24108] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24108/stat : 24108 (java) S 24094 24096 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347176741 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094583326456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24109] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24109/stat : 24109 (java) S 24094 24096 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347176741 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094582273544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24110] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24110/stat : 24110 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347176743 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094581222032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24111] ppid=24094 vsize=2715132 CPUtime=0.92 cores=1,3,5,7
/proc/24096/task/24111/stat : 24111 (java) S 24094 24096 21172 0 -1 4202560 5087 0 0 0 92 0 0 0 20 0 19 0 347176743 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094580169144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24112] ppid=24094 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/24096/task/24112/stat : 24112 (java) S 24094 24096 21172 0 -1 4202560 6517 0 0 0 68 2 0 0 20 0 19 0 347176743 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094579116344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24113] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24113/stat : 24113 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347176743 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094578063736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24114] ppid=24094 vsize=2715132 CPUtime=0.96 cores=1,3,5,7
/proc/24096/task/24114/stat : 24114 (java) S 24094 24096 21172 0 -1 4202560 100 0 0 0 47 49 0 0 20 0 19 0 347176743 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094577011144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24115] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24115/stat : 24115 (java) S 24094 24096 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347177153 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094575957672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1734.2 s]
/proc/loadavg: 2.02 2.06 1.95 3/213 24211
/proc/meminfo: memFree=25261928/32873844 swapFree=7632/7632
[pid=24096] ppid=24094 vsize=2715132 CPUtime=1800.06 cores=1,3,5,7
/proc/24096/stat : 24096 (java) S 24094 24096 21172 0 -1 4202496 19835 0 1 0 179833 173 0 0 20 0 19 0 347176738 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140734162483792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24096/statm: 678783 253011 2273 9 0 669476 0
[pid=24096/tid=24097] ppid=24094 vsize=2715132 CPUtime=1705.71 cores=1,3,5,7
/proc/24096/task/24097/stat : 24097 (java) R 24094 24096 21172 0 -1 4202560 3780 0 1 0 170536 35 0 0 20 0 19 0 347176738 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095208095040 140095072998879 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24099] ppid=24094 vsize=2715132 CPUtime=10.7 cores=1,3,5,7
/proc/24096/task/24099/stat : 24099 (java) S 24094 24096 21172 0 -1 4202560 399 0 0 0 1056 14 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095192546344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24100] ppid=24094 vsize=2715132 CPUtime=11.02 cores=1,3,5,7
/proc/24096/task/24100/stat : 24100 (java) S 24094 24096 21172 0 -1 4202560 365 0 0 0 1091 11 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095191493544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24101] ppid=24094 vsize=2715132 CPUtime=11.25 cores=1,3,5,7
/proc/24096/task/24101/stat : 24101 (java) S 24094 24096 21172 0 -1 4202560 385 0 0 0 1113 12 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095071972136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24102] ppid=24094 vsize=2715132 CPUtime=11.01 cores=1,3,5,7
/proc/24096/task/24102/stat : 24102 (java) S 24094 24096 21172 0 -1 4202560 401 0 0 0 1088 13 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095070919336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24103] ppid=24094 vsize=2715132 CPUtime=10.86 cores=1,3,5,7
/proc/24096/task/24103/stat : 24103 (java) S 24094 24096 21172 0 -1 4202560 395 0 0 0 1071 15 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095069866536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24104] ppid=24094 vsize=2715132 CPUtime=11 cores=1,3,5,7
/proc/24096/task/24104/stat : 24104 (java) S 24094 24096 21172 0 -1 4202560 358 0 0 0 1090 10 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095068813736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24105] ppid=24094 vsize=2715132 CPUtime=10.37 cores=1,3,5,7
/proc/24096/task/24105/stat : 24105 (java) S 24094 24096 21172 0 -1 4202560 377 0 0 0 1024 13 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095067760936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24106] ppid=24094 vsize=2715132 CPUtime=10.92 cores=1,3,5,7
/proc/24096/task/24106/stat : 24106 (java) S 24094 24096 21172 0 -1 4202560 383 0 0 0 1082 10 0 0 20 0 19 0 347176739 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140095066708136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24107] ppid=24094 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/24096/task/24107/stat : 24107 (java) S 24094 24096 21172 0 -1 4202560 107 0 0 0 16 3 0 0 20 0 19 0 347176740 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094584380392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24108] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24108/stat : 24108 (java) S 24094 24096 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347176741 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094583326456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24109] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24109/stat : 24109 (java) S 24094 24096 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347176741 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094582273544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24110] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24110/stat : 24110 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347176743 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094581222032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24096/tid=24111] ppid=24094 vsize=2715132 CPUtime=0.92 cores=1,3,5,7
/proc/24096/task/24111/stat : 24111 (java) S 24094 24096 21172 0 -1 4202560 5087 0 0 0 92 0 0 0 20 0 19 0 347176743 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094580169144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24112] ppid=24094 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/24096/task/24112/stat : 24112 (java) S 24094 24096 21172 0 -1 4202560 6517 0 0 0 68 2 0 0 20 0 19 0 347176743 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094579116344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24096/tid=24113] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24113/stat : 24113 (java) S 24094 24096 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347176743 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094578063736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24096/tid=24114] ppid=24094 vsize=2715132 CPUtime=0.96 cores=1,3,5,7
/proc/24096/task/24114/stat : 24114 (java) S 24094 24096 21172 0 -1 4202560 100 0 0 0 47 49 0 0 20 0 19 0 347176743 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094577011144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24096/tid=24115] ppid=24094 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24096/task/24115/stat : 24115 (java) S 24094 24096 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347177153 2780295168 253011 33554432000 1073741824 1073778376 140734162492656 140094575957672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2715132
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24096 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=989272
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=29691
# CPU time returned by wait4() is 1796.02
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1734.27
CPU time (s): 1800.06
CPU user time (s): 1798.33
CPU system time (s): 1.73
CPU usage (%): 103.793
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 2.02969
maximum resident set size= 1014268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19887
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62129
involuntary context switches= 116458
runsolver used 7.57085 second user time and 13.8039 second system time
The end