runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486405-1307795825/watcher-3486405-1307795825 -o /tmp/evaluation-result-3486405-1307795825/solver-3486405-1307795825 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486405-1307795825.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 24849
/proc/meminfo: memFree=27665284/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=11092 CPUtime=0 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 1775 0 0 0 0 0 0 0 25 0 1 0 10327366 11358208 1729 33554432000 4194304 8979876 140733449619088 18446744073709551615 4446983 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24849/statm: 2773 1729 366 1169 0 1600 0
[startup+0.020602 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 24849
/proc/meminfo: memFree=27665284/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=21532 CPUtime=0.01 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 4403 0 0 0 1 0 0 0 25 0 1 0 10327366 22048768 4357 33554432000 4194304 8979876 140733449619088 18446744073709551615 6782522 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24849/statm: 5383 4357 366 1169 0 4210 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21532
[startup+0.100647 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 24849
/proc/meminfo: memFree=27665284/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=71388 CPUtime=0.09 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 16821 0 0 0 8 1 0 0 25 0 1 0 10327366 73101312 16775 33554432000 4194304 8979876 140733449619088 18446744073709551615 4892570 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24849/statm: 17847 16775 366 1169 0 16674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 71388
[startup+0.30061 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 24849
/proc/meminfo: memFree=27665284/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=135100 CPUtime=0.29 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 32744 0 0 0 26 3 0 0 25 0 1 0 10327366 138342400 32687 33554432000 4194304 8979876 140733449619088 18446744073709551615 4992695 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24849/statm: 33775 32687 366 1169 0 32602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 135100
[startup+0.70054 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 24849
/proc/meminfo: memFree=27665284/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=157640 CPUtime=0.69 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 38369 0 0 0 65 4 0 0 25 0 1 0 10327366 161423360 38312 33554432000 4194304 8979876 140733449619088 18446744073709551615 7807873 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24849/statm: 39410 38312 366 1169 0 38237 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 157640
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24850
/proc/meminfo: memFree=27497280/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=381216 CPUtime=1.49 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 93678 0 0 0 139 10 0 0 25 0 1 0 10327366 390365184 93621 33554432000 4194304 8979876 140733449619088 18446744073709551615 4880925 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 95304 93621 416 1169 0 94131 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 381216
[startup+3.10108 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24850
/proc/meminfo: memFree=27146856/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=567828 CPUtime=3.1 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 151359 0 0 0 294 16 0 0 25 0 1 0 10327366 581455872 139788 33554432000 4194304 8979876 140733449619088 18446744073709551615 4935078 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 141957 139788 492 1169 0 140784 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 567828
[startup+6.30049 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24850
/proc/meminfo: memFree=26967120/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=800780 CPUtime=6.3 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 217970 0 0 0 607 23 0 0 25 0 1 0 10327366 819998720 196474 33554432000 4194304 8979876 140733449619088 18446744073709551615 5222157 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 200195 196474 573 1169 0 199022 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 800780
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24890
/proc/meminfo: memFree=29990784/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1007288 CPUtime=12.69 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 268447 0 0 0 1241 28 0 0 25 0 1 0 10327366 1031462912 246897 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 251822 246897 553 1169 0 250649 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1007288
[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24890
/proc/meminfo: memFree=29965044/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1012096 CPUtime=25.49 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 269473 0 0 0 2521 28 0 0 25 0 1 0 10327366 1036386304 247923 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 253024 247923 553 1169 0 251851 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1012096
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24890
/proc/meminfo: memFree=29953492/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1024264 CPUtime=51.09 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 272399 0 0 0 5080 29 0 0 25 0 1 0 10327366 1048846336 250849 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 256066 250849 553 1169 0 254893 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1024264
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24892
/proc/meminfo: memFree=29899860/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1082388 CPUtime=102.3 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 285406 0 0 0 10200 30 0 0 25 0 1 0 10327366 1108365312 263839 33554432000 4194304 8979876 140733449619088 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 270597 263839 539 1169 0 269424 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1082388
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24894
/proc/meminfo: memFree=29874360/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1108392 CPUtime=162.29 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 291539 0 0 0 16198 31 0 0 25 0 1 0 10327366 1134993408 269972 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 277098 269972 539 1169 0 275925 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1108392
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24894
/proc/meminfo: memFree=29858428/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1125004 CPUtime=222.3 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 295364 0 0 0 22198 32 0 0 25 0 1 0 10327366 1152004096 273797 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 281251 273797 539 1169 0 280078 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1125004
[startup+282.301 s]
/proc/loadavg: 2.07 2.02 1.98 3/178 24896
/proc/meminfo: memFree=29827856/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1156592 CPUtime=282.3 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 302927 0 0 0 28198 32 0 0 25 0 1 0 10327366 1184350208 281360 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 289148 281360 539 1169 0 287975 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1156592
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 24898
/proc/meminfo: memFree=29809328/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1174032 CPUtime=342.3 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 306947 0 0 0 34198 32 0 0 25 0 1 0 10327366 1202208768 285380 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 293508 285380 539 1169 0 292335 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1174032
[startup+402.301 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 24900
/proc/meminfo: memFree=29787704/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1197044 CPUtime=402.3 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 312352 0 0 0 40197 33 0 0 25 0 1 0 10327366 1225773056 290785 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 299261 290785 539 1169 0 298088 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1197044
[startup+462.301 s]
/proc/loadavg: 2.04 2.02 1.98 3/178 24902
/proc/meminfo: memFree=29754040/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1229588 CPUtime=462.3 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 320583 0 0 0 46197 33 0 0 25 0 1 0 10327366 1259098112 298598 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 307397 298598 539 1169 0 306224 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1229588
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 24902
/proc/meminfo: memFree=29744048/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1236440 CPUtime=522.3 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 322114 0 0 0 52197 33 0 0 25 0 1 0 10327366 1266114560 300129 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 309110 300129 539 1169 0 307937 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1236440
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 24904
/proc/meminfo: memFree=29720676/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1258392 CPUtime=582.3 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 327575 0 0 0 58196 34 0 0 25 0 1 0 10327366 1288593408 305590 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 314598 305590 539 1169 0 313425 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1258392
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 24910
/proc/meminfo: memFree=29618532/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1350436 CPUtime=822.31 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 351002 0 0 0 82195 36 0 0 25 0 1 0 10327366 1382846464 328599 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 337609 328599 539 1169 0 336436 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1350436
[startup+882.301 s]
/proc/loadavg: 2.04 2.01 1.99 3/178 24912
/proc/meminfo: memFree=29578924/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1388124 CPUtime=882.31 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 360403 0 0 0 88194 37 0 0 25 0 1 0 10327366 1421438976 338000 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 347031 338000 539 1169 0 345858 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1388124
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/178 24914
/proc/meminfo: memFree=29551712/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1413424 CPUtime=942.31 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 366709 0 0 0 94194 37 0 0 25 0 1 0 10327366 1447346176 344306 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 353356 344306 539 1169 0 352183 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1413424
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24916
/proc/meminfo: memFree=29527092/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1437948 CPUtime=1002.32 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 372818 0 0 0 100194 38 0 0 25 0 1 0 10327366 1472458752 350415 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 359487 350415 539 1169 0 358314 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1437948
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24918
/proc/meminfo: memFree=29512148/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1452768 CPUtime=1062.31 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 376511 0 0 0 106193 38 0 0 25 0 1 0 10327366 1487634432 354108 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 363192 354108 539 1169 0 362019 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1452768
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24918
/proc/meminfo: memFree=29506148/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1457836 CPUtime=1122.31 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 377740 0 0 0 112193 38 0 0 25 0 1 0 10327366 1492824064 355337 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 364459 355337 539 1169 0 363286 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1457836
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24922
/proc/meminfo: memFree=29472852/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1487552 CPUtime=1182.32 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 385257 0 0 0 118193 39 0 0 25 0 1 0 10327366 1523253248 362714 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 371888 362714 539 1169 0 370715 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1487552
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 24925
/proc/meminfo: memFree=29446920/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1527972 CPUtime=1242.32 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 395438 0 0 0 124192 40 0 0 25 0 1 0 10327366 1564643328 372835 33554432000 4194304 8979876 140733449619088 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 381993 372835 539 1169 0 380820 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1527972
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24927
/proc/meminfo: memFree=29345680/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1611584 CPUtime=1302.33 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 416594 0 0 0 130191 42 0 0 25 0 1 0 10327366 1650262016 393991 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 402896 393991 539 1169 0 401723 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1611584
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24929
/proc/meminfo: memFree=29240216/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1713280 CPUtime=1362.32 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 442292 0 0 0 136188 44 0 0 25 0 1 0 10327366 1754398720 419631 33554432000 4194304 8979876 140733449619088 18446744073709551615 4889190 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 428320 419631 539 1169 0 427147 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1713280
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24929
/proc/meminfo: memFree=29218704/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1733084 CPUtime=1422.33 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 447172 0 0 0 142188 45 0 0 25 0 1 0 10327366 1774678016 424511 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 433271 424511 539 1169 0 432098 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1733084
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24940
/proc/meminfo: memFree=29145800/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1803960 CPUtime=1482.32 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 464814 0 0 0 148186 46 0 0 25 0 1 0 10327366 1847255040 442153 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 450990 442153 539 1169 0 449817 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1803960
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24942
/proc/meminfo: memFree=29100228/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1847368 CPUtime=1542.33 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 475511 0 0 0 154185 48 0 0 25 0 1 0 10327366 1891704832 452850 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 461842 452850 539 1169 0 460669 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1847368
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24944
/proc/meminfo: memFree=29058012/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1890244 CPUtime=1602.33 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 485855 0 0 0 160184 49 0 0 25 0 1 0 10327366 1935609856 463194 33554432000 4194304 8979876 140733449619088 18446744073709551615 5211706 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 472561 463194 539 1169 0 471388 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1890244
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24946
/proc/meminfo: memFree=28983672/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1960456 CPUtime=1662.33 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 503682 0 0 0 166183 50 0 0 25 0 1 0 10327366 2007506944 480915 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 490114 480915 539 1169 0 488941 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1960456
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24946
/proc/meminfo: memFree=28956220/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=1986076 CPUtime=1722.34 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 509962 0 0 0 172183 51 0 0 25 0 1 0 10327366 2033741824 487195 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 496519 487195 539 1169 0 495346 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1986076
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24948
/proc/meminfo: memFree=28919204/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=2021616 CPUtime=1782.34 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 518547 0 0 0 178182 52 0 0 25 0 1 0 10327366 2070134784 495780 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503488 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 505404 495780 539 1169 0 504231 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2021616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24949
/proc/meminfo: memFree=28908388/32950928 swapFree=67111528/67111528
[pid=24849] ppid=24847 vsize=2031624 CPUtime=1800.04 cores=1,3,5,7
/proc/24849/stat : 24849 (scip-2.0.1.4_2.) R 24847 24849 23627 0 -1 4202496 521008 0 0 0 179952 52 0 0 25 0 1 0 10327366 2080382976 498241 33554432000 4194304 8979876 140733449619088 18446744073709551615 6503488 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24849/statm: 507906 498241 539 1169 0 506733 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2031624
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.11
CPU user time (s): 1799.53
CPU system time (s): 0.58591
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2031624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.58591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 521008
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= 5
involuntary context switches= 2257
runsolver used 2.36864 second user time and 5.85211 second system time
The end