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-3440076-1306943700/watcher-3440076-1306943700 -o /tmp/evaluation-result-3440076-1306943700/solver-3440076-1306943700 -C 5000 -W 5100 -M 15500 HOME/lr_gl_shr HOME/instance-3440076-1306943700.cnf -verb=0 -model
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: 1.00 1.00 1.07 2/478 29319
/proc/meminfo: memFree=27585272/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=21232 CPUtime=0.01 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 1043 0 0 0 1 0 0 0 22 0 1 0 805969706 21741568 942 33554432000 4194304 4300056 140734753943856 18446744073709551615 208079893189 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 5308 945 219 26 0 1940 0
[startup+0.041242 s]
/proc/loadavg: 1.00 1.00 1.07 2/478 29319
/proc/meminfo: memFree=27585272/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=23860 CPUtime=0.03 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 2261 0 0 0 3 0 0 0 22 0 1 0 805969706 24432640 1902 33554432000 4194304 4300056 140734753943856 18446744073709551615 4203563 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 5965 1905 219 26 0 2597 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23860
[startup+0.100154 s]
/proc/loadavg: 1.00 1.00 1.07 2/478 29319
/proc/meminfo: memFree=27585272/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=27796 CPUtime=0.09 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 4043 0 0 0 9 0 0 0 22 0 1 0 805969706 28463104 3459 33554432000 4194304 4300056 140734753943856 18446744073709551615 4230355 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 6949 3459 226 26 0 3581 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27796
[startup+0.300117 s]
/proc/loadavg: 1.00 1.00 1.07 2/478 29319
/proc/meminfo: memFree=27585272/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=27944 CPUtime=0.29 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 4084 0 0 0 29 0 0 0 23 0 1 0 805969706 28614656 3500 33554432000 4194304 4300056 140734753943856 18446744073709551615 4230419 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 6986 3500 226 26 0 3618 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27944
[startup+0.701103 s]
/proc/loadavg: 1.00 1.00 1.07 2/478 29319
/proc/meminfo: memFree=27585272/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=27132 CPUtime=0.69 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 4950 0 0 0 69 0 0 0 25 0 1 0 805969706 27783168 3145 33554432000 4194304 4300056 140734753943856 18446744073709551615 4263262 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 6783 3145 244 26 0 3415 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27132
[startup+1.50088 s]
/proc/loadavg: 1.08 1.02 1.08 3/482 29326
/proc/meminfo: memFree=27564596/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=29852 CPUtime=1.49 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 5415 0 0 0 149 0 0 0 25 0 1 0 805969706 30568448 3599 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256040 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 7463 3599 244 26 0 4095 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29852
[startup+3.10058 s]
/proc/loadavg: 1.08 1.02 1.08 3/482 29326
/proc/meminfo: memFree=27558272/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=34272 CPUtime=3.08 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 6139 0 0 0 308 0 0 0 25 0 1 0 805969706 35094528 4304 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256255 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 8568 4304 244 26 0 5200 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34272
[startup+6.30108 s]
/proc/loadavg: 1.08 1.02 1.08 3/482 29326
/proc/meminfo: memFree=27546996/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=41676 CPUtime=6.29 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 7342 0 0 0 628 1 0 0 25 0 1 0 805969706 42676224 5470 33554432000 4194304 4300056 140734753943856 18446744073709551615 4263191 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 10419 5470 247 26 0 7051 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41676
[startup+12.7009 s]
/proc/loadavg: 1.22 1.05 1.09 3/482 29326
/proc/meminfo: memFree=27538876/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=55228 CPUtime=12.69 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 9558 0 0 0 1268 1 0 0 25 0 1 0 805969706 56553472 7635 33554432000 4194304 4300056 140734753943856 18446744073709551615 4263021 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 13807 7635 247 26 0 10439 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55228
[startup+25.5004 s]
/proc/loadavg: 1.34 1.08 1.10 3/482 29327
/proc/meminfo: memFree=27499096/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=59280 CPUtime=25.49 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 13408 0 0 0 2547 2 0 0 25 0 1 0 805969706 60702720 11391 33554432000 4194304 4300056 140734753943856 18446744073709551615 4273366 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 14820 11391 247 26 0 11452 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59280
[startup+51.1005 s]
/proc/loadavg: 1.64 1.17 1.12 3/482 29327
/proc/meminfo: memFree=27492216/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=68024 CPUtime=51.08 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 23687 0 0 0 5105 3 0 0 25 0 1 0 805969706 69656576 12799 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 17006 12799 247 26 0 13638 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 68024
[startup+102.319 s]
/proc/loadavg: 1.93 1.32 1.18 3/482 29329
/proc/meminfo: memFree=27471364/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=93600 CPUtime=102.31 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 38096 0 0 0 10224 7 0 0 25 0 1 0 805969706 95846400 16455 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256548 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 23400 16455 247 26 0 20032 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 93600
[startup+162.3 s]
/proc/loadavg: 1.97 1.44 1.22 3/482 29330
/proc/meminfo: memFree=27443692/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=97728 CPUtime=162.3 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 52245 0 0 0 16219 11 0 0 25 0 1 0 805969706 100073472 19038 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256528 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 24432 19038 247 26 0 21064 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 97728
[startup+222.301 s]
/proc/loadavg: 1.99 1.54 1.27 3/482 29332
/proc/meminfo: memFree=27440800/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=102304 CPUtime=222.29 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 65955 0 0 0 22216 13 0 0 25 0 1 0 805969706 104759296 19789 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256008 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 25576 19789 247 26 0 22208 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 102304
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.31 3/482 29333
/proc/meminfo: memFree=27435444/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=108220 CPUtime=282.29 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 80726 0 0 0 28213 16 0 0 25 0 1 0 805969706 110817280 20877 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 27055 20877 247 26 0 23687 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 108220
[startup+342.301 s]
/proc/loadavg: 2.12 1.72 1.37 3/482 29335
/proc/meminfo: memFree=27409876/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=112628 CPUtime=342.3 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 95981 0 0 0 34210 20 0 0 25 0 1 0 805969706 115331072 22168 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 28157 22168 247 26 0 24789 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 112628
[startup+402.301 s]
/proc/loadavg: 2.04 1.77 1.40 3/482 29373
/proc/meminfo: memFree=27499188/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=98924 CPUtime=402.3 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 109750 0 0 0 40206 24 0 0 25 0 1 0 805969706 101298176 20026 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 24731 20026 247 26 0 21363 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 98924
[startup+462.301 s]
/proc/loadavg: 2.07 1.82 1.44 3/482 29374
/proc/meminfo: memFree=27514900/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=80068 CPUtime=462.3 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 120723 0 0 0 46204 26 0 0 25 0 1 0 805969706 81989632 15634 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256548 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 20017 15634 247 26 0 16649 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 80068
[startup+522.301 s]
/proc/loadavg: 2.02 1.85 1.47 3/482 29376
/proc/meminfo: memFree=27471956/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=149224 CPUtime=522.31 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 131776 0 0 0 52202 29 0 0 25 0 1 0 805969706 152805376 26389 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 37306 26389 247 26 0 33938 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 149224
[startup+582.301 s]
/proc/loadavg: 2.01 1.88 1.50 3/482 29381
/proc/meminfo: memFree=27472604/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=125436 CPUtime=582.31 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 147075 0 0 0 58198 33 0 0 25 0 1 0 805969706 128446464 25824 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 31359 25824 247 26 0 27991 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 125436
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27392992/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=197116 CPUtime=3222.41 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 593764 0 0 0 322089 152 0 0 25 0 1 0 805969706 201846784 44156 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256480 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 49279 44156 247 26 0 45911 0
Current children cumulated CPU time (s) 3222.41
Current children cumulated vsize (KiB) 197116
[startup+3282.3 s]
/proc/loadavg: 2.07 2.06 1.97 3/482 29453
/proc/meminfo: memFree=27362592/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=227936 CPUtime=3282.43 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 601317 0 0 0 328089 154 0 0 25 0 1 0 805969706 233406464 51521 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 56984 51521 247 26 0 53616 0
Current children cumulated CPU time (s) 3282.43
Current children cumulated vsize (KiB) 227936
[startup+3342.3 s]
/proc/loadavg: 2.02 2.04 1.97 3/482 29454
/proc/meminfo: memFree=27405736/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=182564 CPUtime=3342.42 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 612829 0 0 0 334085 157 0 0 25 0 1 0 805969706 186945536 40880 33554432000 4194304 4300056 140734753943856 18446744073709551615 4263680 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 45641 40880 247 26 0 42273 0
Current children cumulated CPU time (s) 3342.42
Current children cumulated vsize (KiB) 182564
[startup+3402.32 s]
/proc/loadavg: 2.01 2.03 1.97 3/482 29456
/proc/meminfo: memFree=27369612/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=232352 CPUtime=3402.44 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 622015 0 0 0 340085 159 0 0 25 0 1 0 805969706 237928448 49823 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256264 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 58088 49823 247 26 0 54720 0
Current children cumulated CPU time (s) 3402.44
Current children cumulated vsize (KiB) 232352
[startup+3462.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/482 29457
/proc/meminfo: memFree=27343052/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=282440 CPUtime=3462.42 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 628552 0 0 0 346081 161 0 0 25 0 1 0 805969706 289218560 56192 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 70610 56192 247 26 0 67242 0
Current children cumulated CPU time (s) 3462.42
Current children cumulated vsize (KiB) 282440
[startup+3522.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/482 29459
/proc/meminfo: memFree=27385908/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=201532 CPUtime=3522.42 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 640685 0 0 0 352078 164 0 0 25 0 1 0 805969706 206368768 45574 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 50383 45574 247 26 0 47015 0
Current children cumulated CPU time (s) 3522.42
Current children cumulated vsize (KiB) 201532
[startup+3582.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/482 29460
/proc/meminfo: memFree=27363312/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=232352 CPUtime=3582.42 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 646792 0 0 0 358077 165 0 0 25 0 1 0 805969706 237928448 51489 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256553 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 58088 51489 247 26 0 54720 0
Current children cumulated CPU time (s) 3582.42
Current children cumulated vsize (KiB) 232352
[startup+3642.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/482 29462
/proc/meminfo: memFree=27338360/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=282440 CPUtime=3642.43 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 653012 0 0 0 364076 167 0 0 25 0 1 0 805969706 289218560 57556 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 70610 57556 247 26 0 67242 0
Current children cumulated CPU time (s) 3642.43
Current children cumulated vsize (KiB) 282440
[startup+3702.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/482 29464
/proc/meminfo: memFree=27375028/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=208568 CPUtime=3702.43 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 667847 0 0 0 370072 171 0 0 25 0 1 0 805969706 213573632 48383 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 52142 48383 247 26 0 48774 0
Current children cumulated CPU time (s) 3702.43
Current children cumulated vsize (KiB) 208568
[startup+3762.3 s]
/proc/loadavg: 2.12 2.04 1.99 3/482 29465
/proc/meminfo: memFree=27344876/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=239388 CPUtime=3762.43 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 675127 0 0 0 376070 173 0 0 25 0 1 0 805969706 245133312 55467 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 59847 55467 247 26 0 56479 0
Current children cumulated CPU time (s) 3762.43
Current children cumulated vsize (KiB) 239388
[startup+3822.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/482 29467
/proc/meminfo: memFree=27323384/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=289476 CPUtime=3822.43 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 680364 0 0 0 382067 176 0 0 25 0 1 0 805969706 296423424 60559 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256528 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 72369 60559 247 26 0 69001 0
Current children cumulated CPU time (s) 3822.43
Current children cumulated vsize (KiB) 289476
Solver just ended. Dumping a history of the last processes samples
[startup+3839.9 s]
/proc/loadavg: 2.03 2.03 1.99 3/482 29467
/proc/meminfo: memFree=27396660/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=192720 CPUtime=3840.04 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 686836 0 0 0 383826 178 0 0 25 0 1 0 805969706 197345280 42329 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256319 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 48180 42329 247 26 0 44812 0
Current children cumulated CPU time (s) 3840.04
Current children cumulated vsize (KiB) 192720
[startup+3846.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/482 29468
/proc/meminfo: memFree=27391204/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=192720 CPUtime=3846.43 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 688324 0 0 0 384465 178 0 0 25 0 1 0 805969706 197345280 43782 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256057 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 48180 43782 247 26 0 44812 0
Current children cumulated CPU time (s) 3846.43
Current children cumulated vsize (KiB) 192720
[startup+3852.7 s]
/proc/loadavg: 2.02 2.03 1.99 3/482 29468
/proc/meminfo: memFree=27385732/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=211688 CPUtime=3852.83 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 689607 0 0 0 385104 179 0 0 25 0 1 0 805969706 216768512 45026 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256319 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 52922 45026 247 26 0 49554 0
Current children cumulated CPU time (s) 3852.83
Current children cumulated vsize (KiB) 211688
[startup+3854.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/482 29468
/proc/meminfo: memFree=27384244/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=211688 CPUtime=3854.45 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 689911 0 0 0 385266 179 0 0 25 0 1 0 805969706 216768512 45322 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 52922 45322 247 26 0 49554 0
Current children cumulated CPU time (s) 3854.45
Current children cumulated vsize (KiB) 211688
[startup+3855.9 s]
/proc/loadavg: 2.02 2.03 1.99 3/482 29468
/proc/meminfo: memFree=27383872/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=211688 CPUtime=3856.03 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 690182 0 0 0 385424 179 0 0 25 0 1 0 805969706 216768512 45583 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256376 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 52922 45583 247 26 0 49554 0
Current children cumulated CPU time (s) 3856.03
Current children cumulated vsize (KiB) 211688
[startup+3856.7 s]
/proc/loadavg: 2.02 2.03 1.99 3/482 29468
/proc/meminfo: memFree=27383128/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=211688 CPUtime=3856.83 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 690300 0 0 0 385504 179 0 0 25 0 1 0 805969706 216768512 45695 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256033 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 52922 45696 247 26 0 49554 0
Current children cumulated CPU time (s) 3856.83
Current children cumulated vsize (KiB) 211688
[startup+3857.1 s]
/proc/loadavg: 2.02 2.03 1.99 3/482 29468
/proc/meminfo: memFree=27383128/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=211688 CPUtime=3857.23 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 690359 0 0 0 385544 179 0 0 25 0 1 0 805969706 216768512 45754 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256548 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 52922 45754 247 26 0 49554 0
Current children cumulated CPU time (s) 3857.23
Current children cumulated vsize (KiB) 211688
[startup+3857.2 s]
/proc/loadavg: 2.02 2.03 1.99 3/482 29468
/proc/meminfo: memFree=27383128/32950928 swapFree=39617324/67111528
[pid=29319] ppid=29317 vsize=211688 CPUtime=3857.33 cores=0,2,4,6
/proc/29319/stat : 29319 (lr_gl_shr) R 29317 29319 28548 0 -1 4202496 690374 0 0 0 385554 179 0 0 25 0 1 0 805969706 216768512 45769 33554432000 4194304 4300056 140734753943856 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/29319/statm: 52922 45769 247 26 0 49554 0
Current children cumulated CPU time (s) 3857.33
Current children cumulated vsize (KiB) 211688
Child status: 10
Real time (s): 3857.28
CPU time (s): 3857.42
CPU user time (s): 3855.62
CPU system time (s): 1.80572
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 289476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3855.62
system time used= 1.80572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 690398
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= 11
involuntary context switches= 41968
runsolver used 18.5592 second user time and 41.0618 second system time
The end