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-3729952-1338680431/watcher-3729952-1338680431 -o /tmp/evaluation-result-3729952-1338680431/solver-3729952-1338680431 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3729952-1338680431.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.00 1.97 1.82 3/176 24800
/proc/meminfo: memFree=28165840/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=24372 CPUtime=0 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 460 0 0 0 0 0 0 0 20 0 1 0 334171783 24956928 397 33554432000 134512640 135840783 4289475872 4289474644 1514812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 6093 397 327 325 0 108 0
[startup+0.0997459 s]
/proc/loadavg: 2.00 1.97 1.82 3/176 24800
/proc/meminfo: memFree=28165840/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=27928 CPUtime=0.09 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 1669 0 0 0 9 0 0 0 20 0 1 0 334171783 28598272 1606 33554432000 134512640 135840783 4289475872 4289474560 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 6982 1606 626 325 0 997 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27928
[startup+0.100194 s]
/proc/loadavg: 2.00 1.97 1.82 3/176 24800
/proc/meminfo: memFree=28165840/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=27928 CPUtime=0.09 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 1673 0 0 0 9 0 0 0 20 0 1 0 334171783 28598272 1610 33554432000 134512640 135840783 4289475872 4289474560 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 6982 1611 627 325 0 997 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27928
[startup+0.300202 s]
/proc/loadavg: 2.00 1.97 1.82 3/176 24800
/proc/meminfo: memFree=28165840/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=35156 CPUtime=0.29 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 4109 0 0 0 29 0 0 0 20 0 1 0 334171783 35999744 4046 33554432000 134512640 135840783 4289475872 4289474688 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 8789 4046 1254 325 0 2804 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35156
[startup+0.700236 s]
/proc/loadavg: 2.00 1.97 1.82 3/176 24800
/proc/meminfo: memFree=28165840/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=49340 CPUtime=0.69 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 8879 0 0 0 68 1 0 0 20 0 1 0 334171783 50524160 8816 33554432000 134512640 135840783 4289475872 4289474688 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 12335 8816 2484 325 0 6350 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49340
[startup+1.50019 s]
/proc/loadavg: 2.00 1.97 1.82 3/177 24801
/proc/meminfo: memFree=28071460/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=77168 CPUtime=1.49 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 18266 0 0 0 147 2 0 0 20 0 1 0 334171783 79020032 18203 33554432000 134512640 135840783 4289475872 4289474688 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 19292 18204 4909 325 0 13307 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77168
[startup+3.10032 s]
/proc/loadavg: 2.00 1.97 1.82 3/177 24801
/proc/meminfo: memFree=28010552/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=113660 CPUtime=3.09 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 32651 0 0 0 304 5 0 0 20 0 1 0 334171783 116387840 27667 33554432000 134512640 135840783 4289475872 4289429788 9389104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 28415 27667 344 325 0 27351 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 113660
[startup+6.30029 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 24802
/proc/meminfo: memFree=27997648/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=113660 CPUtime=6.29 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 32651 0 0 0 623 6 0 0 20 0 1 0 334171783 116387840 27667 33554432000 134512640 135840783 4289475872 4289429788 9389104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 28415 27667 344 325 0 27351 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113660
[startup+12.7003 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 24802
/proc/meminfo: memFree=27997216/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=113660 CPUtime=12.68 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 32651 0 0 0 1260 8 0 0 20 0 1 0 334171783 116387840 27667 33554432000 134512640 135840783 4289475872 4289429788 9389104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 28415 27667 344 325 0 27351 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 113660
[startup+25.5003 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 24840
/proc/meminfo: memFree=28067440/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=113660 CPUtime=25.49 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 32651 0 0 0 2536 13 0 0 20 0 1 0 334171783 116387840 27667 33554432000 134512640 135840783 4289475872 4289429788 9389104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 28415 27667 344 325 0 27351 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 113660
[startup+51.1003 s]
/proc/loadavg: 2.00 1.97 1.83 3/177 24878
/proc/meminfo: memFree=28019428/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=113072 CPUtime=51.05 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 39976 0 0 0 5081 24 0 0 20 0 1 0 334171783 115785728 27546 33554432000 134512640 135840783 4289475872 4289475232 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 28268 27546 348 325 0 27204 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 113072
[startup+102.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/177 24878
/proc/meminfo: memFree=27725424/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=217860 CPUtime=102.22 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 66199 0 0 0 10188 34 0 0 20 0 1 0 334171783 223088640 53731 33554432000 134512640 135840783 4289475872 4289475232 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 54465 53731 348 325 0 53401 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 217860
[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/176 24878
/proc/meminfo: memFree=27610520/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=331548 CPUtime=162.16 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 94656 0 0 0 16172 44 0 0 20 0 1 0 334171783 339505152 82145 33554432000 134512640 135840783 4289475872 4289475224 8566992 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 82887 82145 348 325 0 81823 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 331548
[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/177 24917
/proc/meminfo: memFree=27370840/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=452056 CPUtime=222.12 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 124842 0 0 0 22157 55 0 0 20 0 1 0 334171783 462905344 112294 33554432000 134512640 135840783 4289475872 4289475232 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 113014 112294 348 325 0 111950 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 452056
[startup+282.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/177 24917
/proc/meminfo: memFree=27007308/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=537428 CPUtime=282.06 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 146193 0 0 0 28143 63 0 0 20 0 1 0 334171783 550326272 133607 33554432000 134512640 135840783 4289475872 4289475232 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 134357 133607 348 325 0 133293 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 537428
[startup+342.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 24918
/proc/meminfo: memFree=26916444/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=628764 CPUtime=342.01 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 169078 0 0 0 34129 72 0 0 20 0 1 0 334171783 643854336 156457 33554432000 134512640 135840783 4289475872 4289475232 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 157191 156457 348 325 0 156127 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 628764
[startup+402.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 24918
/proc/meminfo: memFree=26847404/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=698296 CPUtime=401.97 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 186510 0 0 0 40117 80 0 0 20 0 1 0 334171783 715055104 173842 33554432000 134512640 135840783 4289475872 4289475232 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 174574 173842 348 325 0 173510 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 698296
[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/177 24956
/proc/meminfo: memFree=27205172/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=756896 CPUtime=461.91 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 201219 0 0 0 46106 85 0 0 20 0 1 0 334171783 775061504 188503 33554432000 134512640 135840783 4289475872 4289475232 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 189224 188503 348 325 0 188160 0
Current children cumulated CPU time (s) 461.91
Current children cumulated vsize (KiB) 756896
[startup+522.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/177 24956
/proc/meminfo: memFree=26925456/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=842192 CPUtime=521.86 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 222570 0 0 0 52093 93 0 0 20 0 1 0 334171783 862404608 209814 33554432000 134512640 135840783 4289475872 4289475232 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 210548 209814 348 325 0 209484 0
Current children cumulated CPU time (s) 521.86
Current children cumulated vsize (KiB) 842192
[startup+582.307 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 24959
/proc/meminfo: memFree=26725960/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=908576 CPUtime=581.84 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 239177 0 0 0 58085 99 0 0 20 0 1 0 334171783 930381824 226407 33554432000 134512640 135840783 4289475872 4289475228 134520488 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 227144 226407 348 325 0 226080 0
Current children cumulated CPU time (s) 581.84
Current children cumulated vsize (KiB) 908576
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 24960
/proc/meminfo: memFree=26050308/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1159816 CPUtime=881.79 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 301980 0 0 0 88052 127 0 0 20 0 1 0 334171783 1187651584 289210 33554432000 134512640 135840783 4289475872 4289475232 134551635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 289954 289210 348 325 0 288890 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 1159816
[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 24961
/proc/meminfo: memFree=25911456/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1212796 CPUtime=941.78 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 315243 0 0 0 94046 132 0 0 20 0 1 0 334171783 1241903104 302473 33554432000 134512640 135840783 4289475872 4289475232 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 303199 302473 348 325 0 302135 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 1212796
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 24961
/proc/meminfo: memFree=25738256/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1260500 CPUtime=1001.77 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 327172 0 0 0 100038 139 0 0 20 0 1 0 334171783 1290752000 314402 33554432000 134512640 135840783 4289475872 4289475232 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 315125 314402 348 325 0 314061 0
Current children cumulated CPU time (s) 1001.77
Current children cumulated vsize (KiB) 1260500
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 24961
/proc/meminfo: memFree=25605232/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1300260 CPUtime=1061.76 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 337094 0 0 0 106033 143 0 0 20 0 1 0 334171783 1331466240 324324 33554432000 134512640 135840783 4289475872 4289475232 134551182 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 325065 324324 348 325 0 324001 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 1300260
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 1.92 3/177 24961
/proc/meminfo: memFree=25473820/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1338120 CPUtime=1121.75 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 346550 0 0 0 112029 146 0 0 20 0 1 0 334171783 1370234880 333780 33554432000 134512640 135840783 4289475872 4289475232 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 334530 333780 348 325 0 333466 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 1338120
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/178 24964
/proc/meminfo: memFree=25349088/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1375096 CPUtime=1181.74 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 355813 0 0 0 118023 151 0 0 20 0 1 0 334171783 1408098304 343043 33554432000 134512640 135840783 4289475872 4289475232 134550899 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 343774 343043 348 325 0 342710 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 1375096
[startup+1242.31 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 24988
/proc/meminfo: memFree=25227480/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1409664 CPUtime=1241.74 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 364463 0 0 0 124019 155 0 0 20 0 1 0 334171783 1443495936 351693 33554432000 134512640 135840783 4289475872 4289475232 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 352416 351693 348 325 0 351352 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 1409664
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24988
/proc/meminfo: memFree=25119512/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1439740 CPUtime=1301.72 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 371964 0 0 0 130014 158 0 0 20 0 1 0 334171783 1474293760 359194 33554432000 134512640 135840783 4289475872 4289475232 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 359935 359194 348 325 0 358871 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 1439740
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24988
/proc/meminfo: memFree=25014140/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1469024 CPUtime=1361.72 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 379298 0 0 0 136009 163 0 0 20 0 1 0 334171783 1504280576 366528 33554432000 134512640 135840783 4289475872 4289475232 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 367256 366528 348 325 0 366192 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 1469024
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24988
/proc/meminfo: memFree=24915216/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1499644 CPUtime=1421.71 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 386937 0 0 0 142004 167 0 0 20 0 1 0 334171783 1535635456 374167 33554432000 134512640 135840783 4289475872 4289475184 134551030 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 374911 374167 348 325 0 373847 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 1499644
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24988
/proc/meminfo: memFree=24815796/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1528144 CPUtime=1481.7 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 394065 0 0 0 148000 170 0 0 20 0 1 0 334171783 1564819456 381295 33554432000 134512640 135840783 4289475872 4289475152 1584746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 382036 381295 348 325 0 380972 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1528144
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24989
/proc/meminfo: memFree=24713772/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1556368 CPUtime=1541.69 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 401126 0 0 0 153996 173 0 0 20 0 1 0 334171783 1593720832 388356 33554432000 134512640 135840783 4289475872 4289475232 134550939 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 389092 388356 348 325 0 388028 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 1556368
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/177 24989
/proc/meminfo: memFree=24580996/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1583800 CPUtime=1601.68 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 407984 0 0 0 159992 176 0 0 20 0 1 0 334171783 1621811200 395214 33554432000 134512640 135840783 4289475872 4289475232 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 395950 395214 348 325 0 394886 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 1583800
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 24989
/proc/meminfo: memFree=24481452/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1610724 CPUtime=1661.67 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 414701 0 0 0 165987 180 0 0 20 0 1 0 334171783 1649381376 401931 33554432000 134512640 135840783 4289475872 4289475008 1579756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 402681 401931 348 325 0 401617 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 1610724
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24989
/proc/meminfo: memFree=24348800/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1670352 CPUtime=1721.66 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 429634 0 0 0 171981 185 0 0 20 0 1 0 334171783 1710440448 416864 33554432000 134512640 135840783 4289475872 4289475232 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 417588 416864 348 325 0 416524 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1670352
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 24992
/proc/meminfo: memFree=24236848/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1719756 CPUtime=1781.66 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 441967 0 0 0 177975 191 0 0 20 0 1 0 334171783 1761030144 429197 33554432000 134512640 135840783 4289475872 4289475232 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 429939 429197 348 325 0 428875 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 1719756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 24992
/proc/meminfo: memFree=24201848/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1733688 CPUtime=1800.05 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 445460 0 0 0 179813 192 0 0 20 0 1 0 334171783 1775296512 432690 33554432000 134512640 135840783 4289475872 4289475232 134550791 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 433422 432690 348 325 0 432358 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1733688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 24992
/proc/meminfo: memFree=24201848/32873844 swapFree=7116/7116
[pid=24800] ppid=24798 vsize=1733688 CPUtime=1800.05 cores=1,3,5,7
/proc/24800/stat : 24800 (bsolo3.0.17) R 24798 24800 24661 0 -1 4202496 445460 0 0 0 179813 192 0 0 20 0 1 0 334171783 1775296512 432690 33554432000 134512640 135840783 4289475872 4289475232 134550791 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24800/statm: 433422 432690 348 325 0 432358 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1733688
Child status: 15
Real time (s): 1800.78
CPU time (s): 1800.14
CPU user time (s): 1798.14
CPU system time (s): 1.9997
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 1733688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.14
system time used= 1.9997
maximum resident set size= 1730760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445463
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= 392
involuntary context switches= 1840
runsolver used 3.71244 second user time and 9.62254 second system time
The end