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-3708147-1338168191/watcher-3708147-1338168191 -o /tmp/evaluation-result-3708147-1338168191/solver-3708147-1338168191 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708147-1338168191.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 9534
/proc/meminfo: memFree=29382660/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=10932 CPUtime=0 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 1 0 282943516 11194368 286 33554432000 134512640 137138936 4288909152 4288899964 134612144 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 2733 286 185 642 0 2089 0
[startup+0.027171 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 9534
/proc/meminfo: memFree=29382660/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=11040 CPUtime=0.02 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 368 0 0 0 2 0 0 0 20 0 1 0 282943516 11304960 313 33554432000 134512640 137138936 4288909152 4288907648 134618106 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 2760 313 192 642 0 2116 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11040
[startup+0.100211 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 9534
/proc/meminfo: memFree=29382660/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=11152 CPUtime=0.09 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 398 0 0 0 9 0 0 0 20 0 1 0 282943516 11419648 343 33554432000 134512640 137138936 4288909152 4288908080 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 2788 343 192 642 0 2144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11152
[startup+0.300183 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 9534
/proc/meminfo: memFree=29382660/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=11368 CPUtime=0.29 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 455 0 0 0 29 0 0 0 20 0 1 0 282943516 11640832 400 33554432000 134512640 137138936 4288909152 4288903288 134599874 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 2842 400 192 642 0 2198 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11368
[startup+0.700175 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 9534
/proc/meminfo: memFree=29382660/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=11584 CPUtime=0.69 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 527 0 0 0 69 0 0 0 20 0 1 0 282943516 11862016 472 33554432000 134512640 137138936 4288909152 4288903140 136500305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 2896 472 192 642 0 2252 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11584
[startup+1.50018 s]
/proc/loadavg: 2.04 2.04 2.00 3/178 9535
/proc/meminfo: memFree=29378328/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=11804 CPUtime=1.49 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 567 0 0 0 148 1 0 0 20 0 1 0 282943516 12087296 512 33554432000 134512640 137138936 4288909152 4288907428 136500132 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 2951 512 192 642 0 2307 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11804
[startup+3.10018 s]
/proc/loadavg: 2.04 2.04 2.00 3/178 9535
/proc/meminfo: memFree=29374484/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=11920 CPUtime=3.09 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 586 0 0 0 307 2 0 0 20 0 1 0 282943516 12206080 531 33554432000 134512640 137138936 4288909152 4288907432 136504193 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 2980 531 192 642 0 2336 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11920
[startup+6.30018 s]
/proc/loadavg: 2.04 2.04 2.00 3/178 9535
/proc/meminfo: memFree=29362936/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=11920 CPUtime=6.29 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 598 0 0 0 624 5 0 0 20 0 1 0 282943516 12206080 543 33554432000 134512640 137138936 4288909152 4288907668 134551101 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 2980 543 192 642 0 2336 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11920
[startup+12.7002 s]
/proc/loadavg: 2.03 2.04 2.00 3/178 9535
/proc/meminfo: memFree=29347320/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=12460 CPUtime=12.68 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 727 0 0 0 1259 9 0 0 20 0 1 0 282943516 12759040 672 33554432000 134512640 137138936 4288909152 4288908080 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3115 672 192 642 0 2471 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12460
[startup+25.5002 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 9535
/proc/meminfo: memFree=29309732/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=12576 CPUtime=25.49 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 774 0 0 0 2533 16 0 0 20 0 1 0 282943516 12877824 719 33554432000 134512640 137138936 4288909152 4288907464 136504452 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3144 719 192 642 0 2500 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12576
[startup+51.1002 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 9535
/proc/meminfo: memFree=29240492/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=12884 CPUtime=51.08 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 848 0 0 0 5074 34 0 0 20 0 1 0 282943516 13193216 793 33554432000 134512640 137138936 4288909152 4288907836 136520965 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3221 793 192 642 0 2577 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12884
[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 9535
/proc/meminfo: memFree=29120380/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=13204 CPUtime=102.27 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 908 0 0 0 10162 65 0 0 20 0 1 0 282943516 13520896 853 33554432000 134512640 137138936 4288909152 4288903080 134600050 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3301 853 192 642 0 2657 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13204
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 9536
/proc/meminfo: memFree=28999012/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=13704 CPUtime=162.25 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1039 0 0 0 16111 114 0 0 20 0 1 0 282943516 14032896 984 33554432000 134512640 137138936 4288909152 4288908256 134543413 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3426 984 192 642 0 2782 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 13704
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 9536
/proc/meminfo: memFree=28892524/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=14452 CPUtime=222.23 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1258 0 0 0 22071 152 0 0 20 0 1 0 282943516 14798848 1189 33554432000 134512640 137138936 4288909152 4288907712 134599216 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3613 1189 192 642 0 2969 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 14452
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 9536
/proc/meminfo: memFree=28835264/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=14548 CPUtime=282.22 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1303 0 0 0 28041 181 0 0 20 0 1 0 282943516 14897152 1213 33554432000 134512640 137138936 4288909152 4288908032 136297647 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3637 1213 192 642 0 2993 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 14548
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9536
/proc/meminfo: memFree=28835168/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=14724 CPUtime=342.2 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1399 0 0 0 33992 228 0 0 20 0 1 0 282943516 15077376 1243 33554432000 134512640 137138936 4288909152 4288907904 134576408 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3681 1243 192 642 0 3037 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 14724
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9536
/proc/meminfo: memFree=28834328/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15708 CPUtime=402.18 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1650 0 0 0 39948 270 0 0 20 0 1 0 282943516 16084992 1494 33554432000 134512640 137138936 4288909152 4288907904 134575867 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3927 1494 192 642 0 3283 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 15708
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 9540
/proc/meminfo: memFree=28834224/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15664 CPUtime=462.17 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1651 0 0 0 45902 315 0 0 20 0 1 0 282943516 16039936 1492 33554432000 134512640 137138936 4288909152 4288907836 136521046 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3916 1492 192 642 0 3272 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 15664
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9540
/proc/meminfo: memFree=28834136/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15660 CPUtime=522.15 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1651 0 0 0 51845 370 0 0 20 0 1 0 282943516 16035840 1491 33554432000 134512640 137138936 4288909152 4288908268 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3915 1491 192 642 0 3271 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 15660
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9540
/proc/meminfo: memFree=28834536/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15640 CPUtime=582.14 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1651 0 0 0 57804 410 0 0 20 0 1 0 282943516 16015360 1486 33554432000 134512640 137138936 4288909152 4288906340 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3910 1486 192 642 0 3266 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 15640
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28813356/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15636 CPUtime=1062.01 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1652 0 0 0 105471 730 0 0 20 0 1 0 282943516 16011264 1485 33554432000 134512640 137138936 4288909152 4288908080 134542725 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3909 1485 192 642 0 3265 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 15636
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9748
/proc/meminfo: memFree=28813364/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15636 CPUtime=1122 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1652 0 0 0 111425 775 0 0 20 0 1 0 282943516 16011264 1485 33554432000 134512640 137138936 4288909152 4288907904 134575188 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9534/statm: 3909 1485 192 642 0 3265 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 15636
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9748
/proc/meminfo: memFree=28813364/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15636 CPUtime=1181.98 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1652 0 0 0 117374 824 0 0 20 0 1 0 282943516 16011264 1485 33554432000 134512640 137138936 4288909152 4288903288 134599777 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 3909 1485 192 642 0 3265 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 15636
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9748
/proc/meminfo: memFree=28813116/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15640 CPUtime=1241.98 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1653 0 0 0 123320 878 0 0 20 0 1 0 282943516 16015360 1486 33554432000 134512640 137138936 4288909152 4288903508 136511176 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 3910 1486 192 642 0 3266 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 15640
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9748
/proc/meminfo: memFree=28813116/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15640 CPUtime=1301.97 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1653 0 0 0 129276 921 0 0 20 0 1 0 282943516 16015360 1486 33554432000 134512640 137138936 4288909152 4288908268 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 3910 1486 192 642 0 3266 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 15640
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9749
/proc/meminfo: memFree=28813240/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15640 CPUtime=1361.95 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1653 0 0 0 135235 960 0 0 20 0 1 0 282943516 16015360 1486 33554432000 134512640 137138936 4288909152 4288907668 134551170 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 3910 1486 192 642 0 3266 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 15640
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9749
/proc/meminfo: memFree=28813240/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15640 CPUtime=1421.95 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1653 0 0 0 141183 1012 0 0 20 0 1 0 282943516 16015360 1486 33554432000 134512640 137138936 4288909152 4288907732 136501718 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 3910 1486 192 642 0 3266 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 15640
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 9749
/proc/meminfo: memFree=28813240/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15640 CPUtime=1481.94 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1653 0 0 0 147131 1063 0 0 20 0 1 0 282943516 16015360 1486 33554432000 134512640 137138936 4288909152 4288908268 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 3910 1486 192 642 0 3266 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 15640
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9749
/proc/meminfo: memFree=28813240/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15748 CPUtime=1541.93 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1668 0 0 0 153092 1101 0 0 20 0 1 0 282943516 16125952 1501 33554432000 134512640 137138936 4288909152 4288907648 134618019 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 3937 1501 192 642 0 3293 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 15748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9825
/proc/meminfo: memFree=29860072/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=15748 CPUtime=1601.92 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1668 0 0 0 159054 1138 0 0 20 0 1 0 282943516 16125952 1501 33554432000 134512640 137138936 4288909152 4288908080 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 3937 1501 192 642 0 3293 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 15748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9828
/proc/meminfo: memFree=29859512/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=16228 CPUtime=1661.91 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1786 0 0 0 165015 1176 0 0 20 0 1 0 282943516 16617472 1619 33554432000 134512640 137138936 4288909152 4288907688 136504093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 4057 1619 192 642 0 3413 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 16228
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=29859448/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=16252 CPUtime=1721.9 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1811 0 0 0 170974 1216 0 0 20 0 1 0 282943516 16642048 1639 33554432000 134512640 137138936 4288909152 4288907732 136501693 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 4063 1639 192 642 0 3419 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 16252
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=29858208/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=16252 CPUtime=1781.89 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1811 0 0 0 176926 1263 0 0 20 0 1 0 282943516 16642048 1639 33554432000 134512640 137138936 4288909152 4288907688 136504280 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 4063 1639 192 642 0 3419 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 16252
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=29858084/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=16252 CPUtime=1791.5 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1811 0 0 0 177879 1271 0 0 20 0 1 0 282943516 16642048 1639 33554432000 134512640 137138936 4288909152 4288908268 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 4063 1639 192 642 0 3419 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 16252
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=29858084/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=16252 CPUtime=1794.7 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1811 0 0 0 178196 1274 0 0 20 0 1 0 282943516 16642048 1639 33554432000 134512640 137138936 4288909152 4288903288 134600326 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 4063 1639 192 642 0 3419 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 16252
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=29857960/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=16252 CPUtime=1796.29 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1811 0 0 0 178353 1276 0 0 20 0 1 0 282943516 16642048 1639 33554432000 134512640 137138936 4288909152 4288907904 134576416 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 4063 1639 192 642 0 3419 0
Current children cumulated CPU time (s) 1796.29
Current children cumulated vsize (KiB) 16252
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=29857960/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=16252 CPUtime=1797.09 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1811 0 0 0 178432 1277 0 0 20 0 1 0 282943516 16642048 1639 33554432000 134512640 137138936 4288909152 4288907496 134599672 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 4063 1639 192 642 0 3419 0
Current children cumulated CPU time (s) 1797.09
Current children cumulated vsize (KiB) 16252
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=29857960/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=16252 CPUtime=1797.49 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1811 0 0 0 178472 1277 0 0 20 0 1 0 282943516 16642048 1639 33554432000 134512640 137138936 4288909152 4288907904 134575867 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 4063 1639 192 642 0 3419 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 16252
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=29857960/32873844 swapFree=7628/7628
[pid=9534] ppid=9532 vsize=16252 CPUtime=1797.9 cores=0,2,4,6
/proc/9534/stat : 9534 (bsolo) R 9532 9534 8717 0 -1 4202496 1811 0 0 0 178512 1278 0 0 20 0 1 0 282943516 16642048 1639 33554432000 134512640 137138936 4288909152 4288908268 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9534/statm: 4063 1639 192 642 0 3419 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 16252
Child status: 0
Real time (s): 1798.4
CPU time (s): 1798
CPU user time (s): 1785.22
CPU system time (s): 12.7831
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 16336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.22
system time used= 12.7831
maximum resident set size= 6612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1812
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= 2578
runsolver used 2.84457 second user time and 7.56085 second system time
The end