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-3439936-1306905744/watcher-3439936-1306905744 -o /tmp/evaluation-result-3439936-1306905744/solver-3439936-1306905744 -C 5000 -W 5100 -M 15500 HOME/lr_gl_shr HOME/instance-3439936-1306905744.cnf -verb=0 -model
running on 4 cores: 1,3,5,7
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.01 2.02 2.00 2/461 27218
/proc/meminfo: memFree=13871752/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=20464 CPUtime=0.01 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 633 0 0 0 1 0 0 0 23 0 1 0 802172968 20955136 576 33554432000 4194304 4300056 140733398848960 18446744073709551615 228122713856 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/27218/statm: 5116 576 222 26 0 1748 0
[startup+0.087911 s]
/proc/loadavg: 2.01 2.02 2.00 2/461 27218
/proc/meminfo: memFree=13871752/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=23240 CPUtime=0.08 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 1355 0 0 0 8 0 0 0 23 0 1 0 802172968 23797760 1245 33554432000 4194304 4300056 140733398848960 18446744073709551615 228122713856 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 5810 1245 222 26 0 2442 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23240
[startup+0.100895 s]
/proc/loadavg: 2.01 2.02 2.00 2/461 27218
/proc/meminfo: memFree=13871752/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=24148 CPUtime=0.09 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 1568 0 0 0 9 0 0 0 23 0 1 0 802172968 24727552 1435 33554432000 4194304 4300056 140733398848960 18446744073709551615 228122713856 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 6037 1435 222 26 0 2669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24148
[startup+0.300872 s]
/proc/loadavg: 2.01 2.02 2.00 2/461 27218
/proc/meminfo: memFree=13871752/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=45752 CPUtime=0.29 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 8261 0 0 0 27 2 0 0 25 0 1 0 802172968 46850048 6841 33554432000 4194304 4300056 140733398848960 18446744073709551615 4221877 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 11438 6860 222 26 0 8070 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45752
[startup+0.700788 s]
/proc/loadavg: 2.01 2.02 2.00 2/461 27218
/proc/meminfo: memFree=13871752/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=114248 CPUtime=0.69 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 28648 0 0 0 64 5 0 0 25 0 1 0 802172968 116989952 21832 33554432000 4194304 4300056 140733398848960 18446744073709551615 228122713856 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 28562 21833 222 26 0 25194 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114248
[startup+1.50065 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 27219
/proc/meminfo: memFree=13738328/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=248236 CPUtime=1.49 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 67471 0 0 0 138 11 0 0 25 0 1 0 802172968 254193664 49788 33554432000 4194304 4300056 140733398848960 18446744073709551615 228122771882 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 62059 49788 222 26 0 58691 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 248236
[startup+3.10036 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 27219
/proc/meminfo: memFree=13585472/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=470544 CPUtime=3.09 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 146026 0 0 0 287 22 0 0 25 0 1 0 802172968 481837056 105771 33554432000 4194304 4300056 140733398848960 18446744073709551615 228122713856 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 117636 105772 222 26 0 114268 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 470544
[startup+6.30078 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 27219
/proc/meminfo: memFree=13285524/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=666716 CPUtime=6.29 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 201364 0 0 0 598 31 0 0 25 0 1 0 802172968 682717184 144126 33554432000 4194304 4300056 140733398848960 18446744073709551615 4230388 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 166679 144126 227 26 0 163311 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 666716
[startup+12.7006 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 27220
/proc/meminfo: memFree=13266700/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=522548 CPUtime=12.69 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 231412 0 0 0 1233 36 0 0 25 0 1 0 802172968 535089152 114026 33554432000 4194304 4300056 140733398848960 18446744073709551615 4254717 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 130637 114026 244 26 0 127269 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 522548
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 27220
/proc/meminfo: memFree=13373836/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=474260 CPUtime=25.49 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 255030 0 0 0 2510 39 0 0 25 0 1 0 802172968 485642240 110219 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252414 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 118565 110219 247 26 0 115197 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 474260
[startup+51.1007 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 27221
/proc/meminfo: memFree=13294116/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=524348 CPUtime=51.09 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 260856 0 0 0 5069 40 0 0 25 0 1 0 802172968 536932352 116035 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252435 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 131087 116035 247 26 0 127719 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 524348
[startup+102.317 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27222
/proc/meminfo: memFree=13121872/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=605736 CPUtime=102.31 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 270527 0 0 0 10189 42 0 0 25 0 1 0 802172968 620273664 125697 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252414 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 151434 125697 247 26 0 148066 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 605736
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27224
/proc/meminfo: memFree=12958908/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=605736 CPUtime=162.29 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 279233 0 0 0 16186 43 0 0 25 0 1 0 802172968 620273664 134396 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252496 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 151434 134396 247 26 0 148066 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 605736
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 27225
/proc/meminfo: memFree=12767884/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=605736 CPUtime=222.29 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 289782 0 0 0 22184 45 0 0 25 0 1 0 802172968 620273664 144933 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252464 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 151434 144933 247 26 0 148066 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 605736
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 27227
/proc/meminfo: memFree=12625836/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=737996 CPUtime=282.29 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 294178 0 0 0 28183 46 0 0 25 0 1 0 802172968 755707904 149325 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252384 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 184499 149325 247 26 0 181131 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 737996
[startup+342.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/462 27228
/proc/meminfo: memFree=12434436/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=737996 CPUtime=342.3 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 302533 0 0 0 34182 48 0 0 25 0 1 0 802172968 755707904 157671 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252370 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 184499 157671 247 26 0 181131 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 737996
[startup+402.301 s]
/proc/loadavg: 2.16 2.05 2.01 3/462 27230
/proc/meminfo: memFree=12295100/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=737996 CPUtime=402.3 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 310395 0 0 0 40181 49 0 0 25 0 1 0 802172968 755707904 165527 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252688 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 184499 165527 247 26 0 181131 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 737996
[startup+462.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/462 27232
/proc/meminfo: memFree=12176376/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=737996 CPUtime=462.3 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 315379 0 0 0 46179 51 0 0 25 0 1 0 802172968 755707904 170507 33554432000 4194304 4300056 140733398848960 18446744073709551615 4251405 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 184499 170507 247 26 0 181131 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 737996
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/462 27233
/proc/meminfo: memFree=12030712/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=952920 CPUtime=522.3 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 325273 0 0 0 52178 52 0 0 25 0 1 0 802172968 975790080 180397 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252692 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 238230 180397 247 26 0 234862 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 952920
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 27235
/proc/meminfo: memFree=11900304/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=952920 CPUtime=582.31 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 330241 0 0 0 58177 54 0 0 25 0 1 0 802172968 975790080 185360 33554432000 4194304 4300056 140733398848960 18446744073709551615 4256033 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 238230 185360 247 26 0 234862 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 952920
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=11589572/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=952920 CPUtime=702.31 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 347367 0 0 0 70174 57 0 0 25 0 1 0 802172968 975790080 202472 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252304 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 238230 202472 247 26 0 234862 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 952920
[startup+762.317 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27240
/proc/meminfo: memFree=11433652/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=952920 CPUtime=762.33 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 358015 0 0 0 76174 59 0 0 25 0 1 0 802172968 975790080 213101 33554432000 4194304 4300056 140733398848960 18446744073709551615 4255961 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 238230 213101 247 26 0 234862 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 952920
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27241
/proc/meminfo: memFree=11281592/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=952920 CPUtime=822.31 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 366929 0 0 0 82170 61 0 0 25 0 1 0 802172968 975790080 222005 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252435 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 238230 222005 247 26 0 234862 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 952920
[startup+882.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/462 27243
/proc/meminfo: memFree=11129992/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=952920 CPUtime=882.31 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 374581 0 0 0 88168 63 0 0 25 0 1 0 802172968 975790080 229652 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252370 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 238230 229652 247 26 0 234862 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 952920
[startup+942.3 s]
/proc/loadavg: 2.25 2.07 2.02 3/462 27244
/proc/meminfo: memFree=10966524/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=942.31 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 383576 0 0 0 94165 66 0 0 25 0 1 0 802172968 1333420032 238640 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252414 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 238640 247 26 0 322174 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1302168
[startup+1002.3 s]
/proc/loadavg: 2.09 2.06 2.02 3/462 27246
/proc/meminfo: memFree=10782696/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1002.32 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 391676 0 0 0 100165 67 0 0 25 0 1 0 802172968 1333420032 246735 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252370 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 246735 247 26 0 322174 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1302168
[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/462 27248
/proc/meminfo: memFree=10614864/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1062.31 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 401986 0 0 0 106162 69 0 0 25 0 1 0 802172968 1333420032 257043 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252435 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 257043 247 26 0 322174 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1302168
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 27249
/proc/meminfo: memFree=10452604/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1122.32 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 409550 0 0 0 112161 71 0 0 25 0 1 0 802172968 1333420032 264600 33554432000 4194304 4300056 140733398848960 18446744073709551615 4273366 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 264600 247 26 0 322174 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1302168
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/462 27251
/proc/meminfo: memFree=10325312/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1182.33 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 417660 0 0 0 118159 74 0 0 25 0 1 0 802172968 1333420032 272705 33554432000 4194304 4300056 140733398848960 18446744073709551615 4264273 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 272705 247 26 0 322174 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1302168
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 27252
/proc/meminfo: memFree=10183892/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1242.33 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 424450 0 0 0 124158 75 0 0 25 0 1 0 802172968 1333420032 279487 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252387 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 279487 247 26 0 322174 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1302168
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27254
/proc/meminfo: memFree=10037496/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1302.34 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 432202 0 0 0 130157 77 0 0 25 0 1 0 802172968 1333420032 287234 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252335 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 287234 247 26 0 322174 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1302168
Solver just ended. Dumping a history of the last processes samples
[startup+1331.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27255
/proc/meminfo: memFree=9964916/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1331.13 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 436055 0 0 0 133035 78 0 0 25 0 1 0 802172968 1333420032 291082 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252370 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 291082 247 26 0 322174 0
Current children cumulated CPU time (s) 1331.13
Current children cumulated vsize (KiB) 1302168
[startup+1343.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27255
/proc/meminfo: memFree=9935500/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1343.93 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 437501 0 0 0 134315 78 0 0 25 0 1 0 802172968 1333420032 292524 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252444 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 292524 247 26 0 322174 0
Current children cumulated CPU time (s) 1343.93
Current children cumulated vsize (KiB) 1302168
[startup+1350.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27255
/proc/meminfo: memFree=9917380/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1350.33 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 438448 0 0 0 134955 78 0 0 25 0 1 0 802172968 1333420032 293471 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252414 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 293471 247 26 0 322174 0
Current children cumulated CPU time (s) 1350.33
Current children cumulated vsize (KiB) 1302168
[startup+1353.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27255
/proc/meminfo: memFree=9909692/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1353.53 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 438795 0 0 0 135275 78 0 0 25 0 1 0 802172968 1333420032 293817 33554432000 4194304 4300056 140733398848960 18446744073709551615 4255961 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 293817 247 26 0 322174 0
Current children cumulated CPU time (s) 1353.53
Current children cumulated vsize (KiB) 1302168
[startup+1355.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27255
/proc/meminfo: memFree=9904732/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1355.14 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 438949 0 0 0 135436 78 0 0 25 0 1 0 802172968 1333420032 293971 33554432000 4194304 4300056 140733398848960 18446744073709551615 4256548 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 293971 247 26 0 322174 0
Current children cumulated CPU time (s) 1355.14
Current children cumulated vsize (KiB) 1302168
[startup+1355.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27255
/proc/meminfo: memFree=9904732/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1355.93 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 439009 0 0 0 135515 78 0 0 25 0 1 0 802172968 1333420032 294031 33554432000 4194304 4300056 140733398848960 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 294031 247 26 0 322174 0
Current children cumulated CPU time (s) 1355.93
Current children cumulated vsize (KiB) 1302168
[startup+1356.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27255
/proc/meminfo: memFree=9901632/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=1302168 CPUtime=1356.34 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202496 439054 0 0 0 135556 78 0 0 25 0 1 0 802172968 1333420032 294076 33554432000 4194304 4300056 140733398848960 18446744073709551615 4252659 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/27218/statm: 325542 294076 247 26 0 322174 0
Current children cumulated CPU time (s) 1356.34
Current children cumulated vsize (KiB) 1302168
[startup+1356.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 27255
/proc/meminfo: memFree=9901632/32951124 swapFree=41830672/67111528
[pid=27218] ppid=27216 vsize=0 CPUtime=1356.72 cores=1,3,5,7
/proc/27218/stat : 27218 (lr_gl_shr) R 27216 27218 25762 0 -1 4202500 439095 0 0 0 135590 82 0 0 25 0 1 0 802172968 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 5 0 0 0
/proc/27218/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1356.72
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1356.71
CPU time (s): 1356.74
CPU user time (s): 1355.91
CPU system time (s): 0.835872
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1302168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1355.91
system time used= 0.835872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 439095
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= 10
involuntary context switches= 2103
runsolver used 5.58615 second user time and 14.1598 second system time
The end