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-3459808-1307167935/watcher-3459808-1307167935 -o /tmp/evaluation-result-3459808-1307167935/solver-3459808-1307167935 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459808-1307167935.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: 2.10 2.10 2.03 2/590 510
/proc/meminfo: memFree=31078972/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/510/stat : 510 (java) S 508 510 32216 0 -1 4202496 235 0 0 0 0 0 0 0 23 0 1 0 828392977 9318400 170 33554432000 1073741824 1073778376 140737004135232 18446744073709551615 268272684901 0 2147483391 4096 0 18446744071699199166 0 0 17 5 0 0 0
/proc/510/statm: 2275 170 130 9 0 67 0
[pid=510/tid=511] ppid=508 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4202560 7473 0 1 0 0 0 0 0 24 0 2 0 828392977 13850947584 8288 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0807649 s]
/proc/loadavg: 2.10 2.10 2.03 2/590 510
/proc/meminfo: memFree=31078972/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/510/stat : 510 (java) S 508 510 32216 0 -1 4202496 14439 0 1 0 6 1 0 0 23 0 18 0 828392977 13880410112 14135 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/510/statm: 3388772 14135 1754 9 0 3379506 0
[pid=510/tid=511] ppid=508 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4202560 13264 0 1 0 6 0 0 0 25 0 18 0 828392977 13880410112 14135 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 47058172727119 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.100761 s]
/proc/loadavg: 2.10 2.10 2.03 2/590 510
/proc/meminfo: memFree=31078972/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=13622116 CPUtime=0.1 cores=1,3,5,7
/proc/510/stat : 510 (java) S 508 510 32216 0 -1 4202496 15472 0 1 0 9 1 0 0 23 0 18 0 828392977 13949046784 15168 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/510/statm: 3405529 15168 2092 9 0 3396263 0
[pid=510/tid=511] ppid=508 vsize=13622116 CPUtime=0.08 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4202560 13580 0 1 0 8 0 0 0 25 0 18 0 828392977 13949046784 15168 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 46912496207536 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622116
[startup+0.300727 s]
/proc/loadavg: 2.10 2.10 2.03 2/590 510
/proc/meminfo: memFree=31078972/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=13623304 CPUtime=0.46 cores=1,3,5,7
/proc/510/stat : 510 (java) S 508 510 32216 0 -1 4202496 47177 0 1 0 41 5 0 0 23 0 18 0 828392977 13950263296 46668 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/510/statm: 3405826 46668 2199 9 0 3396560 0
[pid=510/tid=511] ppid=508 vsize=13623304 CPUtime=0.28 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4202560 44515 0 1 0 24 4 0 0 25 0 18 0 828392977 13950263296 46668 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 46912505121452 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623304
[startup+0.700655 s]
/proc/loadavg: 2.10 2.10 2.03 2/590 510
/proc/meminfo: memFree=31078972/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=13623304 CPUtime=0.86 cores=1,3,5,7
/proc/510/stat : 510 (java) S 508 510 32216 0 -1 4202496 78334 0 1 0 77 9 0 0 23 0 18 0 828392977 13950263296 77825 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/510/statm: 3405826 77825 2199 9 0 3396560 0
[pid=510/tid=511] ppid=508 vsize=13623304 CPUtime=0.68 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4202560 75668 0 1 0 60 8 0 0 25 0 18 0 828392977 13950263296 77825 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 46912505507369 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 13623304
[startup+1.50151 s]
/proc/loadavg: 2.10 2.10 2.03 4/608 528
/proc/meminfo: memFree=30680832/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=13623304 CPUtime=1.65 cores=1,3,5,7
/proc/510/stat : 510 (java) S 508 510 32216 0 -1 4202496 138736 0 1 0 150 15 0 0 23 0 18 0 828392977 13950263296 138228 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/510/statm: 3405826 138231 2199 9 0 3396560 0
[pid=510/tid=511] ppid=508 vsize=13623304 CPUtime=1.48 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4202560 136075 0 1 0 134 14 0 0 25 0 18 0 828392977 13950263296 138232 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 46912505552489 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=510/tid=513] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/513/stat : 513 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 138233 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=514] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/514/stat : 514 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 138234 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=515] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/515/stat : 515 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 138235 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=516] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/516/stat : 516 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 138237 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=517] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/517/stat : 517 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 138239 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=518] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/518/stat : 518 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 138241 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=519] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/519/stat : 519 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 138243 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=520] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/520/stat : 520 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 138245 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=521] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/521/stat : 521 (java) S 508 510 32216 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 828392980 13950263296 138246 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 0 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=522] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/522/stat : 522 (java) S 508 510 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 828392981 13950263296 138248 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=523] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/523/stat : 523 (java) S 508 510 32216 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 828392981 13950263296 138250 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=524] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/524/stat : 524 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392983 13950263296 138252 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284512689 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=525] ppid=508 vsize=13623304 CPUtime=0.07 cores=1,3,5,7
/proc/510/task/525/stat : 525 (java) S 508 510 32216 0 -1 4202560 524 0 0 0 7 0 0 0 25 0 18 0 828392983 13950263296 138254 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=526] ppid=508 vsize=13623304 CPUtime=0.09 cores=1,3,5,7
/proc/510/task/526/stat : 526 (java) S 508 510 32216 0 -1 4202560 991 0 0 0 9 0 0 0 18 0 18 0 828392983 13950263296 138256 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=527] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/527/stat : 527 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392983 13950263296 138257 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=528] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/528/stat : 528 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 828392983 13950263296 138259 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 13623304
[startup+3.1013 s]
/proc/loadavg: 2.10 2.10 2.03 4/608 528
/proc/meminfo: memFree=30352356/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=13623304 CPUtime=3.26 cores=1,3,5,7
/proc/510/stat : 510 (java) S 508 510 32216 0 -1 4202496 260894 0 1 0 296 30 0 0 23 0 18 0 828392977 13950263296 260385 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/510/statm: 3405826 260389 2203 9 0 3396560 0
[pid=510/tid=511] ppid=508 vsize=13623304 CPUtime=3.08 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4202560 258229 0 1 0 279 29 0 0 25 0 18 0 828392977 13950263296 260390 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 46912505587271 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=510/tid=513] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/513/stat : 513 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 260392 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=514] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/514/stat : 514 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 260394 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=515] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/515/stat : 515 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 260396 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=516] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/516/stat : 516 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 260397 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=517] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/517/stat : 517 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 260399 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=518] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/518/stat : 518 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 260401 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=519] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/519/stat : 519 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 260403 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=520] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/520/stat : 520 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 260405 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=521] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/521/stat : 521 (java) S 508 510 32216 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 828392980 13950263296 260406 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 0 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=522] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/522/stat : 522 (java) S 508 510 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 828392981 13950263296 260408 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=523] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/523/stat : 523 (java) S 508 510 32216 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 828392981 13950263296 260410 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=524] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/524/stat : 524 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392983 13950263296 260412 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284512689 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=525] ppid=508 vsize=13623304 CPUtime=0.07 cores=1,3,5,7
/proc/510/task/525/stat : 525 (java) S 508 510 32216 0 -1 4202560 524 0 0 0 7 0 0 0 25 0 18 0 828392983 13950263296 260413 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=526] ppid=508 vsize=13623304 CPUtime=0.09 cores=1,3,5,7
/proc/510/task/526/stat : 526 (java) S 508 510 32216 0 -1 4202560 995 0 0 0 9 0 0 0 18 0 18 0 828392983 13950263296 260415 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=527] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/527/stat : 527 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392983 13950263296 260417 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=528] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/528/stat : 528 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 828392983 13950263296 260419 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 13623304
[startup+6.30066 s]
/proc/loadavg: 2.09 2.10 2.02 4/608 528
/proc/meminfo: memFree=29308536/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=13623304 CPUtime=6.48 cores=1,3,5,7
/proc/510/stat : 510 (java) S 508 510 32216 0 -1 4202496 518730 0 1 0 590 58 0 0 23 0 18 0 828392977 13950263296 518133 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/510/statm: 3405826 518137 2205 9 0 3396560 0
[pid=510/tid=511] ppid=508 vsize=13623304 CPUtime=6.28 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4202560 516059 0 1 0 571 57 0 0 21 0 18 0 828392977 13950263296 518138 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 46912505574324 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=510/tid=513] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/513/stat : 513 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 518140 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=514] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/514/stat : 514 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 518142 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=515] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/515/stat : 515 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 518144 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=516] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/516/stat : 516 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 518146 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=517] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/517/stat : 517 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 518148 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=518] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/518/stat : 518 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 518149 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=519] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/519/stat : 519 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 518150 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=520] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/520/stat : 520 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392979 13950263296 518152 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=521] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/521/stat : 521 (java) S 508 510 32216 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 828392980 13950263296 518154 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 0 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=522] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/522/stat : 522 (java) S 508 510 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 828392981 13950263296 518156 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=523] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/523/stat : 523 (java) S 508 510 32216 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 828392981 13950263296 518158 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=524] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/524/stat : 524 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392983 13950263296 518160 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284512689 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=525] ppid=508 vsize=13623304 CPUtime=0.08 cores=1,3,5,7
/proc/510/task/525/stat : 525 (java) S 508 510 32216 0 -1 4202560 528 0 0 0 8 0 0 0 17 0 18 0 828392983 13950263296 518162 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=526] ppid=508 vsize=13623304 CPUtime=0.09 cores=1,3,5,7
/proc/510/task/526/stat : 526 (java) S 508 510 32216 0 -1 4202560 995 0 0 0 9 0 0 0 15 0 18 0 828392983 13950263296 518164 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=527] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/527/stat : 527 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828392983 13950263296 518166 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=528] ppid=508 vsize=13623304 CPUtime=0 cores=1,3,5,7
/proc/510/task/528/stat : 528 (java) S 508 510 32216 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 828392983 13950263296 518168 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=510/tid=532] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/532/stat : 532 (java) S 508 510 32216 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 828399775 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1623.81
Current children cumulated vsize (KiB) 13628180
[startup+1662.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/609 580
/proc/meminfo: memFree=23686976/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=13628180 CPUtime=1683.81 cores=1,3,5,7
/proc/510/stat : 510 (java) S 508 510 32216 0 -1 4202496 1857372 0 1 0 168132 249 0 0 23 0 19 0 828392977 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/510/statm: 3407045 1845972 2252 9 0 3397779 0
[pid=510/tid=511] ppid=508 vsize=13628180 CPUtime=1649.38 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4202560 845631 0 1 0 164830 108 0 0 25 0 19 0 828392977 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 46912505863834 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=510/tid=513] ppid=508 vsize=13628180 CPUtime=3.02 cores=1,3,5,7
/proc/510/task/513/stat : 513 (java) S 508 510 32216 0 -1 4202560 121441 0 0 0 285 17 0 0 15 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=514] ppid=508 vsize=13628180 CPUtime=3.25 cores=1,3,5,7
/proc/510/task/514/stat : 514 (java) S 508 510 32216 0 -1 4202560 119081 0 0 0 308 17 0 0 15 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=515] ppid=508 vsize=13628180 CPUtime=3.07 cores=1,3,5,7
/proc/510/task/515/stat : 515 (java) S 508 510 32216 0 -1 4202560 81590 0 0 0 298 9 0 0 15 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=516] ppid=508 vsize=13628180 CPUtime=3.69 cores=1,3,5,7
/proc/510/task/516/stat : 516 (java) S 508 510 32216 0 -1 4202560 102671 0 0 0 356 13 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=517] ppid=508 vsize=13628180 CPUtime=3.14 cores=1,3,5,7
/proc/510/task/517/stat : 517 (java) S 508 510 32216 0 -1 4202560 129867 0 0 0 297 17 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
[pid=510/tid=518] ppid=508 vsize=13628180 CPUtime=3.77 cores=1,3,5,7
/proc/510/task/518/stat : 518 (java) S 508 510 32216 0 -1 4202560 174444 0 0 0 353 24 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
[pid=510/tid=519] ppid=508 vsize=13628180 CPUtime=3.63 cores=1,3,5,7
/proc/510/task/519/stat : 519 (java) S 508 510 32216 0 -1 4202560 147603 0 0 0 343 20 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=520] ppid=508 vsize=13628180 CPUtime=3.47 cores=1,3,5,7
/proc/510/task/520/stat : 520 (java) S 508 510 32216 0 -1 4202560 110391 0 0 0 332 15 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=521] ppid=508 vsize=13628180 CPUtime=5.87 cores=1,3,5,7
/proc/510/task/521/stat : 521 (java) S 508 510 32216 0 -1 4202560 9167 0 0 0 586 1 0 0 18 0 19 0 828392980 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 0 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=522] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/522/stat : 522 (java) S 508 510 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828392981 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=523] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/523/stat : 523 (java) S 508 510 32216 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 828392981 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=524] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/524/stat : 524 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284512689 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=525] ppid=508 vsize=13628180 CPUtime=0.6 cores=1,3,5,7
/proc/510/task/525/stat : 525 (java) S 508 510 32216 0 -1 4202560 3511 0 0 0 60 0 0 0 16 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=526] ppid=508 vsize=13628180 CPUtime=0.78 cores=1,3,5,7
/proc/510/task/526/stat : 526 (java) S 508 510 32216 0 -1 4202560 10725 0 0 0 77 1 0 0 15 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
[pid=510/tid=527] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/527/stat : 527 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=528] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/528/stat : 528 (java) S 508 510 32216 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=532] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/532/stat : 532 (java) S 508 510 32216 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 828399775 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1683.81
Current children cumulated vsize (KiB) 13628180
[startup+1722.3 s]
/proc/loadavg: 1.98 2.05 2.01 4/608 743
/proc/meminfo: memFree=24083060/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=13628180 CPUtime=1743.81 cores=1,3,5,7
/proc/510/stat : 510 (java) S 508 510 32216 0 -1 4202496 1857376 0 1 0 174132 249 0 0 23 0 19 0 828392977 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/510/statm: 3407045 1845972 2252 9 0 3397779 0
[pid=510/tid=511] ppid=508 vsize=13628180 CPUtime=1709.38 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4202560 845631 0 1 0 170830 108 0 0 25 0 19 0 828392977 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 46912505971359 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=510/tid=513] ppid=508 vsize=13628180 CPUtime=3.02 cores=1,3,5,7
/proc/510/task/513/stat : 513 (java) S 508 510 32216 0 -1 4202560 121441 0 0 0 285 17 0 0 15 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=514] ppid=508 vsize=13628180 CPUtime=3.25 cores=1,3,5,7
/proc/510/task/514/stat : 514 (java) S 508 510 32216 0 -1 4202560 119081 0 0 0 308 17 0 0 15 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=515] ppid=508 vsize=13628180 CPUtime=3.07 cores=1,3,5,7
/proc/510/task/515/stat : 515 (java) S 508 510 32216 0 -1 4202560 81590 0 0 0 298 9 0 0 15 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=516] ppid=508 vsize=13628180 CPUtime=3.69 cores=1,3,5,7
/proc/510/task/516/stat : 516 (java) S 508 510 32216 0 -1 4202560 102671 0 0 0 356 13 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=517] ppid=508 vsize=13628180 CPUtime=3.14 cores=1,3,5,7
/proc/510/task/517/stat : 517 (java) S 508 510 32216 0 -1 4202560 129867 0 0 0 297 17 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
[pid=510/tid=518] ppid=508 vsize=13628180 CPUtime=3.77 cores=1,3,5,7
/proc/510/task/518/stat : 518 (java) S 508 510 32216 0 -1 4202560 174444 0 0 0 353 24 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
[pid=510/tid=519] ppid=508 vsize=13628180 CPUtime=3.63 cores=1,3,5,7
/proc/510/task/519/stat : 519 (java) S 508 510 32216 0 -1 4202560 147603 0 0 0 343 20 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=520] ppid=508 vsize=13628180 CPUtime=3.47 cores=1,3,5,7
/proc/510/task/520/stat : 520 (java) S 508 510 32216 0 -1 4202560 110391 0 0 0 332 15 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=521] ppid=508 vsize=13628180 CPUtime=5.87 cores=1,3,5,7
/proc/510/task/521/stat : 521 (java) S 508 510 32216 0 -1 4202560 9167 0 0 0 586 1 0 0 18 0 19 0 828392980 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 0 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=522] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/522/stat : 522 (java) S 508 510 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828392981 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=523] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/523/stat : 523 (java) S 508 510 32216 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 828392981 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=524] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/524/stat : 524 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284512689 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=525] ppid=508 vsize=13628180 CPUtime=0.6 cores=1,3,5,7
/proc/510/task/525/stat : 525 (java) S 508 510 32216 0 -1 4202560 3511 0 0 0 60 0 0 0 16 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=526] ppid=508 vsize=13628180 CPUtime=0.78 cores=1,3,5,7
/proc/510/task/526/stat : 526 (java) S 508 510 32216 0 -1 4202560 10725 0 0 0 77 1 0 0 15 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
[pid=510/tid=527] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/527/stat : 527 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=528] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/528/stat : 528 (java) S 508 510 32216 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=532] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/532/stat : 532 (java) S 508 510 32216 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 828399775 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1743.81
Current children cumulated vsize (KiB) 13628180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1778.5 s]
/proc/loadavg: 1.99 2.03 2.01 3/609 746
/proc/meminfo: memFree=23511836/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=13628180 CPUtime=1800.02 cores=1,3,5,7
/proc/510/stat : 510 (java) S 508 510 32216 0 -1 4202496 1857378 0 1 0 179753 249 0 0 23 0 19 0 828392977 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/510/statm: 3407045 1845972 2252 9 0 3397779 0
[pid=510/tid=511] ppid=508 vsize=13628180 CPUtime=1765.61 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4202560 845631 0 1 0 176453 108 0 0 25 0 19 0 828392977 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 46912505863359 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=510/tid=513] ppid=508 vsize=13628180 CPUtime=3.02 cores=1,3,5,7
/proc/510/task/513/stat : 513 (java) S 508 510 32216 0 -1 4202560 121441 0 0 0 285 17 0 0 15 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=514] ppid=508 vsize=13628180 CPUtime=3.25 cores=1,3,5,7
/proc/510/task/514/stat : 514 (java) S 508 510 32216 0 -1 4202560 119081 0 0 0 308 17 0 0 15 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=515] ppid=508 vsize=13628180 CPUtime=3.07 cores=1,3,5,7
/proc/510/task/515/stat : 515 (java) S 508 510 32216 0 -1 4202560 81590 0 0 0 298 9 0 0 15 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=516] ppid=508 vsize=13628180 CPUtime=3.69 cores=1,3,5,7
/proc/510/task/516/stat : 516 (java) S 508 510 32216 0 -1 4202560 102671 0 0 0 356 13 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=517] ppid=508 vsize=13628180 CPUtime=3.14 cores=1,3,5,7
/proc/510/task/517/stat : 517 (java) S 508 510 32216 0 -1 4202560 129867 0 0 0 297 17 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
[pid=510/tid=518] ppid=508 vsize=13628180 CPUtime=3.77 cores=1,3,5,7
/proc/510/task/518/stat : 518 (java) S 508 510 32216 0 -1 4202560 174444 0 0 0 353 24 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
[pid=510/tid=519] ppid=508 vsize=13628180 CPUtime=3.63 cores=1,3,5,7
/proc/510/task/519/stat : 519 (java) S 508 510 32216 0 -1 4202560 147603 0 0 0 343 20 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=520] ppid=508 vsize=13628180 CPUtime=3.47 cores=1,3,5,7
/proc/510/task/520/stat : 520 (java) S 508 510 32216 0 -1 4202560 110391 0 0 0 332 15 0 0 16 0 19 0 828392979 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=521] ppid=508 vsize=13628180 CPUtime=5.87 cores=1,3,5,7
/proc/510/task/521/stat : 521 (java) S 508 510 32216 0 -1 4202560 9167 0 0 0 586 1 0 0 18 0 19 0 828392980 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 0 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=522] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/522/stat : 522 (java) S 508 510 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828392981 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=523] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/523/stat : 523 (java) S 508 510 32216 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 828392981 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=524] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/524/stat : 524 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284512689 0 4 0 16800975 18446604456968406080 0 0 -1 7 0 0 0
[pid=510/tid=525] ppid=508 vsize=13628180 CPUtime=0.6 cores=1,3,5,7
/proc/510/task/525/stat : 525 (java) S 508 510 32216 0 -1 4202560 3511 0 0 0 60 0 0 0 16 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=526] ppid=508 vsize=13628180 CPUtime=0.78 cores=1,3,5,7
/proc/510/task/526/stat : 526 (java) S 508 510 32216 0 -1 4202560 10725 0 0 0 77 1 0 0 15 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
[pid=510/tid=527] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/527/stat : 527 (java) S 508 510 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284504985 0 4 0 16800975 18446604456968406080 0 0 -1 1 0 0 0
[pid=510/tid=528] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/528/stat : 528 (java) S 508 510 32216 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 828392983 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 4 0 16800975 18446604456968406080 0 0 -1 5 0 0 0
[pid=510/tid=532] ppid=508 vsize=13628180 CPUtime=0 cores=1,3,5,7
/proc/510/task/532/stat : 532 (java) S 508 510 32216 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 828399775 13955256320 1845972 33554432000 1073741824 1073778376 140736001207872 18446744073709551615 268284505600 0 4 0 16800975 18446604456968406080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13628180
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1778.63 s]
/proc/loadavg: 1.99 2.03 2.01 3/609 746
/proc/meminfo: memFree=23511836/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/510/stat : 510 (java) Z 508 510 32216 0 -1 4203548 1857417 0 1 0 179757 257 0 0 17 0 2 0 828392977 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/510/statm: 0 0 0 0 0 0 0
[pid=510/tid=511] ppid=508 vsize=0 CPUtime=1765.7 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4203588 845631 0 1 0 176454 116 0 0 25 0 2 0 828392977 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
[startup+1778.8 s]
/proc/loadavg: 1.99 2.03 2.01 3/609 746
/proc/meminfo: memFree=23511836/32950928 swapFree=43925852/67111528
[pid=510] ppid=508 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/510/stat : 510 (java) Z 508 510 32216 0 -1 4203548 1857417 0 1 0 179757 274 0 0 17 0 2 0 828392977 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/510/statm: 0 0 0 0 0 0 0
[pid=510/tid=511] ppid=508 vsize=0 CPUtime=1765.87 cores=1,3,5,7
/proc/510/task/511/stat : 511 (java) R 508 510 32216 0 -1 4203588 845631 0 1 0 176454 133 0 0 25 0 2 0 828392977 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1778.81
CPU time (s): 1800.32
CPU user time (s): 1797.57
CPU system time (s): 2.74958
CPU usage (%): 101.21
Max. virtual memory (cumulated for all children) (KiB): 13629152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.57
system time used= 2.74958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1857417
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= 38704
involuntary context switches= 63516
runsolver used 10.0595 second user time and 23.9114 second system time
The end