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-3458850-1307155463/watcher-3458850-1307155463 -o /tmp/evaluation-result-3458850-1307155463/solver-3458850-1307155463 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458850-1307155463.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.19 1.74 1.90 2/454 8578
/proc/meminfo: memFree=24629408/32951124 swapFree=50923800/67111528
[pid=8578] ppid=8576 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/8578/stat : 8578 (java) S 8576 8578 5628 0 -1 4202496 1844 0 1 0 0 0 0 0 25 0 2 0 807961925 13833195520 1546 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/8578/statm: 3377245 1560 906 9 0 3368401 0
[pid=8578/tid=8579] ppid=8576 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8579/stat : 8579 (java) R 8576 8578 5628 0 -1 4202560 5673 0 1 0 0 0 0 0 25 0 2 0 807961925 13850947584 6488 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0343081 s]
/proc/loadavg: 1.19 1.74 1.90 2/454 8578
/proc/meminfo: memFree=24629408/32951124 swapFree=50923800/67111528
[pid=8578] ppid=8576 vsize=13537012 CPUtime=0.02 cores=1,3,5,7
/proc/8578/stat : 8578 (java) S 8576 8578 5628 0 -1 4202496 13328 0 1 0 1 1 0 0 25 0 10 0 807961925 13861900288 13027 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/8578/statm: 3384253 13027 1522 9 0 3375001 0
[pid=8578/tid=8579] ppid=8576 vsize=13537012 CPUtime=0.02 cores=1,3,5,7
/proc/8578/task/8579/stat : 8579 (java) R 8576 8578 5628 0 -1 4202560 12207 0 1 0 1 1 0 0 25 0 10 0 807961925 13861900288 13027 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 47466784152847 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13537012
[startup+0.100258 s]
/proc/loadavg: 1.19 1.74 1.90 2/454 8578
/proc/meminfo: memFree=24629408/32951124 swapFree=50923800/67111528
[pid=8578] ppid=8576 vsize=13622384 CPUtime=0.1 cores=1,3,5,7
/proc/8578/stat : 8578 (java) S 8576 8578 5628 0 -1 4202496 15521 0 1 0 9 1 0 0 25 0 18 0 807961925 13949321216 15214 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8578/statm: 3405596 15214 2092 9 0 3396330 0
[pid=8578/tid=8579] ppid=8576 vsize=13622384 CPUtime=0.08 cores=1,3,5,7
/proc/8578/task/8579/stat : 8579 (java) R 8576 8578 5628 0 -1 4202560 13601 0 1 0 7 1 0 0 22 0 18 0 807961925 13949321216 15214 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 46912496210736 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) 13622384
[startup+0.300218 s]
/proc/loadavg: 1.19 1.74 1.90 2/454 8578
/proc/meminfo: memFree=24629408/32951124 swapFree=50923800/67111528
[pid=8578] ppid=8576 vsize=13623692 CPUtime=0.48 cores=1,3,5,7
/proc/8578/stat : 8578 (java) S 8576 8578 5628 0 -1 4202496 18349 0 1 0 46 2 0 0 25 0 18 0 807961925 13950660608 17788 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8578/statm: 3405923 17788 2201 9 0 3396657 0
[pid=8578/tid=8579] ppid=8576 vsize=13623692 CPUtime=0.28 cores=1,3,5,7
/proc/8578/task/8579/stat : 8579 (java) R 8576 8578 5628 0 -1 4202560 15517 0 1 0 26 2 0 0 22 0 18 0 807961925 13950660608 17788 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623692
[startup+0.701138 s]
/proc/loadavg: 1.19 1.74 1.90 2/454 8578
/proc/meminfo: memFree=24629408/32951124 swapFree=50923800/67111528
[pid=8578] ppid=8576 vsize=13693252 CPUtime=1.27 cores=1,3,5,7
/proc/8578/stat : 8578 (java) S 8576 8578 5628 0 -1 4202496 24913 0 1 0 124 3 0 0 25 0 19 0 807961925 14021890048 23241 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8578/statm: 3423313 23241 2231 9 0 3414047 0
[pid=8578/tid=8579] ppid=8576 vsize=13693252 CPUtime=0.68 cores=1,3,5,7
/proc/8578/task/8579/stat : 8579 (java) R 8576 8578 5628 0 -1 4202560 19564 0 1 0 66 2 0 0 25 0 19 0 807961925 14021890048 23241 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 46912505675108 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 13693252
[startup+1.50098 s]
/proc/loadavg: 1.19 1.74 1.90 3/474 8598
/proc/meminfo: memFree=24356076/32951124 swapFree=50923800/67111528
[pid=8578] ppid=8576 vsize=13693252 CPUtime=2.1 cores=1,3,5,7
/proc/8578/stat : 8578 (java) S 8576 8578 5628 0 -1 4202496 26093 0 1 0 207 3 0 0 25 0 19 0 807961925 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8578/statm: 3423313 24420 2233 9 0 3414047 0
[pid=8578/tid=8579] ppid=8576 vsize=13693252 CPUtime=1.48 cores=1,3,5,7
/proc/8578/task/8579/stat : 8579 (java) R 8576 8578 5628 0 -1 4202560 20736 0 1 0 146 2 0 0 25 0 19 0 807961925 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 46912505649068 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8578/tid=8581] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8581/stat : 8581 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8582] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8582/stat : 8582 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8583] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8583/stat : 8583 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8584] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8584/stat : 8584 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8585] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8585/stat : 8585 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8586] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8586/stat : 8586 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8587] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8587/stat : 8587 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8588] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8588/stat : 8588 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8589] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8589/stat : 8589 (java) S 8576 8578 5628 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807961929 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 0 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8590] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8590/stat : 8590 (java) S 8576 8578 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807961929 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8591] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8591/stat : 8591 (java) S 8576 8578 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807961929 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8592] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8592/stat : 8592 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807961931 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350207409 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8593] ppid=8576 vsize=13693252 CPUtime=0.32 cores=1,3,5,7
/proc/8578/task/8593/stat : 8593 (java) S 8576 8578 5628 0 -1 4202560 2280 0 0 0 32 0 0 0 15 0 19 0 807961931 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8594] ppid=8576 vsize=13693252 CPUtime=0.28 cores=1,3,5,7
/proc/8578/task/8594/stat : 8594 (java) S 8576 8578 5628 0 -1 4202560 1917 0 0 0 28 0 0 0 15 0 19 0 807961931 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
[pid=8578/tid=8595] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8595/stat : 8595 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807961931 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8596] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8596/stat : 8596 (java) S 8576 8578 5628 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 807961931 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8597] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8597/stat : 8597 (java) S 8576 8578 5628 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 807961967 14021890048 24420 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 13693252
[startup+3.10071 s]
/proc/loadavg: 1.25 1.74 1.90 3/474 8598
/proc/meminfo: memFree=24346348/32951124 swapFree=50923800/67111528
[pid=8578] ppid=8576 vsize=13693252 CPUtime=3.71 cores=1,3,5,7
/proc/8578/stat : 8578 (java) S 8576 8578 5628 0 -1 4202496 28455 0 1 0 368 3 0 0 25 0 19 0 807961925 14021890048 26782 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8578/statm: 3423313 26782 2233 9 0 3414047 0
[pid=8578/tid=8579] ppid=8576 vsize=13693252 CPUtime=3.07 cores=1,3,5,7
/proc/8578/task/8579/stat : 8579 (java) R 8576 8578 5628 0 -1 4202560 23095 0 1 0 305 2 0 0 25 0 19 0 807961925 14021890048 26782 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 46912505649141 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8578/tid=8581] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8581/stat : 8581 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 26782 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8582] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8582/stat : 8582 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 26782 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8583] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8583/stat : 8583 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 26782 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8584] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8584/stat : 8584 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 26782 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8585] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8585/stat : 8585 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8586] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8586/stat : 8586 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8587] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8587/stat : 8587 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8588] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8588/stat : 8588 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8589] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8589/stat : 8589 (java) S 8576 8578 5628 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807961929 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 0 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8590] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8590/stat : 8590 (java) S 8576 8578 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807961929 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8591] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8591/stat : 8591 (java) S 8576 8578 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807961929 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8592] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8592/stat : 8592 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807961931 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350207409 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8593] ppid=8576 vsize=13693252 CPUtime=0.33 cores=1,3,5,7
/proc/8578/task/8593/stat : 8593 (java) S 8576 8578 5628 0 -1 4202560 2281 0 0 0 33 0 0 0 15 0 19 0 807961931 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8594] ppid=8576 vsize=13693252 CPUtime=0.29 cores=1,3,5,7
/proc/8578/task/8594/stat : 8594 (java) S 8576 8578 5628 0 -1 4202560 1919 0 0 0 29 0 0 0 15 0 19 0 807961931 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
[pid=8578/tid=8595] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8595/stat : 8595 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807961931 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8596] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8596/stat : 8596 (java) S 8576 8578 5628 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 807961931 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8597] ppid=8576 vsize=13693252 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8597/stat : 8597 (java) S 8576 8578 5628 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 807961967 14021890048 26783 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 13693252
[startup+6.30106 s]
/proc/loadavg: 1.25 1.74 1.90 3/474 8598
/proc/meminfo: memFree=24320828/32951124 swapFree=50923800/67111528
[pid=8578] ppid=8576 vsize=13692156 CPUtime=6.92 cores=1,3,5,7
/proc/8578/stat : 8578 (java) S 8576 8578 5628 0 -1 4202496 33986 0 1 0 687 5 0 0 25 0 19 0 807961925 14020767744 31824 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8578/statm: 3423039 31824 2234 9 0 3413773 0
[pid=8578/tid=8579] ppid=8576 vsize=13692156 CPUtime=6.28 cores=1,3,5,7
/proc/8578/task/8579/stat : 8579 (java) R 8576 8578 5628 0 -1 4202560 28626 0 1 0 624 4 0 0 25 0 19 0 807961925 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 47466786237267 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8578/tid=8581] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8581/stat : 8581 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8582] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8582/stat : 8582 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8583] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8583/stat : 8583 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8584] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8584/stat : 8584 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8585] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8585/stat : 8585 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8586] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8586/stat : 8586 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8587] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8587/stat : 8587 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8588] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8588/stat : 8588 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961927 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8589] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8589/stat : 8589 (java) S 8576 8578 5628 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 807961929 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 0 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8590] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8590/stat : 8590 (java) S 8576 8578 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807961929 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8591] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8591/stat : 8591 (java) S 8576 8578 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807961929 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8592] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8592/stat : 8592 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807961931 14020767744 31825 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350207409 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8593] ppid=8576 vsize=13692156 CPUtime=0.33 cores=1,3,5,7
/proc/8578/task/8593/stat : 8593 (java) S 8576 8578 5628 0 -1 4202560 2281 0 0 0 33 0 0 0 15 0 19 0 807961931 14020767744 31826 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8594] ppid=8576 vsize=13692156 CPUtime=0.29 cores=1,3,5,7
/proc/8578/task/8594/stat : 8594 (java) S 8576 8578 5628 0 -1 4202560 1919 0 0 0 29 0 0 0 15 0 19 0 807961931 14020767744 31826 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=8578/tid=8586] ppid=8576 vsize=13692156 CPUtime=0.1 cores=1,3,5,7
/proc/8578/task/8586/stat : 8586 (java) S 8576 8578 5628 0 -1 4202560 1939 0 0 0 10 0 0 0 16 0 19 0 807961927 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8587] ppid=8576 vsize=13692156 CPUtime=0.11 cores=1,3,5,7
/proc/8578/task/8587/stat : 8587 (java) S 8576 8578 5628 0 -1 4202560 1855 0 0 0 11 0 0 0 15 0 19 0 807961927 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8588] ppid=8576 vsize=13692156 CPUtime=0.09 cores=1,3,5,7
/proc/8578/task/8588/stat : 8588 (java) S 8576 8578 5628 0 -1 4202560 3592 0 0 0 9 0 0 0 15 0 19 0 807961927 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8589] ppid=8576 vsize=13692156 CPUtime=1.19 cores=1,3,5,7
/proc/8578/task/8589/stat : 8589 (java) S 8576 8578 5628 0 -1 4202560 11437 0 0 0 118 1 0 0 15 0 19 0 807961929 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 0 0 16800975 18446604456571786432 0 0 -1 3 0 0 0
[pid=8578/tid=8590] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8590/stat : 8590 (java) S 8576 8578 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807961929 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8591] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8591/stat : 8591 (java) S 8576 8578 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807961929 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8592] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8592/stat : 8592 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807961931 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350207409 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8593] ppid=8576 vsize=13692156 CPUtime=0.43 cores=1,3,5,7
/proc/8578/task/8593/stat : 8593 (java) S 8576 8578 5628 0 -1 4202560 2317 0 0 0 43 0 0 0 15 0 19 0 807961931 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8594] ppid=8576 vsize=13692156 CPUtime=1.32 cores=1,3,5,7
/proc/8578/task/8594/stat : 8594 (java) S 8576 8578 5628 0 -1 4202560 12431 0 0 0 130 2 0 0 16 0 19 0 807961931 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
[pid=8578/tid=8595] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8595/stat : 8595 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807961931 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8596] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8596/stat : 8596 (java) S 8576 8578 5628 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807961931 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
[pid=8578/tid=8597] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8597/stat : 8597 (java) S 8576 8578 5628 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 807961967 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1664.67
Current children cumulated vsize (KiB) 13692156
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/474 8653
/proc/meminfo: memFree=22308004/32951124 swapFree=50923800/67111528
[pid=8578] ppid=8576 vsize=13692156 CPUtime=1724.68 cores=1,3,5,7
/proc/8578/stat : 8578 (java) S 8576 8578 5628 0 -1 4202496 137981 0 1 0 172448 20 0 0 25 0 19 0 807961925 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8578/statm: 3423039 130090 2263 9 0 3413773 0
[pid=8578/tid=8579] ppid=8576 vsize=13692156 CPUtime=1720.65 cores=1,3,5,7
/proc/8578/task/8579/stat : 8579 (java) R 8576 8578 5628 0 -1 4202560 82992 0 1 0 172055 10 0 0 25 0 19 0 807961925 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 46912505687941 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8578/tid=8581] ppid=8576 vsize=13692156 CPUtime=0.14 cores=1,3,5,7
/proc/8578/task/8581/stat : 8581 (java) S 8576 8578 5628 0 -1 4202560 5766 0 0 0 13 1 0 0 15 0 19 0 807961927 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8582] ppid=8576 vsize=13692156 CPUtime=0.15 cores=1,3,5,7
/proc/8578/task/8582/stat : 8582 (java) S 8576 8578 5628 0 -1 4202560 11873 0 0 0 14 1 0 0 15 0 19 0 807961927 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8583] ppid=8576 vsize=13692156 CPUtime=0.1 cores=1,3,5,7
/proc/8578/task/8583/stat : 8583 (java) S 8576 8578 5628 0 -1 4202560 974 0 0 0 10 0 0 0 16 0 19 0 807961927 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8584] ppid=8576 vsize=13692156 CPUtime=0.06 cores=1,3,5,7
/proc/8578/task/8584/stat : 8584 (java) S 8576 8578 5628 0 -1 4202560 12 0 0 0 6 0 0 0 15 0 19 0 807961927 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8585] ppid=8576 vsize=13692156 CPUtime=0.16 cores=1,3,5,7
/proc/8578/task/8585/stat : 8585 (java) S 8576 8578 5628 0 -1 4202560 1536 0 0 0 16 0 0 0 15 0 19 0 807961927 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8586] ppid=8576 vsize=13692156 CPUtime=0.11 cores=1,3,5,7
/proc/8578/task/8586/stat : 8586 (java) S 8576 8578 5628 0 -1 4202560 1939 0 0 0 11 0 0 0 15 0 19 0 807961927 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8587] ppid=8576 vsize=13692156 CPUtime=0.11 cores=1,3,5,7
/proc/8578/task/8587/stat : 8587 (java) S 8576 8578 5628 0 -1 4202560 1855 0 0 0 11 0 0 0 15 0 19 0 807961927 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8588] ppid=8576 vsize=13692156 CPUtime=0.1 cores=1,3,5,7
/proc/8578/task/8588/stat : 8588 (java) S 8576 8578 5628 0 -1 4202560 3592 0 0 0 10 0 0 0 16 0 19 0 807961927 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8589] ppid=8576 vsize=13692156 CPUtime=1.24 cores=1,3,5,7
/proc/8578/task/8589/stat : 8589 (java) S 8576 8578 5628 0 -1 4202560 11441 0 0 0 123 1 0 0 15 0 19 0 807961929 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 0 0 16800975 18446604456571786432 0 0 -1 3 0 0 0
[pid=8578/tid=8590] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8590/stat : 8590 (java) S 8576 8578 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807961929 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8591] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8591/stat : 8591 (java) S 8576 8578 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807961929 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8592] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8592/stat : 8592 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807961931 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350207409 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8593] ppid=8576 vsize=13692156 CPUtime=0.43 cores=1,3,5,7
/proc/8578/task/8593/stat : 8593 (java) S 8576 8578 5628 0 -1 4202560 2317 0 0 0 43 0 0 0 15 0 19 0 807961931 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8594] ppid=8576 vsize=13692156 CPUtime=1.32 cores=1,3,5,7
/proc/8578/task/8594/stat : 8594 (java) S 8576 8578 5628 0 -1 4202560 12431 0 0 0 130 2 0 0 16 0 19 0 807961931 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
[pid=8578/tid=8595] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8595/stat : 8595 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807961931 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8596] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8596/stat : 8596 (java) S 8576 8578 5628 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807961931 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
[pid=8578/tid=8597] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8597/stat : 8597 (java) S 8576 8578 5628 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 807961967 14020767744 130090 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1724.68
Current children cumulated vsize (KiB) 13692156
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/474 8654
/proc/meminfo: memFree=22307064/32951124 swapFree=50923800/67111528
[pid=8578] ppid=8576 vsize=13692156 CPUtime=1784.7 cores=1,3,5,7
/proc/8578/stat : 8578 (java) S 8576 8578 5628 0 -1 4202496 137990 0 1 0 178450 20 0 0 25 0 19 0 807961925 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8578/statm: 3423039 130091 2263 9 0 3413773 0
[pid=8578/tid=8579] ppid=8576 vsize=13692156 CPUtime=1780.58 cores=1,3,5,7
/proc/8578/task/8579/stat : 8579 (java) R 8576 8578 5628 0 -1 4202560 82994 0 1 0 178048 10 0 0 25 0 19 0 807961925 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 46912505666428 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8578/tid=8581] ppid=8576 vsize=13692156 CPUtime=0.14 cores=1,3,5,7
/proc/8578/task/8581/stat : 8581 (java) S 8576 8578 5628 0 -1 4202560 5766 0 0 0 13 1 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8582] ppid=8576 vsize=13692156 CPUtime=0.15 cores=1,3,5,7
/proc/8578/task/8582/stat : 8582 (java) S 8576 8578 5628 0 -1 4202560 11873 0 0 0 14 1 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8583] ppid=8576 vsize=13692156 CPUtime=0.1 cores=1,3,5,7
/proc/8578/task/8583/stat : 8583 (java) S 8576 8578 5628 0 -1 4202560 974 0 0 0 10 0 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8584] ppid=8576 vsize=13692156 CPUtime=0.07 cores=1,3,5,7
/proc/8578/task/8584/stat : 8584 (java) S 8576 8578 5628 0 -1 4202560 12 0 0 0 7 0 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8585] ppid=8576 vsize=13692156 CPUtime=0.17 cores=1,3,5,7
/proc/8578/task/8585/stat : 8585 (java) S 8576 8578 5628 0 -1 4202560 1536 0 0 0 17 0 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8586] ppid=8576 vsize=13692156 CPUtime=0.11 cores=1,3,5,7
/proc/8578/task/8586/stat : 8586 (java) S 8576 8578 5628 0 -1 4202560 1940 0 0 0 11 0 0 0 16 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8587] ppid=8576 vsize=13692156 CPUtime=0.12 cores=1,3,5,7
/proc/8578/task/8587/stat : 8587 (java) S 8576 8578 5628 0 -1 4202560 1855 0 0 0 12 0 0 0 16 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8588] ppid=8576 vsize=13692156 CPUtime=0.11 cores=1,3,5,7
/proc/8578/task/8588/stat : 8588 (java) S 8576 8578 5628 0 -1 4202560 3592 0 0 0 11 0 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8589] ppid=8576 vsize=13692156 CPUtime=1.3 cores=1,3,5,7
/proc/8578/task/8589/stat : 8589 (java) S 8576 8578 5628 0 -1 4202560 11445 0 0 0 129 1 0 0 15 0 19 0 807961929 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 0 0 16800975 18446604456571786432 0 0 -1 3 0 0 0
[pid=8578/tid=8590] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8590/stat : 8590 (java) S 8576 8578 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807961929 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8591] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8591/stat : 8591 (java) S 8576 8578 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807961929 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8592] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8592/stat : 8592 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807961931 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350207409 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8593] ppid=8576 vsize=13692156 CPUtime=0.43 cores=1,3,5,7
/proc/8578/task/8593/stat : 8593 (java) S 8576 8578 5628 0 -1 4202560 2317 0 0 0 43 0 0 0 15 0 19 0 807961931 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8594] ppid=8576 vsize=13692156 CPUtime=1.32 cores=1,3,5,7
/proc/8578/task/8594/stat : 8594 (java) S 8576 8578 5628 0 -1 4202560 12431 0 0 0 130 2 0 0 16 0 19 0 807961931 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
[pid=8578/tid=8595] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8595/stat : 8595 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807961931 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8596] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8596/stat : 8596 (java) S 8576 8578 5628 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 807961931 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
[pid=8578/tid=8597] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8597/stat : 8597 (java) S 8576 8578 5628 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 807961967 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1784.7
Current children cumulated vsize (KiB) 13692156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.6 s]
/proc/loadavg: 2.07 2.02 1.99 3/474 8655
/proc/meminfo: memFree=22307160/32951124 swapFree=50923800/67111528
[pid=8578] ppid=8576 vsize=13692156 CPUtime=1800.01 cores=1,3,5,7
/proc/8578/stat : 8578 (java) S 8576 8578 5628 0 -1 4202496 137995 0 1 0 179981 20 0 0 25 0 19 0 807961925 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8578/statm: 3423039 130091 2263 9 0 3413773 0
[pid=8578/tid=8579] ppid=8576 vsize=13692156 CPUtime=1795.87 cores=1,3,5,7
/proc/8578/task/8579/stat : 8579 (java) R 8576 8578 5628 0 -1 4202560 82995 0 1 0 179577 10 0 0 25 0 19 0 807961925 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 46912505674864 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8578/tid=8581] ppid=8576 vsize=13692156 CPUtime=0.14 cores=1,3,5,7
/proc/8578/task/8581/stat : 8581 (java) S 8576 8578 5628 0 -1 4202560 5766 0 0 0 13 1 0 0 16 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8582] ppid=8576 vsize=13692156 CPUtime=0.15 cores=1,3,5,7
/proc/8578/task/8582/stat : 8582 (java) S 8576 8578 5628 0 -1 4202560 11873 0 0 0 14 1 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8583] ppid=8576 vsize=13692156 CPUtime=0.1 cores=1,3,5,7
/proc/8578/task/8583/stat : 8583 (java) S 8576 8578 5628 0 -1 4202560 974 0 0 0 10 0 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8584] ppid=8576 vsize=13692156 CPUtime=0.07 cores=1,3,5,7
/proc/8578/task/8584/stat : 8584 (java) S 8576 8578 5628 0 -1 4202560 12 0 0 0 7 0 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8585] ppid=8576 vsize=13692156 CPUtime=0.17 cores=1,3,5,7
/proc/8578/task/8585/stat : 8585 (java) S 8576 8578 5628 0 -1 4202560 1536 0 0 0 17 0 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8586] ppid=8576 vsize=13692156 CPUtime=0.12 cores=1,3,5,7
/proc/8578/task/8586/stat : 8586 (java) S 8576 8578 5628 0 -1 4202560 1940 0 0 0 12 0 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8587] ppid=8576 vsize=13692156 CPUtime=0.12 cores=1,3,5,7
/proc/8578/task/8587/stat : 8587 (java) S 8576 8578 5628 0 -1 4202560 1855 0 0 0 12 0 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8588] ppid=8576 vsize=13692156 CPUtime=0.11 cores=1,3,5,7
/proc/8578/task/8588/stat : 8588 (java) S 8576 8578 5628 0 -1 4202560 3592 0 0 0 11 0 0 0 15 0 19 0 807961927 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8589] ppid=8576 vsize=13692156 CPUtime=1.32 cores=1,3,5,7
/proc/8578/task/8589/stat : 8589 (java) S 8576 8578 5628 0 -1 4202560 11447 0 0 0 131 1 0 0 15 0 19 0 807961929 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 0 0 16800975 18446604456571786432 0 0 -1 3 0 0 0
[pid=8578/tid=8590] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8590/stat : 8590 (java) S 8576 8578 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807961929 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8591] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8591/stat : 8591 (java) S 8576 8578 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807961929 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 7 0 0 0
[pid=8578/tid=8592] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8592/stat : 8592 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807961931 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350207409 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8593] ppid=8576 vsize=13692156 CPUtime=0.43 cores=1,3,5,7
/proc/8578/task/8593/stat : 8593 (java) S 8576 8578 5628 0 -1 4202560 2317 0 0 0 43 0 0 0 15 0 19 0 807961931 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8594] ppid=8576 vsize=13692156 CPUtime=1.32 cores=1,3,5,7
/proc/8578/task/8594/stat : 8594 (java) S 8576 8578 5628 0 -1 4202560 12431 0 0 0 130 2 0 0 16 0 19 0 807961931 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
[pid=8578/tid=8595] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8595/stat : 8595 (java) S 8576 8578 5628 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807961931 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350199705 0 4 0 16800975 18446604456571786432 0 0 -1 5 0 0 0
[pid=8578/tid=8596] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8596/stat : 8596 (java) S 8576 8578 5628 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 807961931 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
[pid=8578/tid=8597] ppid=8576 vsize=13692156 CPUtime=0 cores=1,3,5,7
/proc/8578/task/8597/stat : 8597 (java) S 8576 8578 5628 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 807961967 14020767744 130091 33554432000 1073741824 1073778376 140735690785344 18446744073709551615 270350200320 0 4 0 16800975 18446604456571786432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13692156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.67
CPU time (s): 1800.08
CPU user time (s): 1799.85
CPU system time (s): 0.223965
CPU usage (%): 100.134
Max. virtual memory (cumulated for all children) (KiB): 13693252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138025
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= 38220
involuntary context switches= 9431
runsolver used 7.98879 second user time and 18.0713 second system time
The end