17.89/17.91 c SCIP version 1.1.0.7
17.89/17.91 c LP-Solver SoPlex 1.4.1
17.89/17.91 c user parameter file <scip.set> not found - using default parameters
17.89/17.91 c read problem <HOME/instance-1869596-1245180310.opb>
17.89/17.91 c original problem has 21756 variables (21756 bin, 0 int, 0 impl, 0 cont) and 1266468 constraints
21.19/21.29 c start presolving problem
21.19/21.29 c presolving:
30.68/30.78 c (round 1) 9584 del vars, 1131751 del conss, 9140 chg bounds, 162 chg sides, 324 chg coeffs, 0 upgd conss, 2936383 impls, 0 clqs
30.88/30.93 c (round 2) 9587 del vars, 1136608 del conss, 9140 chg bounds, 162 chg sides, 324 chg coeffs, 0 upgd conss, 2936383 impls, 0 clqs
32.27/32.39 c (round 3) 9587 del vars, 1136608 del conss, 9140 chg bounds, 162 chg sides, 324 chg coeffs, 129860 upgd conss, 2936383 impls, 0 clqs
41.77/41.84 c (21.9s) probing: 1000/12169 (8.2%) - 0 fixings, 0 aggregations, 8630 implications, 0 bound changes
52.95/53.00 c (33.0s) probing: 2000/12169 (16.4%) - 0 fixings, 0 aggregations, 30913 implications, 0 bound changes
52.95/53.01 c (33.0s) probing: 2001/12169 (16.4%) - 0 fixings, 0 aggregations, 30943 implications, 0 bound changes
52.95/53.01 c (33.0s) probing aborted: 2000/2000 successive useless probings
52.95/53.01 c presolving (4 rounds):
52.95/53.01 c 9587 deleted vars, 1136608 deleted constraints, 9140 tightened bounds, 0 added holes, 162 changed sides, 324 changed coefficients
52.95/53.01 c 3001011 implications, 0 cliques
52.95/53.01 c presolved problem has 12169 variables (12169 bin, 0 int, 0 impl, 0 cont) and 129860 constraints
52.95/53.01 c 129860 constraints of type <logicor>
52.95/53.01 c transformed objective value is always integral (scale: 1)
52.95/53.01 c Presolving Time: 30.42
52.95/53.02 c strange?!, PURESAT with obj
52.95/53.02 c -----------------------------------------------------------------------------------------------
52.95/53.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
52.95/53.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
52.95/53.02 c limits/memory = c 1620
52.95/53.02 c # maximal time in seconds to run
52.95/53.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
52.95/53.02 c limits/time = c 1791
52.95/53.02 c # frequency for displaying node information lines
52.95/53.02 c # [type: int, range: [-1,2147483647], default: 100]
52.95/53.02 c display/freq = c 10000
52.95/53.02 c -----------------------------------------------------------------------------------------------
52.95/53.02 c start solving problem
52.95/53.02 c
348.17/348.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.17/348.47 c 328s| 1 | 0 | 26499 | 747M| 0 |9653 | 12k| 129k| 129k| 12k| 129k| 0 | 0 | 0 | 5.000000e+00 | -- | Inf
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869596-1245180310/watcher-1869596-1245180310 -o /tmp/evaluation-result-1869596-1245180310/solver-1869596-1245180310 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869596-1245180310.opb
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 1.00 3/64 722
/proc/meminfo: memFree=1795508/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=6100 CPUtime=0
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 604 0 0 0 0 0 0 0 18 0 1 0 185628471 6246400 586 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/722/statm: 1525 596 325 886 0 635 0
[startup+0.0173001 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 722
/proc/meminfo: memFree=1795508/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=9960 CPUtime=0.01
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 1802 0 0 0 1 0 0 0 18 0 1 0 185628471 10199040 1784 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 0 0 0 0 17 0 0 0
/proc/722/statm: 2490 1784 354 886 0 1600 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9960
[startup+0.101315 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 722
/proc/meminfo: memFree=1795508/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=18504 CPUtime=0.09
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 3954 0 0 0 9 0 0 0 18 0 1 0 185628471 18948096 3936 1992294400 4194304 7823515 548682068736 18446744073709551615 6854691 0 0 4096 0 0 0 0 17 0 0 0
/proc/722/statm: 4626 3936 354 886 0 3736 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18504
[startup+0.30135 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 722
/proc/meminfo: memFree=1795508/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=23292 CPUtime=0.29
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 5152 0 0 0 28 1 0 0 19 0 1 0 185628471 23851008 5134 1992294400 4194304 7823515 548682068736 18446744073709551615 6908043 0 0 4096 0 0 0 0 17 0 0 0
/proc/722/statm: 5823 5134 354 886 0 4933 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23292
[startup+0.701417 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 722
/proc/meminfo: memFree=1795508/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=33760 CPUtime=0.69
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 7766 0 0 0 67 2 0 0 23 0 1 0 185628471 34570240 7748 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 0 0 0
/proc/722/statm: 8440 7752 354 886 0 7550 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33760
[startup+1.50171 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=1757484/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=53684 CPUtime=1.49
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 12746 0 0 0 145 4 0 0 25 0 1 0 185628471 54972416 12728 1992294400 4194304 7823515 548682068736 18446744073709551615 5875880 0 0 4096 0 0 0 0 17 0 0 0
/proc/722/statm: 13421 12728 354 886 0 12531 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53684
[startup+3.10182 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=1731372/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=95200 CPUtime=3.09
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 23095 0 0 0 300 9 0 0 25 0 1 0 185628471 97484800 23077 1992294400 4194304 7823515 548682068736 18446744073709551615 5538397 0 0 4096 0 0 0 0 17 0 0 0
/proc/722/statm: 23800 23077 354 886 0 22910 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 95200
[startup+6.30237 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=1646892/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=176604 CPUtime=6.29
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 43411 0 0 0 610 19 0 0 25 0 1 0 185628471 180842496 43393 1992294400 4194304 7823515 548682068736 18446744073709551615 6290248 0 0 4096 0 0 0 0 17 0 0 0
/proc/722/statm: 44151 43393 354 886 0 43261 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 176604
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=1477484/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=340520 CPUtime=12.69
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 84267 0 0 0 1234 35 0 0 25 0 1 0 185628471 348692480 84249 1992294400 4194304 7823515 548682068736 18446744073709551615 6882144 0 0 4096 0 0 0 0 17 0 0 0
/proc/722/statm: 85130 84249 354 886 0 84240 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 340520
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=511084/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1303500 CPUtime=25.49
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 322384 0 0 0 2380 169 0 0 25 0 1 0 185628471 1334784000 322012 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 325875 322012 431 886 0 324985 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1303500
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=430252/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1380264 CPUtime=51.05
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345037 0 0 0 4850 255 0 0 25 0 1 0 185628471 1413390336 341148 1992294400 4194304 7823515 548682068736 18446744073709551615 4208150 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 345066 341148 453 886 0 344176 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 1380264
[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439980/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=102.22
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345104 0 0 0 9961 261 0 0 25 0 1 0 185628471 1401823232 338741 1992294400 4194304 7823515 548682068736 18446744073709551615 6908067 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338741 520 886 0 341352 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 1368968
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439980/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=162.19
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345104 0 0 0 15954 265 0 0 25 0 1 0 185628471 1401823232 338741 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338741 520 886 0 341352 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 1368968
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439980/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=222.15
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345104 0 0 0 21948 267 0 0 25 0 1 0 185628471 1401823232 338741 1992294400 4194304 7823515 548682068736 18446744073709551615 6212302 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338741 520 886 0 341352 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 1368968
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439980/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=282.11
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345104 0 0 0 27941 270 0 0 25 0 1 0 185628471 1401823232 338741 1992294400 4194304 7823515 548682068736 18446744073709551615 6151351 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338741 520 886 0 341352 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 1368968
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439980/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=342.07
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345104 0 0 0 33935 272 0 0 25 0 1 0 185628471 1401823232 338741 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338741 520 886 0 341352 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 1368968
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439980/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=402.05
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 39932 273 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6179847 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 1368968
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439980/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=462.01
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 45928 273 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6211594 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 1368968
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439980/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=521.99
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 51924 275 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6208508 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 1368968
[startup+582.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 723
/proc/meminfo: memFree=439980/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=581.95
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 57919 276 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6211732 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 1368968
[startup+642.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 723
/proc/meminfo: memFree=439980/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=641.93
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 63916 277 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6208777 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 1368968
[startup+702.303 s]
################
# More data... #
################
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 105883 288 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6208911 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 1368968
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439852/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1121.67
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 111874 293 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6019554 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1121.67
Current children cumulated vsize (KiB) 1368968
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439852/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1181.64
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 117870 294 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6217353 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 1368968
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439788/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1241.62
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 123866 296 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6208516 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1241.62
Current children cumulated vsize (KiB) 1368968
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439788/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1301.59
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 129862 297 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6217349 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1301.59
Current children cumulated vsize (KiB) 1368968
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439788/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1361.55
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 135858 297 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6211711 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1361.55
Current children cumulated vsize (KiB) 1368968
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439724/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1421.53
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 141855 298 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1421.53
Current children cumulated vsize (KiB) 1368968
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439724/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1481.49
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 147849 300 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6177702 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1481.49
Current children cumulated vsize (KiB) 1368968
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439724/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1541.46
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 153846 300 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6211327 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1541.46
Current children cumulated vsize (KiB) 1368968
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 723
/proc/meminfo: memFree=439660/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1601.44
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 159842 302 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6211590 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1601.44
Current children cumulated vsize (KiB) 1368968
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 725
/proc/meminfo: memFree=439468/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1661.4
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 165838 302 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6208315 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1661.4
Current children cumulated vsize (KiB) 1368968
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 725
/proc/meminfo: memFree=439532/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1721.38
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 171835 303 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6217443 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1721.38
Current children cumulated vsize (KiB) 1368968
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 725
/proc/meminfo: memFree=439532/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1781.35
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 177830 305 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6208504 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (KiB) 1368968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 725
/proc/meminfo: memFree=439532/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1800.05
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 179699 306 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6208777 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1368968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -722
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 725
/proc/meminfo: memFree=439532/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1800.45
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 179739 306 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6177714 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 1368968
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 726
/proc/meminfo: memFree=439524/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1801.25
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 179819 306 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6019508 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1801.25
Current children cumulated vsize (KiB) 1368968
[startup+1803 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 726
/proc/meminfo: memFree=439524/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=1368968 CPUtime=1802.05
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4194304 345115 0 0 0 179899 306 0 0 25 0 1 0 185628471 1401823232 338752 1992294400 4194304 7823515 548682068736 18446744073709551615 6208622 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 342242 338752 531 886 0 341352 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1368968
[startup+1803.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 726
/proc/meminfo: memFree=439524/2055920 swapFree=4181368/4192956
[pid=722] ppid=720 vsize=0 CPUtime=1802.24
/proc/722/stat : 722 (pbscip.linux.x8) R 720 722 585 0 -1 4195332 345115 0 0 0 179899 325 0 0 25 0 1 0 185628471 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/722/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.24
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1803.2
CPU time (s): 1802.25
CPU user time (s): 1799
CPU system time (s): 3.2555
CPU usage (%): 99.9473
Max. virtual memory (cumulated for all children) (KiB): 1380264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 3.2555
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345115
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= 6943
runsolver used 1.60675 second user time and 4.96024 second system time
The end