runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458364-1307159564/watcher-3458364-1307159564 -o /tmp/evaluation-result-3458364-1307159564/solver-3458364-1307159564 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458364-1307159564.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.88 2.01 1.99 3/553 23306
/proc/meminfo: memFree=28821604/32951124 swapFree=58212616/67111528
[pid=23306] ppid=23304 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/23306/stat : 23306 (java) S 23304 23306 19861 0 -1 4202496 3168 0 1 0 0 0 0 0 25 0 2 0 827554413 13833195520 2869 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23306/statm: 3377245 2883 906 9 0 3368401 0
[pid=23306/tid=23307] ppid=23304 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23307/stat : 23307 (java) R 23304 23306 19861 0 -1 4202560 6629 0 1 0 0 0 0 0 25 0 2 0 827554413 13850947584 7444 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.119536 s]
/proc/loadavg: 1.88 2.01 1.99 3/553 23306
/proc/meminfo: memFree=28821604/32951124 swapFree=58212616/67111528
[pid=23306] ppid=23304 vsize=13621900 CPUtime=0.12 cores=1,3,5,7
/proc/23306/stat : 23306 (java) S 23304 23306 19861 0 -1 4202496 15781 0 1 0 10 2 0 0 25 0 18 0 827554413 13948825600 15447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23306/statm: 3405475 15448 2133 9 0 3396209 0
[pid=23306/tid=23307] ppid=23304 vsize=13621900 CPUtime=0.1 cores=1,3,5,7
/proc/23306/task/23307/stat : 23307 (java) R 23304 23306 19861 0 -1 4202560 13858 0 1 0 8 2 0 0 18 0 18 0 827554413 13948825600 15448 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256175563 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13621900
[startup+0.200841 s]
/proc/loadavg: 1.88 2.01 1.99 3/553 23306
/proc/meminfo: memFree=28821604/32951124 swapFree=58212616/67111528
[pid=23306] ppid=23304 vsize=13622364 CPUtime=0.24 cores=1,3,5,7
/proc/23306/stat : 23306 (java) S 23304 23306 19861 0 -1 4202496 16425 0 1 0 22 2 0 0 25 0 18 0 827554413 13949300736 16091 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23306/statm: 3405591 16091 2167 9 0 3396325 0
[pid=23306/tid=23307] ppid=23304 vsize=13622364 CPUtime=0.18 cores=1,3,5,7
/proc/23306/task/23307/stat : 23307 (java) R 23304 23306 19861 0 -1 4202560 14362 0 1 0 16 2 0 0 18 0 18 0 827554413 13949300736 16091 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 46912505179312 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13622364
[startup+0.300825 s]
/proc/loadavg: 1.88 2.01 1.99 3/553 23306
/proc/meminfo: memFree=28821604/32951124 swapFree=58212616/67111528
[pid=23306] ppid=23304 vsize=13625220 CPUtime=0.47 cores=1,3,5,7
/proc/23306/stat : 23306 (java) S 23304 23306 19861 0 -1 4202496 18864 0 1 0 44 3 0 0 25 0 18 0 827554413 13952225280 17951 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23306/statm: 3406305 17952 2211 9 0 3397039 0
[pid=23306/tid=23307] ppid=23304 vsize=13625220 CPUtime=0.28 cores=1,3,5,7
/proc/23306/task/23307/stat : 23307 (java) R 23304 23306 19861 0 -1 4202560 15239 0 1 0 26 2 0 0 18 0 18 0 827554413 13952225280 17952 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 47624102583092 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13625220
[startup+0.700754 s]
/proc/loadavg: 1.88 2.01 1.99 3/553 23306
/proc/meminfo: memFree=28821604/32951124 swapFree=58212616/67111528
[pid=23306] ppid=23304 vsize=13632776 CPUtime=1.65 cores=1,3,5,7
/proc/23306/stat : 23306 (java) S 23304 23306 19861 0 -1 4202496 39069 0 1 0 159 6 0 0 25 0 19 0 827554413 13959962624 35261 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23306/statm: 3408194 35261 2237 9 0 3398928 0
[pid=23306/tid=23307] ppid=23304 vsize=13632776 CPUtime=0.68 cores=1,3,5,7
/proc/23306/task/23307/stat : 23307 (java) R 23304 23306 19861 0 -1 4202560 29172 0 1 0 64 4 0 0 19 0 19 0 827554413 13959962624 35261 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 47624098104215 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 13632776
[startup+1.50065 s]
/proc/loadavg: 1.89 2.01 1.99 3/572 23325
/proc/meminfo: memFree=28680420/32951124 swapFree=58212616/67111528
[pid=23306] ppid=23304 vsize=13632776 CPUtime=2.8 cores=1,3,5,7
/proc/23306/stat : 23306 (java) S 23304 23306 19861 0 -1 4202496 42779 0 1 0 273 7 0 0 25 0 19 0 827554413 13959962624 38970 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23306/statm: 3408194 38970 2244 9 0 3398928 0
[pid=23306/tid=23307] ppid=23304 vsize=13632776 CPUtime=1.48 cores=1,3,5,7
/proc/23306/task/23307/stat : 23307 (java) R 23304 23306 19861 0 -1 4202560 32813 0 1 0 143 5 0 0 20 0 19 0 827554413 13959962624 38970 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 46912506093625 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23306/tid=23309] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23309/stat : 23309 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554415 13959962624 38970 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23310] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23310/stat : 23310 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554415 13959962624 38970 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23311] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23311/stat : 23311 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554415 13959962624 38970 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23312] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23312/stat : 23312 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554415 13959962624 38970 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23313] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23313/stat : 23313 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554415 13959962624 38970 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23314] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23314/stat : 23314 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554415 13959962624 38970 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23315] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23315/stat : 23315 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554415 13959962624 38970 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23316] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23316/stat : 23316 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554415 13959962624 38970 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23317] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23317/stat : 23317 (java) S 23304 23306 19861 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 38971 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 0 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23318] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23318/stat : 23318 (java) S 23304 23306 19861 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827554417 13959962624 38971 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23319] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23319/stat : 23319 (java) S 23304 23306 19861 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827554417 13959962624 38971 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23320] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23320/stat : 23320 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 38971 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256172465 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23321] ppid=23304 vsize=13632776 CPUtime=0.64 cores=1,3,5,7
/proc/23306/task/23321/stat : 23321 (java) S 23304 23306 19861 0 -1 4202560 3435 0 0 0 64 0 0 0 21 0 19 0 827554419 13959962624 38971 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23322] ppid=23304 vsize=13632776 CPUtime=0.65 cores=1,3,5,7
/proc/23306/task/23322/stat : 23322 (java) S 23304 23306 19861 0 -1 4202560 5371 0 0 0 65 0 0 0 21 0 19 0 827554419 13959962624 38971 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23323] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23323/stat : 23323 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 38971 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23324] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23324/stat : 23324 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827554419 13959962624 38971 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23325] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23325/stat : 23325 (java) S 23304 23306 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827554482 13959962624 38971 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 13632776
[startup+3.10137 s]
/proc/loadavg: 1.89 2.01 1.99 3/572 23325
/proc/meminfo: memFree=28617428/32951124 swapFree=58212616/67111528
[pid=23306] ppid=23304 vsize=13632776 CPUtime=4.52 cores=1,3,5,7
/proc/23306/stat : 23306 (java) S 23304 23306 19861 0 -1 4202496 60434 0 1 0 444 8 0 0 25 0 19 0 827554413 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23306/statm: 3408194 56610 2271 9 0 3398928 0
[pid=23306/tid=23307] ppid=23304 vsize=13632776 CPUtime=2.94 cores=1,3,5,7
/proc/23306/task/23307/stat : 23307 (java) R 23304 23306 19861 0 -1 4202560 34660 0 1 0 288 6 0 0 22 0 19 0 827554413 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 46912506051207 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23306/tid=23309] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23309/stat : 23309 (java) S 23304 23306 19861 0 -1 4202560 1133 0 0 0 0 0 0 0 16 0 19 0 827554415 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23310] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23310/stat : 23310 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827554415 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23311] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23311/stat : 23311 (java) S 23304 23306 19861 0 -1 4202560 348 0 0 0 0 0 0 0 16 0 19 0 827554415 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23312] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23312/stat : 23312 (java) S 23304 23306 19861 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 827554415 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23313] ppid=23304 vsize=13632776 CPUtime=0.01 cores=1,3,5,7
/proc/23306/task/23313/stat : 23313 (java) S 23304 23306 19861 0 -1 4202560 1829 0 0 0 1 0 0 0 18 0 19 0 827554415 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23314] ppid=23304 vsize=13632776 CPUtime=0.01 cores=1,3,5,7
/proc/23306/task/23314/stat : 23314 (java) S 23304 23306 19861 0 -1 4202560 2821 0 0 0 1 0 0 0 18 0 19 0 827554415 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23315] ppid=23304 vsize=13632776 CPUtime=0.01 cores=1,3,5,7
/proc/23306/task/23315/stat : 23315 (java) S 23304 23306 19861 0 -1 4202560 1142 0 0 0 1 0 0 0 18 0 19 0 827554415 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23316] ppid=23304 vsize=13632776 CPUtime=0.01 cores=1,3,5,7
/proc/23306/task/23316/stat : 23316 (java) S 23304 23306 19861 0 -1 4202560 1197 0 0 0 1 0 0 0 18 0 19 0 827554415 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23317] ppid=23304 vsize=13632776 CPUtime=0.12 cores=1,3,5,7
/proc/23306/task/23317/stat : 23317 (java) S 23304 23306 19861 0 -1 4202560 7220 0 0 0 11 1 0 0 15 0 19 0 827554417 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 0 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23318] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23318/stat : 23318 (java) S 23304 23306 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23319] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23319/stat : 23319 (java) S 23304 23306 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23320] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23320/stat : 23320 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256172465 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23321] ppid=23304 vsize=13632776 CPUtime=0.66 cores=1,3,5,7
/proc/23306/task/23321/stat : 23321 (java) S 23304 23306 19861 0 -1 4202560 3444 0 0 0 66 0 0 0 16 0 19 0 827554419 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23322] ppid=23304 vsize=13632776 CPUtime=0.7 cores=1,3,5,7
/proc/23306/task/23322/stat : 23322 (java) S 23304 23306 19861 0 -1 4202560 5392 0 0 0 70 0 0 0 15 0 19 0 827554419 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23323] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23323/stat : 23323 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23324] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23324/stat : 23324 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827554419 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23325] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23325/stat : 23325 (java) S 23304 23306 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827554482 13959962624 56610 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 13632776
[startup+6.3008 s]
/proc/loadavg: 1.98 2.02 2.00 3/572 23325
/proc/meminfo: memFree=28592704/32951124 swapFree=58212616/67111528
[pid=23306] ppid=23304 vsize=13632776 CPUtime=7.77 cores=1,3,5,7
/proc/23306/stat : 23306 (java) S 23304 23306 19861 0 -1 4202496 62460 0 1 0 769 8 0 0 25 0 19 0 827554413 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23306/statm: 3408194 58633 2271 9 0 3398928 0
[pid=23306/tid=23307] ppid=23304 vsize=13632776 CPUtime=6 cores=1,3,5,7
/proc/23306/task/23307/stat : 23307 (java) R 23304 23306 19861 0 -1 4202560 34662 0 1 0 594 6 0 0 25 0 19 0 827554413 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 46912506178392 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23306/tid=23309] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23309/stat : 23309 (java) S 23304 23306 19861 0 -1 4202560 1136 0 0 0 0 0 0 0 15 0 19 0 827554415 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23310] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23310/stat : 23310 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827554415 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23311] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23311/stat : 23311 (java) S 23304 23306 19861 0 -1 4202560 348 0 0 0 0 0 0 0 15 0 19 0 827554415 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23312] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23312/stat : 23312 (java) S 23304 23306 19861 0 -1 4202560 372 0 0 0 0 0 0 0 16 0 19 0 827554415 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23313] ppid=23304 vsize=13632776 CPUtime=0.01 cores=1,3,5,7
/proc/23306/task/23313/stat : 23313 (java) S 23304 23306 19861 0 -1 4202560 1829 0 0 0 1 0 0 0 15 0 19 0 827554415 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23314] ppid=23304 vsize=13632776 CPUtime=0.02 cores=1,3,5,7
/proc/23306/task/23314/stat : 23314 (java) S 23304 23306 19861 0 -1 4202560 3112 0 0 0 2 0 0 0 18 0 19 0 827554415 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23315] ppid=23304 vsize=13632776 CPUtime=0.02 cores=1,3,5,7
/proc/23306/task/23315/stat : 23315 (java) S 23304 23306 19861 0 -1 4202560 1143 0 0 0 2 0 0 0 15 0 19 0 827554415 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23316] ppid=23304 vsize=13632776 CPUtime=0.02 cores=1,3,5,7
/proc/23306/task/23316/stat : 23316 (java) S 23304 23306 19861 0 -1 4202560 1655 0 0 0 2 0 0 0 16 0 19 0 827554415 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23317] ppid=23304 vsize=13632776 CPUtime=0.24 cores=1,3,5,7
/proc/23306/task/23317/stat : 23317 (java) S 23304 23306 19861 0 -1 4202560 8208 0 0 0 23 1 0 0 15 0 19 0 827554417 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 0 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23318] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23318/stat : 23318 (java) S 23304 23306 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23319] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23319/stat : 23319 (java) S 23304 23306 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23320] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23320/stat : 23320 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256172465 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23321] ppid=23304 vsize=13632776 CPUtime=0.69 cores=1,3,5,7
/proc/23306/task/23321/stat : 23321 (java) S 23304 23306 19861 0 -1 4202560 3450 0 0 0 69 0 0 0 15 0 19 0 827554419 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23322] ppid=23304 vsize=13632776 CPUtime=0.7 cores=1,3,5,7
/proc/23306/task/23322/stat : 23322 (java) S 23304 23306 19861 0 -1 4202560 5393 0 0 0 70 0 0 0 15 0 19 0 827554419 13959962624 58633 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=23306/tid=23314] ppid=23304 vsize=13632776 CPUtime=0.65 cores=1,3,5,7
/proc/23306/task/23314/stat : 23314 (java) S 23304 23306 19861 0 -1 4202560 6597 0 0 0 65 0 0 0 16 0 19 0 827554415 13959962624 109426 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23315] ppid=23304 vsize=13632776 CPUtime=0.6 cores=1,3,5,7
/proc/23306/task/23315/stat : 23315 (java) S 23304 23306 19861 0 -1 4202560 4200 0 0 0 60 0 0 0 15 0 19 0 827554415 13959962624 109426 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23316] ppid=23304 vsize=13632776 CPUtime=0.65 cores=1,3,5,7
/proc/23306/task/23316/stat : 23316 (java) S 23304 23306 19861 0 -1 4202560 4344 0 0 0 65 0 0 0 15 0 19 0 827554415 13959962624 109426 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23317] ppid=23304 vsize=13632776 CPUtime=20.45 cores=1,3,5,7
/proc/23306/task/23317/stat : 23317 (java) R 23304 23306 19861 0 -1 4202560 35184 0 0 0 2038 7 0 0 15 0 19 0 827554417 13959962624 109426 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 47624101674260 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=23306/tid=23318] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23318/stat : 23318 (java) S 23304 23306 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 109426 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23319] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23319/stat : 23319 (java) S 23304 23306 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 109426 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23320] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23320/stat : 23320 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 109426 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256172465 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23321] ppid=23304 vsize=13632776 CPUtime=0.74 cores=1,3,5,7
/proc/23306/task/23321/stat : 23321 (java) S 23304 23306 19861 0 -1 4202560 3462 0 0 0 74 0 0 0 15 0 19 0 827554419 13959962624 109426 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23322] ppid=23304 vsize=13632776 CPUtime=0.7 cores=1,3,5,7
/proc/23306/task/23322/stat : 23322 (java) S 23304 23306 19861 0 -1 4202560 5393 0 0 0 70 0 0 0 15 0 19 0 827554419 13959962624 109426 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23323] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23323/stat : 23323 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 109426 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23324] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23324/stat : 23324 (java) S 23304 23306 19861 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 827554419 13959962624 109426 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23325] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23325/stat : 23325 (java) S 23304 23306 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827554482 13959962624 109426 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1726.71
Current children cumulated vsize (KiB) 13632776
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/572 23385
/proc/meminfo: memFree=28347520/32951124 swapFree=58212616/67111528
[pid=23306] ppid=23304 vsize=13632776 CPUtime=1786.76 cores=1,3,5,7
/proc/23306/stat : 23306 (java) S 23304 23306 19861 0 -1 4202496 113724 0 1 0 178656 20 0 0 25 0 19 0 827554413 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23306/statm: 3408194 109447 2272 9 0 3398928 0
[pid=23306/tid=23307] ppid=23304 vsize=13632776 CPUtime=1759.14 cores=1,3,5,7
/proc/23306/task/23307/stat : 23307 (java) R 23304 23306 19861 0 -1 4202560 34887 0 1 0 175908 6 0 0 25 0 19 0 827554413 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 46912506093625 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23306/tid=23309] ppid=23304 vsize=13632776 CPUtime=0.6 cores=1,3,5,7
/proc/23306/task/23309/stat : 23309 (java) S 23304 23306 19861 0 -1 4202560 3629 0 0 0 60 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23310] ppid=23304 vsize=13632776 CPUtime=0.57 cores=1,3,5,7
/proc/23306/task/23310/stat : 23310 (java) S 23304 23306 19861 0 -1 4202560 2507 0 0 0 57 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23311] ppid=23304 vsize=13632776 CPUtime=0.64 cores=1,3,5,7
/proc/23306/task/23311/stat : 23311 (java) S 23304 23306 19861 0 -1 4202560 2933 0 0 0 64 0 0 0 16 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23312] ppid=23304 vsize=13632776 CPUtime=0.62 cores=1,3,5,7
/proc/23306/task/23312/stat : 23312 (java) S 23304 23306 19861 0 -1 4202560 4497 0 0 0 62 0 0 0 16 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23313] ppid=23304 vsize=13632776 CPUtime=0.66 cores=1,3,5,7
/proc/23306/task/23313/stat : 23313 (java) S 23304 23306 19861 0 -1 4202560 4835 0 0 0 66 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23314] ppid=23304 vsize=13632776 CPUtime=0.66 cores=1,3,5,7
/proc/23306/task/23314/stat : 23314 (java) S 23304 23306 19861 0 -1 4202560 6597 0 0 0 66 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23315] ppid=23304 vsize=13632776 CPUtime=0.61 cores=1,3,5,7
/proc/23306/task/23315/stat : 23315 (java) S 23304 23306 19861 0 -1 4202560 4200 0 0 0 61 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23316] ppid=23304 vsize=13632776 CPUtime=0.67 cores=1,3,5,7
/proc/23306/task/23316/stat : 23316 (java) S 23304 23306 19861 0 -1 4202560 4344 0 0 0 67 0 0 0 16 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23317] ppid=23304 vsize=13632776 CPUtime=21.03 cores=1,3,5,7
/proc/23306/task/23317/stat : 23317 (java) S 23304 23306 19861 0 -1 4202560 35188 0 0 0 2096 7 0 0 15 0 19 0 827554417 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 0 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23318] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23318/stat : 23318 (java) S 23304 23306 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23319] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23319/stat : 23319 (java) S 23304 23306 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23320] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23320/stat : 23320 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256172465 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23321] ppid=23304 vsize=13632776 CPUtime=0.74 cores=1,3,5,7
/proc/23306/task/23321/stat : 23321 (java) S 23304 23306 19861 0 -1 4202560 3462 0 0 0 74 0 0 0 15 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23322] ppid=23304 vsize=13632776 CPUtime=0.7 cores=1,3,5,7
/proc/23306/task/23322/stat : 23322 (java) S 23304 23306 19861 0 -1 4202560 5393 0 0 0 70 0 0 0 15 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23323] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23323/stat : 23323 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23324] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23324/stat : 23324 (java) S 23304 23306 19861 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23325] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23325/stat : 23325 (java) S 23304 23306 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827554482 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1786.76
Current children cumulated vsize (KiB) 13632776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.6 s]
/proc/loadavg: 1.78 1.97 1.98 2/548 23405
/proc/meminfo: memFree=28593184/32951124 swapFree=58212616/67111528
[pid=23306] ppid=23304 vsize=13632776 CPUtime=1800.08 cores=1,3,5,7
/proc/23306/stat : 23306 (java) S 23304 23306 19861 0 -1 4202496 113725 0 1 0 179988 20 0 0 25 0 19 0 827554413 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23306/statm: 3408194 109447 2272 9 0 3398928 0
[pid=23306/tid=23307] ppid=23304 vsize=13632776 CPUtime=1772.34 cores=1,3,5,7
/proc/23306/task/23307/stat : 23307 (java) R 23304 23306 19861 0 -1 4202560 34888 0 1 0 177228 6 0 0 25 0 19 0 827554413 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 46912506093954 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23306/tid=23309] ppid=23304 vsize=13632776 CPUtime=0.6 cores=1,3,5,7
/proc/23306/task/23309/stat : 23309 (java) S 23304 23306 19861 0 -1 4202560 3629 0 0 0 60 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23310] ppid=23304 vsize=13632776 CPUtime=0.57 cores=1,3,5,7
/proc/23306/task/23310/stat : 23310 (java) S 23304 23306 19861 0 -1 4202560 2507 0 0 0 57 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23311] ppid=23304 vsize=13632776 CPUtime=0.64 cores=1,3,5,7
/proc/23306/task/23311/stat : 23311 (java) S 23304 23306 19861 0 -1 4202560 2933 0 0 0 64 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23312] ppid=23304 vsize=13632776 CPUtime=0.62 cores=1,3,5,7
/proc/23306/task/23312/stat : 23312 (java) S 23304 23306 19861 0 -1 4202560 4497 0 0 0 62 0 0 0 16 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23313] ppid=23304 vsize=13632776 CPUtime=0.66 cores=1,3,5,7
/proc/23306/task/23313/stat : 23313 (java) S 23304 23306 19861 0 -1 4202560 4835 0 0 0 66 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23314] ppid=23304 vsize=13632776 CPUtime=0.66 cores=1,3,5,7
/proc/23306/task/23314/stat : 23314 (java) S 23304 23306 19861 0 -1 4202560 6597 0 0 0 66 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23315] ppid=23304 vsize=13632776 CPUtime=0.61 cores=1,3,5,7
/proc/23306/task/23315/stat : 23315 (java) S 23304 23306 19861 0 -1 4202560 4200 0 0 0 61 0 0 0 16 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23316] ppid=23304 vsize=13632776 CPUtime=0.67 cores=1,3,5,7
/proc/23306/task/23316/stat : 23316 (java) S 23304 23306 19861 0 -1 4202560 4344 0 0 0 67 0 0 0 16 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23317] ppid=23304 vsize=13632776 CPUtime=21.15 cores=1,3,5,7
/proc/23306/task/23317/stat : 23317 (java) S 23304 23306 19861 0 -1 4202560 35188 0 0 0 2108 7 0 0 15 0 19 0 827554417 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 0 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23318] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23318/stat : 23318 (java) S 23304 23306 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23319] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23319/stat : 23319 (java) S 23304 23306 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23320] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23320/stat : 23320 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256172465 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23321] ppid=23304 vsize=13632776 CPUtime=0.74 cores=1,3,5,7
/proc/23306/task/23321/stat : 23321 (java) S 23304 23306 19861 0 -1 4202560 3462 0 0 0 74 0 0 0 15 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23322] ppid=23304 vsize=13632776 CPUtime=0.7 cores=1,3,5,7
/proc/23306/task/23322/stat : 23322 (java) S 23304 23306 19861 0 -1 4202560 5393 0 0 0 70 0 0 0 15 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23323] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23323/stat : 23323 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23324] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23324/stat : 23324 (java) S 23304 23306 19861 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23325] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23325/stat : 23325 (java) S 23304 23306 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827554482 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13632776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.6 s]
/proc/loadavg: 1.78 1.97 1.98 2/548 23405
/proc/meminfo: memFree=28593184/32951124 swapFree=58212616/67111528
[pid=23306] ppid=23304 vsize=13632776 CPUtime=1800.08 cores=1,3,5,7
/proc/23306/stat : 23306 (java) S 23304 23306 19861 0 -1 4202496 113725 0 1 0 179988 20 0 0 25 0 19 0 827554413 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23306/statm: 3408194 109447 2272 9 0 3398928 0
[pid=23306/tid=23307] ppid=23304 vsize=13632776 CPUtime=1772.34 cores=1,3,5,7
/proc/23306/task/23307/stat : 23307 (java) R 23304 23306 19861 0 -1 4202560 34888 0 1 0 177228 6 0 0 25 0 19 0 827554413 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 46912506093954 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23306/tid=23309] ppid=23304 vsize=13632776 CPUtime=0.6 cores=1,3,5,7
/proc/23306/task/23309/stat : 23309 (java) S 23304 23306 19861 0 -1 4202560 3629 0 0 0 60 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23310] ppid=23304 vsize=13632776 CPUtime=0.57 cores=1,3,5,7
/proc/23306/task/23310/stat : 23310 (java) S 23304 23306 19861 0 -1 4202560 2507 0 0 0 57 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23311] ppid=23304 vsize=13632776 CPUtime=0.64 cores=1,3,5,7
/proc/23306/task/23311/stat : 23311 (java) S 23304 23306 19861 0 -1 4202560 2933 0 0 0 64 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23312] ppid=23304 vsize=13632776 CPUtime=0.62 cores=1,3,5,7
/proc/23306/task/23312/stat : 23312 (java) S 23304 23306 19861 0 -1 4202560 4497 0 0 0 62 0 0 0 16 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23313] ppid=23304 vsize=13632776 CPUtime=0.66 cores=1,3,5,7
/proc/23306/task/23313/stat : 23313 (java) S 23304 23306 19861 0 -1 4202560 4835 0 0 0 66 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23314] ppid=23304 vsize=13632776 CPUtime=0.66 cores=1,3,5,7
/proc/23306/task/23314/stat : 23314 (java) S 23304 23306 19861 0 -1 4202560 6597 0 0 0 66 0 0 0 15 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23315] ppid=23304 vsize=13632776 CPUtime=0.61 cores=1,3,5,7
/proc/23306/task/23315/stat : 23315 (java) S 23304 23306 19861 0 -1 4202560 4200 0 0 0 61 0 0 0 16 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23316] ppid=23304 vsize=13632776 CPUtime=0.67 cores=1,3,5,7
/proc/23306/task/23316/stat : 23316 (java) S 23304 23306 19861 0 -1 4202560 4344 0 0 0 67 0 0 0 16 0 19 0 827554415 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23317] ppid=23304 vsize=13632776 CPUtime=21.15 cores=1,3,5,7
/proc/23306/task/23317/stat : 23317 (java) S 23304 23306 19861 0 -1 4202560 35188 0 0 0 2108 7 0 0 15 0 19 0 827554417 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 0 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23318] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23318/stat : 23318 (java) S 23304 23306 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23319] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23319/stat : 23319 (java) S 23304 23306 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827554417 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23320] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23320/stat : 23320 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256172465 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23321] ppid=23304 vsize=13632776 CPUtime=0.74 cores=1,3,5,7
/proc/23306/task/23321/stat : 23321 (java) S 23304 23306 19861 0 -1 4202560 3462 0 0 0 74 0 0 0 15 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 7 0 0 0
[pid=23306/tid=23322] ppid=23304 vsize=13632776 CPUtime=0.7 cores=1,3,5,7
/proc/23306/task/23322/stat : 23322 (java) S 23304 23306 19861 0 -1 4202560 5393 0 0 0 70 0 0 0 15 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 1 0 0 0
[pid=23306/tid=23323] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23323/stat : 23323 (java) S 23304 23306 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256164761 0 4 0 16800975 18446604463034051264 0 0 -1 5 0 0 0
[pid=23306/tid=23324] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23324/stat : 23324 (java) S 23304 23306 19861 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827554419 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
[pid=23306/tid=23325] ppid=23304 vsize=13632776 CPUtime=0 cores=1,3,5,7
/proc/23306/task/23325/stat : 23325 (java) S 23304 23306 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827554482 13959962624 109447 33554432000 1073741824 1073778376 140734787710704 18446744073709551615 228256165376 0 4 0 16800975 18446604463034051264 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13632776
Child status: 143
Real time (s): 1795.68
CPU time (s): 1800.2
CPU user time (s): 1799.98
CPU system time (s): 0.227965
CPU usage (%): 100.252
Max. virtual memory (cumulated for all children) (KiB): 13632776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.227965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113767
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42453
involuntary context switches= 41421
runsolver used 9.49056 second user time and 23.0695 second system time
The end