0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3743783-1338793891.opb>
4.69/4.76 c original problem has 399113 variables (399113 bin, 0 int, 0 impl, 0 cont) and 400980 constraints
4.69/4.76 c problem read
5.19/5.25 c presolving settings loaded
6.49/6.54 c presolving:
8.28/8.38 c (round 1) 170181 del vars, 171072 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 46796 impls, 1086 clqs
10.08/10.13 c (round 2) 170181 del vars, 171266 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 229520 upgd conss, 46796 impls, 1086 clqs
10.58/10.64 c (round 3) 170181 del vars, 171266 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 229714 upgd conss, 46796 impls, 1086 clqs
490.71/490.81 c (round 4) 170522 del vars, 171266 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 229714 upgd conss, 10133404 impls, 1086 clqs
491.01/491.13 c (round 5) 170522 del vars, 171607 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 229714 upgd conss, 10135396 impls, 1086 clqs
528.51/528.61 c (round 6) 171521 del vars, 171607 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 229714 upgd conss, 10553338 impls, 1086 clqs
528.81/528.94 c (round 7) 171521 del vars, 172606 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 229714 upgd conss, 10553350 impls, 1086 clqs
1800.01/1800.30 c pressed CTRL-C 1 times (5 times for forcing termination)
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-3743783-1338793891/watcher-3743783-1338793891 -o /tmp/evaluation-result-3743783-1338793891/solver-3743783-1338793891 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743783-1338793891.opb -t 1800 -m 15500
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 2.00 2.00 3/173 3134
/proc/meminfo: memFree=26780512/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 1251 0 0 0 0 0 0 0 20 0 1 0 345515918 8105984 1197 33554432000 4194304 8395647 140735396652592 140737340304792 7385025 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 1979 1197 370 1026 0 949 0
[startup+0.0103539 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3134
/proc/meminfo: memFree=26780512/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=10876 CPUtime=0 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 1960 0 0 0 0 0 0 0 20 0 1 0 345515918 11137024 1905 33554432000 4194304 8395647 140735396652592 140737340304792 6347101 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 2719 1905 387 1026 0 1689 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10876
[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3134
/proc/meminfo: memFree=26780512/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=52740 CPUtime=0.08 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 12346 0 0 0 7 1 0 0 20 0 1 0 345515918 54005760 12287 33554432000 4194304 8395647 140735396652592 140737340304792 6347101 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 13185 12320 387 1026 0 12155 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 52740
[startup+0.300238 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3134
/proc/meminfo: memFree=26780512/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=133956 CPUtime=0.29 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 32202 0 0 0 25 4 0 0 20 0 1 0 345515918 137170944 32142 33554432000 4194304 8395647 140735396652592 140737340304792 4327586 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 33489 32142 394 1026 0 32459 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 133956
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3134
/proc/meminfo: memFree=26780512/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=184556 CPUtime=0.69 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 44855 0 0 0 64 5 0 0 20 0 1 0 345515918 188985344 44795 33554432000 4194304 8395647 140735396652592 140735396517800 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 46139 44795 394 1026 0 45109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 184556
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3145
/proc/meminfo: memFree=26395220/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=320772 CPUtime=1.49 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 78928 0 0 0 138 11 0 0 20 0 1 0 345515918 328470528 78868 33554432000 4194304 8395647 140735396652592 140735396517800 7370871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 80193 78868 394 1026 0 79163 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 320772
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3145
/proc/meminfo: memFree=26103200/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=392504 CPUtime=3.09 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 96811 0 0 0 295 14 0 0 20 0 1 0 345515918 401924096 96751 33554432000 4194304 8395647 140735396652592 140735396517800 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 98126 96751 394 1026 0 97096 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 392504
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3145
/proc/meminfo: memFree=25413888/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=1103484 CPUtime=6.28 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 268790 0 0 0 592 36 0 0 20 0 1 0 345515918 1129967616 270489 33554432000 4194304 8395647 140735396652592 140735396650216 7382157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 275871 270519 436 1026 0 274841 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1103484
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3145
/proc/meminfo: memFree=23975044/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=1399480 CPUtime=12.68 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 339573 0 0 0 1222 46 0 0 20 0 1 0 345515918 1433067520 347947 33554432000 4194304 8395647 140735396652592 140735396648392 6080679 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 349870 347947 502 1026 0 348840 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1399480
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3145
/proc/meminfo: memFree=23976268/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=1399480 CPUtime=25.48 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 339573 0 0 0 2502 46 0 0 20 0 1 0 345515918 1433067520 347947 33554432000 4194304 8395647 140735396652592 140735396648392 6080705 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 349870 347947 502 1026 0 348840 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1399480
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3145
/proc/meminfo: memFree=23969308/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=1399480 CPUtime=51.07 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 339573 0 0 0 5061 46 0 0 20 0 1 0 345515918 1433067520 347947 33554432000 4194304 8395647 140735396652592 140735396648392 4911327 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 349870 347947 502 1026 0 348840 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1399480
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3145
/proc/meminfo: memFree=23922728/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=1412232 CPUtime=102.28 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 342397 0 0 0 10181 47 0 0 20 0 1 0 345515918 1446125568 350771 33554432000 4194304 8395647 140735396652592 140735396648664 6080665 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 353058 350771 502 1026 0 352028 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1412232
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3145
/proc/meminfo: memFree=23829384/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=1469488 CPUtime=162.26 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 356802 0 0 0 16177 49 0 0 20 0 1 0 345515918 1504755712 365268 33554432000 4194304 8395647 140735396652592 140735396648072 4689634 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 367372 365268 502 1026 0 366342 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1469488
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3145
/proc/meminfo: memFree=23761232/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=1508536 CPUtime=222.25 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 366478 0 0 0 22175 50 0 0 20 0 1 0 345515918 1544740864 374944 33554432000 4194304 8395647 140735396652592 140735396648664 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 377134 374944 502 1026 0 376104 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1508536
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3146
/proc/meminfo: memFree=23692440/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=1544076 CPUtime=282.24 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 375475 0 0 0 28172 52 0 0 20 0 1 0 345515918 1581133824 383941 33554432000 4194304 8395647 140735396652592 140735396648664 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 386019 383941 502 1026 0 384989 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1544076
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3146
/proc/meminfo: memFree=23642500/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=1569388 CPUtime=342.23 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 381696 0 0 0 34170 53 0 0 20 0 1 0 345515918 1607053312 390162 33554432000 4194304 8395647 140735396652592 140735396648664 7385662 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 392347 390162 502 1026 0 391317 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1569388
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3146
/proc/meminfo: memFree=23554028/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=1611852 CPUtime=402.22 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 392224 0 0 0 40168 54 0 0 20 0 1 0 345515918 1650536448 400690 33554432000 4194304 8395647 140735396652592 140735396648664 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 402963 400690 502 1026 0 401933 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1611852
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3146
/proc/meminfo: memFree=23145240/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=1662940 CPUtime=462.21 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 404942 0 0 0 46165 56 0 0 20 0 1 0 345515918 1702850560 413408 33554432000 4194304 8395647 140735396652592 140735396648664 4911327 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 415735 413408 502 1026 0 414705 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1662940
[startup+522.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/178 3149
/proc/meminfo: memFree=22835592/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=1759780 CPUtime=522.2 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 415479 0 0 0 52162 58 0 0 20 0 1 0 345515918 1802014720 436720 33554432000 4194304 8395647 140735396652592 140735396648664 6080665 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 439945 436720 502 1026 0 438915 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1759780
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 3150
/proc/meminfo: memFree=22356132/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=2141720 CPUtime=582.19 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 502342 0 0 0 58144 75 0 0 20 0 1 0 345515918 2193121280 529715 33554432000 4194304 8395647 140735396652592 140735396648456 6080705 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 535430 529715 502 1026 0 534400 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2141720
[startup+642.3 s]
################
# More data... #
################
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 680223 0 0 0 100098 115 0 0 20 0 1 0 345515918 2941337600 707596 33554432000 4194304 8395647 140735396652592 140735396648456 6080661 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 718100 707596 502 1026 0 717070 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 2872400
[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 3151
/proc/meminfo: memFree=20953628/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=2884688 CPUtime=1062.12 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 685562 0 0 0 106094 118 0 0 20 0 1 0 345515918 2953920512 712935 33554432000 4194304 8395647 140735396652592 140735396648456 6080688 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 721172 712935 502 1026 0 720142 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2884688
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 3154
/proc/meminfo: memFree=20916280/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=2896972 CPUtime=1122.12 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 690254 0 0 0 112091 121 0 0 20 0 1 0 345515918 2966499328 717627 33554432000 4194304 8395647 140735396652592 140735396648456 6080705 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 724243 717627 502 1026 0 723213 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2896972
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3155
/proc/meminfo: memFree=20728248/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3089764 CPUtime=1182.1 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 732844 0 0 0 118082 128 0 0 20 0 1 0 345515918 3163918336 760217 33554432000 4194304 8395647 140735396652592 140735396648456 6080679 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 772441 760217 502 1026 0 771411 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3089764
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3155
/proc/meminfo: memFree=20692936/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3097956 CPUtime=1242.09 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 736402 0 0 0 124079 130 0 0 20 0 1 0 345515918 3172306944 763775 33554432000 4194304 8395647 140735396652592 140735396648456 6080705 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 774489 763775 502 1026 0 773459 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3097956
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3156
/proc/meminfo: memFree=20661336/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3107172 CPUtime=1302.09 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 740387 0 0 0 130077 132 0 0 20 0 1 0 345515918 3181744128 767760 33554432000 4194304 8395647 140735396652592 140735396648456 6080692 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 776793 767760 502 1026 0 775763 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3107172
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3156
/proc/meminfo: memFree=20439164/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3120480 CPUtime=1362.08 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 746056 0 0 0 136072 136 0 0 20 0 1 0 345515918 3195371520 773429 33554432000 4194304 8395647 140735396652592 140735396648456 6080688 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 780120 773429 502 1026 0 779090 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3120480
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3156
/proc/meminfo: memFree=20222688/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3350996 CPUtime=1422.07 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 796377 0 0 0 142064 143 0 0 20 0 1 0 345515918 3431419904 823750 33554432000 4194304 8395647 140735396652592 140735396648456 6080679 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 837749 823750 502 1026 0 836719 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3350996
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3157
/proc/meminfo: memFree=20197048/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3357140 CPUtime=1482.06 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 799180 0 0 0 148061 145 0 0 20 0 1 0 345515918 3437711360 826553 33554432000 4194304 8395647 140735396652592 140735396648456 6080692 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 839285 826553 502 1026 0 838255 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3357140
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3157
/proc/meminfo: memFree=20165956/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3368404 CPUtime=1542.05 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 803819 0 0 0 154057 148 0 0 20 0 1 0 345515918 3449245696 831192 33554432000 4194304 8395647 140735396652592 140735396648456 6080661 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 842101 831192 502 1026 0 841071 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3368404
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3157
/proc/meminfo: memFree=20139076/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3375568 CPUtime=1602.04 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 807236 0 0 0 160054 150 0 0 20 0 1 0 345515918 3456581632 834609 33554432000 4194304 8395647 140735396652592 140735396648456 6080665 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 843892 834609 502 1026 0 842862 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3375568
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3157
/proc/meminfo: memFree=20109716/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3383648 CPUtime=1662.03 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 810422 0 0 0 166051 152 0 0 20 0 1 0 345515918 3464855552 837795 33554432000 4194304 8395647 140735396652592 140735396648456 6080688 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 845912 837795 502 1026 0 844882 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3383648
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3160
/proc/meminfo: memFree=19864536/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3391840 CPUtime=1722.02 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 813833 0 0 0 172049 153 0 0 20 0 1 0 345515918 3473244160 841206 33554432000 4194304 8395647 140735396652592 140735396648456 6080701 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 847960 841206 502 1026 0 846930 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3391840
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3161
/proc/meminfo: memFree=19614264/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3664980 CPUtime=1782.02 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 872991 0 0 0 178039 163 0 0 20 0 1 0 345515918 3752939520 900364 33554432000 4194304 8395647 140735396652592 140735396648456 6080701 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 916245 900364 502 1026 0 915215 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3664980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3161
/proc/meminfo: memFree=19607784/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3667024 CPUtime=1800.01 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 873929 0 0 0 179838 163 0 0 20 0 1 0 345515918 3755032576 901302 33554432000 4194304 8395647 140735396652592 140735396648456 6080661 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 916756 901302 502 1026 0 915726 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3667024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3134
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3162
/proc/meminfo: memFree=19607404/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3667024 CPUtime=1801.11 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 873955 0 0 0 179948 163 0 0 20 0 1 0 345515918 3755032576 901328 33554432000 4194304 8395647 140735396652592 140735396648064 6080675 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 916756 901328 502 1026 0 915726 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 3667024
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3163
/proc/meminfo: memFree=19606528/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=3668048 CPUtime=1801.91 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4202496 874231 0 0 0 180028 163 0 0 20 0 1 0 345515918 3756081152 901604 33554432000 4194304 8395647 140735396652592 140735396648064 6080688 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 917012 901604 502 1026 0 915982 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 3668048
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3163
/proc/meminfo: memFree=19606528/32873648 swapFree=6852/6852
[pid=3134] ppid=3132 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/3134/stat : 3134 (pbscip.linux.x8) R 3132 3134 1632 0 -1 4203524 874233 0 0 0 180038 173 0 0 20 0 1 0 345515918 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3134/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.49
CPU time (s): 1802.21
CPU user time (s): 1800.39
CPU system time (s): 1.81972
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 3668048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.39
system time used= 1.81972
maximum resident set size= 3606424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 874233
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 1857
runsolver used 2.93255 second user time and 8.51271 second system time
The end