runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4119716-1467274635/watcher-4119716-1467274635 -o /tmp/evaluation-result-4119716-1467274635/solver-4119716-1467274635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467272712-12530 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119716-1467274635.opb
pid=13163
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.22 2.16 2.09 3/194 13166
/proc/meminfo: memFree=28076432/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=260 CPUtime=0 cores=1,3,5,7
/proc/13166/stat : 13166 (java) R 13163 13166 12078 0 -1 4194304 330 0 0 0 0 0 0 0 20 0 1 0 6494669 266240 3 33554432000 0 0 140734531687983 140733514428184 251143024055 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 67 8 4 9 0 24 0
[startup+0.10006 s]
/proc/loadavg: 2.22 2.16 2.09 3/194 13166
/proc/meminfo: memFree=28076432/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 4394 0 1 0 8 1 0 0 20 0 18 0 6494669 9787879424 6031 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 6031 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200361 s]
/proc/loadavg: 2.22 2.16 2.09 3/194 13166
/proc/meminfo: memFree=28076432/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 4959 0 1 0 26 1 0 0 20 0 18 0 6494669 9787879424 10554 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 10554 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300394 s]
/proc/loadavg: 2.22 2.16 2.09 3/194 13166
/proc/meminfo: memFree=28076432/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 5765 0 1 0 49 2 0 0 20 0 18 0 6494669 9787879424 14012 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 14012 2238 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476
[startup+0.700355 s]
/proc/loadavg: 2.22 2.16 2.09 3/194 13166
/proc/meminfo: memFree=28076432/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=1.14 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 6197 0 1 0 106 8 0 0 20 0 18 0 6494669 9787879424 50520 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 50520 2262 9 0 2380296 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9558476
[startup+1.50088 s]
/proc/loadavg: 2.22 2.16 2.09 3/212 13184
/proc/meminfo: memFree=27825668/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=2.48 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 7055 0 1 0 221 27 0 0 20 0 18 0 6494669 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 115055 2262 9 0 2380296 0
[pid=13166/tid=13168] ppid=13163 vsize=9558476 CPUtime=1.22 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (java) R 13163 13166 12078 0 -1 4202560 2522 0 1 0 118 4 0 0 20 0 18 0 6494670 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057358233600 140057223052944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (java) S 13163 13166 12078 0 -1 4202560 83 0 0 0 7 2 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057347303720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13170] ppid=13163 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13166/task/13170/stat : 13170 (java) S 13163 13166 12078 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057346250920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13171] ppid=13163 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13166/task/13171/stat : 13171 (java) S 13163 13166 12078 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057345198632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13172] ppid=13163 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/13166/task/13172/stat : 13172 (java) S 13163 13166 12078 0 -1 4202560 79 0 0 0 9 4 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057344145832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13173] ppid=13163 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13166/task/13173/stat : 13173 (java) S 13163 13166 12078 0 -1 4202560 255 0 0 0 4 3 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057343093544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13174] ppid=13163 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/13166/task/13174/stat : 13174 (java) S 13163 13166 12078 0 -1 4202560 124 0 0 0 9 4 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057342040744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13175] ppid=13163 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/13166/task/13175/stat : 13175 (java) S 13163 13166 12078 0 -1 4202560 54 0 0 0 7 2 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057195002920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13176] ppid=13163 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/13166/task/13176/stat : 13176 (java) S 13163 13166 12078 0 -1 4202560 121 0 0 0 11 4 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057193950120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13177] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13177/stat : 13177 (java) S 13163 13166 12078 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 6494672 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057181751528 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13178] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13178/stat : 13178 (java) S 13163 13166 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 6494673 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057180697592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13179] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13179/stat : 13179 (java) S 13163 13166 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 6494673 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057179645192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13180] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13180/stat : 13180 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057178593680 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13181] ppid=13163 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/13166/task/13181/stat : 13181 (java) S 13163 13166 12078 0 -1 4202560 1186 0 0 0 15 0 0 0 20 0 18 0 6494675 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057177541304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13182] ppid=13163 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/13166/task/13182/stat : 13182 (java) S 13163 13166 12078 0 -1 4202560 1102 0 0 0 14 0 0 0 20 0 18 0 6494675 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057176488504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13183] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13183/stat : 13183 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057175436408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13184] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13184/stat : 13184 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057174383816 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9558476
[startup+3.10078 s]
/proc/loadavg: 2.20 2.16 2.09 3/212 13184
/proc/meminfo: memFree=27548136/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=4.63 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 9340 0 1 0 422 41 0 0 20 0 18 0 6494669 9787879424 199829 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 199829 2262 9 0 2380296 0
[pid=13166/tid=13168] ppid=13163 vsize=9558476 CPUtime=2.64 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (java) S 13163 13166 12078 0 -1 4202560 2808 0 1 0 256 8 0 0 20 0 18 0 6494670 9787879424 199829 33554432000 1073741824 1073778376 140734531686960 140057358240792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (java) R 13163 13166 12078 0 -1 4202560 116 0 0 0 13 4 0 0 20 0 18 0 6494671 9787879424 199829 33554432000 1073741824 1073778376 140734531686960 140057347303896 140057365138348 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13170] ppid=13163 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/13166/task/13170/stat : 13170 (java) R 13163 13166 12078 0 -1 4202560 345 0 0 0 11 3 0 0 20 0 18 0 6494671 9787879424 199829 33554432000 1073741824 1073778376 140734531686960 140057346251096 140057365138329 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13171] ppid=13163 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13166/task/13171/stat : 13171 (java) R 13163 13166 12078 0 -1 4202560 98 0 0 0 13 4 0 0 20 0 18 0 6494671 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057345198808 140057360713417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13172] ppid=13163 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/13166/task/13172/stat : 13172 (java) R 13163 13166 12078 0 -1 4202560 104 0 0 0 15 4 0 0 20 0 18 0 6494671 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057344146008 140057360801725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13173] ppid=13163 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/13166/task/13173/stat : 13173 (java) R 13163 13166 12078 0 -1 4202560 310 0 0 0 16 4 0 0 20 0 18 0 6494671 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057343093424 140057361998988 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13174] ppid=13163 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13166/task/13174/stat : 13174 (java) R 13163 13166 12078 0 -1 4202560 138 0 0 0 13 4 0 0 20 0 18 0 6494671 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057342040920 140057360713409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13175] ppid=13163 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/13166/task/13175/stat : 13175 (java) R 13163 13166 12078 0 -1 4202560 86 0 0 0 14 4 0 0 20 0 18 0 6494671 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057195003096 140057360713417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13176] ppid=13163 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/13166/task/13176/stat : 13176 (java) R 13163 13166 12078 0 -1 4202560 177 0 0 0 20 6 0 0 20 0 18 0 6494671 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057193950296 140057360713409 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13177] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13177/stat : 13177 (java) S 13163 13166 12078 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 6494672 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057181750408 251146581052 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13178] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13178/stat : 13178 (java) S 13163 13166 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 6494673 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057180697592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13179] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13179/stat : 13179 (java) S 13163 13166 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 6494673 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057179645192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13180] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13180/stat : 13180 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057178593680 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13181] ppid=13163 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/13166/task/13181/stat : 13181 (java) S 13163 13166 12078 0 -1 4202560 1186 0 0 0 16 0 0 0 20 0 18 0 6494675 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057177533272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13182] ppid=13163 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/13166/task/13182/stat : 13182 (java) R 13163 13166 12078 0 -1 4202560 2526 0 0 0 19 0 0 0 20 0 18 0 6494675 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057176475784 140057361155782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13183] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13183/stat : 13183 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057175436408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13184] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13184/stat : 13184 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057174383816 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 9558476
[startup+6.30092 s]
/proc/loadavg: 2.20 2.16 2.09 3/212 13184
/proc/meminfo: memFree=25743860/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=8.63 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 12380 0 1 0 783 80 0 0 20 0 18 0 6494669 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 703440 2262 9 0 2380296 0
[pid=13166/tid=13168] ppid=13163 vsize=9558476 CPUtime=5.56 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (java) R 13163 13166 12078 0 -1 4202560 4212 0 1 0 517 39 0 0 20 0 18 0 6494670 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057358239888 140057223118279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (java) S 13163 13166 12078 0 -1 4202560 134 0 0 0 23 5 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057347303720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13170] ppid=13163 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/13166/task/13170/stat : 13170 (java) S 13163 13166 12078 0 -1 4202560 359 0 0 0 20 4 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057346250920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13171] ppid=13163 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/13166/task/13171/stat : 13171 (java) S 13163 13166 12078 0 -1 4202560 130 0 0 0 26 5 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057345198632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13172] ppid=13163 vsize=9558476 CPUtime=0.36 cores=1,3,5,7
/proc/13166/task/13172/stat : 13172 (java) S 13163 13166 12078 0 -1 4202560 142 0 0 0 30 6 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057344145832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13173] ppid=13163 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/13166/task/13173/stat : 13173 (java) S 13163 13166 12078 0 -1 4202560 378 0 0 0 26 6 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057343093544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13174] ppid=13163 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/13166/task/13174/stat : 13174 (java) S 13163 13166 12078 0 -1 4202560 144 0 0 0 22 4 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057342040744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13175] ppid=13163 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/13166/task/13175/stat : 13175 (java) S 13163 13166 12078 0 -1 4202560 109 0 0 0 27 5 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057195002920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13176] ppid=13163 vsize=9558476 CPUtime=0.37 cores=1,3,5,7
/proc/13166/task/13176/stat : 13176 (java) S 13163 13166 12078 0 -1 4202560 194 0 0 0 31 6 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057193950120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13177] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13177/stat : 13177 (java) S 13163 13166 12078 0 -1 4202560 1261 0 0 0 0 0 0 0 20 0 18 0 6494672 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057181751528 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13178] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13178/stat : 13178 (java) S 13163 13166 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 6494673 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057180697592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13179] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13179/stat : 13179 (java) S 13163 13166 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 6494673 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057179645192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13180] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13180/stat : 13180 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057178593680 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13181] ppid=13163 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13166/task/13181/stat : 13181 (java) S 13163 13166 12078 0 -1 4202560 1196 0 0 0 17 0 0 0 20 0 18 0 6494675 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057177541304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13182] ppid=13163 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/13166/task/13182/stat : 13182 (java) S 13163 13166 12078 0 -1 4202560 2870 0 0 0 26 0 0 0 20 0 18 0 6494675 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057176488504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13183] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13183/stat : 13183 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057175436408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13184] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13184/stat : 13184 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057174383816 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 9558476
[startup+12.7009 s]
/proc/loadavg: 2.17 2.16 2.09 3/213 13185
/proc/meminfo: memFree=25257528/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9625040 CPUtime=15.67 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 14876 0 1 0 1486 81 0 0 20 0 19 0 6494669 9856040960 705537 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2406260 705537 2274 9 0 2396937 0
################
# More data... #
################
[pid=13166/tid=13185] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13185/stat : 13185 (java) S 13163 13166 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6495426 9856040960 1141913 33554432000 1073741824 1073778376 140734531686960 140057173328808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1731.93
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.08 2.18 2.10 3/213 13296
/proc/meminfo: memFree=25109624/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9625040 CPUtime=1792.45 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 427566 0 1 0 178937 308 0 0 20 0 19 0 6494669 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2406260 1133665 2287 9 0 2396937 0
[pid=13166/tid=13168] ppid=13163 vsize=9625040 CPUtime=1764.95 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (java) R 13163 13166 12078 0 -1 4202560 4243 0 1 0 176426 69 0 0 20 0 19 0 6494670 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057358240976 140057223420068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=9625040 CPUtime=1.73 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (java) S 13163 13166 12078 0 -1 4202560 44700 0 0 0 141 32 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057347303720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13170] ppid=13163 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/13166/task/13170/stat : 13170 (java) S 13163 13166 12078 0 -1 4202560 41398 0 0 0 113 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057346250920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13171] ppid=13163 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/13166/task/13171/stat : 13171 (java) S 13163 13166 12078 0 -1 4202560 45303 0 0 0 136 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057345198632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13172] ppid=13163 vsize=9625040 CPUtime=1.68 cores=1,3,5,7
/proc/13166/task/13172/stat : 13172 (java) S 13163 13166 12078 0 -1 4202560 38351 0 0 0 140 28 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057344145832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13173] ppid=13163 vsize=9625040 CPUtime=1.77 cores=1,3,5,7
/proc/13166/task/13173/stat : 13173 (java) S 13163 13166 12078 0 -1 4202560 40586 0 0 0 143 34 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057343093544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13174] ppid=13163 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13166/task/13174/stat : 13174 (java) S 13163 13166 12078 0 -1 4202560 34979 0 0 0 109 20 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057342040744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13175] ppid=13163 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/13166/task/13175/stat : 13175 (java) S 13163 13166 12078 0 -1 4202560 38533 0 0 0 115 26 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057195002920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13176] ppid=13163 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13166/task/13176/stat : 13176 (java) S 13163 13166 12078 0 -1 4202560 40290 0 0 0 105 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057193950120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13177] ppid=13163 vsize=9625040 CPUtime=9.21 cores=1,3,5,7
/proc/13166/task/13177/stat : 13177 (java) S 13163 13166 12078 0 -1 4202560 91035 0 0 0 899 22 0 0 20 0 19 0 6494672 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057181751528 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13178] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13178/stat : 13178 (java) S 13163 13166 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6494673 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057180697592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13179] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13179/stat : 13179 (java) S 13163 13166 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6494673 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057179645192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13180] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13180/stat : 13180 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057178593680 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13181] ppid=13163 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13166/task/13181/stat : 13181 (java) S 13163 13166 12078 0 -1 4202560 2703 0 0 0 50 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057177541304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13182] ppid=13163 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/13166/task/13182/stat : 13182 (java) S 13163 13166 12078 0 -1 4202560 4085 0 0 0 61 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057176488504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13183] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13183/stat : 13183 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057175436408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13184] ppid=13163 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/13166/task/13184/stat : 13184 (java) S 13163 13166 12078 0 -1 4202560 103 0 0 0 38 39 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057174383816 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13185] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13185/stat : 13185 (java) S 13163 13166 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6495426 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057173328808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1792.45
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.9 s]
/proc/loadavg: 2.07 2.18 2.10 3/213 13296
/proc/meminfo: memFree=25109624/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 427566 0 1 0 179697 308 0 0 20 0 19 0 6494669 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2406260 1133665 2287 9 0 2396937 0
[pid=13166/tid=13168] ppid=13163 vsize=9625040 CPUtime=1772.53 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (java) R 13163 13166 12078 0 -1 4202560 4243 0 1 0 177184 69 0 0 20 0 19 0 6494670 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057358240976 140057223336403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=9625040 CPUtime=1.73 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (java) S 13163 13166 12078 0 -1 4202560 44700 0 0 0 141 32 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057347303720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13170] ppid=13163 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/13166/task/13170/stat : 13170 (java) S 13163 13166 12078 0 -1 4202560 41398 0 0 0 113 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057346250920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13171] ppid=13163 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/13166/task/13171/stat : 13171 (java) S 13163 13166 12078 0 -1 4202560 45303 0 0 0 136 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057345198632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13172] ppid=13163 vsize=9625040 CPUtime=1.68 cores=1,3,5,7
/proc/13166/task/13172/stat : 13172 (java) S 13163 13166 12078 0 -1 4202560 38351 0 0 0 140 28 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057344145832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13173] ppid=13163 vsize=9625040 CPUtime=1.77 cores=1,3,5,7
/proc/13166/task/13173/stat : 13173 (java) S 13163 13166 12078 0 -1 4202560 40586 0 0 0 143 34 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057343093544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13174] ppid=13163 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13166/task/13174/stat : 13174 (java) S 13163 13166 12078 0 -1 4202560 34979 0 0 0 109 20 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057342040744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13175] ppid=13163 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/13166/task/13175/stat : 13175 (java) S 13163 13166 12078 0 -1 4202560 38533 0 0 0 115 26 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057195002920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13176] ppid=13163 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13166/task/13176/stat : 13176 (java) S 13163 13166 12078 0 -1 4202560 40290 0 0 0 105 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057193950120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13177] ppid=13163 vsize=9625040 CPUtime=9.21 cores=1,3,5,7
/proc/13166/task/13177/stat : 13177 (java) S 13163 13166 12078 0 -1 4202560 91035 0 0 0 899 22 0 0 20 0 19 0 6494672 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057181751528 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13178] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13178/stat : 13178 (java) S 13163 13166 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6494673 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057180697592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13179] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13179/stat : 13179 (java) S 13163 13166 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6494673 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057179645192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13180] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13180/stat : 13180 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057178593680 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13181] ppid=13163 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13166/task/13181/stat : 13181 (java) S 13163 13166 12078 0 -1 4202560 2703 0 0 0 50 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057177541304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13182] ppid=13163 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/13166/task/13182/stat : 13182 (java) S 13163 13166 12078 0 -1 4202560 4085 0 0 0 61 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057176488504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13183] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13183/stat : 13183 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057175436408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13184] ppid=13163 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/13166/task/13184/stat : 13184 (java) S 13163 13166 12078 0 -1 4202560 103 0 0 0 38 39 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057174383816 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13185] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13185/stat : 13185 (java) S 13163 13166 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6495426 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057173328808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13166 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1789.9 s]
/proc/loadavg: 2.07 2.18 2.10 3/213 13296
/proc/meminfo: memFree=25109624/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 427566 0 1 0 179697 308 0 0 20 0 19 0 6494669 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2406260 1133665 2287 9 0 2396937 0
[pid=13166/tid=13168] ppid=13163 vsize=9625040 CPUtime=1772.53 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (java) R 13163 13166 12078 0 -1 4202560 4243 0 1 0 177184 69 0 0 20 0 19 0 6494670 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057358240976 140057223336403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=9625040 CPUtime=1.73 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (java) S 13163 13166 12078 0 -1 4202560 44700 0 0 0 141 32 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057347303720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13170] ppid=13163 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/13166/task/13170/stat : 13170 (java) S 13163 13166 12078 0 -1 4202560 41398 0 0 0 113 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057346250920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13171] ppid=13163 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/13166/task/13171/stat : 13171 (java) S 13163 13166 12078 0 -1 4202560 45303 0 0 0 136 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057345198632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13172] ppid=13163 vsize=9625040 CPUtime=1.68 cores=1,3,5,7
/proc/13166/task/13172/stat : 13172 (java) S 13163 13166 12078 0 -1 4202560 38351 0 0 0 140 28 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057344145832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13173] ppid=13163 vsize=9625040 CPUtime=1.77 cores=1,3,5,7
/proc/13166/task/13173/stat : 13173 (java) S 13163 13166 12078 0 -1 4202560 40586 0 0 0 143 34 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057343093544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13174] ppid=13163 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13166/task/13174/stat : 13174 (java) S 13163 13166 12078 0 -1 4202560 34979 0 0 0 109 20 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057342040744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13175] ppid=13163 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/13166/task/13175/stat : 13175 (java) S 13163 13166 12078 0 -1 4202560 38533 0 0 0 115 26 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057195002920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13176] ppid=13163 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13166/task/13176/stat : 13176 (java) S 13163 13166 12078 0 -1 4202560 40290 0 0 0 105 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057193950120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13177] ppid=13163 vsize=9625040 CPUtime=9.21 cores=1,3,5,7
/proc/13166/task/13177/stat : 13177 (java) S 13163 13166 12078 0 -1 4202560 91035 0 0 0 899 22 0 0 20 0 19 0 6494672 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057181751528 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13178] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13178/stat : 13178 (java) S 13163 13166 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6494673 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057180697592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13179] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13179/stat : 13179 (java) S 13163 13166 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6494673 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057179645192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13180] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13180/stat : 13180 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057178593680 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13181] ppid=13163 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13166/task/13181/stat : 13181 (java) S 13163 13166 12078 0 -1 4202560 2703 0 0 0 50 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057177541304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13182] ppid=13163 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/13166/task/13182/stat : 13182 (java) S 13163 13166 12078 0 -1 4202560 4085 0 0 0 61 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057176488504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13183] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13183/stat : 13183 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057175436408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13184] ppid=13163 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/13166/task/13184/stat : 13184 (java) S 13163 13166 12078 0 -1 4202560 103 0 0 0 38 39 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057174383816 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13185] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13185/stat : 13185 (java) S 13163 13166 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6495426 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057173328808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13166 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=539492
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=611450
# CPU time returned by wait4() is 1796.15
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1789.98
CPU time (s): 1800.05
CPU user time (s): 1796.97
CPU system time (s): 3.08
CPU usage (%): 100.563
Max. virtual memory (cumulated for all children) (KiB): 9690576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.54
system time used= 3.61145
maximum resident set size= 4569508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 427644
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56428
involuntary context switches= 8042
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3244 second user time and 14.2198 second system time
The end