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-3708467-1338176237/watcher-3708467-1338176237 -o /tmp/evaluation-result-3708467-1338176237/solver-3708467-1338176237 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708467-1338176237.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.00 2.00 2.00 3/176 25943
/proc/meminfo: memFree=27148884/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/25943/stat : 25943 (runsolver) D 25941 25943 24287 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 283752259 12095488 50 33554432000 4194304 5436572 140737221605616 140737221601912 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/25943/statm: 2953 50 31 304 0 2645 0
[startup+0.05892 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25943
/proc/meminfo: memFree=27148884/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=18068 CPUtime=0.04 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 2088 0 0 0 4 0 0 0 20 0 1 0 283752259 18501632 2001 33554432000 134512640 137138936 4287974800 4287972808 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 4517 2002 241 642 0 3771 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18068
[startup+0.100309 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25943
/proc/meminfo: memFree=27148884/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=26424 CPUtime=0.08 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 4292 0 0 0 8 0 0 0 20 0 1 0 283752259 27058176 4103 33554432000 134512640 137138936 4287974800 4287973480 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 6606 4107 183 642 0 5962 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26424
[startup+0.300275 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25943
/proc/meminfo: memFree=27148884/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=28704 CPUtime=0.29 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 4824 0 0 0 28 1 0 0 20 0 1 0 283752259 29392896 4635 33554432000 134512640 137138936 4287974800 4287582396 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 7176 4635 185 642 0 6532 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28704
[startup+0.700233 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25943
/proc/meminfo: memFree=27148884/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=31212 CPUtime=0.68 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 5883 0 0 0 66 2 0 0 20 0 1 0 283752259 31961088 5246 33554432000 134512640 137138936 4287974800 4287973080 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 7803 5248 192 642 0 7159 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 31212
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25944
/proc/meminfo: memFree=27125812/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=37908 CPUtime=1.48 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 7567 0 0 0 145 3 0 0 20 0 1 0 283752259 38817792 6930 33554432000 134512640 137138936 4287974800 4287973080 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 9477 6932 192 642 0 8833 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37908
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25944
/proc/meminfo: memFree=27115892/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=51576 CPUtime=3.08 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 10978 0 0 0 304 4 0 0 20 0 1 0 283752259 52813824 10341 33554432000 134512640 137138936 4287974800 4287973408 134544712 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 12894 10341 192 642 0 12250 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 51576
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25944
/proc/meminfo: memFree=27087620/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=78760 CPUtime=6.29 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 17780 0 0 0 623 6 0 0 20 0 1 0 283752259 80650240 17143 33554432000 134512640 137138936 4287974800 4287973328 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 19690 17143 192 642 0 19046 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78760
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25944
/proc/meminfo: memFree=27033828/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=130204 CPUtime=12.68 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 30632 0 0 0 1259 9 0 0 20 0 1 0 283752259 133328896 29995 33554432000 134512640 137138936 4287974800 4287973916 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 32551 29995 192 642 0 31907 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 130204
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25944
/proc/meminfo: memFree=26950816/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=209716 CPUtime=25.48 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 50537 0 0 0 2534 14 0 0 20 0 1 0 283752259 214749184 49899 33554432000 134512640 137138936 4287974800 4287973328 134603250 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 52429 49899 192 642 0 51785 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 209716
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25944
/proc/meminfo: memFree=26782640/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=380408 CPUtime=51.07 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 93212 0 0 0 5085 22 0 0 20 0 1 0 283752259 389537792 92567 33554432000 134512640 137138936 4287974800 4287973328 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 95102 92567 192 642 0 94458 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 380408
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25944
/proc/meminfo: memFree=26603380/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=553968 CPUtime=102.26 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 136601 0 0 0 10193 33 0 0 20 0 1 0 283752259 567263232 135950 33554432000 134512640 137138936 4287974800 4287973296 134618530 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 138492 135950 192 642 0 137848 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 553968
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25944
/proc/meminfo: memFree=26571416/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=586204 CPUtime=162.24 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 144648 0 0 0 16185 39 0 0 20 0 1 0 283752259 600272896 143992 33554432000 134512640 137138936 4287974800 4287961140 136500289 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 146551 143992 192 642 0 145907 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 586204
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25947
/proc/meminfo: memFree=26571188/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=586204 CPUtime=222.22 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 144664 0 0 0 22180 42 0 0 20 0 1 0 283752259 600272896 143992 33554432000 134512640 137138936 4287974800 4287973916 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 146551 143992 192 642 0 145907 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 586204
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25948
/proc/meminfo: memFree=26571348/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=586204 CPUtime=282.2 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 144664 0 0 0 28176 44 0 0 20 0 1 0 283752259 600272896 143992 33554432000 134512640 137138936 4287974800 4287973728 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 146551 143992 192 642 0 145907 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 586204
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25948
/proc/meminfo: memFree=26550916/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=606428 CPUtime=342.19 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 149723 0 0 0 34170 49 0 0 20 0 1 0 283752259 620982272 149049 33554432000 134512640 137138936 4287974800 4287973296 134618333 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 151607 149049 192 642 0 150963 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 606428
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25948
/proc/meminfo: memFree=26549604/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=606428 CPUtime=402.18 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 149724 0 0 0 40165 53 0 0 20 0 1 0 283752259 620982272 149537 33554432000 134512640 137138936 4287974800 4287973696 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 151607 149537 192 642 0 150963 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 606428
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25987
/proc/meminfo: memFree=26510544/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=625148 CPUtime=462.17 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 154414 0 0 0 46160 57 0 0 20 0 1 0 283752259 640151552 154227 33554432000 134512640 137138936 4287974800 4287973144 134599733 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 156287 154227 192 642 0 155643 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 625148
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25987
/proc/meminfo: memFree=26508932/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=625148 CPUtime=522.16 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 154414 0 0 0 52156 60 0 0 20 0 1 0 283752259 640151552 154227 33554432000 134512640 137138936 4287974800 4287973728 134542217 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 156287 154227 192 642 0 155643 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 625148
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25988
/proc/meminfo: memFree=26484264/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=647752 CPUtime=582.16 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 160070 0 0 0 58151 65 0 0 20 0 1 0 283752259 663298048 159883 33554432000 134512640 137138936 4287974800 4287973728 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 161938 159883 192 642 0 161294 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 647752
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26474984/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=650880 CPUtime=1062.08 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 177353 0 0 0 106113 95 0 0 20 0 1 0 283752259 666501120 160679 33554432000 134512640 137138936 4287974800 4287961444 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 162720 160679 192 642 0 162076 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 650880
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25992
/proc/meminfo: memFree=26475108/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=650880 CPUtime=1122.07 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 177353 0 0 0 112109 98 0 0 20 0 1 0 283752259 666501120 160679 33554432000 134512640 137138936 4287974800 4287973728 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 162720 160679 192 642 0 162076 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 650880
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25992
/proc/meminfo: memFree=26475108/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=650880 CPUtime=1182.06 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 177353 0 0 0 118106 100 0 0 20 0 1 0 283752259 666501120 160679 33554432000 134512640 137138936 4287974800 4287973728 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 162720 160679 192 642 0 162076 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 650880
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25993
/proc/meminfo: memFree=26463532/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=662956 CPUtime=1242.05 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 180342 0 0 0 124102 103 0 0 20 0 1 0 283752259 678866944 163666 33554432000 134512640 137138936 4287974800 4287973916 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 165739 163666 192 642 0 165095 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 662956
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25993
/proc/meminfo: memFree=26463516/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=662956 CPUtime=1302.05 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 180343 0 0 0 130098 107 0 0 20 0 1 0 283752259 678866944 163666 33554432000 134512640 137138936 4287974800 4287973552 134575600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 165739 163666 192 642 0 165095 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 662956
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25993
/proc/meminfo: memFree=26463640/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=662956 CPUtime=1362.03 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 180343 0 0 0 136094 109 0 0 20 0 1 0 283752259 678866944 163666 33554432000 134512640 137138936 4287974800 4287973728 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 165739 163666 192 642 0 165095 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 662956
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25996
/proc/meminfo: memFree=26425564/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=700448 CPUtime=1422.03 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 189748 0 0 0 142088 115 0 0 20 0 1 0 283752259 717258752 173071 33554432000 134512640 137138936 4287974800 4287973916 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 175112 173071 192 642 0 174468 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 700448
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26019
/proc/meminfo: memFree=26422960/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=700448 CPUtime=1482.01 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 189748 0 0 0 148083 118 0 0 20 0 1 0 283752259 717258752 173071 33554432000 134512640 137138936 4287974800 4287973728 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 175112 173071 192 642 0 174468 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 700448
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26020
/proc/meminfo: memFree=26422844/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=700448 CPUtime=1542.01 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 189748 0 0 0 154079 122 0 0 20 0 1 0 283752259 717258752 173071 33554432000 134512640 137138936 4287974800 4287973728 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 175112 173071 192 642 0 174468 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 700448
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26020
/proc/meminfo: memFree=26488888/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=634596 CPUtime=1601.99 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 189748 0 0 0 160075 124 0 0 20 0 1 0 283752259 649826304 156608 33554432000 134512640 137138936 4287974800 4287973916 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 158649 156608 192 642 0 158005 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 634596
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26020
/proc/meminfo: memFree=26488764/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=634596 CPUtime=1661.99 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 189748 0 0 0 166071 128 0 0 20 0 1 0 283752259 649826304 156608 33554432000 134512640 137138936 4287974800 4287973728 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 158649 156608 192 642 0 158005 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 634596
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26020
/proc/meminfo: memFree=26468116/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=658452 CPUtime=1721.98 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 195680 0 0 0 172067 131 0 0 20 0 1 0 283752259 674254848 162540 33554432000 134512640 137138936 4287974800 4287973728 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 164613 162540 192 642 0 163969 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 658452
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26020
/proc/meminfo: memFree=26428188/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=695884 CPUtime=1781.97 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 205048 0 0 0 178061 136 0 0 20 0 1 0 283752259 712585216 171908 33554432000 134512640 137138936 4287974800 4287973532 136295499 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 173971 171908 192 642 0 173327 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 695884
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 26020
/proc/meminfo: memFree=26428188/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=695884 CPUtime=1791.57 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 205048 0 0 0 179021 136 0 0 20 0 1 0 283752259 712585216 171908 33554432000 134512640 137138936 4287974800 4287973728 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 173971 171908 192 642 0 173327 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 695884
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26020
/proc/meminfo: memFree=26428188/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=695884 CPUtime=1794.78 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 205048 0 0 0 179341 137 0 0 20 0 1 0 283752259 712585216 171908 33554432000 134512640 137138936 4287974800 4287973916 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 173971 171908 192 642 0 173327 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 695884
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26020
/proc/meminfo: memFree=26428188/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=695884 CPUtime=1796.37 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 205048 0 0 0 179500 137 0 0 20 0 1 0 283752259 712585216 171908 33554432000 134512640 137138936 4287974800 4287973728 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 173971 171908 192 642 0 173327 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 695884
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26020
/proc/meminfo: memFree=26428188/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=695884 CPUtime=1797.17 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 205048 0 0 0 179580 137 0 0 20 0 1 0 283752259 712585216 171908 33554432000 134512640 137138936 4287974800 4287973728 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 173971 171908 192 642 0 173327 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 695884
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26020
/proc/meminfo: memFree=26428188/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=695884 CPUtime=1797.57 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 205048 0 0 0 179620 137 0 0 20 0 1 0 283752259 712585216 171908 33554432000 134512640 137138936 4287974800 4287973552 134576319 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 173971 171908 192 642 0 173327 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 695884
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26020
/proc/meminfo: memFree=26428188/32873844 swapFree=6088/6088
[pid=25943] ppid=25941 vsize=695884 CPUtime=1797.97 cores=0,2,4,6
/proc/25943/stat : 25943 (bsolo) R 25941 25943 24287 0 -1 4202496 205048 0 0 0 179660 137 0 0 20 0 1 0 283752259 712585216 171908 33554432000 134512640 137138936 4287974800 4287973728 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25943/statm: 173971 171908 192 642 0 173327 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 695884
Child status: 0
Real time (s): 1798.33
CPU time (s): 1798.01
CPU user time (s): 1796.63
CPU system time (s): 1.37879
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 700448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.63
system time used= 1.37879
maximum resident set size= 692284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205049
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= 70
involuntary context switches= 1870
runsolver used 2.50362 second user time and 7.31289 second system time
The end