runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3707828-1338150692/watcher-3707828-1338150692 -o /tmp/evaluation-result-3707828-1338150692/solver-3707828-1338150692 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707828-1338150692.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: 0.92 1.00 1.26 2/173 7065
/proc/meminfo: memFree=31334468/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=10928 CPUtime=0 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 281194063 11190272 736 33554432000 134512640 137138936 4290563664 4290558044 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 2732 736 184 642 0 2088 0
[startup+0.060746 s]
/proc/loadavg: 0.92 1.00 1.26 2/173 7065
/proc/meminfo: memFree=31334468/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=11264 CPUtime=0.05 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 442 0 0 0 5 0 0 0 20 0 1 0 281194063 11534336 856 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 2816 856 192 642 0 2172 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11264
[startup+0.100256 s]
/proc/loadavg: 0.92 1.00 1.26 2/173 7065
/proc/meminfo: memFree=31334468/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=11600 CPUtime=0.09 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 507 0 0 0 9 0 0 0 20 0 1 0 281194063 11878400 921 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 2900 921 192 642 0 2256 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11600
[startup+0.300222 s]
/proc/loadavg: 0.92 1.00 1.26 2/173 7065
/proc/meminfo: memFree=31334468/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=13016 CPUtime=0.29 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 851 0 0 0 29 0 0 0 20 0 1 0 281194063 13328384 1265 33554432000 134512640 137138936 4290563664 4290562592 134542508 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 3254 1265 192 642 0 2610 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13016
[startup+0.700175 s]
/proc/loadavg: 0.92 1.00 1.26 2/173 7065
/proc/meminfo: memFree=31334468/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=13960 CPUtime=0.69 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 1113 0 0 0 69 0 0 0 20 0 1 0 281194063 14295040 1527 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 3490 1527 192 642 0 2846 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13960
[startup+1.50018 s]
/proc/loadavg: 0.92 1.00 1.26 3/177 7183
/proc/meminfo: memFree=31325964/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=15388 CPUtime=1.48 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 1458 0 0 0 148 0 0 0 20 0 1 0 281194063 15757312 1872 33554432000 134512640 137138936 4290563664 4290562208 134607623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 3847 1872 192 642 0 3203 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15388
[startup+3.10018 s]
/proc/loadavg: 1.01 1.02 1.27 3/177 7183
/proc/meminfo: memFree=31324088/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=16208 CPUtime=3.09 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 1666 0 0 0 308 1 0 0 20 0 1 0 281194063 16596992 2080 33554432000 134512640 137138936 4290563664 4290562084 136511209 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 4052 2080 192 642 0 3408 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16208
[startup+6.30018 s]
/proc/loadavg: 1.01 1.02 1.27 3/177 7183
/proc/meminfo: memFree=31323220/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=16808 CPUtime=6.29 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 1818 0 0 0 628 1 0 0 20 0 1 0 281194063 17211392 2232 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 4202 2232 192 642 0 3558 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16808
[startup+12.7002 s]
/proc/loadavg: 1.08 1.03 1.27 3/177 7221
/proc/meminfo: memFree=31312424/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=17708 CPUtime=12.68 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 2056 0 0 0 1265 3 0 0 20 0 1 0 281194063 18132992 2460 33554432000 134512640 137138936 4290563664 4290562592 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 4427 2460 192 642 0 3783 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17708
[startup+25.5002 s]
/proc/loadavg: 1.23 1.06 1.28 3/177 7221
/proc/meminfo: memFree=31310892/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=19404 CPUtime=25.49 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 2490 0 0 0 2543 6 0 0 20 0 1 0 281194063 19869696 2872 33554432000 134512640 137138936 4290563664 4290562592 134542103 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 4851 2872 192 642 0 4207 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19404
[startup+51.1002 s]
/proc/loadavg: 1.49 1.14 1.29 3/177 7221
/proc/meminfo: memFree=31307168/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=20712 CPUtime=51.08 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 2824 0 0 0 5097 11 0 0 20 0 1 0 281194063 21209088 3205 33554432000 134512640 137138936 4290563664 4290558368 134609396 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 5178 3205 192 642 0 4534 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20712
[startup+102.307 s]
/proc/loadavg: 1.79 1.28 1.33 3/178 7222
/proc/meminfo: memFree=31300896/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=22580 CPUtime=102.27 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 3326 0 0 0 10206 21 0 0 20 0 1 0 281194063 23121920 3684 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 5645 3684 192 642 0 5001 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22580
[startup+162.3 s]
/proc/loadavg: 1.92 1.40 1.37 3/177 7222
/proc/meminfo: memFree=31296060/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=23300 CPUtime=162.25 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 3596 0 0 0 16192 33 0 0 20 0 1 0 281194063 23859200 3866 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 5825 3866 192 642 0 5181 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 23300
[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.41 3/177 7223
/proc/meminfo: memFree=31296308/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=23240 CPUtime=222.25 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 3596 0 0 0 22180 45 0 0 20 0 1 0 281194063 23797760 3851 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 5810 3851 192 642 0 5166 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 23240
[startup+282.3 s]
/proc/loadavg: 2.05 1.61 1.44 3/177 7223
/proc/meminfo: memFree=31296308/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=23236 CPUtime=282.24 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 3596 0 0 0 28166 58 0 0 20 0 1 0 281194063 23793664 3850 33554432000 134512640 137138936 4290563664 4290562144 136297746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 5809 3850 192 642 0 5165 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 23236
[startup+342.3 s]
/proc/loadavg: 2.01 1.68 1.48 3/177 7223
/proc/meminfo: memFree=31295944/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=23816 CPUtime=342.23 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 3740 0 0 0 34152 71 0 0 20 0 1 0 281194063 24387584 3994 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 5954 3994 192 642 0 5310 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 23816
[startup+402.3 s]
/proc/loadavg: 2.00 1.73 1.51 3/177 7223
/proc/meminfo: memFree=31294516/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=25368 CPUtime=402.23 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 4126 0 0 0 40141 82 0 0 20 0 1 0 281194063 25976832 4376 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 6342 4376 192 642 0 5698 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 25368
[startup+462.3 s]
/proc/loadavg: 2.00 1.78 1.54 3/177 7223
/proc/meminfo: memFree=31290980/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=25268 CPUtime=462.21 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 4150 0 0 0 46130 91 0 0 20 0 1 0 281194063 25874432 4358 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 6317 4358 192 642 0 5673 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 25268
[startup+522.3 s]
/proc/loadavg: 2.00 1.82 1.56 3/178 7227
/proc/meminfo: memFree=31289792/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=25372 CPUtime=522.2 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 4347 0 0 0 52119 101 0 0 20 0 1 0 281194063 25980928 4384 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 6343 4384 192 642 0 5699 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 25372
[startup+582.3 s]
/proc/loadavg: 2.04 1.86 1.59 3/177 7227
/proc/meminfo: memFree=31289800/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=25372 CPUtime=582.2 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 4347 0 0 0 58104 116 0 0 20 0 1 0 281194063 25980928 4384 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 6343 4384 192 642 0 5699 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 25372
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30871696/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=26384 CPUtime=1122.11 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 5351 0 0 0 111990 221 0 0 20 0 1 0 281194063 27017216 4637 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 6596 4637 192 642 0 5952 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 26384
[startup+1182.3 s]
/proc/loadavg: 1.99 1.96 1.76 3/177 7384
/proc/meminfo: memFree=30841820/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=26608 CPUtime=1182.1 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 5623 0 0 0 117975 235 0 0 20 0 1 0 281194063 27246592 4688 33554432000 134512640 137138936 4290563664 4290562376 136506274 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 6652 4688 192 642 0 6008 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 26608
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.77 3/177 7384
/proc/meminfo: memFree=30713480/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=27136 CPUtime=1242.09 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 5750 0 0 0 123962 247 0 0 20 0 1 0 281194063 27787264 4805 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 6784 4805 192 642 0 6140 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 27136
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.78 3/177 7384
/proc/meminfo: memFree=30791972/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=27568 CPUtime=1302.09 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 6046 0 0 0 129948 261 0 0 20 0 1 0 281194063 28229632 4933 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 6892 4933 192 642 0 6248 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 27568
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.79 3/177 7384
/proc/meminfo: memFree=30875304/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=27540 CPUtime=1362.07 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 6046 0 0 0 135933 274 0 0 20 0 1 0 281194063 28200960 4926 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 6885 4926 192 642 0 6241 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 27540
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.81 3/177 7385
/proc/meminfo: memFree=30872328/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=27872 CPUtime=1422.07 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 6110 0 0 0 141920 287 0 0 20 0 1 0 281194063 28540928 4986 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 6968 4986 192 642 0 6324 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 27872
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.82 3/177 7385
/proc/meminfo: memFree=30869656/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=28560 CPUtime=1482.06 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 6441 0 0 0 147907 299 0 0 20 0 1 0 281194063 29245440 5169 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7140 5169 192 642 0 6496 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 28560
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.82 3/177 7385
/proc/meminfo: memFree=30712920/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=29408 CPUtime=1542.05 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 7032 0 0 0 153896 309 0 0 20 0 1 0 281194063 30113792 5372 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7352 5372 192 642 0 6708 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 29408
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.83 3/177 7385
/proc/meminfo: memFree=30712920/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=29276 CPUtime=1602.04 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 7032 0 0 0 159886 318 0 0 20 0 1 0 281194063 29978624 5359 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7319 5359 192 642 0 6675 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 29276
[startup+1662.3 s]
/proc/loadavg: 2.05 1.99 1.84 3/177 7385
/proc/meminfo: memFree=30638148/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=29884 CPUtime=1662.03 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 7559 0 0 0 165875 328 0 0 20 0 1 0 281194063 30601216 5496 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7471 5496 192 642 0 6827 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 29884
[startup+1722.3 s]
/proc/loadavg: 2.02 1.99 1.85 3/177 7388
/proc/meminfo: memFree=30526796/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=29796 CPUtime=1722.01 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 7559 0 0 0 171864 337 0 0 20 0 1 0 281194063 30511104 5489 33554432000 134512640 137138936 4290563664 4290562244 136501687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7449 5489 192 642 0 6805 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 29796
[startup+1782.3 s]
/proc/loadavg: 2.08 2.00 1.86 3/178 7412
/proc/meminfo: memFree=30526416/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=29768 CPUtime=1782.01 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 7559 0 0 0 177852 349 0 0 20 0 1 0 281194063 30482432 5482 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7442 5482 192 642 0 6798 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 29768
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.07 2.00 1.86 3/178 7412
/proc/meminfo: memFree=30526152/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=29764 CPUtime=1791.61 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 7559 0 0 0 178811 350 0 0 20 0 1 0 281194063 30478336 5481 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7441 5481 192 642 0 6797 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 29764
[startup+1795.1 s]
/proc/loadavg: 2.06 2.00 1.86 3/178 7412
/proc/meminfo: memFree=30526400/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=29764 CPUtime=1794.81 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 7559 0 0 0 179130 351 0 0 20 0 1 0 281194063 30478336 5481 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7441 5481 192 642 0 6797 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 29764
[startup+1796.7 s]
/proc/loadavg: 2.06 2.00 1.86 3/178 7412
/proc/meminfo: memFree=30526400/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=29764 CPUtime=1796.4 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 7559 0 0 0 179289 351 0 0 20 0 1 0 281194063 30478336 5481 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7441 5481 192 642 0 6797 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 29764
[startup+1797.5 s]
/proc/loadavg: 2.06 2.00 1.86 3/178 7412
/proc/meminfo: memFree=30526400/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=29764 CPUtime=1797.2 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 7559 0 0 0 179369 351 0 0 20 0 1 0 281194063 30478336 5481 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7441 5481 192 642 0 6797 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 29764
[startup+1797.9 s]
/proc/loadavg: 2.06 2.00 1.86 3/178 7412
/proc/meminfo: memFree=30526400/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=29764 CPUtime=1797.61 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 7559 0 0 0 179409 352 0 0 20 0 1 0 281194063 30478336 5481 33554432000 134512640 137138936 4290563664 4290562592 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7441 5481 192 642 0 6797 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 29764
[startup+1798.1 s]
/proc/loadavg: 2.06 2.00 1.86 3/178 7412
/proc/meminfo: memFree=30526400/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=29756 CPUtime=1797.81 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 7559 0 0 0 179429 352 0 0 20 0 1 0 281194063 30470144 5479 33554432000 134512640 137138936 4290563664 4290562592 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7439 5479 192 642 0 6795 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 29756
[startup+1798.2 s]
/proc/loadavg: 2.06 2.00 1.86 3/178 7412
/proc/meminfo: memFree=30526400/32873844 swapFree=7112/7112
[pid=7065] ppid=7063 vsize=29756 CPUtime=1797.91 cores=1,3,5,7
/proc/7065/stat : 7065 (bsolo) R 7063 7065 7024 0 -1 4202496 7559 0 0 0 179439 352 0 0 20 0 1 0 281194063 30470144 5479 33554432000 134512640 137138936 4290563664 4290562780 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7065/statm: 7439 5479 192 642 0 6795 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 29756
Child status: 0
Real time (s): 1798.29
CPU time (s): 1798
CPU user time (s): 1794.48
CPU system time (s): 3.52246
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 29884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.48
system time used= 3.52246
maximum resident set size= 21984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7560
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= 15
involuntary context switches= 1848
runsolver used 3.14052 second user time and 8.20875 second system time
The end