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-3459833-1307169415/watcher-3459833-1307169415 -o /tmp/evaluation-result-3459833-1307169415/solver-3459833-1307169415 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459833-1307169415.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.85 2.00 1.99 2/547 29698
/proc/meminfo: memFree=21091680/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 9643 0 1 0 0 0 0 0 25 0 2 0 828541863 13850947584 9345 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3381579 9358 917 9 0 3372735 0
[pid=29698/tid=29699] ppid=29696 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 8593 0 1 0 0 0 0 0 25 0 2 0 828541864 13850947584 9409 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0502471 s]
/proc/loadavg: 1.85 2.00 1.99 2/547 29698
/proc/meminfo: memFree=21091680/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13615016 CPUtime=0.04 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 13839 0 1 0 3 1 0 0 25 0 13 0 828541863 13941776384 13536 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3403754 13537 1680 9 0 3394502 0
[pid=29698/tid=29699] ppid=29696 vsize=13615016 CPUtime=0.03 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 12692 0 1 0 2 1 0 0 18 0 13 0 828541864 13941776384 13538 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 47736456779288 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13615016
[startup+0.101235 s]
/proc/loadavg: 1.85 2.00 1.99 2/547 29698
/proc/meminfo: memFree=21091680/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13622032 CPUtime=0.1 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 15503 0 1 0 9 1 0 0 25 0 18 0 828541863 13948960768 15200 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3405508 15201 2093 9 0 3396242 0
[pid=29698/tid=29699] ppid=29696 vsize=13622032 CPUtime=0.08 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 13641 0 1 0 7 1 0 0 23 0 18 0 828541864 13948960768 15201 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253640520737 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) 13622032
[startup+0.305898 s]
/proc/loadavg: 1.85 2.00 1.99 2/547 29698
/proc/meminfo: memFree=21091680/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13624652 CPUtime=0.49 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 19537 0 1 0 47 2 0 0 25 0 18 0 828541863 13951643648 18690 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406163 18691 2202 9 0 3396897 0
[pid=29698/tid=29699] ppid=29696 vsize=13624652 CPUtime=0.28 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 15890 0 1 0 27 1 0 0 24 0 18 0 828541864 13951643648 18691 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912505562733 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13624652
[startup+0.701106 s]
/proc/loadavg: 1.85 2.00 1.99 2/547 29698
/proc/meminfo: memFree=21091680/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13626192 CPUtime=1.19 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 51726 0 1 0 112 7 0 0 25 0 18 0 828541863 13953220608 49602 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406548 49606 2222 9 0 3397282 0
[pid=29698/tid=29699] ppid=29696 vsize=13626192 CPUtime=0.68 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 45765 0 1 0 63 5 0 0 18 0 18 0 828541864 13953220608 49608 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912505617692 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 13626192
[startup+1.50098 s]
/proc/loadavg: 1.85 2.00 1.99 3/566 29722
/proc/meminfo: memFree=20781972/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13627352 CPUtime=2.31 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 121618 0 1 0 214 17 0 0 25 0 19 0 828541863 13954408448 116520 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406838 116521 2229 9 0 3397572 0
[pid=29698/tid=29699] ppid=29696 vsize=13627352 CPUtime=1.48 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 112437 0 1 0 133 15 0 0 19 0 19 0 828541864 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912505859322 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29698/tid=29701] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29701/stat : 29701 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29702] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29702/stat : 29702 (java) S 29696 29698 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29703] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29703/stat : 29703 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29704] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29704/stat : 29704 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29705] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29705/stat : 29705 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828541867 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828541867 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.43 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) R 29696 29698 29102 0 -1 4202560 5133 0 0 0 43 0 0 0 15 0 19 0 828541869 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 47736452921075 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.37 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) R 29696 29698 29102 0 -1 4202560 2893 0 0 0 37 0 0 0 15 0 19 0 828541869 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 47736457431008 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29716] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29716/stat : 29716 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828541869 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 13627352
[startup+3.1007 s]
/proc/loadavg: 1.86 2.00 1.99 4/586 29758
/proc/meminfo: memFree=20613460/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13627352 CPUtime=4.22 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 122675 0 1 0 404 18 0 0 25 0 19 0 828541863 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406838 116780 2235 9 0 3397572 0
[pid=29698/tid=29699] ppid=29696 vsize=13627352 CPUtime=3.08 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 112648 0 1 0 293 15 0 0 18 0 19 0 828541864 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912506041990 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29698/tid=29701] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29701/stat : 29701 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29702] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29702/stat : 29702 (java) S 29696 29698 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29703] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29703/stat : 29703 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29704] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29704/stat : 29704 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29705] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29705/stat : 29705 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 828541867 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828541867 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828541867 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.58 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) S 29696 29698 29102 0 -1 4202560 5950 0 0 0 58 0 0 0 15 0 19 0 828541869 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.52 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) S 29696 29698 29102 0 -1 4202560 2914 0 0 0 52 0 0 0 15 0 19 0 828541869 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29716] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29716/stat : 29716 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828541869 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29729] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29729/stat : 29729 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828542013 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 13627352
[startup+6.3011 s]
/proc/loadavg: 1.86 2.00 1.99 4/587 29850
/proc/meminfo: memFree=20405696/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13627352 CPUtime=7.61 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 134562 0 1 0 741 20 0 0 25 0 19 0 828541863 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406838 128370 2263 9 0 3397572 0
[pid=29698/tid=29699] ppid=29696 vsize=13627352 CPUtime=6.17 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 112782 0 1 0 601 16 0 0 19 0 19 0 828541864 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912505902896 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29698/tid=29701] ppid=29696 vsize=13627352 CPUtime=0.02 cores=0,2,4,6
/proc/29698/task/29701/stat : 29701 (java) S 29696 29698 29102 0 -1 4202560 1948 0 0 0 2 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29702] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29702/stat : 29702 (java) S 29696 29698 29102 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29703] ppid=29696 vsize=13627352 CPUtime=0.01 cores=0,2,4,6
/proc/29698/task/29703/stat : 29703 (java) S 29696 29698 29102 0 -1 4202560 1134 0 0 0 1 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29704] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29704/stat : 29704 (java) S 29696 29698 29102 0 -1 4202560 495 0 0 0 0 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29705/stat : 29705 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0.02 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 2303 0 0 0 2 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=0.07 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 5867 0 0 0 7 0 0 0 15 0 19 0 828541867 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.62 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) S 29696 29698 29102 0 -1 4202560 5950 0 0 0 62 0 0 0 16 0 19 0 828541869 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.6 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) S 29696 29698 29102 0 -1 4202560 2927 0 0 0 60 0 0 0 16 0 19 0 828541869 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0.29 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1321 0 0 0 29 0 0 0 16 0 19 0 828541866 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0.19 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 443 0 0 0 19 0 0 0 15 0 19 0 828541866 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0.24 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 3393 0 0 0 24 0 0 0 16 0 19 0 828541866 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=7.77 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 18221 0 0 0 774 3 0 0 15 0 19 0 828541867 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.7 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) S 29696 29698 29102 0 -1 4202560 5956 0 0 0 70 0 0 0 15 0 19 0 828541869 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.61 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) S 29696 29698 29102 0 -1 4202560 2927 0 0 0 61 0 0 0 15 0 19 0 828541869 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29716] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29716/stat : 29716 (java) S 29696 29698 29102 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 828541869 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29729] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29729/stat : 29729 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828542013 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.65
Current children cumulated vsize (KiB) 13627352
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/587 30863
/proc/meminfo: memFree=20370744/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13627352 CPUtime=1724.67 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 152251 0 1 0 172443 24 0 0 25 0 19 0 828541863 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406838 145793 2264 9 0 3397572 0
[pid=29698/tid=29699] ppid=29696 vsize=13627352 CPUtime=1713.73 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 112859 0 1 0 171357 16 0 0 25 0 19 0 828541864 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912505996021 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29698/tid=29701] ppid=29696 vsize=13627352 CPUtime=0.16 cores=0,2,4,6
/proc/29698/task/29701/stat : 29701 (java) S 29696 29698 29102 0 -1 4202560 2041 0 0 0 16 0 0 0 15 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29702] ppid=29696 vsize=13627352 CPUtime=0.2 cores=0,2,4,6
/proc/29698/task/29702/stat : 29702 (java) S 29696 29698 29102 0 -1 4202560 384 0 0 0 20 0 0 0 16 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29703] ppid=29696 vsize=13627352 CPUtime=0.19 cores=0,2,4,6
/proc/29698/task/29703/stat : 29703 (java) S 29696 29698 29102 0 -1 4202560 2106 0 0 0 19 0 0 0 15 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29704] ppid=29696 vsize=13627352 CPUtime=0.18 cores=0,2,4,6
/proc/29698/task/29704/stat : 29704 (java) S 29696 29698 29102 0 -1 4202560 1174 0 0 0 18 0 0 0 15 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29705] ppid=29696 vsize=13627352 CPUtime=0.17 cores=0,2,4,6
/proc/29698/task/29705/stat : 29705 (java) S 29696 29698 29102 0 -1 4202560 31 0 0 0 17 0 0 0 15 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0.3 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1322 0 0 0 30 0 0 0 16 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0.2 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 443 0 0 0 20 0 0 0 16 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0.24 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 3393 0 0 0 24 0 0 0 16 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=7.88 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 18367 0 0 0 785 3 0 0 15 0 19 0 828541867 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.7 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) S 29696 29698 29102 0 -1 4202560 5956 0 0 0 70 0 0 0 15 0 19 0 828541869 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.61 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) S 29696 29698 29102 0 -1 4202560 2927 0 0 0 61 0 0 0 15 0 19 0 828541869 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29716] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29716/stat : 29716 (java) S 29696 29698 29102 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 828541869 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29729] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29729/stat : 29729 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828542013 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.67
Current children cumulated vsize (KiB) 13627352
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 30864
/proc/meminfo: memFree=20365648/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13627352 CPUtime=1784.72 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 153418 0 1 0 178448 24 0 0 25 0 19 0 828541863 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406838 146950 2264 9 0 3397572 0
[pid=29698/tid=29699] ppid=29696 vsize=13627352 CPUtime=1773.48 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 112861 0 1 0 177332 16 0 0 25 0 19 0 828541864 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912505846847 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29698/tid=29701] ppid=29696 vsize=13627352 CPUtime=0.17 cores=0,2,4,6
/proc/29698/task/29701/stat : 29701 (java) S 29696 29698 29102 0 -1 4202560 2041 0 0 0 17 0 0 0 16 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29702] ppid=29696 vsize=13627352 CPUtime=0.2 cores=0,2,4,6
/proc/29698/task/29702/stat : 29702 (java) S 29696 29698 29102 0 -1 4202560 384 0 0 0 20 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29703] ppid=29696 vsize=13627352 CPUtime=0.19 cores=0,2,4,6
/proc/29698/task/29703/stat : 29703 (java) S 29696 29698 29102 0 -1 4202560 2106 0 0 0 19 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29704] ppid=29696 vsize=13627352 CPUtime=0.18 cores=0,2,4,6
/proc/29698/task/29704/stat : 29704 (java) S 29696 29698 29102 0 -1 4202560 1174 0 0 0 18 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29705] ppid=29696 vsize=13627352 CPUtime=0.18 cores=0,2,4,6
/proc/29698/task/29705/stat : 29705 (java) S 29696 29698 29102 0 -1 4202560 105 0 0 0 18 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0.32 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1454 0 0 0 32 0 0 0 16 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0.2 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 443 0 0 0 20 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0.26 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 3455 0 0 0 26 0 0 0 16 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=8.11 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 19260 0 0 0 808 3 0 0 15 0 19 0 828541867 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.7 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) S 29696 29698 29102 0 -1 4202560 5956 0 0 0 70 0 0 0 15 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.61 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) S 29696 29698 29102 0 -1 4202560 2927 0 0 0 61 0 0 0 15 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29716] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29716/stat : 29716 (java) S 29696 29698 29102 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29729] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29729/stat : 29729 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828542013 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.72
Current children cumulated vsize (KiB) 13627352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 30865
/proc/meminfo: memFree=20365520/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13627352 CPUtime=1800.04 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 153418 0 1 0 179980 24 0 0 25 0 19 0 828541863 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406838 146950 2264 9 0 3397572 0
[pid=29698/tid=29699] ppid=29696 vsize=13627352 CPUtime=1788.8 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 112861 0 1 0 178864 16 0 0 25 0 19 0 828541864 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912506014094 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29698/tid=29701] ppid=29696 vsize=13627352 CPUtime=0.17 cores=0,2,4,6
/proc/29698/task/29701/stat : 29701 (java) S 29696 29698 29102 0 -1 4202560 2041 0 0 0 17 0 0 0 16 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29702] ppid=29696 vsize=13627352 CPUtime=0.2 cores=0,2,4,6
/proc/29698/task/29702/stat : 29702 (java) S 29696 29698 29102 0 -1 4202560 384 0 0 0 20 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29703] ppid=29696 vsize=13627352 CPUtime=0.19 cores=0,2,4,6
/proc/29698/task/29703/stat : 29703 (java) S 29696 29698 29102 0 -1 4202560 2106 0 0 0 19 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29704] ppid=29696 vsize=13627352 CPUtime=0.18 cores=0,2,4,6
/proc/29698/task/29704/stat : 29704 (java) S 29696 29698 29102 0 -1 4202560 1174 0 0 0 18 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29705] ppid=29696 vsize=13627352 CPUtime=0.18 cores=0,2,4,6
/proc/29698/task/29705/stat : 29705 (java) S 29696 29698 29102 0 -1 4202560 105 0 0 0 18 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0.32 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1454 0 0 0 32 0 0 0 16 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0.2 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 443 0 0 0 20 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0.26 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 3455 0 0 0 26 0 0 0 16 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=8.11 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 19260 0 0 0 808 3 0 0 15 0 19 0 828541867 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.7 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) S 29696 29698 29102 0 -1 4202560 5956 0 0 0 70 0 0 0 15 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.61 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) S 29696 29698 29102 0 -1 4202560 2927 0 0 0 61 0 0 0 15 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29716] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29716/stat : 29716 (java) S 29696 29698 29102 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29729] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29729/stat : 29729 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828542013 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13627352
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.68
CPU time (s): 1800.16
CPU user time (s): 1799.89
CPU system time (s): 0.268959
CPU usage (%): 100.138
Max. virtual memory (cumulated for all children) (KiB): 13631844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.268959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153448
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= 38673
involuntary context switches= 31264
runsolver used 10.6474 second user time and 22.1686 second system time
The end