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-3459299-1307136115/watcher-3459299-1307136115 -o /tmp/evaluation-result-3459299-1307136115/solver-3459299-1307136115 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459299-1307136115.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: 2.01 2.05 2.16 3/464 18358
/proc/meminfo: memFree=31215012/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18358 12983 0 -1 4202496 1307 0 0 0 0 0 0 0 23 0 2 0 825210522 36646912 1009 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 8947 1009 775 9 0 386 0
[pid=18358/tid=18359] ppid=18356 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18358 12983 0 -1 4202560 3796 0 1 0 0 0 0 0 25 0 2 0 825210523 13850947584 4612 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0499429 s]
/proc/loadavg: 2.01 2.05 2.16 3/464 18358
/proc/meminfo: memFree=31215012/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18358 12983 0 -1 4202496 13786 0 1 0 2 1 0 0 23 0 13 0 825210522 13874667520 13483 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 3387370 13484 1675 9 0 3378118 0
[pid=18358/tid=18359] ppid=18356 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18358 12983 0 -1 4202560 12641 0 1 0 2 1 0 0 25 0 13 0 825210523 13874667520 13485 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 47944396740627 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.100936 s]
/proc/loadavg: 2.01 2.05 2.16 3/464 18358
/proc/meminfo: memFree=31215012/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=13622208 CPUtime=0.1 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18358 12983 0 -1 4202496 15504 0 1 0 9 1 0 0 23 0 18 0 825210522 13949140992 15181 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 3405552 15181 2093 9 0 3396286 0
[pid=18358/tid=18359] ppid=18356 vsize=13622208 CPUtime=0.08 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18358 12983 0 -1 4202560 13577 0 1 0 7 1 0 0 18 0 18 0 825210523 13949140992 15183 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 47944398838611 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622208
[startup+0.319193 s]
/proc/loadavg: 2.01 2.05 2.16 3/464 18358
/proc/meminfo: memFree=31215012/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=13624828 CPUtime=0.52 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18358 12983 0 -1 4202496 18851 0 1 0 50 2 0 0 23 0 18 0 825210522 13951823872 18231 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 3406207 18232 2202 9 0 3396941 0
[pid=18358/tid=18359] ppid=18356 vsize=13624828 CPUtime=0.3 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18358 12983 0 -1 4202560 15869 0 1 0 28 2 0 0 18 0 18 0 825210523 13951823872 18233 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13624828
[startup+0.700779 s]
/proc/loadavg: 2.01 2.05 2.16 3/464 18358
/proc/meminfo: memFree=31215012/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=13627840 CPUtime=1.18 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18358 12983 0 -1 4202496 56624 0 1 0 111 7 0 0 23 0 18 0 825210522 13954908160 54567 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 3406960 54571 2214 9 0 3397694 0
[pid=18358/tid=18359] ppid=18356 vsize=13627840 CPUtime=0.67 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18358 12983 0 -1 4202560 50579 0 1 0 61 6 0 0 18 0 18 0 825210523 13954908160 54573 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 46912505610692 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13627840
[startup+1.60462 s]
/proc/loadavg: 2.01 2.05 2.16 3/464 18358
/proc/meminfo: memFree=31215012/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=13627840 CPUtime=2.08 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18358 12983 0 -1 4202496 160171 0 1 0 190 18 0 0 23 0 18 0 825210522 13954908160 158114 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 3406960 158119 2214 9 0 3397694 0
[pid=18358/tid=18359] ppid=18356 vsize=13627840 CPUtime=1.58 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18358 12983 0 -1 4202560 154127 0 1 0 141 17 0 0 19 0 18 0 825210523 13954908160 158121 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 46912505575687 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 13627840
[startup+3.10148 s]
/proc/loadavg: 2.25 2.10 2.17 3/482 18376
/proc/meminfo: memFree=30009536/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=13627840 CPUtime=3.57 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18358 12983 0 -1 4202496 324829 0 1 0 320 37 0 0 23 0 18 0 825210522 13954908160 322771 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 3406960 322776 2214 9 0 3397694 0
[pid=18358/tid=18359] ppid=18356 vsize=13627840 CPUtime=3.08 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18358 12983 0 -1 4202560 318784 0 1 0 271 37 0 0 23 0 18 0 825210523 13954908160 322778 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 46912505595137 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18358/tid=18361] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13954908160 322781 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18362] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13954908160 322784 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18363] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13954908160 322787 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18364] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13954908160 322790 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18365] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13954908160 322793 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18366] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13954908160 322796 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18367] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13954908160 322799 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18368] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13954908160 322802 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18369] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) S 18356 18358 12983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 825210526 13954908160 322804 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606683136 0 0 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18370] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18358 12983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 825210527 13954908160 322807 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18371] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18358 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825210527 13954908160 322810 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18372] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210529 13954908160 322813 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606690225 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18373] ppid=18356 vsize=13627840 CPUtime=0.23 cores=0,2,4,6
/proc/18358/task/18373/stat : 18373 (java) S 18356 18358 12983 0 -1 4202560 2593 0 0 0 23 0 0 0 16 0 18 0 825210529 13954908160 322816 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18374] ppid=18356 vsize=13627840 CPUtime=0.26 cores=0,2,4,6
/proc/18358/task/18374/stat : 18374 (java) S 18356 18358 12983 0 -1 4202560 2309 0 0 0 26 0 0 0 18 0 18 0 825210529 13954908160 322819 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18375] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18375/stat : 18375 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210529 13954908160 322822 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18376] ppid=18356 vsize=13627840 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18376/stat : 18376 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 825210529 13954908160 322825 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606683136 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 13627840
[startup+6.31685 s]
/proc/loadavg: 2.23 2.09 2.17 3/482 18376
/proc/meminfo: memFree=28426188/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=13626288 CPUtime=6.8 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18358 12983 0 -1 4202496 715687 0 1 0 597 83 0 0 23 0 18 0 825210522 13953318912 713073 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 3406572 713079 2218 9 0 3397306 0
[pid=18358/tid=18359] ppid=18356 vsize=13626288 CPUtime=6.28 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18358 12983 0 -1 4202560 709637 0 1 0 546 82 0 0 25 0 18 0 825210523 13953318912 713081 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 46912505560219 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18358/tid=18361] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 713085 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18362] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 713089 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18363] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 713093 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18364] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 713096 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18365] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 713099 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18366] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 713103 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18367] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 713106 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18368] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 713108 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18369] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) S 18356 18358 12983 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 825210526 13953318912 713109 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606683136 0 0 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18370] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18358 12983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 825210527 13953318912 713113 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18371] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18358 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825210527 13953318912 713116 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18372] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210529 13953318912 713120 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606690225 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18373] ppid=18356 vsize=13626288 CPUtime=0.23 cores=0,2,4,6
/proc/18358/task/18373/stat : 18373 (java) S 18356 18358 12983 0 -1 4202560 2593 0 0 0 23 0 0 0 16 0 18 0 825210529 13953318912 713123 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18374] ppid=18356 vsize=13626288 CPUtime=0.27 cores=0,2,4,6
/proc/18358/task/18374/stat : 18374 (java) S 18356 18358 12983 0 -1 4202560 2314 0 0 0 27 0 0 0 15 0 18 0 825210529 13953318912 713126 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18375] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18375/stat : 18375 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210529 13953318912 713130 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18376] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18376/stat : 18376 (java) S 18356 18358 12983 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 825210529 13953318912 713133 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606683136 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 13626288
Solver just ended. Dumping a history of the last processes samples
[startup+7.10077 s]
/proc/loadavg: 2.23 2.09 2.17 3/482 18376
/proc/meminfo: memFree=28426188/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=13626288 CPUtime=7.6 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18358 12983 0 -1 4202496 823840 0 1 0 665 95 0 0 23 0 18 0 825210522 13953318912 821225 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 3406572 821231 2218 9 0 3397306 0
[pid=18358/tid=18359] ppid=18356 vsize=13626288 CPUtime=7.07 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18358 12983 0 -1 4202560 817788 0 1 0 613 94 0 0 25 0 18 0 825210523 13953318912 821234 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 46912505594992 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18358/tid=18361] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 821238 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18362] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 821242 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18363] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 821245 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18364] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 821249 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18365] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 821252 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18366] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 821256 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18367] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 821259 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18368] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210525 13953318912 821263 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18369] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) S 18356 18358 12983 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 825210526 13953318912 821266 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606683136 0 0 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18370] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18358 12983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 825210527 13953318912 821270 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18371] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18358 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825210527 13953318912 821273 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18372] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210529 13953318912 821277 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606690225 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18373] ppid=18356 vsize=13626288 CPUtime=0.23 cores=0,2,4,6
/proc/18358/task/18373/stat : 18373 (java) S 18356 18358 12983 0 -1 4202560 2593 0 0 0 23 0 0 0 16 0 18 0 825210529 13953318912 821280 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18374] ppid=18356 vsize=13626288 CPUtime=0.28 cores=0,2,4,6
/proc/18358/task/18374/stat : 18374 (java) S 18356 18358 12983 0 -1 4202560 2316 0 0 0 28 0 0 0 15 0 18 0 825210529 13953318912 821284 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18375] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18375/stat : 18375 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210529 13953318912 821288 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18376] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18376/stat : 18376 (java) S 18356 18358 12983 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 825210529 13953318912 821291 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606683136 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 13626288
[startup+10.3012 s]
/proc/loadavg: 2.23 2.09 2.17 3/482 18376
/proc/meminfo: memFree=27704292/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=13626288 CPUtime=11.21 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18358 12983 0 -1 4202496 880669 0 1 0 1017 104 0 0 23 0 18 0 825210522 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 3406572 878045 2232 9 0 3397306 0
[pid=18358/tid=18359] ppid=18356 vsize=13626288 CPUtime=10.13 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18358 12983 0 -1 4202560 845495 0 1 0 914 99 0 0 25 0 18 0 825210523 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 46912505504196 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18358/tid=18361] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825210525 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18362] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825210525 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18363] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18358 12983 0 -1 4202560 185 0 0 0 0 0 0 0 18 0 18 0 825210525 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18364] ppid=18356 vsize=13626288 CPUtime=0.02 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18358 12983 0 -1 4202560 1355 0 0 0 2 0 0 0 18 0 18 0 825210525 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18365] ppid=18356 vsize=13626288 CPUtime=0.09 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18358 12983 0 -1 4202560 6131 0 0 0 9 0 0 0 18 0 18 0 825210525 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18366] ppid=18356 vsize=13626288 CPUtime=0.14 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18358 12983 0 -1 4202560 7776 0 0 0 13 1 0 0 18 0 18 0 825210525 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 4 0 0 0
[pid=18358/tid=18367] ppid=18356 vsize=13626288 CPUtime=0.13 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18358 12983 0 -1 4202560 7399 0 0 0 13 0 0 0 18 0 18 0 825210525 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18368] ppid=18356 vsize=13626288 CPUtime=0.12 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) S 18356 18358 12983 0 -1 4202560 6265 0 0 0 12 0 0 0 18 0 18 0 825210525 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 4 0 0 0
[pid=18358/tid=18369] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) S 18356 18358 12983 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 825210526 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606683136 0 0 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18370] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18358 12983 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 825210527 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18371] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18358 12983 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 825210527 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18372] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210529 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606690225 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18373] ppid=18356 vsize=13626288 CPUtime=0.23 cores=0,2,4,6
/proc/18358/task/18373/stat : 18373 (java) S 18356 18358 12983 0 -1 4202560 2593 0 0 0 23 0 0 0 16 0 18 0 825210529 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18374] ppid=18356 vsize=13626288 CPUtime=0.28 cores=0,2,4,6
/proc/18358/task/18374/stat : 18374 (java) S 18356 18358 12983 0 -1 4202560 2316 0 0 0 28 0 0 0 15 0 18 0 825210529 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18375] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18375/stat : 18375 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210529 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18376] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18376/stat : 18376 (java) S 18356 18358 12983 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 825210529 13953318912 878045 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606683136 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.21
Current children cumulated vsize (KiB) 13626288
[startup+11.1011 s]
/proc/loadavg: 2.21 2.09 2.17 3/482 18376
/proc/meminfo: memFree=27704416/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=13626288 CPUtime=12.03 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18358 12983 0 -1 4202496 880678 0 1 0 1099 104 0 0 23 0 18 0 825210522 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 3406572 877854 2232 9 0 3397306 0
[pid=18358/tid=18359] ppid=18356 vsize=13626288 CPUtime=10.93 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18358 12983 0 -1 4202560 845495 0 1 0 993 100 0 0 25 0 18 0 825210523 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 46912505512661 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18358/tid=18361] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825210525 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18362] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825210525 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18363] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18358 12983 0 -1 4202560 185 0 0 0 0 0 0 0 18 0 18 0 825210525 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18364] ppid=18356 vsize=13626288 CPUtime=0.02 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18358 12983 0 -1 4202560 1355 0 0 0 2 0 0 0 18 0 18 0 825210525 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18365] ppid=18356 vsize=13626288 CPUtime=0.09 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18358 12983 0 -1 4202560 6131 0 0 0 9 0 0 0 18 0 18 0 825210525 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18366] ppid=18356 vsize=13626288 CPUtime=0.14 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18358 12983 0 -1 4202560 7776 0 0 0 13 1 0 0 18 0 18 0 825210525 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 4 0 0 0
[pid=18358/tid=18367] ppid=18356 vsize=13626288 CPUtime=0.13 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18358 12983 0 -1 4202560 7399 0 0 0 13 0 0 0 18 0 18 0 825210525 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18368] ppid=18356 vsize=13626288 CPUtime=0.12 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) S 18356 18358 12983 0 -1 4202560 6265 0 0 0 12 0 0 0 18 0 18 0 825210525 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 4 0 0 0
[pid=18358/tid=18369] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) S 18356 18358 12983 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 825210526 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606683136 0 0 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18370] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18358 12983 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 825210527 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18371] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18358 12983 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 825210527 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18372] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210529 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606690225 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18373] ppid=18356 vsize=13626288 CPUtime=0.24 cores=0,2,4,6
/proc/18358/task/18373/stat : 18373 (java) S 18356 18358 12983 0 -1 4202560 2598 0 0 0 24 0 0 0 15 0 18 0 825210529 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18374] ppid=18356 vsize=13626288 CPUtime=0.3 cores=0,2,4,6
/proc/18358/task/18374/stat : 18374 (java) S 18356 18358 12983 0 -1 4202560 2320 0 0 0 30 0 0 0 15 0 18 0 825210529 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18375] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18375/stat : 18375 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210529 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18376] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18376/stat : 18376 (java) S 18356 18358 12983 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 825210529 13953318912 877854 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606683136 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 13626288
[startup+11.5009 s]
/proc/loadavg: 2.21 2.09 2.17 3/482 18376
/proc/meminfo: memFree=27704416/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=13626288 CPUtime=12.55 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18358 12983 0 -1 4202496 881133 0 1 0 1151 104 0 0 23 0 18 0 825210522 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 3406572 878059 2240 9 0 3397306 0
[pid=18358/tid=18359] ppid=18356 vsize=13626288 CPUtime=11.33 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18358 12983 0 -1 4202560 845516 0 1 0 1033 100 0 0 25 0 18 0 825210523 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 46912505610908 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18358/tid=18361] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825210525 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18362] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825210525 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18363] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18358 12983 0 -1 4202560 185 0 0 0 0 0 0 0 18 0 18 0 825210525 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18364] ppid=18356 vsize=13626288 CPUtime=0.02 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18358 12983 0 -1 4202560 1355 0 0 0 2 0 0 0 18 0 18 0 825210525 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18365] ppid=18356 vsize=13626288 CPUtime=0.09 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18358 12983 0 -1 4202560 6131 0 0 0 9 0 0 0 18 0 18 0 825210525 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18366] ppid=18356 vsize=13626288 CPUtime=0.14 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18358 12983 0 -1 4202560 7776 0 0 0 13 1 0 0 18 0 18 0 825210525 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 4 0 0 0
[pid=18358/tid=18367] ppid=18356 vsize=13626288 CPUtime=0.13 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18358 12983 0 -1 4202560 7399 0 0 0 13 0 0 0 18 0 18 0 825210525 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18368] ppid=18356 vsize=13626288 CPUtime=0.12 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) S 18356 18358 12983 0 -1 4202560 6265 0 0 0 12 0 0 0 18 0 18 0 825210525 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 4 0 0 0
[pid=18358/tid=18369] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) S 18356 18358 12983 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 18 0 825210526 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606683136 0 0 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18370] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18358 12983 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 825210527 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18371] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18358 12983 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 825210527 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 6 0 0 0
[pid=18358/tid=18372] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210529 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606690225 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18373] ppid=18356 vsize=13626288 CPUtime=0.3 cores=0,2,4,6
/proc/18358/task/18373/stat : 18373 (java) S 18356 18358 12983 0 -1 4202560 3002 0 0 0 30 0 0 0 15 0 18 0 825210529 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18374] ppid=18356 vsize=13626288 CPUtime=0.35 cores=0,2,4,6
/proc/18358/task/18374/stat : 18374 (java) S 18356 18358 12983 0 -1 4202560 2349 0 0 0 35 0 0 0 15 0 18 0 825210529 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 0 0 0 0
[pid=18358/tid=18375] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18375/stat : 18375 (java) S 18356 18358 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825210529 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606682521 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
[pid=18358/tid=18376] ppid=18356 vsize=13626288 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18376/stat : 18376 (java) S 18356 18358 12983 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 825210529 13953318912 878059 33554432000 1073741824 1073778376 140736304889632 18446744073709551615 235606683136 0 4 0 16800975 18446604448613395392 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 13626288
[startup+11.9009 s]
/proc/loadavg: 2.21 2.09 2.17 5/483 18377
/proc/meminfo: memFree=27700936/32950928 swapFree=34365992/67111528
[pid=18358] ppid=18356 vsize=0 CPUtime=13.26 cores=0,2,4,6
/proc/18358/stat : 18358 (java) Z 18356 18358 12983 0 -1 4203548 882603 0 1 0 1212 114 0 0 18 0 2 0 825210522 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18358/statm: 0 0 0 0 0 0 0
[pid=18358/tid=18377] ppid=18356 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/18358/task/18377/stat : 18377 (java) R 18356 18358 12983 0 -1 4203588 7 0 0 0 0 9 0 0 23 0 2 0 825211681 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.26
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 11.9316
CPU time (s): 13.305
CPU user time (s): 12.1272
CPU system time (s): 1.17782
CPU usage (%): 111.511
Max. virtual memory (cumulated for all children) (KiB): 13628720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1272
system time used= 1.17782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 882603
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= 595
involuntary context switches= 226
runsolver used 0.06099 second user time and 0.117982 second system time
The end