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-3459618-1307152521/watcher-3459618-1307152521 -o /tmp/evaluation-result-3459618-1307152521/solver-3459618-1307152521 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459618-1307152521.opb
running on 4 cores: 0,2,4,6
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.92 1.99 1.99 2/568 26581
/proc/meminfo: memFree=20731844/32951124 swapFree=53733252/67111528
[pid=26581] ppid=26579 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/26581/stat : 26581 (java) S 26579 26581 24519 0 -1 4202496 7598 0 1 0 0 1 0 0 25 0 2 0 826852458 13850947584 7300 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/26581/statm: 3381579 7314 917 9 0 3372735 0
[pid=26581/tid=26582] ppid=26579 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26582/stat : 26582 (java) R 26579 26581 24519 0 -1 4202560 6549 0 1 0 0 0 0 0 25 0 2 0 826852459 13850947584 7366 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0950959 s]
/proc/loadavg: 1.92 1.99 1.99 2/568 26581
/proc/meminfo: memFree=20731844/32951124 swapFree=53733252/67111528
[pid=26581] ppid=26579 vsize=13621512 CPUtime=0.1 cores=0,2,4,6
/proc/26581/stat : 26581 (java) S 26579 26581 24519 0 -1 4202496 15451 0 1 0 8 2 0 0 25 0 18 0 826852458 13948428288 15122 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26581/statm: 3405378 15123 2084 9 0 3396112 0
[pid=26581/tid=26582] ppid=26579 vsize=13621512 CPUtime=0.07 cores=0,2,4,6
/proc/26581/task/26582/stat : 26582 (java) R 26579 26581 24519 0 -1 4202560 13497 0 1 0 6 1 0 0 25 0 18 0 826852459 13948428288 15123 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 47219925540539 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621512
[startup+0.101798 s]
/proc/loadavg: 1.92 1.99 1.99 2/568 26581
/proc/meminfo: memFree=20731844/32951124 swapFree=53733252/67111528
[pid=26581] ppid=26579 vsize=13621512 CPUtime=0.1 cores=0,2,4,6
/proc/26581/stat : 26581 (java) S 26579 26581 24519 0 -1 4202496 15536 0 1 0 8 2 0 0 25 0 18 0 826852458 13948428288 15207 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26581/statm: 3405378 15207 2093 9 0 3396112 0
[pid=26581/tid=26582] ppid=26579 vsize=13621512 CPUtime=0.08 cores=0,2,4,6
/proc/26581/task/26582/stat : 26582 (java) R 26579 26581 24519 0 -1 4202560 13564 0 1 0 7 1 0 0 25 0 18 0 826852459 13948428288 15207 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 47219925279491 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621512
[startup+0.306538 s]
/proc/loadavg: 1.92 1.99 1.99 2/568 26581
/proc/meminfo: memFree=20731844/32951124 swapFree=53733252/67111528
[pid=26581] ppid=26579 vsize=13626024 CPUtime=0.53 cores=0,2,4,6
/proc/26581/stat : 26581 (java) S 26579 26581 24519 0 -1 4202496 18561 0 1 0 51 2 0 0 25 0 19 0 826852458 13953048576 17714 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26581/statm: 3406506 17714 2214 9 0 3397240 0
[pid=26581/tid=26582] ppid=26579 vsize=13626024 CPUtime=0.29 cores=0,2,4,6
/proc/26581/task/26582/stat : 26582 (java) R 26579 26581 24519 0 -1 4202560 14653 0 1 0 27 2 0 0 19 0 19 0 826852459 13953048576 17714 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 46912505178895 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13626024
[startup+0.7007 s]
/proc/loadavg: 1.92 1.99 1.99 2/568 26581
/proc/meminfo: memFree=20731844/32951124 swapFree=53733252/67111528
[pid=26581] ppid=26579 vsize=13626024 CPUtime=1.09 cores=0,2,4,6
/proc/26581/stat : 26581 (java) S 26579 26581 24519 0 -1 4202496 19841 0 1 0 106 3 0 0 25 0 19 0 826852458 13953048576 18539 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26581/statm: 3406506 18539 2222 9 0 3397240 0
[pid=26581/tid=26582] ppid=26579 vsize=13626024 CPUtime=0.68 cores=0,2,4,6
/proc/26581/task/26582/stat : 26582 (java) R 26579 26581 24519 0 -1 4202560 15358 0 1 0 66 2 0 0 19 0 19 0 826852459 13953048576 18539 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 46912505571323 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 13626024
[startup+1.50155 s]
/proc/loadavg: 1.92 1.99 1.99 2/567 26603
/proc/meminfo: memFree=21079620/32951124 swapFree=53733252/67111528
[pid=26581] ppid=26579 vsize=13626024 CPUtime=1.91 cores=0,2,4,6
/proc/26581/stat : 26581 (java) S 26579 26581 24519 0 -1 4202496 22911 0 1 0 188 3 0 0 25 0 19 0 826852458 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26581/statm: 3406506 21561 2250 9 0 3397240 0
[pid=26581/tid=26582] ppid=26579 vsize=13626024 CPUtime=1.46 cores=0,2,4,6
/proc/26581/task/26582/stat : 26582 (java) R 26579 26581 24519 0 -1 4202560 16273 0 1 0 144 2 0 0 20 0 19 0 826852459 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 46912505571234 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26581/tid=26584] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26584/stat : 26584 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852461 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26585] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26585/stat : 26585 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852461 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26586] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26586/stat : 26586 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852461 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26587] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26587/stat : 26587 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852461 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26588] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26588/stat : 26588 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852461 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26589] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26589/stat : 26589 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852461 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26590] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26590/stat : 26590 (java) S 26579 26581 24519 0 -1 4202560 473 0 0 0 0 0 0 0 18 0 19 0 826852461 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26591] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26591/stat : 26591 (java) S 26579 26581 24519 0 -1 4202560 581 0 0 0 0 0 0 0 18 0 19 0 826852461 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26592] ppid=26579 vsize=13626024 CPUtime=0.01 cores=0,2,4,6
/proc/26581/task/26592/stat : 26592 (java) S 26579 26581 24519 0 -1 4202560 1048 0 0 0 1 0 0 0 16 0 19 0 826852462 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 0 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26593] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26593/stat : 26593 (java) S 26579 26581 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852462 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26594] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26594/stat : 26594 (java) S 26579 26581 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852462 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26595] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26595/stat : 26595 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652683185 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26596] ppid=26579 vsize=13626024 CPUtime=0.24 cores=0,2,4,6
/proc/26581/task/26596/stat : 26596 (java) S 26579 26581 24519 0 -1 4202560 1785 0 0 0 24 0 0 0 18 0 19 0 826852464 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26597] ppid=26579 vsize=13626024 CPUtime=0.17 cores=0,2,4,6
/proc/26581/task/26597/stat : 26597 (java) S 26579 26581 24519 0 -1 4202560 1595 0 0 0 17 0 0 0 16 0 19 0 826852464 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26598] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26598/stat : 26598 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26599] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26599/stat : 26599 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852464 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26600] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26600/stat : 26600 (java) S 26579 26581 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826852479 13953048576 21561 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13626024
[startup+3.10128 s]
/proc/loadavg: 1.92 1.99 1.99 2/567 26603
/proc/meminfo: memFree=21068584/32951124 swapFree=53733252/67111528
[pid=26581] ppid=26579 vsize=13626024 CPUtime=3.56 cores=0,2,4,6
/proc/26581/stat : 26581 (java) S 26579 26581 24519 0 -1 4202496 25290 0 1 0 352 4 0 0 25 0 19 0 826852458 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26581/statm: 3406506 23938 2250 9 0 3397240 0
[pid=26581/tid=26582] ppid=26579 vsize=13626024 CPUtime=3.04 cores=0,2,4,6
/proc/26581/task/26582/stat : 26582 (java) R 26579 26581 24519 0 -1 4202560 16276 0 1 0 302 2 0 0 25 0 19 0 826852459 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 46912505670846 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26581/tid=26584] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26584/stat : 26584 (java) S 26579 26581 24519 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 826852461 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26585] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26585/stat : 26585 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852461 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26586] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26586/stat : 26586 (java) S 26579 26581 24519 0 -1 4202560 730 0 0 0 0 0 0 0 15 0 19 0 826852461 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26587] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26587/stat : 26587 (java) S 26579 26581 24519 0 -1 4202560 890 0 0 0 0 0 0 0 15 0 19 0 826852461 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26588] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26588/stat : 26588 (java) S 26579 26581 24519 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 826852461 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26589] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26589/stat : 26589 (java) S 26579 26581 24519 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826852461 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26590] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26590/stat : 26590 (java) S 26579 26581 24519 0 -1 4202560 473 0 0 0 0 0 0 0 18 0 19 0 826852461 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26591] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26591/stat : 26591 (java) S 26579 26581 24519 0 -1 4202560 581 0 0 0 0 0 0 0 17 0 19 0 826852461 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26592] ppid=26579 vsize=13626024 CPUtime=0.02 cores=0,2,4,6
/proc/26581/task/26592/stat : 26592 (java) S 26579 26581 24519 0 -1 4202560 1797 0 0 0 2 0 0 0 16 0 19 0 826852462 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 0 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26593] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26593/stat : 26593 (java) S 26579 26581 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852462 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26594] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26594/stat : 26594 (java) S 26579 26581 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852462 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26595] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26595/stat : 26595 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652683185 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26596] ppid=26579 vsize=13626024 CPUtime=0.26 cores=0,2,4,6
/proc/26581/task/26596/stat : 26596 (java) S 26579 26581 24519 0 -1 4202560 1788 0 0 0 26 0 0 0 17 0 19 0 826852464 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26597] ppid=26579 vsize=13626024 CPUtime=0.18 cores=0,2,4,6
/proc/26581/task/26597/stat : 26597 (java) S 26579 26581 24519 0 -1 4202560 1597 0 0 0 18 0 0 0 15 0 19 0 826852464 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26598] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26598/stat : 26598 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26599] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26599/stat : 26599 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852464 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26600] ppid=26579 vsize=13626024 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26600/stat : 26600 (java) S 26579 26581 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826852479 13953048576 23938 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 13626024
[startup+6.30069 s]
/proc/loadavg: 1.93 1.99 1.99 3/587 26648
/proc/meminfo: memFree=20974948/32951124 swapFree=53733252/67111528
[pid=26581] ppid=26579 vsize=13625376 CPUtime=6.78 cores=0,2,4,6
/proc/26581/stat : 26581 (java) S 26579 26581 24519 0 -1 4202496 28363 0 1 0 674 4 0 0 25 0 19 0 826852458 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26581/statm: 3406344 26859 2250 9 0 3397078 0
[pid=26581/tid=26582] ppid=26579 vsize=13625376 CPUtime=6.19 cores=0,2,4,6
/proc/26581/task/26582/stat : 26582 (java) R 26579 26581 24519 0 -1 4202560 16296 0 1 0 617 2 0 0 25 0 19 0 826852459 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 46912505629552 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26581/tid=26584] ppid=26579 vsize=13625376 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26584/stat : 26584 (java) S 26579 26581 24519 0 -1 4202560 517 0 0 0 0 0 0 0 18 0 19 0 826852461 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26585] ppid=26579 vsize=13625376 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26585/stat : 26585 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852461 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26586] ppid=26579 vsize=13625376 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26586/stat : 26586 (java) S 26579 26581 24519 0 -1 4202560 1249 0 0 0 0 0 0 0 15 0 19 0 826852461 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26587] ppid=26579 vsize=13625376 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26587/stat : 26587 (java) S 26579 26581 24519 0 -1 4202560 901 0 0 0 0 0 0 0 15 0 19 0 826852461 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26588] ppid=26579 vsize=13625376 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26588/stat : 26588 (java) S 26579 26581 24519 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 826852461 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26589] ppid=26579 vsize=13625376 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26589/stat : 26589 (java) S 26579 26581 24519 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826852461 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26590] ppid=26579 vsize=13625376 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26590/stat : 26590 (java) S 26579 26581 24519 0 -1 4202560 985 0 0 0 0 0 0 0 15 0 19 0 826852461 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26591] ppid=26579 vsize=13625376 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26591/stat : 26591 (java) S 26579 26581 24519 0 -1 4202560 1170 0 0 0 0 0 0 0 16 0 19 0 826852461 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26592] ppid=26579 vsize=13625376 CPUtime=0.06 cores=0,2,4,6
/proc/26581/task/26592/stat : 26592 (java) S 26579 26581 24519 0 -1 4202560 2697 0 0 0 6 0 0 0 16 0 19 0 826852462 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 0 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26593] ppid=26579 vsize=13625376 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26593/stat : 26593 (java) S 26579 26581 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852462 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26594] ppid=26579 vsize=13625376 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26594/stat : 26594 (java) S 26579 26581 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852462 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26595] ppid=26579 vsize=13625376 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26595/stat : 26595 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652683185 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26596] ppid=26579 vsize=13625376 CPUtime=0.28 cores=0,2,4,6
/proc/26581/task/26596/stat : 26596 (java) S 26579 26581 24519 0 -1 4202560 1794 0 0 0 28 0 0 0 15 0 19 0 826852464 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26597] ppid=26579 vsize=13625376 CPUtime=0.19 cores=0,2,4,6
/proc/26581/task/26597/stat : 26597 (java) S 26579 26581 24519 0 -1 4202560 1598 0 0 0 19 0 0 0 15 0 19 0 826852464 13952385024 26859 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=26581/tid=26589] ppid=26579 vsize=13625528 CPUtime=0.55 cores=0,2,4,6
/proc/26581/task/26589/stat : 26589 (java) S 26579 26581 24519 0 -1 4202560 663 0 0 0 55 0 0 0 15 0 19 0 826852461 13952540672 49192 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26590] ppid=26579 vsize=13625528 CPUtime=0.49 cores=0,2,4,6
/proc/26581/task/26590/stat : 26590 (java) S 26579 26581 24519 0 -1 4202560 1550 0 0 0 49 0 0 0 16 0 19 0 826852461 13952540672 49192 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 2 0 0 0
[pid=26581/tid=26591] ppid=26579 vsize=13625528 CPUtime=0.52 cores=0,2,4,6
/proc/26581/task/26591/stat : 26591 (java) S 26579 26581 24519 0 -1 4202560 2408 0 0 0 52 0 0 0 15 0 19 0 826852461 13952540672 49192 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26592] ppid=26579 vsize=13625528 CPUtime=14.44 cores=0,2,4,6
/proc/26581/task/26592/stat : 26592 (java) S 26579 26581 24519 0 -1 4202560 14326 0 0 0 1438 6 0 0 15 0 19 0 826852462 13952540672 49192 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 0 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26593] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26593/stat : 26593 (java) S 26579 26581 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852462 13952540672 49192 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26594] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26594/stat : 26594 (java) S 26579 26581 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852462 13952540672 49192 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26595] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26595/stat : 26595 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13952540672 49192 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652683185 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26596] ppid=26579 vsize=13625528 CPUtime=0.28 cores=0,2,4,6
/proc/26581/task/26596/stat : 26596 (java) S 26579 26581 24519 0 -1 4202560 1794 0 0 0 28 0 0 0 15 0 19 0 826852464 13952540672 49192 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26597] ppid=26579 vsize=13625528 CPUtime=0.21 cores=0,2,4,6
/proc/26581/task/26597/stat : 26597 (java) S 26579 26581 24519 0 -1 4202560 1631 0 0 0 21 0 0 0 15 0 19 0 826852464 13952540672 49192 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26598] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26598/stat : 26598 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13952540672 49192 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26599] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26599/stat : 26599 (java) S 26579 26581 24519 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826852464 13952540672 49192 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 4 0 16800975 18446604441253292032 0 0 -1 2 0 0 0
[pid=26581/tid=26600] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26600/stat : 26600 (java) S 26579 26581 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826852479 13952540672 49192 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.23
Current children cumulated vsize (KiB) 13625528
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 27174
/proc/meminfo: memFree=20742604/32951124 swapFree=53733252/67111528
[pid=26581] ppid=26579 vsize=13625528 CPUtime=1785.26 cores=0,2,4,6
/proc/26581/stat : 26581 (java) S 26579 26581 24519 0 -1 4202496 51347 0 1 0 178509 17 0 0 25 0 19 0 826852458 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26581/statm: 3406382 49197 2251 9 0 3397116 0
[pid=26581/tid=26582] ppid=26579 vsize=13625528 CPUtime=1765.18 cores=0,2,4,6
/proc/26581/task/26582/stat : 26582 (java) R 26579 26581 24519 0 -1 4202560 20372 0 1 0 176513 5 0 0 25 0 19 0 826852459 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 46912505566912 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26581/tid=26584] ppid=26579 vsize=13625528 CPUtime=0.58 cores=0,2,4,6
/proc/26581/task/26584/stat : 26584 (java) S 26579 26581 24519 0 -1 4202560 1869 0 0 0 58 0 0 0 15 0 19 0 826852461 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 2 0 0 0
[pid=26581/tid=26585] ppid=26579 vsize=13625528 CPUtime=0.59 cores=0,2,4,6
/proc/26581/task/26585/stat : 26585 (java) S 26579 26581 24519 0 -1 4202560 730 0 0 0 59 0 0 0 16 0 19 0 826852461 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26586] ppid=26579 vsize=13625528 CPUtime=0.54 cores=0,2,4,6
/proc/26581/task/26586/stat : 26586 (java) S 26579 26581 24519 0 -1 4202560 1947 0 0 0 54 0 0 0 15 0 19 0 826852461 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26587] ppid=26579 vsize=13625528 CPUtime=0.56 cores=0,2,4,6
/proc/26581/task/26587/stat : 26587 (java) S 26579 26581 24519 0 -1 4202560 1890 0 0 0 56 0 0 0 15 0 19 0 826852461 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 2 0 0 0
[pid=26581/tid=26588] ppid=26579 vsize=13625528 CPUtime=0.61 cores=0,2,4,6
/proc/26581/task/26588/stat : 26588 (java) S 26579 26581 24519 0 -1 4202560 913 0 0 0 61 0 0 0 15 0 19 0 826852461 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 2 0 0 0
[pid=26581/tid=26589] ppid=26579 vsize=13625528 CPUtime=0.55 cores=0,2,4,6
/proc/26581/task/26589/stat : 26589 (java) S 26579 26581 24519 0 -1 4202560 663 0 0 0 55 0 0 0 15 0 19 0 826852461 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26590] ppid=26579 vsize=13625528 CPUtime=0.5 cores=0,2,4,6
/proc/26581/task/26590/stat : 26590 (java) S 26579 26581 24519 0 -1 4202560 1550 0 0 0 50 0 0 0 16 0 19 0 826852461 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26591] ppid=26579 vsize=13625528 CPUtime=0.53 cores=0,2,4,6
/proc/26581/task/26591/stat : 26591 (java) S 26579 26581 24519 0 -1 4202560 2408 0 0 0 53 0 0 0 15 0 19 0 826852461 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26592] ppid=26579 vsize=13625528 CPUtime=15 cores=0,2,4,6
/proc/26581/task/26592/stat : 26592 (java) S 26579 26581 24519 0 -1 4202560 14328 0 0 0 1494 6 0 0 15 0 19 0 826852462 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 0 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26593] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26593/stat : 26593 (java) S 26579 26581 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852462 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26594] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26594/stat : 26594 (java) S 26579 26581 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852462 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26595] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26595/stat : 26595 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652683185 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26596] ppid=26579 vsize=13625528 CPUtime=0.28 cores=0,2,4,6
/proc/26581/task/26596/stat : 26596 (java) S 26579 26581 24519 0 -1 4202560 1794 0 0 0 28 0 0 0 15 0 19 0 826852464 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26597] ppid=26579 vsize=13625528 CPUtime=0.21 cores=0,2,4,6
/proc/26581/task/26597/stat : 26597 (java) S 26579 26581 24519 0 -1 4202560 1631 0 0 0 21 0 0 0 15 0 19 0 826852464 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26598] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26598/stat : 26598 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26599] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26599/stat : 26599 (java) S 26579 26581 24519 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826852464 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 4 0 16800975 18446604441253292032 0 0 -1 2 0 0 0
[pid=26581/tid=26600] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26600/stat : 26600 (java) S 26579 26581 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826852479 13952540672 49197 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.26
Current children cumulated vsize (KiB) 13625528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 27174
/proc/meminfo: memFree=20743332/32951124 swapFree=53733252/67111528
[pid=26581] ppid=26579 vsize=13625528 CPUtime=1800.1 cores=0,2,4,6
/proc/26581/stat : 26581 (java) S 26579 26581 24519 0 -1 4202496 51360 0 1 0 179992 18 0 0 25 0 19 0 826852458 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26581/statm: 3406382 49203 2251 9 0 3397116 0
[pid=26581/tid=26582] ppid=26579 vsize=13625528 CPUtime=1779.87 cores=0,2,4,6
/proc/26581/task/26582/stat : 26582 (java) R 26579 26581 24519 0 -1 4202560 20375 0 1 0 177982 5 0 0 25 0 19 0 826852459 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 46912505571650 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26581/tid=26584] ppid=26579 vsize=13625528 CPUtime=0.58 cores=0,2,4,6
/proc/26581/task/26584/stat : 26584 (java) S 26579 26581 24519 0 -1 4202560 1869 0 0 0 58 0 0 0 15 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26585] ppid=26579 vsize=13625528 CPUtime=0.6 cores=0,2,4,6
/proc/26581/task/26585/stat : 26585 (java) S 26579 26581 24519 0 -1 4202560 730 0 0 0 60 0 0 0 16 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26586] ppid=26579 vsize=13625528 CPUtime=0.54 cores=0,2,4,6
/proc/26581/task/26586/stat : 26586 (java) S 26579 26581 24519 0 -1 4202560 1947 0 0 0 54 0 0 0 15 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26587] ppid=26579 vsize=13625528 CPUtime=0.56 cores=0,2,4,6
/proc/26581/task/26587/stat : 26587 (java) S 26579 26581 24519 0 -1 4202560 1893 0 0 0 56 0 0 0 15 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26588] ppid=26579 vsize=13625528 CPUtime=0.61 cores=0,2,4,6
/proc/26581/task/26588/stat : 26588 (java) S 26579 26581 24519 0 -1 4202560 913 0 0 0 61 0 0 0 15 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 2 0 0 0
[pid=26581/tid=26589] ppid=26579 vsize=13625528 CPUtime=0.55 cores=0,2,4,6
/proc/26581/task/26589/stat : 26589 (java) S 26579 26581 24519 0 -1 4202560 663 0 0 0 55 0 0 0 15 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26590] ppid=26579 vsize=13625528 CPUtime=0.51 cores=0,2,4,6
/proc/26581/task/26590/stat : 26590 (java) S 26579 26581 24519 0 -1 4202560 1550 0 0 0 51 0 0 0 16 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 2 0 0 0
[pid=26581/tid=26591] ppid=26579 vsize=13625528 CPUtime=0.54 cores=0,2,4,6
/proc/26581/task/26591/stat : 26591 (java) S 26579 26581 24519 0 -1 4202560 2411 0 0 0 54 0 0 0 16 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26592] ppid=26579 vsize=13625528 CPUtime=15.12 cores=0,2,4,6
/proc/26581/task/26592/stat : 26592 (java) S 26579 26581 24519 0 -1 4202560 14330 0 0 0 1506 6 0 0 15 0 19 0 826852462 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 0 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26593] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26593/stat : 26593 (java) S 26579 26581 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852462 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26594] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26594/stat : 26594 (java) S 26579 26581 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852462 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26595] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26595/stat : 26595 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652683185 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26596] ppid=26579 vsize=13625528 CPUtime=0.28 cores=0,2,4,6
/proc/26581/task/26596/stat : 26596 (java) S 26579 26581 24519 0 -1 4202560 1794 0 0 0 28 0 0 0 15 0 19 0 826852464 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26597] ppid=26579 vsize=13625528 CPUtime=0.21 cores=0,2,4,6
/proc/26581/task/26597/stat : 26597 (java) S 26579 26581 24519 0 -1 4202560 1631 0 0 0 21 0 0 0 15 0 19 0 826852464 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26598] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26598/stat : 26598 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26599] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26599/stat : 26599 (java) S 26579 26581 24519 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826852464 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 4 0 16800975 18446604441253292032 0 0 -1 2 0 0 0
[pid=26581/tid=26600] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26600/stat : 26600 (java) S 26579 26581 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826852479 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13625528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 27174
/proc/meminfo: memFree=20743332/32951124 swapFree=53733252/67111528
[pid=26581] ppid=26579 vsize=13625528 CPUtime=1800.1 cores=0,2,4,6
/proc/26581/stat : 26581 (java) S 26579 26581 24519 0 -1 4202496 51360 0 1 0 179992 18 0 0 25 0 19 0 826852458 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26581/statm: 3406382 49203 2251 9 0 3397116 0
[pid=26581/tid=26582] ppid=26579 vsize=13625528 CPUtime=1779.87 cores=0,2,4,6
/proc/26581/task/26582/stat : 26582 (java) R 26579 26581 24519 0 -1 4202560 20375 0 1 0 177982 5 0 0 25 0 19 0 826852459 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 46912505571650 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26581/tid=26584] ppid=26579 vsize=13625528 CPUtime=0.58 cores=0,2,4,6
/proc/26581/task/26584/stat : 26584 (java) S 26579 26581 24519 0 -1 4202560 1869 0 0 0 58 0 0 0 15 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26585] ppid=26579 vsize=13625528 CPUtime=0.6 cores=0,2,4,6
/proc/26581/task/26585/stat : 26585 (java) S 26579 26581 24519 0 -1 4202560 730 0 0 0 60 0 0 0 16 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26586] ppid=26579 vsize=13625528 CPUtime=0.54 cores=0,2,4,6
/proc/26581/task/26586/stat : 26586 (java) S 26579 26581 24519 0 -1 4202560 1947 0 0 0 54 0 0 0 15 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26587] ppid=26579 vsize=13625528 CPUtime=0.56 cores=0,2,4,6
/proc/26581/task/26587/stat : 26587 (java) S 26579 26581 24519 0 -1 4202560 1893 0 0 0 56 0 0 0 15 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26588] ppid=26579 vsize=13625528 CPUtime=0.61 cores=0,2,4,6
/proc/26581/task/26588/stat : 26588 (java) S 26579 26581 24519 0 -1 4202560 913 0 0 0 61 0 0 0 15 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 2 0 0 0
[pid=26581/tid=26589] ppid=26579 vsize=13625528 CPUtime=0.55 cores=0,2,4,6
/proc/26581/task/26589/stat : 26589 (java) S 26579 26581 24519 0 -1 4202560 663 0 0 0 55 0 0 0 15 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26590] ppid=26579 vsize=13625528 CPUtime=0.51 cores=0,2,4,6
/proc/26581/task/26590/stat : 26590 (java) S 26579 26581 24519 0 -1 4202560 1550 0 0 0 51 0 0 0 16 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 2 0 0 0
[pid=26581/tid=26591] ppid=26579 vsize=13625528 CPUtime=0.54 cores=0,2,4,6
/proc/26581/task/26591/stat : 26591 (java) S 26579 26581 24519 0 -1 4202560 2411 0 0 0 54 0 0 0 16 0 19 0 826852461 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26592] ppid=26579 vsize=13625528 CPUtime=15.12 cores=0,2,4,6
/proc/26581/task/26592/stat : 26592 (java) S 26579 26581 24519 0 -1 4202560 14330 0 0 0 1506 6 0 0 15 0 19 0 826852462 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 0 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26593] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26593/stat : 26593 (java) S 26579 26581 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852462 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26594] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26594/stat : 26594 (java) S 26579 26581 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852462 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26595] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26595/stat : 26595 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652683185 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26596] ppid=26579 vsize=13625528 CPUtime=0.28 cores=0,2,4,6
/proc/26581/task/26596/stat : 26596 (java) S 26579 26581 24519 0 -1 4202560 1794 0 0 0 28 0 0 0 15 0 19 0 826852464 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 0 0 0 0
[pid=26581/tid=26597] ppid=26579 vsize=13625528 CPUtime=0.21 cores=0,2,4,6
/proc/26581/task/26597/stat : 26597 (java) S 26579 26581 24519 0 -1 4202560 1631 0 0 0 21 0 0 0 15 0 19 0 826852464 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
[pid=26581/tid=26598] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26598/stat : 26598 (java) S 26579 26581 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852464 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652675481 0 4 0 16800975 18446604441253292032 0 0 -1 4 0 0 0
[pid=26581/tid=26599] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26599/stat : 26599 (java) S 26579 26581 24519 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826852464 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 4 0 16800975 18446604441253292032 0 0 -1 2 0 0 0
[pid=26581/tid=26600] ppid=26579 vsize=13625528 CPUtime=0 cores=0,2,4,6
/proc/26581/task/26600/stat : 26600 (java) S 26579 26581 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826852479 13952540672 49203 33554432000 1073741824 1073778376 140735872061520 18446744073709551615 253652676096 0 4 0 16800975 18446604441253292032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13625528
Child status: 143
Real time (s): 1797.15
CPU time (s): 1800.15
CPU user time (s): 1799.96
CPU system time (s): 0.189971
CPU usage (%): 100.167
Max. virtual memory (cumulated for all children) (KiB): 13626024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.189971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51402
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= 48093
involuntary context switches= 28938
runsolver used 10.7724 second user time and 21.9977 second system time
The end