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-2704925-1278581944.opb>
3.79/3.88 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234431 constraints
3.79/3.88 c problem read
3.79/3.89 c presolving settings loaded
5.19/5.21 c presolving:
20.89/20.97 c (round 1) 4196 del vars, 12332 del conss, 2829 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16174414 impls, 0 clqs
30.68/30.75 c (round 2) 10548 del vars, 32884 del conss, 8730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16201452 impls, 0 clqs
34.38/34.42 c (round 3) 12473 del vars, 42558 del conss, 9936 chg bounds, 22 chg sides, 35 chg coeffs, 0 upgd conss, 16211827 impls, 0 clqs
36.17/36.22 c (round 4) 13460 del vars, 46311 del conss, 10503 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16217065 impls, 0 clqs
36.97/37.07 c (round 5) 13901 del vars, 48129 del conss, 10719 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16219790 impls, 0 clqs
37.47/37.50 c (round 6) 14061 del vars, 48873 del conss, 10791 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16220721 impls, 0 clqs
37.67/37.72 c (round 7) 14101 del vars, 49103 del conss, 10800 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16221133 impls, 0 clqs
37.87/37.91 c (round 8) 14109 del vars, 49156 del conss, 10804 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16221161 impls, 0 clqs
39.37/39.49 c (round 9) 14109 del vars, 49168 del conss, 10804 chg bounds, 43 chg sides, 64 chg coeffs, 185263 upgd conss, 16221161 impls, 0 clqs
42.97/43.09 c (round 10) 14109 del vars, 49189 del conss, 10804 chg bounds, 124 chg sides, 318 chg coeffs, 185263 upgd conss, 16221161 impls, 0 clqs
1015.23/1015.60 c pressed CTRL-C 1 times (5 times for forcing termination)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704925-1278581944/watcher-2704925-1278581944 -o /tmp/evaluation-result-2704925-1278581944/solver-2704925-1278581944 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704925-1278581944.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.99 3/106 1252
/proc/meminfo: memFree=1648672/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=5824 CPUtime=0
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 800 0 0 0 0 0 0 0 17 0 1 0 26400843 5963776 715 1992294400 4194304 8395647 140737145292128 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1252/statm: 1456 716 338 1026 0 426 0
[startup+0.054433 s]
/proc/loadavg: 1.00 1.00 0.99 3/106 1252
/proc/meminfo: memFree=1648672/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=14480 CPUtime=0.05
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 2903 0 0 0 4 1 0 0 17 0 1 0 26400843 14827520 2815 1992294400 4194304 8395647 140737145292128 18446744073709551615 7382051 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1252/statm: 3620 2815 393 1026 0 2590 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14480
[startup+0.101437 s]
/proc/loadavg: 1.00 1.00 0.99 3/106 1252
/proc/meminfo: memFree=1648672/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=18376 CPUtime=0.09
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 3871 0 0 0 8 1 0 0 17 0 1 0 26400843 18817024 3783 1992294400 4194304 8395647 140737145292128 18446744073709551615 7382051 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1252/statm: 4594 3783 393 1026 0 3564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18376
[startup+0.301494 s]
/proc/loadavg: 1.00 1.00 0.99 3/106 1252
/proc/meminfo: memFree=1648672/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=32748 CPUtime=0.29
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 7459 0 0 0 27 2 0 0 17 0 1 0 26400843 33533952 7371 1992294400 4194304 8395647 140737145292128 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1252/statm: 8187 7371 393 1026 0 7157 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32748
[startup+0.70049 s]
/proc/loadavg: 1.00 1.00 0.99 3/106 1252
/proc/meminfo: memFree=1648672/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=53128 CPUtime=0.69
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 12588 0 0 0 65 4 0 0 17 0 1 0 26400843 54403072 12500 1992294400 4194304 8395647 140737145292128 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1252/statm: 13282 12500 393 1026 0 12252 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53128
[startup+1.50056 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1253
/proc/meminfo: memFree=1593236/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=71896 CPUtime=1.49
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 17257 0 0 0 143 6 0 0 18 0 1 0 26400843 73621504 17169 1992294400 4194304 8395647 140737145292128 18446744073709551615 4212738 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1252/statm: 17974 17169 393 1026 0 16944 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71896
[startup+3.1007 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1253
/proc/meminfo: memFree=1564592/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=125496 CPUtime=3.09
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 30592 0 0 0 297 12 0 0 21 0 1 0 26400843 128507904 30504 1992294400 4194304 8395647 140737145292128 18446744073709551615 7324744 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1252/statm: 31374 30504 393 1026 0 30344 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 125496
[startup+6.30102 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1253
/proc/meminfo: memFree=1294396/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=411720 CPUtime=6.29
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 100929 0 0 0 590 39 0 0 25 0 1 0 26400843 421601280 100487 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 102930 100487 463 1026 0 101900 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 411720
[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1255
/proc/meminfo: memFree=1007336/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=675300 CPUtime=12.69
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 166490 0 0 0 1209 60 0 0 25 0 1 0 26400843 691507200 166048 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080692 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 168825 166048 469 1026 0 167795 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 675300
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1255
/proc/meminfo: memFree=809680/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=859428 CPUtime=25.48
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 210139 0 0 0 2474 74 0 0 25 0 1 0 26400843 880054272 209697 1992294400 4194304 8395647 140737145292128 18446744073709551615 6085522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 214857 209697 475 1026 0 213827 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 859428
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1255
/proc/meminfo: memFree=712960/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=957844 CPUtime=51.07
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 241818 0 0 0 5022 85 0 0 25 0 1 0 26400843 980832256 234078 1992294400 4194304 8395647 140737145292128 18446744073709551615 4684118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 239461 234078 517 1026 0 238431 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 957844
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1257
/proc/meminfo: memFree=615868/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1056672 CPUtime=102.26
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 265797 0 0 0 10129 97 0 0 25 0 1 0 26400843 1082032128 258057 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 264168 258057 517 1026 0 263138 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1056672
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1259
/proc/meminfo: memFree=607188/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1066820 CPUtime=162.24
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 267961 0 0 0 16126 98 0 0 25 0 1 0 26400843 1092423680 260221 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 266705 260221 517 1026 0 265675 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1066820
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1259
/proc/meminfo: memFree=573460/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1100836 CPUtime=222.22
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 276379 0 0 0 22120 102 0 0 25 0 1 0 26400843 1127256064 268639 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 275209 268639 517 1026 0 274179 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1100836
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1261
/proc/meminfo: memFree=515676/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1159476 CPUtime=282.21
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 290814 0 0 0 28114 107 0 0 25 0 1 0 26400843 1187303424 283074 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 289869 283074 517 1026 0 288839 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1159476
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1263
/proc/meminfo: memFree=473020/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1200152 CPUtime=342.19
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 301439 0 0 0 34108 111 0 0 25 0 1 0 26400843 1228955648 293699 1992294400 4194304 8395647 140737145292128 18446744073709551615 4247653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 300038 293699 517 1026 0 299008 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1200152
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1265
/proc/meminfo: memFree=405688/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1281064 CPUtime=402.18
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 320079 0 0 0 40099 119 0 0 25 0 1 0 26400843 1311809536 312339 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 320266 312339 517 1026 0 319236 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1281064
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1267
/proc/meminfo: memFree=349144/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1329168 CPUtime=462.17
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 332506 0 0 0 46093 124 0 0 25 0 1 0 26400843 1361068032 324766 1992294400 4194304 8395647 140737145292128 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 332292 324766 517 1026 0 331262 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1329168
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 1267
/proc/meminfo: memFree=280324/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1400164 CPUtime=522.15
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 349553 0 0 0 52085 130 0 0 25 0 1 0 26400843 1433767936 341813 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080394 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 350041 341813 517 1026 0 349011 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1400164
[startup+582.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 1269
/proc/meminfo: memFree=250812/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1430284 CPUtime=582.14
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 356919 0 0 0 58081 133 0 0 25 0 1 0 26400843 1464610816 349179 1992294400 4194304 8395647 140737145292128 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 357571 349179 517 1026 0 356541 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1430284
[startup+642.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 1271
/proc/meminfo: memFree=211380/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1469092 CPUtime=642.13
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 366747 0 0 0 64076 137 0 0 25 0 1 0 26400843 1504350208 359007 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 367273 359007 517 1026 0 366243 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1469092
[startup+702.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 1273
/proc/meminfo: memFree=177776/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1502772 CPUtime=702.11
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 375140 0 0 0 70070 141 0 0 25 0 1 0 26400843 1538838528 367400 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 375693 367400 517 1026 0 374663 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1502772
[startup+762.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1275
/proc/meminfo: memFree=131772/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1547308 CPUtime=762.1
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 386600 0 0 0 76065 145 0 0 25 0 1 0 26400843 1584443392 378860 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 386827 378860 517 1026 0 385797 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1547308
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1275
/proc/meminfo: memFree=51048/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1630992 CPUtime=822.08
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 406746 0 0 0 82053 155 0 0 25 0 1 0 26400843 1670135808 399006 1992294400 4194304 8395647 140737145292128 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 407748 399006 517 1026 0 406718 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1630992
[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1277
/proc/meminfo: memFree=17692/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1663980 CPUtime=882.07
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 415074 0 0 0 88049 158 0 0 25 0 1 0 26400843 1703915520 407334 1992294400 4194304 8395647 140737145292128 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 415995 407334 517 1026 0 414965 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1663980
[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1279
/proc/meminfo: memFree=10732/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1733320 CPUtime=942.05
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 431611 0 0 0 94040 165 0 0 25 0 1 0 26400843 1774919680 423871 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1252/statm: 433330 423871 517 1026 0 432300 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1733320
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1281
/proc/meminfo: memFree=9904/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1833172 CPUtime=1001.93
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 457333 0 0 0 100012 181 0 0 25 0 1 0 26400843 1877168128 449593 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080692 0 0 4096 16384 0 0 0 17 1 0 0 9
/proc/1252/statm: 458293 449593 517 1026 0 457263 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 1833172
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1015.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1281
/proc/meminfo: memFree=10592/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1843392 CPUtime=1015.23
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 459906 0 0 0 101340 183 0 0 25 0 1 0 26400843 1887633408 452166 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080701 0 0 4096 16384 0 0 0 17 1 0 0 9
/proc/1252/statm: 460848 452166 517 1026 0 459818 0
Current children cumulated CPU time (s) 1015.23
Current children cumulated vsize (KiB) 1843392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -1252
Solver just ended. Dumping a history of the last processes samples
[startup+1015.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1281
/proc/meminfo: memFree=10592/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1843392 CPUtime=1015.43
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 459917 0 0 0 101360 183 0 0 25 0 1 0 26400843 1887633408 452177 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 9
/proc/1252/statm: 460848 452177 517 1026 0 459818 0
Current children cumulated CPU time (s) 1015.43
Current children cumulated vsize (KiB) 1843392
[startup+1016.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1282
/proc/meminfo: memFree=10584/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1843392 CPUtime=1016.23
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 459921 0 0 0 101440 183 0 0 25 0 1 0 26400843 1887633408 452181 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080709 0 0 4096 16384 0 0 0 17 1 0 0 9
/proc/1252/statm: 460848 452181 517 1026 0 459818 0
Current children cumulated CPU time (s) 1016.23
Current children cumulated vsize (KiB) 1843392
[startup+1017.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1282
/proc/meminfo: memFree=10584/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1843392 CPUtime=1017.03
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 459921 0 0 0 101520 183 0 0 25 0 1 0 26400843 1887633408 452181 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 9
/proc/1252/statm: 460848 452181 517 1026 0 459818 0
Current children cumulated CPU time (s) 1017.03
Current children cumulated vsize (KiB) 1843392
[startup+1017.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1282
/proc/meminfo: memFree=10584/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=1843392 CPUtime=1017.23
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4202496 459921 0 0 0 101540 183 0 0 25 0 1 0 26400843 1887633408 452181 1992294400 4194304 8395647 140737145292128 18446744073709551615 6080701 0 0 4096 16384 0 0 0 17 1 0 0 9
/proc/1252/statm: 460848 452181 517 1026 0 459818 0
Current children cumulated CPU time (s) 1017.23
Current children cumulated vsize (KiB) 1843392
[startup+1017.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1282
/proc/meminfo: memFree=10584/2059040 swapFree=4139856/4192956
[pid=1252] ppid=1250 vsize=0 CPUtime=1017.33
/proc/1252/stat : 1252 (pbscip.linux.x8) R 1250 1252 627 0 -1 4203524 459921 0 0 0 101541 192 0 0 25 0 1 0 26400843 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 9
/proc/1252/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1017.33
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1017.78
CPU time (s): 1017.42
CPU user time (s): 1015.41
CPU system time (s): 2.00769
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 1843392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1015.41
system time used= 2.00769
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459921
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= 3
involuntary context switches= 1009
runsolver used 1.60776 second user time and 4.93425 second system time
The end