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-3459146-1307134132/watcher-3459146-1307134132 -o /tmp/evaluation-result-3459146-1307134132/solver-3459146-1307134132 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459146-1307134132.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.19 2.99 3.47 2/404 1608
/proc/meminfo: memFree=23688364/32951124 swapFree=49244120/67111528
[pid=1608] ppid=1606 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1608/stat : 1608 (java) R 1606 1608 31984 0 -1 4202496 807 0 0 0 0 0 0 0 25 0 1 0 825016009 23580672 551 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218365994752 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1608/statm: 5757 562 419 9 0 124 0
[pid=1608/tid=1609] ppid=1606 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1609/stat : 1609 (java) R 1606 1608 31984 0 -1 4202560 4333 0 1 0 0 0 0 0 25 0 2 0 825016009 13850947584 5149 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.095952 s]
/proc/loadavg: 2.19 2.99 3.47 2/404 1608
/proc/meminfo: memFree=23688364/32951124 swapFree=49244120/67111528
[pid=1608] ppid=1606 vsize=13621776 CPUtime=0.1 cores=1,3,5,7
/proc/1608/stat : 1608 (java) S 1606 1608 31984 0 -1 4202496 15454 0 1 0 8 2 0 0 25 0 18 0 825016009 13948698624 15136 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1608/statm: 3405444 15139 2091 9 0 3396178 0
[pid=1608/tid=1609] ppid=1606 vsize=13621776 CPUtime=0.08 cores=1,3,5,7
/proc/1608/task/1609/stat : 1609 (java) R 1606 1608 31984 0 -1 4202560 13533 0 1 0 6 2 0 0 18 0 18 0 825016009 13948698624 15141 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 47199771258885 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621776
[startup+0.100656 s]
/proc/loadavg: 2.19 2.99 3.47 2/404 1608
/proc/meminfo: memFree=23688364/32951124 swapFree=49244120/67111528
[pid=1608] ppid=1606 vsize=13621776 CPUtime=0.1 cores=1,3,5,7
/proc/1608/stat : 1608 (java) S 1606 1608 31984 0 -1 4202496 15513 0 1 0 8 2 0 0 25 0 18 0 825016009 13948698624 15195 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1608/statm: 3405444 15196 2092 9 0 3396178 0
[pid=1608/tid=1609] ppid=1606 vsize=13621776 CPUtime=0.09 cores=1,3,5,7
/proc/1608/task/1609/stat : 1609 (java) R 1606 1608 31984 0 -1 4202560 13588 0 1 0 7 2 0 0 18 0 18 0 825016009 13948698624 15198 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621776
[startup+0.300672 s]
/proc/loadavg: 2.19 2.99 3.47 2/404 1608
/proc/meminfo: memFree=23688364/32951124 swapFree=49244120/67111528
[pid=1608] ppid=1606 vsize=13625492 CPUtime=0.56 cores=1,3,5,7
/proc/1608/stat : 1608 (java) S 1606 1608 31984 0 -1 4202496 18758 0 1 0 53 3 0 0 25 0 19 0 825016009 13952503808 17444 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1608/statm: 3406373 17444 2214 9 0 3397107 0
[pid=1608/tid=1609] ppid=1606 vsize=13625492 CPUtime=0.29 cores=1,3,5,7
/proc/1608/task/1609/stat : 1609 (java) R 1606 1608 31984 0 -1 4202560 14201 0 1 0 27 2 0 0 19 0 19 0 825016009 13952503808 17444 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 47199775759187 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13625492
[startup+0.700552 s]
/proc/loadavg: 2.19 2.99 3.47 2/404 1608
/proc/meminfo: memFree=23688364/32951124 swapFree=49244120/67111528
[pid=1608] ppid=1606 vsize=13625808 CPUtime=1.04 cores=1,3,5,7
/proc/1608/stat : 1608 (java) S 1606 1608 31984 0 -1 4202496 19613 0 1 0 101 3 0 0 25 0 19 0 825016009 13952827392 18134 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1608/statm: 3406452 18134 2246 9 0 3397186 0
[pid=1608/tid=1609] ppid=1606 vsize=13625808 CPUtime=0.67 cores=1,3,5,7
/proc/1608/task/1609/stat : 1609 (java) R 1606 1608 31984 0 -1 4202560 14414 0 1 0 65 2 0 0 19 0 19 0 825016009 13952827392 18134 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 46912505527989 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13625808
[startup+1.50141 s]
/proc/loadavg: 2.19 2.99 3.47 3/423 1627
/proc/meminfo: memFree=23622188/32951124 swapFree=49244120/67111528
[pid=1608] ppid=1606 vsize=13625808 CPUtime=1.88 cores=1,3,5,7
/proc/1608/stat : 1608 (java) S 1606 1608 31984 0 -1 4202496 20221 0 1 0 185 3 0 0 25 0 19 0 825016009 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1608/statm: 3406452 18739 2247 9 0 3397186 0
[pid=1608/tid=1609] ppid=1606 vsize=13625808 CPUtime=1.43 cores=1,3,5,7
/proc/1608/task/1609/stat : 1609 (java) R 1606 1608 31984 0 -1 4202560 14416 0 1 0 141 2 0 0 20 0 19 0 825016009 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 46912505614608 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1608/tid=1611] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1611/stat : 1611 (java) S 1606 1608 31984 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1612] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1612/stat : 1612 (java) S 1606 1608 31984 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1613] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1613/stat : 1613 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1614] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1614/stat : 1614 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1615] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1615/stat : 1615 (java) S 1606 1608 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1616] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1616/stat : 1616 (java) S 1606 1608 31984 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1617] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1617/stat : 1617 (java) S 1606 1608 31984 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1618] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1618/stat : 1618 (java) S 1606 1608 31984 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1619] ppid=1606 vsize=13625808 CPUtime=0.05 cores=1,3,5,7
/proc/1608/task/1619/stat : 1619 (java) S 1606 1608 31984 0 -1 4202560 419 0 0 0 5 0 0 0 15 0 19 0 825016012 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773760 0 0 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1620] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1620/stat : 1620 (java) S 1606 1608 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825016013 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1621] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1621/stat : 1621 (java) S 1606 1608 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825016013 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1622] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1622/stat : 1622 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825016015 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382780849 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1623] ppid=1606 vsize=13625808 CPUtime=0.17 cores=1,3,5,7
/proc/1608/task/1623/stat : 1623 (java) S 1606 1608 31984 0 -1 4202560 1898 0 0 0 17 0 0 0 15 0 19 0 825016015 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1624] ppid=1606 vsize=13625808 CPUtime=0.2 cores=1,3,5,7
/proc/1608/task/1624/stat : 1624 (java) S 1606 1608 31984 0 -1 4202560 1794 0 0 0 20 0 0 0 15 0 19 0 825016015 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 5 0 0 0
[pid=1608/tid=1625] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1625/stat : 1625 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825016015 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1626] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1626/stat : 1626 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825016015 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773760 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1627] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1627/stat : 1627 (java) S 1606 1608 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825016026 13952827392 18739 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773760 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13625808
[startup+3.10112 s]
/proc/loadavg: 2.19 2.99 3.47 3/423 1627
/proc/meminfo: memFree=23620452/32951124 swapFree=49244120/67111528
[pid=1608] ppid=1606 vsize=13625808 CPUtime=3.48 cores=1,3,5,7
/proc/1608/stat : 1608 (java) S 1606 1608 31984 0 -1 4202496 20422 0 1 0 345 3 0 0 25 0 19 0 825016009 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1608/statm: 3406452 18936 2247 9 0 3397186 0
[pid=1608/tid=1609] ppid=1606 vsize=13625808 CPUtime=2.96 cores=1,3,5,7
/proc/1608/task/1609/stat : 1609 (java) R 1606 1608 31984 0 -1 4202560 14420 0 1 0 294 2 0 0 25 0 19 0 825016009 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 46912505528197 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1608/tid=1611] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1611/stat : 1611 (java) S 1606 1608 31984 0 -1 4202560 100 0 0 0 0 0 0 0 16 0 19 0 825016011 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1612] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1612/stat : 1612 (java) S 1606 1608 31984 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1613] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1613/stat : 1613 (java) S 1606 1608 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1614] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1614/stat : 1614 (java) S 1606 1608 31984 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 825016011 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1615] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1615/stat : 1615 (java) S 1606 1608 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1616] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1616/stat : 1616 (java) S 1606 1608 31984 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1617] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1617/stat : 1617 (java) S 1606 1608 31984 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1618] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1618/stat : 1618 (java) S 1606 1608 31984 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1619] ppid=1606 vsize=13625808 CPUtime=0.1 cores=1,3,5,7
/proc/1608/task/1619/stat : 1619 (java) S 1606 1608 31984 0 -1 4202560 606 0 0 0 10 0 0 0 15 0 19 0 825016012 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773760 0 0 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1620] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1620/stat : 1620 (java) S 1606 1608 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825016013 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1621] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1621/stat : 1621 (java) S 1606 1608 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825016013 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1622] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1622/stat : 1622 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825016015 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382780849 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1623] ppid=1606 vsize=13625808 CPUtime=0.17 cores=1,3,5,7
/proc/1608/task/1623/stat : 1623 (java) S 1606 1608 31984 0 -1 4202560 1898 0 0 0 17 0 0 0 15 0 19 0 825016015 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1624] ppid=1606 vsize=13625808 CPUtime=0.2 cores=1,3,5,7
/proc/1608/task/1624/stat : 1624 (java) S 1606 1608 31984 0 -1 4202560 1794 0 0 0 20 0 0 0 15 0 19 0 825016015 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 5 0 0 0
[pid=1608/tid=1625] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1625/stat : 1625 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825016015 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1626] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1626/stat : 1626 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825016015 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773760 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1627] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1627/stat : 1627 (java) S 1606 1608 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825016026 13952827392 18936 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773760 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 13625808
Solver just ended. Dumping a history of the last processes samples
[startup+3.50105 s]
/proc/loadavg: 2.17 2.98 3.46 8/423 1628
/proc/meminfo: memFree=23620084/32951124 swapFree=49244120/67111528
[pid=1608] ppid=1606 vsize=13625808 CPUtime=3.9 cores=1,3,5,7
/proc/1608/stat : 1608 (java) S 1606 1608 31984 0 -1 4202496 20427 0 1 0 387 3 0 0 25 0 19 0 825016009 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1608/statm: 3406452 18940 2247 9 0 3397186 0
[pid=1608/tid=1609] ppid=1606 vsize=13625808 CPUtime=3.33 cores=1,3,5,7
/proc/1608/task/1609/stat : 1609 (java) R 1606 1608 31984 0 -1 4202560 14423 0 1 0 331 2 0 0 25 0 19 0 825016009 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 46912505538261 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1608/tid=1611] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1611/stat : 1611 (java) S 1606 1608 31984 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 5 0 0 0
[pid=1608/tid=1612] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1612/stat : 1612 (java) S 1606 1608 31984 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 19 0 825016011 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1613] ppid=1606 vsize=13625808 CPUtime=0.01 cores=1,3,5,7
/proc/1608/task/1613/stat : 1613 (java) S 1606 1608 31984 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 19 0 825016011 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 5 0 0 0
[pid=1608/tid=1614] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1614/stat : 1614 (java) S 1606 1608 31984 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 825016011 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1615] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1615/stat : 1615 (java) S 1606 1608 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1616] ppid=1606 vsize=13625808 CPUtime=0.01 cores=1,3,5,7
/proc/1608/task/1616/stat : 1616 (java) S 1606 1608 31984 0 -1 4202560 158 0 0 0 1 0 0 0 15 0 19 0 825016011 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1617] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1617/stat : 1617 (java) S 1606 1608 31984 0 -1 4202560 151 0 0 0 0 0 0 0 16 0 19 0 825016011 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1618] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1618/stat : 1618 (java) S 1606 1608 31984 0 -1 4202560 87 0 0 0 0 0 0 0 16 0 19 0 825016011 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1619] ppid=1606 vsize=13625808 CPUtime=0.11 cores=1,3,5,7
/proc/1608/task/1619/stat : 1619 (java) S 1606 1608 31984 0 -1 4202560 606 0 0 0 11 0 0 0 15 0 19 0 825016012 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773760 0 0 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1620] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1620/stat : 1620 (java) S 1606 1608 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825016013 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1621] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1621/stat : 1621 (java) S 1606 1608 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825016013 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1622] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1622/stat : 1622 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825016015 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382780849 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1623] ppid=1606 vsize=13625808 CPUtime=0.17 cores=1,3,5,7
/proc/1608/task/1623/stat : 1623 (java) S 1606 1608 31984 0 -1 4202560 1898 0 0 0 17 0 0 0 15 0 19 0 825016015 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1624] ppid=1606 vsize=13625808 CPUtime=0.2 cores=1,3,5,7
/proc/1608/task/1624/stat : 1624 (java) S 1606 1608 31984 0 -1 4202560 1794 0 0 0 20 0 0 0 15 0 19 0 825016015 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 5 0 0 0
[pid=1608/tid=1625] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1625/stat : 1625 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825016015 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1626] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1626/stat : 1626 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825016015 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773760 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1627] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1627/stat : 1627 (java) S 1606 1608 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825016026 13952827392 18940 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773760 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 13625808
[startup+3.60103 s]
/proc/loadavg: 2.17 2.98 3.46 8/423 1628
/proc/meminfo: memFree=23620084/32951124 swapFree=49244120/67111528
[pid=1608] ppid=1606 vsize=13625808 CPUtime=4.05 cores=1,3,5,7
/proc/1608/stat : 1608 (java) S 1606 1608 31984 0 -1 4202496 20429 0 1 0 402 3 0 0 25 0 19 0 825016009 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1608/statm: 3406452 18942 2248 9 0 3397186 0
[pid=1608/tid=1609] ppid=1606 vsize=13625808 CPUtime=3.43 cores=1,3,5,7
/proc/1608/task/1609/stat : 1609 (java) R 1606 1608 31984 0 -1 4202560 14423 0 1 0 341 2 0 0 25 0 19 0 825016009 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 46912505191184 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1608/tid=1611] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1611/stat : 1611 (java) S 1606 1608 31984 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 5 0 0 0
[pid=1608/tid=1612] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1612/stat : 1612 (java) S 1606 1608 31984 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 19 0 825016011 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1613] ppid=1606 vsize=13625808 CPUtime=0.01 cores=1,3,5,7
/proc/1608/task/1613/stat : 1613 (java) S 1606 1608 31984 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 19 0 825016011 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 5 0 0 0
[pid=1608/tid=1614] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1614/stat : 1614 (java) S 1606 1608 31984 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 825016011 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1615] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1615/stat : 1615 (java) S 1606 1608 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825016011 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1616] ppid=1606 vsize=13625808 CPUtime=0.01 cores=1,3,5,7
/proc/1608/task/1616/stat : 1616 (java) S 1606 1608 31984 0 -1 4202560 158 0 0 0 1 0 0 0 15 0 19 0 825016011 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 7 0 0 0
[pid=1608/tid=1617] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1617/stat : 1617 (java) S 1606 1608 31984 0 -1 4202560 151 0 0 0 0 0 0 0 16 0 19 0 825016011 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1618] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1618/stat : 1618 (java) S 1606 1608 31984 0 -1 4202560 87 0 0 0 0 0 0 0 16 0 19 0 825016011 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1619] ppid=1606 vsize=13625808 CPUtime=0.11 cores=1,3,5,7
/proc/1608/task/1619/stat : 1619 (java) S 1606 1608 31984 0 -1 4202560 606 0 0 0 11 0 0 0 15 0 19 0 825016012 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773760 0 0 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1620] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1620/stat : 1620 (java) S 1606 1608 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825016013 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1621] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1621/stat : 1621 (java) S 1606 1608 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825016013 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1622] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1622/stat : 1622 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825016015 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382780849 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1623] ppid=1606 vsize=13625808 CPUtime=0.2 cores=1,3,5,7
/proc/1608/task/1623/stat : 1623 (java) R 1606 1608 31984 0 -1 4202560 1900 0 0 0 20 0 0 0 15 0 19 0 825016015 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 47199774970002 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1608/tid=1624] ppid=1606 vsize=13625808 CPUtime=0.21 cores=1,3,5,7
/proc/1608/task/1624/stat : 1624 (java) R 1606 1608 31984 0 -1 4202560 1794 0 0 0 21 0 0 0 16 0 19 0 825016015 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 47199770081736 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1608/tid=1625] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1625/stat : 1625 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825016015 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773145 0 4 0 16800975 18446604468773304320 0 0 -1 3 0 0 0
[pid=1608/tid=1626] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1626/stat : 1626 (java) S 1606 1608 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825016015 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773760 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
[pid=1608/tid=1627] ppid=1606 vsize=13625808 CPUtime=0 cores=1,3,5,7
/proc/1608/task/1627/stat : 1627 (java) S 1606 1608 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825016026 13952827392 18942 33554432000 1073741824 1073778376 140736055638448 18446744073709551615 218382773760 0 4 0 16800975 18446604468773304320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 13625808
Child status: 20
Real time (s): 3.67535
CPU time (s): 4.19136
CPU user time (s): 4.14737
CPU system time (s): 0.043993
CPU usage (%): 114.04
Max. virtual memory (cumulated for all children) (KiB): 13625808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.14737
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22515
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= 513
involuntary context switches= 535
runsolver used 0.021996 second user time and 0.035994 second system time
The end