0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2666818-1276639832.opb>
6.79/6.89 c original problem has 99789 variables (99789 bin, 0 int, 0 impl, 0 cont) and 388956 constraints
6.79/6.89 c problem read
6.89/6.90 c presolving settings loaded
8.80/8.87 c presolving:
14.58/14.61 c (round 1) 3085 del vars, 6113 del conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
14.98/15.05 c (round 2) 3085 del vars, 6191 del conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
19.38/19.40 c (round 3) 3085 del vars, 6195 del conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 382761 upgd conss, 3505402 impls, 0 clqs
48.08/48.15 c (39.2s) probing: 587/96704 (0.6%) - 0 fixings, 2 aggregations, 128235 implications, 0 bound changes
48.08/48.15 c (39.2s) probing aborted: 100/100 successive totally useless probings
48.08/48.17 c presolving (4 rounds):
48.08/48.17 c 3087 deleted vars, 6195 deleted constraints, 5 tightened bounds, 0 added holes, 26 changed sides, 30 changed coefficients
48.08/48.17 c 3759128 implications, 0 cliques
48.08/48.17 c presolved problem has 96702 variables (96702 bin, 0 int, 0 impl, 0 cont) and 382761 constraints
48.08/48.17 c 1 constraints of type <knapsack>
48.08/48.17 c 382760 constraints of type <logicor>
48.08/48.17 c transformed objective value is always integral (scale: 1)
48.08/48.17 c Presolving Time: 38.27
48.08/48.17 c - non default parameters ----------------------------------------------------------------------
48.08/48.17 c # SCIP version 1.2.1.2
48.08/48.17 c
48.08/48.17 c # frequency for displaying node information lines
48.08/48.17 c # [type: int, range: [-1,2147483647], default: 100]
48.08/48.17 c display/freq = 10000
48.08/48.17 c
48.08/48.17 c # maximal time in seconds to run
48.08/48.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
48.08/48.17 c limits/time = 1793.11
48.08/48.17 c
48.08/48.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
48.08/48.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
48.08/48.17 c limits/memory = 1620
48.08/48.17 c
48.08/48.17 c # should presolving try to simplify inequalities
48.08/48.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
48.08/48.17 c constraints/linear/simplifyinequalities = TRUE
48.08/48.17 c
48.08/48.17 c # should presolving try to simplify knapsacks
48.08/48.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
48.08/48.17 c constraints/knapsack/simplifyinequalities = TRUE
48.08/48.17 c
48.08/48.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
48.08/48.17 c # [type: int, range: [-1,2147483647], default: -1]
48.08/48.17 c separating/rapidlearning/freq = 0
48.08/48.17 c
48.08/48.17 c -----------------------------------------------------------------------------------------------
48.08/48.17 c start solving
48.19/48.28 c
1800.01/1800.50 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-2666818-1276639832/watcher-2666818-1276639832 -o /tmp/evaluation-result-2666818-1276639832/solver-2666818-1276639832 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666818-1276639832.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.01 1.00 2/106 11583
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=6696 CPUtime=0
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 5278300 6856704 903 1992294400 4194304 8223781 140736899908416 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11583/statm: 1674 903 343 984 0 687 0
[startup+0.031421 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 11583
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=11972 CPUtime=0.02
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 2295 0 0 0 2 0 0 0 20 0 1 0 5278300 12259328 2213 1992294400 4194304 8223781 140736899908416 18446744073709551615 6207502 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11583/statm: 2993 2213 365 984 0 2006 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11972
[startup+0.101428 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 11583
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=16640 CPUtime=0.09
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 3492 0 0 0 8 1 0 0 20 0 1 0 5278300 17039360 3410 1992294400 4194304 8223781 140736899908416 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11583/statm: 4160 3410 365 984 0 3173 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16640
[startup+0.30044 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 11583
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=23000 CPUtime=0.29
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 5079 0 0 0 28 1 0 0 20 0 1 0 5278300 23552000 4997 1992294400 4194304 8223781 140736899908416 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11583/statm: 5750 4997 365 984 0 4763 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23000
[startup+0.701468 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 11583
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=36084 CPUtime=0.69
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 8313 0 0 0 66 3 0 0 21 0 1 0 5278300 36950016 8231 1992294400 4194304 8223781 140736899908416 18446744073709551615 7073862 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11583/statm: 9021 8231 365 984 0 8034 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36084
[startup+1.50152 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11584
/proc/meminfo: memFree=1746548/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=59428 CPUtime=1.49
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 14147 0 0 0 144 5 0 0 23 0 1 0 5278300 60854272 14065 1992294400 4194304 8223781 140736899908416 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11583/statm: 14857 14065 365 984 0 13870 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59428
[startup+3.10164 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11584
/proc/meminfo: memFree=1714432/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=106640 CPUtime=3.09
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 25944 0 0 0 298 11 0 0 25 0 1 0 5278300 109199360 25862 1992294400 4194304 8223781 140736899908416 18446744073709551615 5648809 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11583/statm: 26660 25862 365 984 0 25673 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106640
[startup+6.30086 s]
/proc/loadavg: 1.16 1.04 1.01 2/107 11584
/proc/meminfo: memFree=1616720/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=198348 CPUtime=6.29
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 48819 0 0 0 610 19 0 0 25 0 1 0 5278300 203108352 48737 1992294400 4194304 8223781 140736899908416 18446744073709551615 7232304 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11583/statm: 49587 48737 365 984 0 48600 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 198348
[startup+12.7013 s]
/proc/loadavg: 1.15 1.04 1.01 2/107 11584
/proc/meminfo: memFree=1185448/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=629672 CPUtime=12.69
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 154547 0 0 0 1182 87 0 0 25 0 1 0 5278300 644784128 154070 1992294400 4194304 8223781 140736899908416 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 157418 154070 445 984 0 156431 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 629672
[startup+25.5012 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 11584
/proc/meminfo: memFree=1008004/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=796608 CPUtime=25.49
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 246442 0 0 0 2330 219 0 0 25 0 1 0 5278300 815726592 194780 1992294400 4194304 8223781 140736899908416 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 199152 194780 479 984 0 198165 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 796608
[startup+51.101 s]
/proc/loadavg: 1.07 1.03 1.01 2/107 11586
/proc/meminfo: memFree=604756/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1247072 CPUtime=51.08
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 367656 0 0 0 4844 264 0 0 25 0 1 0 5278300 1277001728 295222 1992294400 4194304 8223781 140736899908416 18446744073709551615 6357958 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 311768 295222 540 984 0 310781 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1247072
[startup+102.309 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 11586
/proc/meminfo: memFree=569912/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1288860 CPUtime=102.27
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 406589 0 0 0 9943 284 0 0 25 0 1 0 5278300 1319792640 303891 1992294400 4194304 8223781 140736899908416 18446744073709551615 7253648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 322215 303891 545 984 0 321228 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1288860
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 11588
/proc/meminfo: memFree=560116/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1303008 CPUtime=162.25
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 448265 0 0 0 15916 309 0 0 25 0 1 0 5278300 1334280192 305949 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 325752 305949 545 984 0 324765 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1303008
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11590
/proc/meminfo: memFree=534572/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1323492 CPUtime=222.23
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 499300 0 0 0 21887 336 0 0 25 0 1 0 5278300 1355255808 312821 1992294400 4194304 8223781 140736899908416 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 330873 312821 545 984 0 329886 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1323492
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 3/107 11592
/proc/meminfo: memFree=523412/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1334136 CPUtime=282.22
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 553570 0 0 0 27860 362 0 0 25 0 1 0 5278300 1366155264 311374 1992294400 4194304 8223781 140736899908416 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 333534 311374 545 984 0 332547 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1334136
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11594
/proc/meminfo: memFree=499728/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1357500 CPUtime=342.21
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 622641 0 0 0 33825 396 0 0 25 0 1 0 5278300 1390080000 321394 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 339375 321394 545 984 0 338388 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1357500
[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11594
/proc/meminfo: memFree=536680/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1357724 CPUtime=402.19
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 702853 0 0 0 39782 437 0 0 25 0 1 0 5278300 1390309376 312156 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 339431 312156 545 984 0 338444 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1357724
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11596
/proc/meminfo: memFree=519692/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1391080 CPUtime=462.17
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 763833 0 0 0 45750 467 0 0 25 0 1 0 5278300 1424465920 316412 1992294400 4194304 8223781 140736899908416 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 347770 316412 545 984 0 346783 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1391080
[startup+522.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 11598
/proc/meminfo: memFree=519072/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1391272 CPUtime=522.16
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 789323 0 0 0 51733 483 0 0 25 0 1 0 5278300 1424662528 316527 1992294400 4194304 8223781 140736899908416 18446744073709551615 6612661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 347818 316527 545 984 0 346831 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1391272
[startup+582.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11600
/proc/meminfo: memFree=518328/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1391224 CPUtime=582.15
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 819617 0 0 0 57718 497 0 0 25 0 1 0 5278300 1424613376 316702 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 347806 316702 545 984 0 346819 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1391224
[startup+642.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 11602
/proc/meminfo: memFree=518576/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1392324 CPUtime=642.13
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 852818 0 0 0 63698 515 0 0 25 0 1 0 5278300 1425739776 316656 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348081 316656 545 984 0 347094 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1392324
[startup+702.301 s]
################
# More data... #
################
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 994476 0 0 0 99615 589 0 0 25 0 1 0 5278300 1425809408 318889 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348098 318889 545 984 0 347111 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1392392
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11612
/proc/meminfo: memFree=515724/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1392396 CPUtime=1062.02
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1010967 0 0 0 105604 598 0 0 25 0 1 0 5278300 1425813504 317278 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348099 317278 545 984 0 347112 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1392396
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11614
/proc/meminfo: memFree=515228/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1392392 CPUtime=1122
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1031504 0 0 0 111591 609 0 0 25 0 1 0 5278300 1425809408 317484 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348098 317484 545 984 0 347111 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1392392
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11616
/proc/meminfo: memFree=515972/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1392404 CPUtime=1181.99
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1050191 0 0 0 117581 618 0 0 25 0 1 0 5278300 1425821696 317196 1992294400 4194304 8223781 140736899908416 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348101 317196 545 984 0 347114 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1392404
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11618
/proc/meminfo: memFree=515600/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393736 CPUtime=1241.96
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1067227 0 0 0 123569 627 0 0 25 0 1 0 5278300 1427185664 317264 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348434 317264 545 984 0 347447 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1393736
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11621
/proc/meminfo: memFree=514608/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393744 CPUtime=1301.95
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1082717 0 0 0 129561 634 0 0 25 0 1 0 5278300 1427193856 317346 1992294400 4194304 8223781 140736899908416 18446744073709551615 6503897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348436 317346 545 984 0 347449 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1393744
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11623
/proc/meminfo: memFree=514360/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393744 CPUtime=1361.92
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1106440 0 0 0 135547 645 0 0 25 0 1 0 5278300 1427193856 317288 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348436 317288 545 984 0 347449 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1393744
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11625
/proc/meminfo: memFree=513988/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393740 CPUtime=1421.92
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1124136 0 0 0 141537 655 0 0 25 0 1 0 5278300 1427189760 317643 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348435 317643 545 984 0 347448 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1393740
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11627
/proc/meminfo: memFree=514980/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393744 CPUtime=1481.89
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1143178 0 0 0 147523 666 0 0 25 0 1 0 5278300 1427193856 317350 1992294400 4194304 8223781 140736899908416 18446744073709551615 6532641 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348436 317350 545 984 0 347449 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1393744
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11629
/proc/meminfo: memFree=514980/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393748 CPUtime=1541.88
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1164374 0 0 0 153512 676 0 0 25 0 1 0 5278300 1427197952 317375 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348437 317375 545 984 0 347450 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1393748
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11629
/proc/meminfo: memFree=514236/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393756 CPUtime=1601.86
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1179139 0 0 0 159502 684 0 0 25 0 1 0 5278300 1427206144 317527 1992294400 4194304 8223781 140736899908416 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348439 317527 545 984 0 347452 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1393756
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11631
/proc/meminfo: memFree=513740/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393756 CPUtime=1661.84
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1195776 0 0 0 165491 693 0 0 25 0 1 0 5278300 1427206144 317648 1992294400 4194304 8223781 140736899908416 18446744073709551615 7253680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348439 317648 545 984 0 347452 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1393756
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11633
/proc/meminfo: memFree=514112/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393892 CPUtime=1721.83
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1210399 0 0 0 171483 700 0 0 25 0 1 0 5278300 1427345408 317553 1992294400 4194304 8223781 140736899908416 18446744073709551615 6539282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348473 317553 545 984 0 347486 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1393892
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11635
/proc/meminfo: memFree=513864/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393892 CPUtime=1781.81
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1229463 0 0 0 177470 711 0 0 25 0 1 0 5278300 1427345408 317568 1992294400 4194304 8223781 140736899908416 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348473 317568 545 984 0 347486 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1393892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11635
/proc/meminfo: memFree=513616/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393892 CPUtime=1800.01
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1233242 0 0 0 179288 713 0 0 25 0 1 0 5278300 1427345408 317646 1992294400 4194304 8223781 140736899908416 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348473 317646 545 984 0 347486 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1393892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11583
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11636
/proc/meminfo: memFree=513608/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393892 CPUtime=1800.91
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1233247 0 0 0 179377 714 0 0 25 0 1 0 5278300 1427345408 317651 1992294400 4194304 8223781 140736899908416 18446744073709551615 6359580 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348473 317651 545 984 0 347486 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 1393892
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11636
/proc/meminfo: memFree=513484/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=1393892 CPUtime=1801.71
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4202496 1233250 0 0 0 179457 714 0 0 25 0 1 0 5278300 1427345408 317654 1992294400 4194304 8223781 140736899908416 18446744073709551615 6502714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11583/statm: 348473 317654 545 984 0 347486 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 1393892
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11636
/proc/meminfo: memFree=513484/2059040 swapFree=4192956/4192956
[pid=11583] ppid=11581 vsize=0 CPUtime=1802.11
/proc/11583/stat : 11583 (pbscip.linux.x8) R 11581 11583 10948 0 -1 4203524 1233251 0 0 0 179488 723 0 0 25 0 1 0 5278300 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/11583/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.63
CPU time (s): 1802.15
CPU user time (s): 1794.88
CPU system time (s): 7.2639
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1441612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.88
system time used= 7.26389
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1233251
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= 1
involuntary context switches= 2564
runsolver used 3.08453 second user time and 8.40672 second system time
The end