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-3459109-1307134061/watcher-3459109-1307134061 -o /tmp/evaluation-result-3459109-1307134061/solver-3459109-1307134061 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459109-1307134061.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 3.20 3.57 2/404 1101
/proc/meminfo: memFree=23690448/32951124 swapFree=49244120/67111528
[pid=1101] ppid=1099 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1101/stat : 1101 (java) R 1099 1101 31984 0 -1 4202496 853 0 0 0 0 0 0 0 25 0 1 0 825008879 23580672 596 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218365994773 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1101/statm: 5757 608 450 9 0 124 0
[pid=1101/tid=1102] ppid=1099 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1102/stat : 1102 (java) R 1099 1101 31984 0 -1 4202560 4255 0 1 0 0 0 0 0 25 0 2 0 825008879 13850947584 5071 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.095102 s]
/proc/loadavg: 2.19 3.20 3.57 2/404 1101
/proc/meminfo: memFree=23690448/32951124 swapFree=49244120/67111528
[pid=1101] ppid=1099 vsize=13621888 CPUtime=0.09 cores=1,3,5,7
/proc/1101/stat : 1101 (java) S 1099 1101 31984 0 -1 4202496 15447 0 1 0 8 1 0 0 25 0 18 0 825008879 13948813312 15142 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1101/statm: 3405472 15142 2092 9 0 3396206 0
[pid=1101/tid=1102] ppid=1099 vsize=13621888 CPUtime=0.07 cores=1,3,5,7
/proc/1101/task/1102/stat : 1102 (java) R 1099 1101 31984 0 -1 4202560 13527 0 1 0 6 1 0 0 22 0 18 0 825008879 13948813312 15142 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 47020547527308 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621888
[startup+0.101099 s]
/proc/loadavg: 2.19 3.20 3.57 2/404 1101
/proc/meminfo: memFree=23690448/32951124 swapFree=49244120/67111528
[pid=1101] ppid=1099 vsize=13621888 CPUtime=0.1 cores=1,3,5,7
/proc/1101/stat : 1101 (java) S 1099 1101 31984 0 -1 4202496 15542 0 1 0 9 1 0 0 25 0 18 0 825008879 13948813312 15237 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1101/statm: 3405472 15237 2092 9 0 3396206 0
[pid=1101/tid=1102] ppid=1099 vsize=13621888 CPUtime=0.08 cores=1,3,5,7
/proc/1101/task/1102/stat : 1102 (java) R 1099 1101 31984 0 -1 4202560 13622 0 1 0 7 1 0 0 22 0 18 0 825008879 13948813312 15237 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 47020548371753 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) 13621888
[startup+0.301113 s]
/proc/loadavg: 2.19 3.20 3.57 2/404 1101
/proc/meminfo: memFree=23690448/32951124 swapFree=49244120/67111528
[pid=1101] ppid=1099 vsize=13625808 CPUtime=0.55 cores=1,3,5,7
/proc/1101/stat : 1101 (java) S 1099 1101 31984 0 -1 4202496 18687 0 1 0 53 2 0 0 25 0 19 0 825008879 13952827392 17402 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1101/statm: 3406452 17402 2214 9 0 3397186 0
[pid=1101/tid=1102] ppid=1099 vsize=13625808 CPUtime=0.28 cores=1,3,5,7
/proc/1101/task/1102/stat : 1102 (java) R 1099 1101 31984 0 -1 4202560 14232 0 1 0 27 1 0 0 23 0 19 0 825008879 13952827392 17402 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 46912505164128 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13625808
[startup+0.701031 s]
/proc/loadavg: 2.19 3.20 3.57 2/404 1101
/proc/meminfo: memFree=23690448/32951124 swapFree=49244120/67111528
[pid=1101] ppid=1099 vsize=13625380 CPUtime=1.03 cores=1,3,5,7
/proc/1101/stat : 1101 (java) S 1099 1101 31984 0 -1 4202496 19404 0 1 0 101 2 0 0 25 0 19 0 825008879 13952389120 18013 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1101/statm: 3406345 18013 2246 9 0 3397079 0
[pid=1101/tid=1102] ppid=1099 vsize=13625380 CPUtime=0.67 cores=1,3,5,7
/proc/1101/task/1102/stat : 1102 (java) R 1099 1101 31984 0 -1 4202560 14448 0 1 0 65 2 0 0 18 0 19 0 825008879 13952389120 18013 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 46912505612711 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 13625380
[startup+1.50089 s]
/proc/loadavg: 2.19 3.20 3.57 3/423 1120
/proc/meminfo: memFree=23624896/32951124 swapFree=49244120/67111528
[pid=1101] ppid=1099 vsize=13625380 CPUtime=1.86 cores=1,3,5,7
/proc/1101/stat : 1101 (java) S 1099 1101 31984 0 -1 4202496 19925 0 1 0 184 2 0 0 25 0 19 0 825008879 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1101/statm: 3406345 18531 2247 9 0 3397079 0
[pid=1101/tid=1102] ppid=1099 vsize=13625380 CPUtime=1.43 cores=1,3,5,7
/proc/1101/task/1102/stat : 1102 (java) R 1099 1101 31984 0 -1 4202560 14450 0 1 0 141 2 0 0 18 0 19 0 825008879 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 46912505540392 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 31984 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 31984 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 31984 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 3 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 31984 0 -1 4202560 135 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 31984 0 -1 4202560 177 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1111] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1111/stat : 1111 (java) S 1099 1101 31984 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1112] ppid=1099 vsize=13625380 CPUtime=0.05 cores=1,3,5,7
/proc/1101/task/1112/stat : 1112 (java) S 1099 1101 31984 0 -1 4202560 414 0 0 0 5 0 0 0 15 0 19 0 825008882 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773760 0 0 0 16800975 18446604462129187008 0 0 -1 3 0 0 0
[pid=1101/tid=1113] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1113/stat : 1113 (java) S 1099 1101 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825008883 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 5 0 0 0
[pid=1101/tid=1114] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1114/stat : 1114 (java) S 1099 1101 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825008883 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 3 0 0 0
[pid=1101/tid=1115] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1115/stat : 1115 (java) S 1099 1101 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825008885 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382780849 0 4 0 16800975 18446604462129187008 0 0 -1 5 0 0 0
[pid=1101/tid=1116] ppid=1099 vsize=13625380 CPUtime=0.17 cores=1,3,5,7
/proc/1101/task/1116/stat : 1116 (java) S 1099 1101 31984 0 -1 4202560 1500 0 0 0 17 0 0 0 15 0 19 0 825008885 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 1 0 0 0
[pid=1101/tid=1117] ppid=1099 vsize=13625380 CPUtime=0.19 cores=1,3,5,7
/proc/1101/task/1117/stat : 1117 (java) S 1099 1101 31984 0 -1 4202560 1893 0 0 0 19 0 0 0 15 0 19 0 825008885 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 5 0 0 0
[pid=1101/tid=1118] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1118/stat : 1118 (java) S 1099 1101 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825008885 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 5 0 0 0
[pid=1101/tid=1119] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1119/stat : 1119 (java) S 1099 1101 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825008885 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773760 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1120] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1120/stat : 1120 (java) S 1099 1101 31984 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 825008896 13952389120 18531 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773760 0 4 0 16800975 18446604462129187008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 13625380
[startup+3.1006 s]
/proc/loadavg: 2.19 3.20 3.57 3/423 1120
/proc/meminfo: memFree=23622916/32951124 swapFree=49244120/67111528
[pid=1101] ppid=1099 vsize=13625380 CPUtime=3.47 cores=1,3,5,7
/proc/1101/stat : 1101 (java) S 1099 1101 31984 0 -1 4202496 20165 0 1 0 345 2 0 0 25 0 19 0 825008879 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1101/statm: 3406345 18767 2247 9 0 3397079 0
[pid=1101/tid=1102] ppid=1099 vsize=13625380 CPUtime=2.96 cores=1,3,5,7
/proc/1101/task/1102/stat : 1102 (java) R 1099 1101 31984 0 -1 4202560 14454 0 1 0 294 2 0 0 20 0 19 0 825008879 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 46912505576148 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 31984 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 31984 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 31984 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 31984 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 31984 0 -1 4202560 135 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 31984 0 -1 4202560 177 0 0 0 0 0 0 0 16 0 19 0 825008881 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1111] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1111/stat : 1111 (java) S 1099 1101 31984 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1112] ppid=1099 vsize=13625380 CPUtime=0.1 cores=1,3,5,7
/proc/1101/task/1112/stat : 1112 (java) S 1099 1101 31984 0 -1 4202560 627 0 0 0 10 0 0 0 16 0 19 0 825008882 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773760 0 0 0 16800975 18446604462129187008 0 0 -1 3 0 0 0
[pid=1101/tid=1113] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1113/stat : 1113 (java) S 1099 1101 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825008883 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 5 0 0 0
[pid=1101/tid=1114] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1114/stat : 1114 (java) S 1099 1101 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825008883 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 3 0 0 0
[pid=1101/tid=1115] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1115/stat : 1115 (java) S 1099 1101 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825008885 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382780849 0 4 0 16800975 18446604462129187008 0 0 -1 5 0 0 0
[pid=1101/tid=1116] ppid=1099 vsize=13625380 CPUtime=0.17 cores=1,3,5,7
/proc/1101/task/1116/stat : 1116 (java) S 1099 1101 31984 0 -1 4202560 1500 0 0 0 17 0 0 0 15 0 19 0 825008885 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 1 0 0 0
[pid=1101/tid=1117] ppid=1099 vsize=13625380 CPUtime=0.2 cores=1,3,5,7
/proc/1101/task/1117/stat : 1117 (java) S 1099 1101 31984 0 -1 4202560 1893 0 0 0 20 0 0 0 15 0 19 0 825008885 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 5 0 0 0
[pid=1101/tid=1118] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1118/stat : 1118 (java) S 1099 1101 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825008885 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 5 0 0 0
[pid=1101/tid=1119] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1119/stat : 1119 (java) S 1099 1101 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825008885 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773760 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1120] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1120/stat : 1120 (java) S 1099 1101 31984 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 825008896 13952389120 18767 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773760 0 4 0 16800975 18446604462129187008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 13625380
Solver just ended. Dumping a history of the last processes samples
[startup+3.20159 s]
/proc/loadavg: 2.19 3.20 3.57 3/423 1120
/proc/meminfo: memFree=23622420/32951124 swapFree=49244120/67111528
[pid=1101] ppid=1099 vsize=13625380 CPUtime=3.57 cores=1,3,5,7
/proc/1101/stat : 1101 (java) S 1099 1101 31984 0 -1 4202496 20167 0 1 0 355 2 0 0 25 0 19 0 825008879 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1101/statm: 3406345 18768 2247 9 0 3397079 0
[pid=1101/tid=1102] ppid=1099 vsize=13625380 CPUtime=3.06 cores=1,3,5,7
/proc/1101/task/1102/stat : 1102 (java) R 1099 1101 31984 0 -1 4202560 14455 0 1 0 304 2 0 0 20 0 19 0 825008879 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 46912505612772 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 31984 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 31984 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 825008881 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 31984 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 31984 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 31984 0 -1 4202560 135 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 31984 0 -1 4202560 178 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1111] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1111/stat : 1111 (java) S 1099 1101 31984 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 825008881 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1112] ppid=1099 vsize=13625380 CPUtime=0.12 cores=1,3,5,7
/proc/1101/task/1112/stat : 1112 (java) S 1099 1101 31984 0 -1 4202560 627 0 0 0 12 0 0 0 16 0 19 0 825008882 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773760 0 0 0 16800975 18446604462129187008 0 0 -1 3 0 0 0
[pid=1101/tid=1113] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1113/stat : 1113 (java) S 1099 1101 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825008883 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 5 0 0 0
[pid=1101/tid=1114] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1114/stat : 1114 (java) S 1099 1101 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825008883 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 3 0 0 0
[pid=1101/tid=1115] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1115/stat : 1115 (java) S 1099 1101 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825008885 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382780849 0 4 0 16800975 18446604462129187008 0 0 -1 5 0 0 0
[pid=1101/tid=1116] ppid=1099 vsize=13625380 CPUtime=0.17 cores=1,3,5,7
/proc/1101/task/1116/stat : 1116 (java) S 1099 1101 31984 0 -1 4202560 1500 0 0 0 17 0 0 0 15 0 19 0 825008885 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 1 0 0 0
[pid=1101/tid=1117] ppid=1099 vsize=13625380 CPUtime=0.2 cores=1,3,5,7
/proc/1101/task/1117/stat : 1117 (java) S 1099 1101 31984 0 -1 4202560 1893 0 0 0 20 0 0 0 15 0 19 0 825008885 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 5 0 0 0
[pid=1101/tid=1118] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1118/stat : 1118 (java) S 1099 1101 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825008885 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773145 0 4 0 16800975 18446604462129187008 0 0 -1 5 0 0 0
[pid=1101/tid=1119] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1119/stat : 1119 (java) S 1099 1101 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825008885 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773760 0 4 0 16800975 18446604462129187008 0 0 -1 7 0 0 0
[pid=1101/tid=1120] ppid=1099 vsize=13625380 CPUtime=0 cores=1,3,5,7
/proc/1101/task/1120/stat : 1120 (java) S 1099 1101 31984 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 825008896 13952389120 18768 33554432000 1073741824 1073778376 140735970301280 18446744073709551615 218382773760 0 4 0 16800975 18446604462129187008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 13625380
Child status: 20
Real time (s): 3.30331
CPU time (s): 3.70844
CPU user time (s): 3.67744
CPU system time (s): 0.030995
CPU usage (%): 112.264
Max. virtual memory (cumulated for all children) (KiB): 13625808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.67744
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20235
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= 472
involuntary context switches= 129
runsolver used 0.013997 second user time and 0.042993 second system time
The end