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-3457381-1307658419/watcher-3457381-1307658419 -o /tmp/evaluation-result-3457381-1307658419/solver-3457381-1307658419 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457381-1307658419.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: 1.84 1.97 2.59 2/194 19225
/proc/meminfo: memFree=32019096/32950928 swapFree=67055156/67111528
[pid=19225] ppid=19223 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/19225/stat : 19225 (java) S 19223 19225 16958 0 -1 4202496 1240 0 0 0 0 0 0 0 25 0 2 0 877441811 31272960 959 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/19225/statm: 7635 959 732 9 0 386 0
[pid=19225/tid=19226] ppid=19223 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19226/stat : 19226 (java) S 19223 19225 16958 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 2 0 877441811 31268864 962 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248084774535 0 2147483391 0 16784584 18446744071699199166 0 0 -1 2 0 0 0
[startup+0.0758979 s]
/proc/loadavg: 1.84 1.97 2.59 2/194 19225
/proc/meminfo: memFree=32019096/32950928 swapFree=67055156/67111528
[pid=19225] ppid=19223 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/19225/stat : 19225 (java) S 19223 19225 16958 0 -1 4202496 11975 0 1 0 5 1 0 0 25 0 18 0 877441811 10724442112 11671 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19225/statm: 2618272 11672 1755 9 0 2609006 0
[pid=19225/tid=19226] ppid=19223 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/19225/task/19226/stat : 19226 (java) R 19223 19225 16958 0 -1 4202560 10802 0 1 0 5 1 0 0 25 0 18 0 877441811 10724442112 11672 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100873 s]
/proc/loadavg: 1.84 1.97 2.59 2/194 19225
/proc/meminfo: memFree=32019096/32950928 swapFree=67055156/67111528
[pid=19225] ppid=19223 vsize=10539664 CPUtime=0.1 cores=0,2,4,6
/proc/19225/stat : 19225 (java) S 19223 19225 16958 0 -1 4202496 13109 0 1 0 9 1 0 0 25 0 18 0 877441811 10792615936 12782 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19225/statm: 2634916 12782 2092 9 0 2625650 0
[pid=19225/tid=19226] ppid=19223 vsize=10539664 CPUtime=0.08 cores=0,2,4,6
/proc/19225/task/19226/stat : 19226 (java) R 19223 19225 16958 0 -1 4202560 11186 0 1 0 7 1 0 0 25 0 18 0 877441811 10792615936 12782 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 47243140351675 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) 10539664
[startup+0.307894 s]
/proc/loadavg: 1.84 1.97 2.59 2/194 19225
/proc/meminfo: memFree=32019096/32950928 swapFree=67055156/67111528
[pid=19225] ppid=19223 vsize=10545256 CPUtime=0.55 cores=0,2,4,6
/proc/19225/stat : 19225 (java) S 19223 19225 16958 0 -1 4202496 20560 0 1 0 52 3 0 0 25 0 18 0 877441811 10798342144 19214 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19225/statm: 2636314 19216 2200 9 0 2627048 0
[pid=19225/tid=19226] ppid=19223 vsize=10545256 CPUtime=0.29 cores=0,2,4,6
/proc/19225/task/19226/stat : 19226 (java) R 19223 19225 16958 0 -1 4202560 15428 0 1 0 27 2 0 0 18 0 18 0 877441811 10798342144 19217 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10545256
[startup+0.700881 s]
/proc/loadavg: 1.84 1.97 2.59 2/194 19225
/proc/meminfo: memFree=32019096/32950928 swapFree=67055156/67111528
[pid=19225] ppid=19223 vsize=10552364 CPUtime=1.21 cores=0,2,4,6
/proc/19225/stat : 19225 (java) S 19223 19225 16958 0 -1 4202496 49507 0 1 0 115 6 0 0 25 0 18 0 877441811 10805620736 46419 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19225/statm: 2638091 46419 2210 9 0 2628825 0
[pid=19225/tid=19226] ppid=19223 vsize=10552364 CPUtime=0.68 cores=0,2,4,6
/proc/19225/task/19226/stat : 19226 (java) R 19223 19225 16958 0 -1 4202560 40689 0 1 0 63 5 0 0 18 0 18 0 877441811 10805620736 46419 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 46912505720912 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 10552364
[startup+1.50068 s]
/proc/loadavg: 1.85 1.97 2.58 3/196 19244
/proc/meminfo: memFree=31755484/32950928 swapFree=67055156/67111528
[pid=19225] ppid=19223 vsize=10552364 CPUtime=2.05 cores=0,2,4,6
/proc/19225/stat : 19225 (java) S 19223 19225 16958 0 -1 4202496 106261 0 1 0 190 15 0 0 25 0 18 0 877441811 10805620736 103102 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19225/statm: 2638091 103105 2210 9 0 2628825 0
[pid=19225/tid=19226] ppid=19223 vsize=10552364 CPUtime=1.49 cores=0,2,4,6
/proc/19225/task/19226/stat : 19226 (java) R 19223 19225 16958 0 -1 4202560 97332 0 1 0 135 14 0 0 19 0 18 0 877441811 10805620736 103106 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 46912505560475 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 103108 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 103109 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 103111 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 103113 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 103115 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 103119 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19234] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19234/stat : 19234 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 103120 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19235] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19235/stat : 19235 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 103124 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19236] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19236/stat : 19236 (java) S 19223 19225 16958 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 877441814 10805620736 103125 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514752 0 0 0 16800975 18446604453817721152 0 0 -1 4 0 0 0
[pid=19225/tid=19237] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19237/stat : 19237 (java) S 19223 19225 16958 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877441815 10805620736 103126 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19238] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19238/stat : 19238 (java) S 19223 19225 16958 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877441815 10805620736 103128 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19239] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19239/stat : 19239 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441817 10805620736 103130 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101521841 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19240] ppid=19223 vsize=10552364 CPUtime=0.19 cores=0,2,4,6
/proc/19225/task/19240/stat : 19240 (java) S 19223 19225 16958 0 -1 4202560 1954 0 0 0 19 0 0 0 18 0 18 0 877441817 10805620736 103132 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 0 0 0 0
[pid=19225/tid=19241] ppid=19223 vsize=10552364 CPUtime=0.34 cores=0,2,4,6
/proc/19225/task/19241/stat : 19241 (java) S 19223 19225 16958 0 -1 4202560 5829 0 0 0 34 0 0 0 15 0 18 0 877441817 10805620736 103133 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 4 0 0 0
[pid=19225/tid=19242] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19242/stat : 19242 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441817 10805620736 103135 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19243] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19243/stat : 19243 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877441817 10805620736 103137 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514752 0 4 0 16800975 18446604453817721152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 10552364
Solver just ended. Dumping a history of the last processes samples
[startup+1.90067 s]
/proc/loadavg: 1.85 1.97 2.58 3/196 19244
/proc/meminfo: memFree=31755484/32950928 swapFree=67055156/67111528
[pid=19225] ppid=19223 vsize=10552364 CPUtime=2.44 cores=0,2,4,6
/proc/19225/stat : 19225 (java) S 19223 19225 16958 0 -1 4202496 135766 0 1 0 226 18 0 0 25 0 18 0 877441811 10805620736 132607 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19225/statm: 2638091 132610 2210 9 0 2628825 0
[pid=19225/tid=19226] ppid=19223 vsize=10552364 CPUtime=1.89 cores=0,2,4,6
/proc/19225/task/19226/stat : 19226 (java) R 19223 19225 16958 0 -1 4202560 126838 0 1 0 171 18 0 0 20 0 18 0 877441811 10805620736 132612 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 132614 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 132616 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 132618 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 132620 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 132622 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 132624 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19234] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19234/stat : 19234 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 132626 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19235] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19235/stat : 19235 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 132628 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19236] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19236/stat : 19236 (java) S 19223 19225 16958 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 877441814 10805620736 132630 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514752 0 0 0 16800975 18446604453817721152 0 0 -1 4 0 0 0
[pid=19225/tid=19237] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19237/stat : 19237 (java) S 19223 19225 16958 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877441815 10805620736 132631 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19238] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19238/stat : 19238 (java) S 19223 19225 16958 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877441815 10805620736 132633 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19239] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19239/stat : 19239 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441817 10805620736 132635 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101521841 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19240] ppid=19223 vsize=10552364 CPUtime=0.19 cores=0,2,4,6
/proc/19225/task/19240/stat : 19240 (java) S 19223 19225 16958 0 -1 4202560 1954 0 0 0 19 0 0 0 18 0 18 0 877441817 10805620736 132637 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 0 0 0 0
[pid=19225/tid=19241] ppid=19223 vsize=10552364 CPUtime=0.34 cores=0,2,4,6
/proc/19225/task/19241/stat : 19241 (java) S 19223 19225 16958 0 -1 4202560 5829 0 0 0 34 0 0 0 15 0 18 0 877441817 10805620736 132639 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 4 0 0 0
[pid=19225/tid=19242] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19242/stat : 19242 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441817 10805620736 132641 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19243] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19243/stat : 19243 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877441817 10805620736 132642 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514752 0 4 0 16800975 18446604453817721152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 10552364
[startup+2.30149 s]
/proc/loadavg: 1.85 1.97 2.58 2/192 19328
/proc/meminfo: memFree=31630468/32950928 swapFree=67055156/67111528
[pid=19225] ppid=19223 vsize=10552364 CPUtime=2.84 cores=0,2,4,6
/proc/19225/stat : 19225 (java) S 19223 19225 16958 0 -1 4202496 165882 0 1 0 263 21 0 0 25 0 18 0 877441811 10805620736 162722 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19225/statm: 2638091 162724 2211 9 0 2628825 0
[pid=19225/tid=19226] ppid=19223 vsize=10552364 CPUtime=2.28 cores=0,2,4,6
/proc/19225/task/19226/stat : 19226 (java) R 19223 19225 16958 0 -1 4202560 156952 0 1 0 208 20 0 0 21 0 18 0 877441811 10805620736 162726 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 46912505598275 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 162728 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 162730 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 162731 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 162733 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 162735 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 162737 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19234] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19234/stat : 19234 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 162738 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19235] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19235/stat : 19235 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441813 10805620736 162740 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19236] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19236/stat : 19236 (java) S 19223 19225 16958 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 877441814 10805620736 162742 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514752 0 0 0 16800975 18446604453817721152 0 0 -1 4 0 0 0
[pid=19225/tid=19237] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19237/stat : 19237 (java) S 19223 19225 16958 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877441815 10805620736 162743 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19238] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19238/stat : 19238 (java) S 19223 19225 16958 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877441815 10805620736 162745 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19239] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19239/stat : 19239 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441817 10805620736 162745 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101521841 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19240] ppid=19223 vsize=10552364 CPUtime=0.19 cores=0,2,4,6
/proc/19225/task/19240/stat : 19240 (java) S 19223 19225 16958 0 -1 4202560 1954 0 0 0 19 0 0 0 18 0 18 0 877441817 10805620736 162747 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 0 0 0 0
[pid=19225/tid=19241] ppid=19223 vsize=10552364 CPUtime=0.34 cores=0,2,4,6
/proc/19225/task/19241/stat : 19241 (java) S 19223 19225 16958 0 -1 4202560 5829 0 0 0 34 0 0 0 15 0 18 0 877441817 10805620736 162748 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 4 0 0 0
[pid=19225/tid=19242] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19242/stat : 19242 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441817 10805620736 162750 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514137 0 4 0 16800975 18446604453817721152 0 0 -1 2 0 0 0
[pid=19225/tid=19243] ppid=19223 vsize=10552364 CPUtime=0 cores=0,2,4,6
/proc/19225/task/19243/stat : 19243 (java) S 19223 19225 16958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877441817 10805620736 162752 33554432000 1073741824 1073778376 140734100447216 18446744073709551615 248101514752 0 4 0 16800975 18446604453817721152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 10552364
Child status: 20
Real time (s): 2.33384
CPU time (s): 2.88556
CPU user time (s): 2.6396
CPU system time (s): 0.245962
CPU usage (%): 123.64
Max. virtual memory (cumulated for all children) (KiB): 10552364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6396
system time used= 0.245962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166148
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= 219
involuntary context switches= 74
runsolver used 0.007998 second user time and 0.010998 second system time
The end