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-3463040-1307178130/watcher-3463040-1307178130 -o /tmp/evaluation-result-3463040-1307178130/solver-3463040-1307178130 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463040-1307178130.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.03 2.00 3/514 15126
/proc/meminfo: memFree=19180608/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=14136 CPUtime=0 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 376 0 0 0 0 0 0 0 25 0 1 0 908043771 14475264 330 33554432000 134512640 137138936 4291051152 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 3534 331 186 642 0 2124 0
[startup+0.0201529 s]
/proc/loadavg: 2.06 2.03 2.00 3/514 15126
/proc/meminfo: memFree=19180608/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=14964 CPUtime=0.01 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 642 0 0 0 1 0 0 0 25 0 1 0 908043771 15323136 596 33554432000 134512640 137138936 4291051152 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 3741 597 237 642 0 2331 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14964
[startup+0.10013 s]
/proc/loadavg: 2.06 2.03 2.00 3/514 15126
/proc/meminfo: memFree=19180608/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=20188 CPUtime=0.09 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 2263 0 0 0 9 0 0 0 25 0 1 0 908043771 20672512 2217 33554432000 134512640 137138936 4291051152 18446744073709551615 134520891 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 5047 2218 554 642 0 3637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20188
[startup+0.301099 s]
/proc/loadavg: 2.06 2.03 2.00 3/514 15126
/proc/meminfo: memFree=19180608/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=32480 CPUtime=0.29 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 6500 0 0 0 28 1 0 0 25 0 1 0 908043771 33259520 5688 33554432000 134512640 137138936 4291051152 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 8153 5692 185 642 0 7509 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32480
[startup+0.701028 s]
/proc/loadavg: 2.06 2.03 2.00 3/514 15126
/proc/meminfo: memFree=19180608/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=33404 CPUtime=0.69 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 6708 0 0 0 63 6 0 0 25 0 1 0 908043771 34205696 5896 33554432000 134512640 137138936 4291051152 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 8351 5896 185 642 0 7707 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33404
[startup+1.50088 s]
/proc/loadavg: 2.06 2.03 2.00 3/515 15127
/proc/meminfo: memFree=19157056/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=30916 CPUtime=1.49 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 8072 0 0 0 136 13 0 0 25 0 1 0 908043771 31657984 5305 33554432000 134512640 137138936 4291051152 18446744073709551615 136511114 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 7729 5305 192 642 0 7085 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30916
[startup+3.1006 s]
/proc/loadavg: 2.05 2.03 2.00 3/515 15127
/proc/meminfo: memFree=19150236/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=51064 CPUtime=3.09 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 13107 0 0 0 295 14 0 0 25 0 1 0 908043771 52289536 10340 33554432000 134512640 137138936 4291051152 18446744073709551615 134544887 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 12766 10340 192 642 0 12122 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51064
[startup+6.30111 s]
/proc/loadavg: 2.05 2.03 2.00 3/515 15127
/proc/meminfo: memFree=19109996/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=88872 CPUtime=6.29 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 22553 0 0 0 614 15 0 0 25 0 1 0 908043771 91004928 19786 33554432000 134512640 137138936 4291051152 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 22218 19786 192 642 0 21574 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88872
[startup+12.701 s]
/proc/loadavg: 2.04 2.03 2.00 3/515 15127
/proc/meminfo: memFree=19038732/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=154856 CPUtime=12.69 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 39054 0 0 0 1251 18 0 0 25 0 1 0 908043771 158572544 36287 33554432000 134512640 137138936 4291051152 18446744073709551615 134551701 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 38714 36287 192 642 0 38070 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 154856
[startup+25.5007 s]
/proc/loadavg: 2.04 2.02 2.00 3/515 15128
/proc/meminfo: memFree=18921944/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=268112 CPUtime=25.49 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 67364 0 0 0 2526 23 0 0 25 0 1 0 908043771 274546688 64597 33554432000 134512640 137138936 4291051152 18446744073709551615 136504068 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 67028 64597 192 642 0 66384 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 268112
[startup+51.1002 s]
/proc/loadavg: 2.02 2.02 2.00 3/515 15128
/proc/meminfo: memFree=18705008/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=485152 CPUtime=51.09 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 121615 0 0 0 5078 31 0 0 25 0 1 0 908043771 496795648 118848 33554432000 134512640 137138936 4291051152 18446744073709551615 134551431 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 121288 118848 192 642 0 120644 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 485152
[startup+102.319 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 15130
/proc/meminfo: memFree=18402304/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=782652 CPUtime=102.31 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 196002 0 0 0 10186 45 0 0 25 0 1 0 908043771 801435648 193235 33554432000 134512640 137138936 4291051152 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 195663 193235 192 642 0 195019 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 782652
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 15131
/proc/meminfo: memFree=18140748/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1045208 CPUtime=162.29 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 261638 0 0 0 16170 59 0 0 25 0 1 0 908043771 1070292992 258871 33554432000 134512640 137138936 4291051152 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 261302 258871 192 642 0 260658 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1045208
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 15133
/proc/meminfo: memFree=18137340/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1046952 CPUtime=222.29 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 262120 0 0 0 22168 61 0 0 25 0 1 0 908043771 1072078848 259300 33554432000 134512640 137138936 4291051152 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 261738 259300 192 642 0 261094 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1046952
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 15135
/proc/meminfo: memFree=18137168/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1046952 CPUtime=282.3 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 262120 0 0 0 28167 63 0 0 25 0 1 0 908043771 1072078848 259300 33554432000 134512640 137138936 4291051152 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 261738 259300 192 642 0 261094 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1046952
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 15136
/proc/meminfo: memFree=18127452/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1056616 CPUtime=342.3 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 264520 0 0 0 34165 65 0 0 25 0 1 0 908043771 1081974784 261700 33554432000 134512640 137138936 4291051152 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 264154 261700 192 642 0 263510 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1056616
[startup+402.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/515 15138
/proc/meminfo: memFree=18126172/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1056616 CPUtime=402.29 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 264520 0 0 0 40162 67 0 0 25 0 1 0 908043771 1081974784 261700 33554432000 134512640 137138936 4291051152 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15126/statm: 264154 261700 192 642 0 263510 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1056616
[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/515 15166
/proc/meminfo: memFree=17992172/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1056616 CPUtime=462.28 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 264520 0 0 0 46159 69 0 0 25 0 1 0 908043771 1081974784 261700 33554432000 134512640 137138936 4291051152 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264154 261700 192 642 0 263510 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1056616
[startup+522.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/515 15168
/proc/meminfo: memFree=17922372/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1056616 CPUtime=522.28 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 264520 0 0 0 52158 70 0 0 25 0 1 0 908043771 1081974784 261700 33554432000 134512640 137138936 4291051152 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264154 261700 192 642 0 263510 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 1056616
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 15170
/proc/meminfo: memFree=17900244/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1056616 CPUtime=582.29 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 264520 0 0 0 58156 73 0 0 25 0 1 0 908043771 1081974784 261700 33554432000 134512640 137138936 4291051152 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264154 261700 192 642 0 263510 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 1056616
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=17876424/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058904 CPUtime=1122.29 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 112140 89 0 0 25 0 1 0 908043771 1084317696 262304 33554432000 134512640 137138936 4291051152 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264726 262304 192 642 0 264082 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 1058904
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15186
/proc/meminfo: memFree=17876248/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058904 CPUtime=1182.3 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 118138 92 0 0 25 0 1 0 908043771 1084317696 262304 33554432000 134512640 137138936 4291051152 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264726 262304 192 642 0 264082 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 1058904
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15187
/proc/meminfo: memFree=17850168/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058904 CPUtime=1242.3 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 124136 94 0 0 25 0 1 0 908043771 1084317696 262304 33554432000 134512640 137138936 4291051152 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264726 262304 192 642 0 264082 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 1058904
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 15189
/proc/meminfo: memFree=17849752/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058904 CPUtime=1302.3 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 130135 95 0 0 25 0 1 0 908043771 1084317696 262304 33554432000 134512640 137138936 4291051152 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264726 262304 192 642 0 264082 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 1058904
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 15190
/proc/meminfo: memFree=17850092/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058904 CPUtime=1362.3 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 136134 96 0 0 25 0 1 0 908043771 1084317696 262304 33554432000 134512640 137138936 4291051152 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264726 262304 192 642 0 264082 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 1058904
[startup+1422.32 s]
/proc/loadavg: 2.08 2.02 2.01 3/515 15192
/proc/meminfo: memFree=17850792/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1422.32 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 142134 98 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1058432
[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/515 15194
/proc/meminfo: memFree=17850860/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1482.31 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 148130 101 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 134551924 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1058432
[startup+1542.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/515 15195
/proc/meminfo: memFree=17829104/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1542.3 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 154128 102 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 1058432
[startup+1602.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/515 15197
/proc/meminfo: memFree=17822376/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1602.3 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 160126 104 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 134576376 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 1058432
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/515 15198
/proc/meminfo: memFree=17821340/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1662.31 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 166125 106 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 1058432
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 15200
/proc/meminfo: memFree=17822296/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1722.3 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 172123 107 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 1058432
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 15202
/proc/meminfo: memFree=17822484/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1782.31 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 178122 109 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 1058432
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 15202
/proc/meminfo: memFree=17822484/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1785.51 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 178442 109 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 134573847 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 1058432
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15202
/proc/meminfo: memFree=17822348/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1791.93 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 179084 109 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 1058432
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15202
/proc/meminfo: memFree=17822224/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1795.11 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 179402 109 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 1058432
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15202
/proc/meminfo: memFree=17822224/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1796.72 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 179562 110 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 1058432
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15202
/proc/meminfo: memFree=17822224/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1797.51 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 179641 110 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 1058432
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15202
/proc/meminfo: memFree=17822224/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=1058432 CPUtime=1797.91 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202496 265167 0 0 0 179681 110 0 0 25 0 1 0 908043771 1083834368 262186 33554432000 134512640 137138936 4291051152 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15126/statm: 264608 262186 192 642 0 263964 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 1058432
[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15202
/proc/meminfo: memFree=17822224/32950940 swapFree=67111364/67111528
[pid=15126] ppid=15124 vsize=0 CPUtime=1798.01 cores=1,3,5,7
/proc/15126/stat : 15126 (bsolo) R 15124 15126 13684 0 -1 4202500 265168 0 0 0 179691 110 0 0 25 0 1 0 908043771 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/15126/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.04
CPU time (s): 1798.06
CPU user time (s): 1796.91
CPU system time (s): 1.14882
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1059204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.91
system time used= 1.14882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265168
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= 2642
runsolver used 9.28959 second user time and 20.9658 second system time
The end