3.99/4.09 c SCIP version 1.1.0.7
3.99/4.09 c LP-Solver SoPlex 1.4.1
3.99/4.09 c user parameter file <scip.set> not found - using default parameters
3.99/4.09 c read problem <HOME/instance-3743311-1338804427.opb>
3.99/4.09 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
5.49/5.54 c start presolving problem
5.49/5.54 c presolving:
8.39/8.43 c (round 1) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
11.39/11.40 c (round 2) 671 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 81778 impls, 1977 clqs
11.89/11.95 c (round 3) 674 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 81786 impls, 1977 clqs
65.47/65.57 c (round 4) 1350 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12227162 impls, 1977 clqs
65.67/65.78 c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231168 impls, 1977 clqs
66.66/66.72 c (round 6) 3354 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12256858 impls, 1977 clqs
66.87/66.93 c (round 7) 3354 del vars, 5324 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12256866 impls, 1977 clqs
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-3743311-1338804427/watcher-3743311-1338804427 -o /tmp/evaluation-result-3743311-1338804427/solver-3743311-1338804427 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743311-1338804427.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8572
/proc/meminfo: memFree=22860932/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=8732 CPUtime=0 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1540 0 0 0 0 0 0 0 20 0 1 0 346568244 8941568 1492 33554432000 4194304 7823515 140733951854064 140737381628824 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 2183 1492 349 887 0 1293 0
[startup+0.00679201 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8572
/proc/meminfo: memFree=22860932/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=9132 CPUtime=0 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1623 0 0 0 0 0 0 0 20 0 1 0 346568244 9351168 1575 33554432000 4194304 7823515 140733951854064 140733951718616 6888849 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 2283 1575 349 887 0 1393 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9132
[startup+0.100206 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8572
/proc/meminfo: memFree=22860932/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=29148 CPUtime=0.09 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 6659 0 0 0 9 0 0 0 20 0 1 0 346568244 29847552 6611 33554432000 4194304 7823515 140733951854064 140733951718616 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 7287 6611 354 887 0 6397 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29148
[startup+0.300238 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8572
/proc/meminfo: memFree=22860932/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=54064 CPUtime=0.29 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 12852 0 0 0 28 1 0 0 20 0 1 0 346568244 55361536 12804 33554432000 4194304 7823515 140733951854064 140733951720168 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 13516 12804 354 887 0 12626 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54064
[startup+0.700251 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8572
/proc/meminfo: memFree=22860932/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=92284 CPUtime=0.69 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 22421 0 0 0 66 3 0 0 20 0 1 0 346568244 94498816 22373 33554432000 4194304 7823515 140733951854064 140733951720168 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 23071 22373 354 887 0 22181 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92284
[startup+1.50026 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8573
/proc/meminfo: memFree=22733956/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=196408 CPUtime=1.48 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 48395 0 0 0 142 6 0 0 20 0 1 0 346568244 201121792 48347 33554432000 4194304 7823515 140733951854064 140733951718680 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 49102 48347 354 887 0 48212 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 196408
[startup+3.10024 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8573
/proc/meminfo: memFree=22592340/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=396764 CPUtime=3.09 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 98435 0 0 0 295 14 0 0 20 0 1 0 346568244 406286336 98387 33554432000 4194304 7823515 140733951854064 140733951720168 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 99191 98387 354 887 0 98301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 396764
[startup+6.30018 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8573
/proc/meminfo: memFree=21802568/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=1073264 CPUtime=6.29 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 266995 0 0 0 578 51 0 0 20 0 1 0 346568244 1099022336 267066 33554432000 4194304 7823515 140733951854064 140733951851000 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 268316 267066 419 887 0 267426 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1073264
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 8574
/proc/meminfo: memFree=21381524/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=1482652 CPUtime=12.69 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 370749 0 0 0 1165 104 0 0 20 0 1 0 346568244 1518235648 369168 33554432000 4194304 7823515 140733951854064 140733951850072 4817795 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 370663 369168 461 887 0 369773 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1482652
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8612
/proc/meminfo: memFree=24744368/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=1525560 CPUtime=25.48 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 380992 0 0 0 2441 107 0 0 20 0 1 0 346568244 1562173440 379453 33554432000 4194304 7823515 140733951854064 140733951850120 4243059 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 381390 379453 461 887 0 380500 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1525560
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8612
/proc/meminfo: memFree=24378512/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=1765204 CPUtime=51.06 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 439946 0 0 0 4987 119 0 0 20 0 1 0 346568244 1807568896 438398 33554432000 4194304 7823515 140733951854064 140733951850760 5802393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 441301 438398 462 887 0 440411 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1765204
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8612
/proc/meminfo: memFree=23793772/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=2042928 CPUtime=102.25 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 509373 0 0 0 10064 161 0 0 20 0 1 0 346568244 2091958272 506018 33554432000 4194304 7823515 140733951854064 140733951850120 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 510732 506018 462 887 0 509842 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 2042928
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8613
/proc/meminfo: memFree=23347920/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=2238872 CPUtime=162.23 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 538223 0 0 0 16056 167 0 0 20 0 1 0 346568244 2292604928 553768 33554432000 4194304 7823515 140733951854064 140733951850120 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 559718 553768 462 887 0 558828 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 2238872
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8616
/proc/meminfo: memFree=23169228/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=2403448 CPUtime=222.23 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 576686 0 0 0 22050 173 0 0 20 0 1 0 346568244 2461130752 592741 33554432000 4194304 7823515 140733951854064 140733951849928 5803635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 600862 592741 462 887 0 599972 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 2403448
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8616
/proc/meminfo: memFree=22577548/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=2691764 CPUtime=282.21 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 646464 0 0 0 28036 185 0 0 20 0 1 0 346568244 2756366336 662518 33554432000 4194304 7823515 140733951854064 140733951849928 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 672941 662518 462 887 0 672051 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 2691764
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8616
/proc/meminfo: memFree=22141096/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=2904008 CPUtime=342.2 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 699927 0 0 0 34024 196 0 0 20 0 1 0 346568244 2973704192 715980 33554432000 4194304 7823515 140733951854064 140733951849928 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 726002 715980 462 887 0 725112 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 2904008
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8616
/proc/meminfo: memFree=21658532/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=3178584 CPUtime=402.19 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 765423 0 0 0 40012 207 0 0 20 0 1 0 346568244 3254870016 781726 33554432000 4194304 7823515 140733951854064 140733951849928 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 794646 781726 462 887 0 793756 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 3178584
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8617
/proc/meminfo: memFree=21438096/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=3204180 CPUtime=462.18 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 775844 0 0 0 46006 212 0 0 20 0 1 0 346568244 3281080320 792147 33554432000 4194304 7823515 140733951854064 140733951849928 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 801045 792147 462 887 0 800155 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 3204180
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8617
/proc/meminfo: memFree=21090924/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=3387620 CPUtime=522.16 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 820962 0 0 0 51995 221 0 0 20 0 1 0 346568244 3468922880 837265 33554432000 4194304 7823515 140733951854064 140733951849928 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 846905 837265 462 887 0 846015 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 3387620
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8617
/proc/meminfo: memFree=20699244/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=3593632 CPUtime=582.15 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 869117 0 0 0 57986 229 0 0 20 0 1 0 346568244 3679879168 885420 33554432000 4194304 7823515 140733951854064 140733951849928 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 898408 885420 462 887 0 897518 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 3593632
[startup+642.3 s]
################
# More data... #
################
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1018591 0 0 0 105937 269 0 0 20 0 1 0 346568244 4289912832 1038878 33554432000 4194304 7823515 140733951854064 140733951849928 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1047342 1038878 462 887 0 1046452 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 4189368
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8622
/proc/meminfo: memFree=19442976/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4199608 CPUtime=1122.05 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1023077 0 0 0 111934 271 0 0 20 0 1 0 346568244 4300398592 1044440 33554432000 4194304 7823515 140733951854064 140733951849928 5803616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1049902 1044440 462 887 0 1049012 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 4199608
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8622
/proc/meminfo: memFree=19412500/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4204724 CPUtime=1182.04 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1025483 0 0 0 117931 273 0 0 20 0 1 0 346568244 4305637376 1047409 33554432000 4194304 7823515 140733951854064 140733951849928 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1051181 1047409 462 887 0 1050291 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 4204724
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 8623
/proc/meminfo: memFree=18849372/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4531684 CPUtime=1242.03 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1095857 0 0 0 123918 285 0 0 20 0 1 0 346568244 4640444416 1118027 33554432000 4194304 7823515 140733951854064 140733951849928 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1132921 1118027 462 887 0 1132031 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 4531684
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8623
/proc/meminfo: memFree=18809232/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4542944 CPUtime=1302.03 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1100617 0 0 0 129915 288 0 0 20 0 1 0 346568244 4651974656 1123010 33554432000 4194304 7823515 140733951854064 140733951849928 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1135736 1123010 462 887 0 1134846 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 4542944
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8623
/proc/meminfo: memFree=18771680/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4553184 CPUtime=1362.01 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1105143 0 0 0 135911 290 0 0 20 0 1 0 346568244 4662460416 1127925 33554432000 4194304 7823515 140733951854064 140733951849928 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1138296 1127925 462 887 0 1137406 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 4553184
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8627
/proc/meminfo: memFree=18734496/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4565468 CPUtime=1422 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1110196 0 0 0 141908 292 0 0 20 0 1 0 346568244 4675039232 1133230 33554432000 4194304 7823515 140733951854064 140733951849928 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1141367 1133230 462 887 0 1140477 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 4565468
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8627
/proc/meminfo: memFree=18696836/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4574684 CPUtime=1481.99 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1114309 0 0 0 147905 294 0 0 20 0 1 0 346568244 4684476416 1137516 33554432000 4194304 7823515 140733951854064 140733951849928 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1143671 1137516 462 887 0 1142781 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 4574684
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8627
/proc/meminfo: memFree=18667444/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4583896 CPUtime=1541.98 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1118204 0 0 0 153902 296 0 0 20 0 1 0 346568244 4693909504 1141411 33554432000 4194304 7823515 140733951854064 140733951849928 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1145974 1141411 462 887 0 1145084 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 4583896
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8627
/proc/meminfo: memFree=18632884/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4593112 CPUtime=1601.97 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1122258 0 0 0 159899 298 0 0 20 0 1 0 346568244 4703346688 1145727 33554432000 4194304 7823515 140733951854064 140733951849928 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1148278 1145727 462 887 0 1147388 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 4593112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8627
/proc/meminfo: memFree=18284968/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4982392 CPUtime=1661.96 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1205413 0 0 0 165885 311 0 0 20 0 1 0 346568244 5101969408 1228882 33554432000 4194304 7823515 140733951854064 140733951849928 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1245598 1228882 462 887 0 1244708 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 4982392
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8628
/proc/meminfo: memFree=17935564/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4991608 CPUtime=1721.95 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1209214 0 0 0 171881 314 0 0 20 0 1 0 346568244 5111406592 1232997 33554432000 4194304 7823515 140733951854064 140733951849928 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1247902 1232997 462 887 0 1247012 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 4991608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8628
/proc/meminfo: memFree=17913808/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4996724 CPUtime=1781.95 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1211298 0 0 0 177880 315 0 0 20 0 1 0 346568244 5116645376 1235081 33554432000 4194304 7823515 140733951854064 140733951849928 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1249181 1235081 462 887 0 1248291 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 4996724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8628
/proc/meminfo: memFree=17906972/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=4999796 CPUtime=1800.04 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1212602 0 0 0 179689 315 0 0 20 0 1 0 346568244 5119791104 1236385 33554432000 4194304 7823515 140733951854064 140733951849928 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1249949 1236385 462 887 0 1249059 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4999796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8572
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 8629
/proc/meminfo: memFree=17906972/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=5000820 CPUtime=1801.03 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1212924 0 0 0 179788 315 0 0 20 0 1 0 346568244 5120839680 1236707 33554432000 4194304 7823515 140733951854064 140733951849408 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1250205 1236707 462 887 0 1249315 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 5000820
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8629
/proc/meminfo: memFree=17905212/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=5001844 CPUtime=1801.83 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1213201 0 0 0 179868 315 0 0 20 0 1 0 346568244 5121888256 1236984 33554432000 4194304 7823515 140733951854064 140733951849408 5803627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1250461 1236984 462 887 0 1249571 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 5001844
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8629
/proc/meminfo: memFree=17905212/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=5001844 CPUtime=1802.03 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4202496 1213204 0 0 0 179888 315 0 0 20 0 1 0 346568244 5121888256 1236987 33554432000 4194304 7823515 140733951854064 140733951849928 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 1250461 1236987 462 887 0 1249571 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 5001844
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8629
/proc/meminfo: memFree=17905212/32873648 swapFree=7116/7116
[pid=8572] ppid=8570 vsize=0 CPUtime=1802.13 cores=1,3,5,7
/proc/8572/stat : 8572 (pbscip.linux.x8) R 8570 8572 7629 0 -1 4203524 1213204 0 0 0 179889 324 0 0 20 0 1 0 346568244 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8572/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.54
CPU time (s): 1802.18
CPU user time (s): 1798.9
CPU system time (s): 3.2845
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 5001844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 3.2845
maximum resident set size= 4947948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1213204
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= 111
involuntary context switches= 1827
runsolver used 5.13622 second user time and 14.5318 second system time
The end