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-3459296-1307634119/watcher-3459296-1307634119 -o /tmp/evaluation-result-3459296-1307634119/solver-3459296-1307634119 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459296-1307634119.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.02 1.89 1.22 3/195 26818
/proc/meminfo: memFree=32126856/32951124 swapFree=67050780/67111528
[pid=26818] ppid=26816 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/26818/stat : 26818 (java) S 26816 26818 26276 0 -1 4202496 1168 0 0 0 0 0 0 0 25 0 2 0 875014747 27824128 897 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/26818/statm: 6793 903 685 9 0 381 0
[pid=26818/tid=26819] ppid=26816 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26819/stat : 26819 (java) S 26816 26818 26276 0 -1 4202560 64 0 0 0 0 0 0 0 25 0 2 0 875014748 27824128 906 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218366033543 0 2147483391 4096 0 18446744071699199166 0 0 -1 2 0 0 0
[startup+0.0697219 s]
/proc/loadavg: 2.02 1.89 1.22 3/195 26818
/proc/meminfo: memFree=32126856/32951124 swapFree=67050780/67111528
[pid=26818] ppid=26816 vsize=13554952 CPUtime=0.05 cores=0,2,4,6
/proc/26818/stat : 26818 (java) S 26816 26818 26276 0 -1 4202496 14282 0 1 0 4 1 0 0 25 0 18 0 875014747 13880270848 13979 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26818/statm: 3388738 13980 1742 9 0 3379472 0
[pid=26818/tid=26819] ppid=26816 vsize=13554952 CPUtime=0.05 cores=0,2,4,6
/proc/26818/task/26819/stat : 26819 (java) R 26816 26818 26276 0 -1 4202560 13110 0 1 0 4 1 0 0 25 0 18 0 875014748 13880270848 13980 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382783947 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554952
[startup+0.100732 s]
/proc/loadavg: 2.02 1.89 1.22 3/195 26818
/proc/meminfo: memFree=32126856/32951124 swapFree=67050780/67111528
[pid=26818] ppid=26816 vsize=13622308 CPUtime=0.1 cores=0,2,4,6
/proc/26818/stat : 26818 (java) S 26816 26818 26276 0 -1 4202496 15610 0 1 0 9 1 0 0 25 0 18 0 875014747 13949243392 15271 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26818/statm: 3405577 15273 2093 9 0 3396311 0
[pid=26818/tid=26819] ppid=26816 vsize=13622308 CPUtime=0.08 cores=0,2,4,6
/proc/26818/task/26819/stat : 26819 (java) R 26816 26818 26276 0 -1 4202560 13657 0 1 0 7 1 0 0 25 0 18 0 875014748 13949243392 15276 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 46912496197400 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) 13622308
[startup+0.300713 s]
/proc/loadavg: 2.02 1.89 1.22 3/195 26818
/proc/meminfo: memFree=32126856/32951124 swapFree=67050780/67111528
[pid=26818] ppid=26816 vsize=13625084 CPUtime=0.48 cores=0,2,4,6
/proc/26818/stat : 26818 (java) S 26816 26818 26276 0 -1 4202496 18436 0 1 0 46 2 0 0 25 0 18 0 875014747 13952086016 17976 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26818/statm: 3406271 17977 2200 9 0 3397005 0
[pid=26818/tid=26819] ppid=26816 vsize=13625084 CPUtime=0.28 cores=0,2,4,6
/proc/26818/task/26819/stat : 26819 (java) R 26816 26818 26276 0 -1 4202560 15607 0 1 0 27 1 0 0 18 0 18 0 875014748 13952086016 17977 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 46912505540717 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13625084
[startup+0.700647 s]
/proc/loadavg: 2.02 1.89 1.22 3/195 26818
/proc/meminfo: memFree=32126856/32951124 swapFree=67050780/67111528
[pid=26818] ppid=26816 vsize=13627496 CPUtime=1.17 cores=0,2,4,6
/proc/26818/stat : 26818 (java) S 26816 26818 26276 0 -1 4202496 57738 0 1 0 111 6 0 0 25 0 18 0 875014747 13954555904 55704 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26818/statm: 3406874 55709 2214 9 0 3397608 0
[pid=26818/tid=26819] ppid=26816 vsize=13627496 CPUtime=0.68 cores=0,2,4,6
/proc/26818/task/26819/stat : 26819 (java) R 26816 26818 26276 0 -1 4202560 51877 0 1 0 63 5 0 0 18 0 18 0 875014748 13954555904 55711 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 46912505576580 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13627496
[startup+1.50149 s]
/proc/loadavg: 2.02 1.89 1.22 3/213 26836
/proc/meminfo: memFree=31774336/32951124 swapFree=67050780/67111528
[pid=26818] ppid=26816 vsize=13627496 CPUtime=1.97 cores=0,2,4,6
/proc/26818/stat : 26818 (java) S 26816 26818 26276 0 -1 4202496 149164 0 1 0 181 16 0 0 25 0 18 0 875014747 13954555904 147130 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26818/statm: 3406874 147135 2214 9 0 3397608 0
[pid=26818/tid=26819] ppid=26816 vsize=13627496 CPUtime=1.48 cores=0,2,4,6
/proc/26818/task/26819/stat : 26819 (java) R 26816 26818 26276 0 -1 4202560 143303 0 1 0 133 15 0 0 19 0 18 0 875014748 13954555904 147137 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 46912505609818 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26818/tid=26821] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26821/stat : 26821 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 147140 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26822] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26822/stat : 26822 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 147143 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26823] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26823/stat : 26823 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 147146 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26824] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26824/stat : 26824 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 147149 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26825] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26825/stat : 26825 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 147152 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26826] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26826/stat : 26826 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 147155 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26827] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26827/stat : 26827 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 147157 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26828] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26828/stat : 26828 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 147160 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26829] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26829/stat : 26829 (java) S 26816 26818 26276 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 875014751 13954555904 147163 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773760 0 0 0 16800975 18446604453946874944 0 0 -1 4 0 0 0
[pid=26818/tid=26830] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26830/stat : 26830 (java) S 26816 26818 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875014751 13954555904 147166 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26831] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26831/stat : 26831 (java) S 26816 26818 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875014751 13954555904 147169 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26832] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26832/stat : 26832 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014753 13954555904 147171 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382780849 0 4 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26833] ppid=26816 vsize=13627496 CPUtime=0.24 cores=0,2,4,6
/proc/26818/task/26833/stat : 26833 (java) S 26816 26818 26276 0 -1 4202560 2673 0 0 0 24 0 0 0 16 0 18 0 875014753 13954555904 147174 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26834] ppid=26816 vsize=13627496 CPUtime=0.23 cores=0,2,4,6
/proc/26818/task/26834/stat : 26834 (java) S 26816 26818 26276 0 -1 4202560 2045 0 0 0 23 0 0 0 16 0 18 0 875014753 13954555904 147177 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 4 0 0 0
[pid=26818/tid=26835] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26835/stat : 26835 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014753 13954555904 147180 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26836] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26836/stat : 26836 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 875014753 13954555904 147183 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773760 0 4 0 16800975 18446604453946874944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 13627496
Solver just ended. Dumping a history of the last processes samples
[startup+1.90143 s]
/proc/loadavg: 2.02 1.89 1.22 3/213 26836
/proc/meminfo: memFree=31774336/32951124 swapFree=67050780/67111528
[pid=26818] ppid=26816 vsize=13627496 CPUtime=2.37 cores=0,2,4,6
/proc/26818/stat : 26818 (java) S 26816 26818 26276 0 -1 4202496 194722 0 1 0 215 22 0 0 25 0 18 0 875014747 13954555904 192688 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26818/statm: 3406874 192693 2214 9 0 3397608 0
[pid=26818/tid=26819] ppid=26816 vsize=13627496 CPUtime=1.88 cores=0,2,4,6
/proc/26818/task/26819/stat : 26819 (java) R 26816 26818 26276 0 -1 4202560 188862 0 1 0 167 21 0 0 20 0 18 0 875014748 13954555904 192696 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 46912505609818 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26818/tid=26821] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26821/stat : 26821 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 192699 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26822] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26822/stat : 26822 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 192701 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26823] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26823/stat : 26823 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 192704 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26824] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26824/stat : 26824 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 192707 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26825] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26825/stat : 26825 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 192710 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26826] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26826/stat : 26826 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 192713 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26827] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26827/stat : 26827 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 192716 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26828] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26828/stat : 26828 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014750 13954555904 192717 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26829] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26829/stat : 26829 (java) S 26816 26818 26276 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 875014751 13954555904 192718 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773760 0 0 0 16800975 18446604453946874944 0 0 -1 4 0 0 0
[pid=26818/tid=26830] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26830/stat : 26830 (java) S 26816 26818 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875014751 13954555904 192721 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26831] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26831/stat : 26831 (java) S 26816 26818 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875014751 13954555904 192724 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26832] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26832/stat : 26832 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014753 13954555904 192726 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382780849 0 4 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26833] ppid=26816 vsize=13627496 CPUtime=0.24 cores=0,2,4,6
/proc/26818/task/26833/stat : 26833 (java) S 26816 26818 26276 0 -1 4202560 2673 0 0 0 24 0 0 0 16 0 18 0 875014753 13954555904 192729 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26834] ppid=26816 vsize=13627496 CPUtime=0.23 cores=0,2,4,6
/proc/26818/task/26834/stat : 26834 (java) S 26816 26818 26276 0 -1 4202560 2045 0 0 0 23 0 0 0 16 0 18 0 875014753 13954555904 192732 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 4 0 0 0
[pid=26818/tid=26835] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26835/stat : 26835 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014753 13954555904 192735 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26836] ppid=26816 vsize=13627496 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26836/stat : 26836 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 875014753 13954555904 192737 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773760 0 4 0 16800975 18446604453946874944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 13627496
[startup+2.30135 s]
/proc/loadavg: 2.02 1.89 1.23 4/213 26836
/proc/meminfo: memFree=31283048/32951124 swapFree=67050780/67111528
[pid=26818] ppid=26816 vsize=13628680 CPUtime=3.11 cores=0,2,4,6
/proc/26818/stat : 26818 (java) S 26816 26818 26276 0 -1 4202496 222757 0 1 0 286 25 0 0 25 0 19 0 875014747 13955768320 219314 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26818/statm: 3407170 219314 2236 9 0 3397904 0
[pid=26818/tid=26819] ppid=26816 vsize=13628680 CPUtime=2.29 cores=0,2,4,6
/proc/26818/task/26819/stat : 26819 (java) R 26816 26818 26276 0 -1 4202560 215400 0 1 0 205 24 0 0 21 0 19 0 875014748 13955768320 219314 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 46912505846080 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26818/tid=26821] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26821/stat : 26821 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014750 13955768320 219314 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26822] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26822/stat : 26822 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014750 13955768320 219314 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26823] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26823/stat : 26823 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014750 13955768320 219314 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26824] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26824/stat : 26824 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014750 13955768320 219314 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26825] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26825/stat : 26825 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014750 13955768320 219314 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26826] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26826/stat : 26826 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014750 13955768320 219314 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26827] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26827/stat : 26827 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014750 13955768320 219314 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26828] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26828/stat : 26828 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014750 13955768320 219314 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26829] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26829/stat : 26829 (java) S 26816 26818 26276 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 875014751 13955768320 219314 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773760 0 0 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26830] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26830/stat : 26830 (java) S 26816 26818 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 875014751 13955768320 219315 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26831] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26831/stat : 26831 (java) S 26816 26818 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 875014751 13955768320 219315 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26832] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26832/stat : 26832 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014753 13955768320 219315 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382780849 0 4 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26833] ppid=26816 vsize=13628680 CPUtime=0.39 cores=0,2,4,6
/proc/26818/task/26833/stat : 26833 (java) S 26816 26818 26276 0 -1 4202560 3331 0 0 0 39 0 0 0 16 0 19 0 875014753 13955768320 219315 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 0 0 0 0
[pid=26818/tid=26834] ppid=26816 vsize=13628680 CPUtime=0.41 cores=0,2,4,6
/proc/26818/task/26834/stat : 26834 (java) S 26816 26818 26276 0 -1 4202560 2866 0 0 0 41 0 0 0 16 0 19 0 875014753 13955768320 219315 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 4 0 0 0
[pid=26818/tid=26835] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26835/stat : 26835 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014753 13955768320 219315 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773145 0 4 0 16800975 18446604453946874944 0 0 -1 2 0 0 0
[pid=26818/tid=26836] ppid=26816 vsize=13628680 CPUtime=0 cores=0,2,4,6
/proc/26818/task/26836/stat : 26836 (java) S 26816 26818 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 875014753 13955768320 219317 33554432000 1073741824 1073778376 140733792219376 18446744073709551615 218382773760 0 4 0 16800975 18446604453946874944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 13628680
Child status: 10
Real time (s): 2.39177
CPU time (s): 3.2495
CPU user time (s): 2.95855
CPU system time (s): 0.290955
CPU usage (%): 135.862
Max. virtual memory (cumulated for all children) (KiB): 13629212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.95855
system time used= 0.290955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223230
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= 307
involuntary context switches= 20
runsolver used 0.007998 second user time and 0.010998 second system time
The end