runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3426721-1306767980/watcher-3426721-1306767980 -o /tmp/evaluation-result-3426721-1306767980/solver-3426721-1306767980 -C 5000 -W 5100 -M 15500 sattime2011 HOME/instance-3426721-1306767980.cnf 1691762531
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.00 2.00 2.00 3/469 15253
/proc/meminfo: memFree=4210032/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1185584 CPUtime=0 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4194304 235 0 0 0 0 0 0 0 25 0 1 0 867028465 1214038016 180 33554432000 4194304 4230460 140735247434144 18446744073709551615 252457726661 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 296396 180 100 9 0 293553 0
[startup+0.0533681 s]
/proc/loadavg: 2.00 2.00 2.00 3/469 15253
/proc/meminfo: memFree=4210032/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1189408 CPUtime=0.04 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 1388 0 0 0 4 0 0 0 25 0 1 0 867028465 1217953792 1332 33554432000 4194304 4230460 140735247434144 18446744073709551615 4207752 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 297352 1332 103 9 0 294509 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1189408
[startup+0.100353 s]
/proc/loadavg: 2.00 2.00 2.00 3/469 15253
/proc/meminfo: memFree=4210032/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1189408 CPUtime=0.09 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 1388 0 0 0 9 0 0 0 25 0 1 0 867028465 1217953792 1332 33554432000 4194304 4230460 140735247434144 18446744073709551615 4207972 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 297352 1332 103 9 0 294509 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1189408
[startup+0.300316 s]
/proc/loadavg: 2.00 2.00 2.00 3/469 15253
/proc/meminfo: memFree=4210032/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1189408 CPUtime=0.29 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 1388 0 0 0 29 0 0 0 25 0 1 0 867028465 1217953792 1332 33554432000 4194304 4230460 140735247434144 18446744073709551615 4207725 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 297352 1332 103 9 0 294509 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1189408
[startup+0.700239 s]
/proc/loadavg: 2.00 2.00 2.00 3/469 15253
/proc/meminfo: memFree=4210032/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=0.69 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 69 0 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220853 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1192448
[startup+1.50109 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15254
/proc/meminfo: memFree=4199732/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=1.49 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 149 0 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220100 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1192448
[startup+3.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15254
/proc/meminfo: memFree=4198864/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=3.09 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 309 0 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219915 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1192448
[startup+6.30118 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15254
/proc/meminfo: memFree=4198648/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=6.29 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 629 0 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219854 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1192448
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15254
/proc/meminfo: memFree=4197556/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=12.69 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 1269 0 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219829 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1192448
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15255
/proc/meminfo: memFree=4198400/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=25.49 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 2549 0 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220291 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1192448
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15255
/proc/meminfo: memFree=4198548/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=51.09 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 5109 0 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219861 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1192448
[startup+102.317 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15257
/proc/meminfo: memFree=4198400/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=102.31 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 10231 0 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219843 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1192448
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15258
/proc/meminfo: memFree=4197116/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=162.3 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 16229 1 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219850 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1192448
[startup+222.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/470 15260
/proc/meminfo: memFree=4197580/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=222.3 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 22229 1 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220684 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1192448
[startup+282.301 s]
/proc/loadavg: 2.24 2.06 2.01 3/470 15262
/proc/meminfo: memFree=4197044/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=282.3 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 28229 1 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220925 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1192448
[startup+342.301 s]
/proc/loadavg: 2.16 2.06 2.01 3/470 15263
/proc/meminfo: memFree=4196512/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=342.3 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 34229 1 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219656 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1192448
[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/470 15265
/proc/meminfo: memFree=4196592/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=402.3 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 40229 1 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219850 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1192448
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 15266
/proc/meminfo: memFree=4197672/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=462.31 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 46230 1 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220211 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1192448
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 15268
/proc/meminfo: memFree=4197376/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=522.31 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 52230 1 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219861 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1192448
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15270
/proc/meminfo: memFree=4197460/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=582.31 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 58230 1 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220253 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1192448
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=4197828/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=1722.34 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 172232 2 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219807 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1192448
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15302
/proc/meminfo: memFree=4196800/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=1782.34 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 178232 2 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4217616 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1192448
[startup+1842.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/470 15303
/proc/meminfo: memFree=4196760/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=1842.34 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 184232 2 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219940 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 1842.34
Current children cumulated vsize (KiB) 1192448
[startup+1902.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/470 15305
/proc/meminfo: memFree=4197960/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=1902.35 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 190233 2 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220925 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 1902.35
Current children cumulated vsize (KiB) 1192448
[startup+1962.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/470 15308
/proc/meminfo: memFree=4197564/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=1962.36 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 196233 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4217789 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 1962.36
Current children cumulated vsize (KiB) 1192448
[startup+2022.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/470 15311
/proc/meminfo: memFree=4197516/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2022.35 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 202232 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220906 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2022.35
Current children cumulated vsize (KiB) 1192448
[startup+2082.32 s]
/proc/loadavg: 2.03 2.06 2.01 3/470 15313
/proc/meminfo: memFree=4198088/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2082.37 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 208234 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219850 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 1192448
[startup+2142.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/470 15314
/proc/meminfo: memFree=4197676/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2142.36 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 214233 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219940 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 1192448
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 15316
/proc/meminfo: memFree=4197384/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2202.36 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 220233 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220442 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2202.36
Current children cumulated vsize (KiB) 1192448
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15317
/proc/meminfo: memFree=4197592/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2262.36 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 226233 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219940 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2262.36
Current children cumulated vsize (KiB) 1192448
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15319
/proc/meminfo: memFree=4197916/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2322.36 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 232233 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219940 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2322.36
Current children cumulated vsize (KiB) 1192448
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15321
/proc/meminfo: memFree=4196768/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2382.36 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 238233 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220958 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2382.36
Current children cumulated vsize (KiB) 1192448
[startup+2442.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/470 15322
/proc/meminfo: memFree=4196596/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2442.37 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 244234 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220967 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2442.37
Current children cumulated vsize (KiB) 1192448
[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/470 15324
/proc/meminfo: memFree=4197676/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2502.37 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 250234 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220424 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2502.37
Current children cumulated vsize (KiB) 1192448
[startup+2562.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 15325
/proc/meminfo: memFree=4196768/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2562.36 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 256233 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220783 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2562.36
Current children cumulated vsize (KiB) 1192448
Solver just ended. Dumping a history of the last processes samples
[startup+2563.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 15325
/proc/meminfo: memFree=4196396/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2563.16 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 256313 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219807 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2563.16
Current children cumulated vsize (KiB) 1192448
[startup+2564.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 15325
/proc/meminfo: memFree=4196644/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2564.76 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 256473 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4220851 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2564.76
Current children cumulated vsize (KiB) 1192448
[startup+2565.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 15325
/proc/meminfo: memFree=4196644/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2565.56 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 256553 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219861 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2565.56
Current children cumulated vsize (KiB) 1192448
[startup+2565.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 15325
/proc/meminfo: memFree=4196644/32951124 swapFree=56297240/67111528
[pid=15253] ppid=15251 vsize=1192448 CPUtime=2565.76 cores=0,2,4,6
/proc/15253/stat : 15253 (sattime2011) R 15251 15253 14833 0 -1 4202496 2497 0 0 0 256573 3 0 0 25 0 1 0 867028465 1221066752 2440 33554432000 4194304 4230460 140735247434144 18446744073709551615 4219850 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15253/statm: 298112 2440 117 9 0 295269 0
Current children cumulated CPU time (s) 2565.76
Current children cumulated vsize (KiB) 1192448
Child status: 10
Real time (s): 2565.79
CPU time (s): 2565.86
CPU user time (s): 2565.82
CPU system time (s): 0.040993
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1192448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2565.82
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2501
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 5151
runsolver used 12.5481 second user time and 25.4141 second system time
The end