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-3459163-1307134157/watcher-3459163-1307134157 -o /tmp/evaluation-result-3459163-1307134157/solver-3459163-1307134157 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459163-1307134157.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.12 2.91 3.43 2/404 1747
/proc/meminfo: memFree=23688392/32951124 swapFree=49244120/67111528
[pid=1747] ppid=1745 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1747/stat : 1747 (java) R 1745 1747 31984 0 -1 4202496 676 0 0 0 0 0 0 0 25 0 1 0 825018422 23580672 420 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218365994752 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1747/statm: 5757 433 328 9 0 124 0
[pid=1747/tid=1748] ppid=1745 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1748/stat : 1748 (java) R 1745 1747 31984 0 -1 4202560 4238 0 1 0 0 0 0 0 25 0 2 0 825018422 13850947584 5054 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.023995 s]
/proc/loadavg: 2.12 2.91 3.43 2/404 1747
/proc/meminfo: memFree=23688392/32951124 swapFree=49244120/67111528
[pid=1747] ppid=1745 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/1747/stat : 1747 (java) S 1745 1747 31984 0 -1 4202496 11652 0 1 0 0 1 0 0 25 0 2 0 825018422 13850947584 11354 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/1747/statm: 3381579 11371 917 9 0 3372735 0
[pid=1747/tid=1748] ppid=1745 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/1747/task/1748/stat : 1748 (java) R 1745 1747 31984 0 -1 4202560 10565 0 1 0 0 1 0 0 25 0 2 0 825018422 13850947584 11381 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316
[startup+0.100942 s]
/proc/loadavg: 2.12 2.91 3.43 2/404 1747
/proc/meminfo: memFree=23688392/32951124 swapFree=49244120/67111528
[pid=1747] ppid=1745 vsize=13621496 CPUtime=0.11 cores=1,3,5,7
/proc/1747/stat : 1747 (java) S 1745 1747 31984 0 -1 4202496 15551 0 1 0 9 2 0 0 25 0 18 0 825018422 13948411904 15210 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1747/statm: 3405374 15211 2093 9 0 3396108 0
[pid=1747/tid=1748] ppid=1745 vsize=13621496 CPUtime=0.08 cores=1,3,5,7
/proc/1747/task/1748/stat : 1748 (java) R 1745 1747 31984 0 -1 4202560 13601 0 1 0 7 1 0 0 18 0 18 0 825018422 13948411904 15211 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621496
[startup+0.300916 s]
/proc/loadavg: 2.12 2.91 3.43 2/404 1747
/proc/meminfo: memFree=23688392/32951124 swapFree=49244120/67111528
[pid=1747] ppid=1745 vsize=13625788 CPUtime=0.54 cores=1,3,5,7
/proc/1747/stat : 1747 (java) S 1745 1747 31984 0 -1 4202496 18575 0 1 0 52 2 0 0 25 0 19 0 825018422 13952806912 17184 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1747/statm: 3406447 17184 2215 9 0 3397181 0
[pid=1747/tid=1748] ppid=1745 vsize=13625788 CPUtime=0.28 cores=1,3,5,7
/proc/1747/task/1748/stat : 1748 (java) R 1745 1747 31984 0 -1 4202560 14221 0 1 0 27 1 0 0 19 0 19 0 825018422 13952806912 17184 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 46912505226426 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13625788
[startup+0.700836 s]
/proc/loadavg: 2.12 2.91 3.43 2/404 1747
/proc/meminfo: memFree=23688392/32951124 swapFree=49244120/67111528
[pid=1747] ppid=1745 vsize=13625788 CPUtime=1.16 cores=1,3,5,7
/proc/1747/stat : 1747 (java) S 1745 1747 31984 0 -1 4202496 24787 0 1 0 113 3 0 0 25 0 19 0 825018422 13952806912 21087 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1747/statm: 3406447 21087 2247 9 0 3397181 0
[pid=1747/tid=1748] ppid=1745 vsize=13625788 CPUtime=0.65 cores=1,3,5,7
/proc/1747/task/1748/stat : 1748 (java) R 1745 1747 31984 0 -1 4202560 14413 0 1 0 64 1 0 0 17 0 19 0 825018422 13952806912 21087 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 46912505570018 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 13625788
[startup+1.5007 s]
/proc/loadavg: 2.12 2.91 3.43 3/423 1766
/proc/meminfo: memFree=23611264/32951124 swapFree=49244120/67111528
[pid=1747] ppid=1745 vsize=13625788 CPUtime=1.99 cores=1,3,5,7
/proc/1747/stat : 1747 (java) S 1745 1747 31984 0 -1 4202496 25053 0 1 0 196 3 0 0 25 0 19 0 825018422 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1747/statm: 3406447 21351 2248 9 0 3397181 0
[pid=1747/tid=1748] ppid=1745 vsize=13625788 CPUtime=1.42 cores=1,3,5,7
/proc/1747/task/1748/stat : 1748 (java) R 1745 1747 31984 0 -1 4202560 14413 0 1 0 141 1 0 0 18 0 19 0 825018422 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 46912505574272 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1747/tid=1750] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1750/stat : 1750 (java) S 1745 1747 31984 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1751] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1751/stat : 1751 (java) S 1745 1747 31984 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1752] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1752/stat : 1752 (java) S 1745 1747 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1753] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1753/stat : 1753 (java) S 1745 1747 31984 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1754] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1754/stat : 1754 (java) S 1745 1747 31984 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1755] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1755/stat : 1755 (java) S 1745 1747 31984 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1756] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1756/stat : 1756 (java) S 1745 1747 31984 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1757] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1757/stat : 1757 (java) S 1745 1747 31984 0 -1 4202560 84 0 0 0 0 0 0 0 16 0 19 0 825018424 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1758] ppid=1745 vsize=13625788 CPUtime=0.05 cores=1,3,5,7
/proc/1747/task/1758/stat : 1758 (java) S 1745 1747 31984 0 -1 4202560 416 0 0 0 5 0 0 0 15 0 19 0 825018425 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773760 0 0 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1759] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1759/stat : 1759 (java) S 1745 1747 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825018426 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1760] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1760/stat : 1760 (java) S 1745 1747 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825018426 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1761] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1761/stat : 1761 (java) S 1745 1747 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825018428 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382780849 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1762] ppid=1745 vsize=13625788 CPUtime=0.17 cores=1,3,5,7
/proc/1747/task/1762/stat : 1762 (java) S 1745 1747 31984 0 -1 4202560 1844 0 0 0 17 0 0 0 16 0 19 0 825018428 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1763] ppid=1745 vsize=13625788 CPUtime=0.3 cores=1,3,5,7
/proc/1747/task/1763/stat : 1763 (java) S 1745 1747 31984 0 -1 4202560 6640 0 0 0 29 1 0 0 15 0 19 0 825018428 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=1747/tid=1764] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1764/stat : 1764 (java) S 1745 1747 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825018428 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1765] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1765/stat : 1765 (java) S 1745 1747 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825018428 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1766] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1766/stat : 1766 (java) S 1745 1747 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825018438 13952806912 21351 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 13625788
[startup+3.10141 s]
/proc/loadavg: 2.12 2.91 3.43 3/423 1766
/proc/meminfo: memFree=23609280/32951124 swapFree=49244120/67111528
[pid=1747] ppid=1745 vsize=13625788 CPUtime=3.59 cores=1,3,5,7
/proc/1747/stat : 1747 (java) S 1745 1747 31984 0 -1 4202496 25275 0 1 0 356 3 0 0 25 0 19 0 825018422 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1747/statm: 3406447 21569 2248 9 0 3397181 0
[pid=1747/tid=1748] ppid=1745 vsize=13625788 CPUtime=2.96 cores=1,3,5,7
/proc/1747/task/1748/stat : 1748 (java) R 1745 1747 31984 0 -1 4202560 14417 0 1 0 295 1 0 0 19 0 19 0 825018422 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 46912505614661 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1747/tid=1750] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1750/stat : 1750 (java) S 1745 1747 31984 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1751] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1751/stat : 1751 (java) S 1745 1747 31984 0 -1 4202560 14 0 0 0 0 0 0 0 16 0 19 0 825018424 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1752] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1752/stat : 1752 (java) S 1745 1747 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1753] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1753/stat : 1753 (java) S 1745 1747 31984 0 -1 4202560 213 0 0 0 0 0 0 0 16 0 19 0 825018424 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1754] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1754/stat : 1754 (java) S 1745 1747 31984 0 -1 4202560 76 0 0 0 0 0 0 0 16 0 19 0 825018424 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1755] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1755/stat : 1755 (java) S 1745 1747 31984 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1756] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1756/stat : 1756 (java) S 1745 1747 31984 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1757] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1757/stat : 1757 (java) S 1745 1747 31984 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1758] ppid=1745 vsize=13625788 CPUtime=0.1 cores=1,3,5,7
/proc/1747/task/1758/stat : 1758 (java) S 1745 1747 31984 0 -1 4202560 623 0 0 0 10 0 0 0 15 0 19 0 825018425 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773760 0 0 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1759] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1759/stat : 1759 (java) S 1745 1747 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825018426 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1760] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1760/stat : 1760 (java) S 1745 1747 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825018426 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1761] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1761/stat : 1761 (java) S 1745 1747 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825018428 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382780849 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1762] ppid=1745 vsize=13625788 CPUtime=0.17 cores=1,3,5,7
/proc/1747/task/1762/stat : 1762 (java) S 1745 1747 31984 0 -1 4202560 1844 0 0 0 17 0 0 0 16 0 19 0 825018428 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1763] ppid=1745 vsize=13625788 CPUtime=0.3 cores=1,3,5,7
/proc/1747/task/1763/stat : 1763 (java) S 1745 1747 31984 0 -1 4202560 6640 0 0 0 29 1 0 0 15 0 19 0 825018428 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=1747/tid=1764] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1764/stat : 1764 (java) S 1745 1747 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825018428 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1765] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1765/stat : 1765 (java) S 1745 1747 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825018428 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1766] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1766/stat : 1766 (java) S 1745 1747 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825018438 13952806912 21569 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 13625788
[startup+6.30084 s]
/proc/loadavg: 2.11 2.90 3.42 3/423 1766
/proc/meminfo: memFree=23608784/32951124 swapFree=49244120/67111528
[pid=1747] ppid=1745 vsize=13625788 CPUtime=6.8 cores=1,3,5,7
/proc/1747/stat : 1747 (java) S 1745 1747 31984 0 -1 4202496 25333 0 1 0 677 3 0 0 25 0 19 0 825018422 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1747/statm: 3406447 21450 2248 9 0 3397181 0
[pid=1747/tid=1748] ppid=1745 vsize=13625788 CPUtime=6.01 cores=1,3,5,7
/proc/1747/task/1748/stat : 1748 (java) R 1745 1747 31984 0 -1 4202560 14427 0 1 0 600 1 0 0 19 0 19 0 825018422 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 46912505569732 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1747/tid=1750] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1750/stat : 1750 (java) S 1745 1747 31984 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1751] ppid=1745 vsize=13625788 CPUtime=0.01 cores=1,3,5,7
/proc/1747/task/1751/stat : 1751 (java) S 1745 1747 31984 0 -1 4202560 14 0 0 0 1 0 0 0 15 0 19 0 825018424 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=1747/tid=1752] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1752/stat : 1752 (java) S 1745 1747 31984 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=1747/tid=1753] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1753/stat : 1753 (java) S 1745 1747 31984 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1754] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1754/stat : 1754 (java) S 1745 1747 31984 0 -1 4202560 77 0 0 0 0 0 0 0 16 0 19 0 825018424 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1755] ppid=1745 vsize=13625788 CPUtime=0.01 cores=1,3,5,7
/proc/1747/task/1755/stat : 1755 (java) S 1745 1747 31984 0 -1 4202560 86 0 0 0 1 0 0 0 15 0 19 0 825018424 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1756] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1756/stat : 1756 (java) S 1745 1747 31984 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1757] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1757/stat : 1757 (java) S 1745 1747 31984 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 825018424 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1758] ppid=1745 vsize=13625788 CPUtime=0.23 cores=1,3,5,7
/proc/1747/task/1758/stat : 1758 (java) S 1745 1747 31984 0 -1 4202560 662 0 0 0 23 0 0 0 15 0 19 0 825018425 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773760 0 0 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1759] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1759/stat : 1759 (java) S 1745 1747 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825018426 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1760] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1760/stat : 1760 (java) S 1745 1747 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825018426 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1761] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1761/stat : 1761 (java) S 1745 1747 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825018428 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382780849 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1762] ppid=1745 vsize=13625788 CPUtime=0.17 cores=1,3,5,7
/proc/1747/task/1762/stat : 1762 (java) S 1745 1747 31984 0 -1 4202560 1844 0 0 0 17 0 0 0 16 0 19 0 825018428 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1763] ppid=1745 vsize=13625788 CPUtime=0.31 cores=1,3,5,7
/proc/1747/task/1763/stat : 1763 (java) S 1745 1747 31984 0 -1 4202560 6640 0 0 0 30 1 0 0 15 0 19 0 825018428 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=1747/tid=1764] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1764/stat : 1764 (java) S 1745 1747 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825018428 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1765] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1765/stat : 1765 (java) S 1745 1747 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825018428 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1766] ppid=1745 vsize=13625788 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1766/stat : 1766 (java) S 1745 1747 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825018438 13952806912 21450 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 13625788
Solver just ended. Dumping a history of the last processes samples
[startup+6.70078 s]
/proc/loadavg: 2.11 2.90 3.42 4/423 1766
/proc/meminfo: memFree=23608932/32951124 swapFree=49244120/67111528
[pid=1747] ppid=1745 vsize=13644292 CPUtime=7.37 cores=1,3,5,7
/proc/1747/stat : 1747 (java) S 1745 1747 31984 0 -1 4202496 30620 0 1 0 733 4 0 0 25 0 17 0 825018422 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1747/statm: 3411073 25057 2254 9 0 3401807 0
[pid=1747/tid=1748] ppid=1745 vsize=13644292 CPUtime=6.32 cores=1,3,5,7
/proc/1747/task/1748/stat : 1748 (java) S 1745 1747 31984 0 -1 4202560 14431 0 1 0 631 1 0 0 17 0 17 0 825018422 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1750] ppid=1745 vsize=13644292 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1750/stat : 1750 (java) S 1745 1747 31984 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 17 0 825018424 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1751] ppid=1745 vsize=13644292 CPUtime=0.01 cores=1,3,5,7
/proc/1747/task/1751/stat : 1751 (java) S 1745 1747 31984 0 -1 4202560 14 0 0 0 1 0 0 0 15 0 17 0 825018424 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=1747/tid=1752] ppid=1745 vsize=13644292 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1752/stat : 1752 (java) S 1745 1747 31984 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 17 0 825018424 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=1747/tid=1753] ppid=1745 vsize=13644292 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1753/stat : 1753 (java) S 1745 1747 31984 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 17 0 825018424 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1754] ppid=1745 vsize=13644292 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1754/stat : 1754 (java) S 1745 1747 31984 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 17 0 825018424 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1755] ppid=1745 vsize=13644292 CPUtime=0.01 cores=1,3,5,7
/proc/1747/task/1755/stat : 1755 (java) S 1745 1747 31984 0 -1 4202560 86 0 0 0 1 0 0 0 15 0 17 0 825018424 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=1747/tid=1756] ppid=1745 vsize=13644292 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1756/stat : 1756 (java) S 1745 1747 31984 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 17 0 825018424 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1757] ppid=1745 vsize=13644292 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1757/stat : 1757 (java) S 1745 1747 31984 0 -1 4202560 86 0 0 0 0 0 0 0 16 0 17 0 825018424 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1758] ppid=1745 vsize=13644292 CPUtime=0.24 cores=1,3,5,7
/proc/1747/task/1758/stat : 1758 (java) S 1745 1747 31984 0 -1 4202560 663 0 0 0 24 0 0 0 15 0 17 0 825018425 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773760 0 0 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1759] ppid=1745 vsize=13644292 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1759/stat : 1759 (java) S 1745 1747 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 17 0 825018426 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1760] ppid=1745 vsize=13644292 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1760/stat : 1760 (java) S 1745 1747 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 17 0 825018426 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=1747/tid=1762] ppid=1745 vsize=13644292 CPUtime=0.38 cores=1,3,5,7
/proc/1747/task/1762/stat : 1762 (java) R 1745 1747 31984 0 -1 4202560 7082 0 0 0 38 0 0 0 16 0 17 0 825018428 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 47836871257412 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1747/tid=1763] ppid=1745 vsize=13644292 CPUtime=0.33 cores=1,3,5,7
/proc/1747/task/1763/stat : 1763 (java) S 1745 1747 31984 0 -1 4202560 6664 0 0 0 32 1 0 0 16 0 17 0 825018428 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=1747/tid=1764] ppid=1745 vsize=13644292 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1764/stat : 1764 (java) S 1745 1747 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 825018428 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=1747/tid=1766] ppid=1745 vsize=13644292 CPUtime=0 cores=1,3,5,7
/proc/1747/task/1766/stat : 1766 (java) S 1745 1747 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 17 0 825018438 13971755008 25057 33554432000 1073741824 1073778376 140736736409088 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 13644292
Child status: 20
Real time (s): 6.76629
CPU time (s): 7.44787
CPU user time (s): 7.39787
CPU system time (s): 0.049992
CPU usage (%): 110.073
Max. virtual memory (cumulated for all children) (KiB): 13644292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.39787
system time used= 0.049992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31019
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= 798
involuntary context switches= 461
runsolver used 0.030995 second user time and 0.068989 second system time
The end