Trace number 3735985

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17Signal 824.993 941.896

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
MD5SUM7937d419688402745c19e3544f97b6e8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark1800.83
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables99789
Total number of constraints388956
Number of constraints which are clauses388925
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint1
Maximum length of a constraint3140
Number of terms in the objective function 3140
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3140
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 3178
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 15500 MB
0.00/0.01	c Instance file HOME/instance-3735985-1338708017.opb
0.00/0.01	c File size is 12066143 bytes.
0.99/1.03	c Highest Coefficient sum: 3178
0.99/1.03	c Parsing was ok!!
0.99/1.03	c Total parsing time: 1.018 s
1.09/1.12	c Var: 99789 Constr: 388956 388955/1/0 Lit: 978311 Watch. Lit: 781008
1.09/1.12	c Obj. Vars: 3140 (3.14664 % of total variables)
7.98/8.01	c Pre-processing Time: 8.004 s
7.98/8.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.98/8.02	c        0  99758   388869   978142    2   780839  130622      0      0 8.00
7.98/8.02	c Switching off LPR mode.
8.18/8.24	o 31	8.232
822.17/822.41	terminate called after throwing an instance of 'std::bad_alloc'
822.17/822.41	  what():  std::bad_alloc
822.17/822.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
822.17/822.41	c       10  99758   388880   995258    2   783970  131622     11      1 8.27
822.17/822.41	c      110  99758   388980  1009725    2   784170  144785    111     12 8.64
822.17/822.41	c      361  99758   389231  1040554    2   784672  159264    362     39 9.25
822.17/822.41	c      836  99758   389706  1085777    2   785622  175191    837     79 10.55
822.17/822.41	c     1652  99758   390522  1348902    3   787254  192711   1653    147 11.17
822.17/822.41	c     2974  99758   391844  1850661    4   789898  211983   2975    139 21.37
822.17/822.41	c     5055  99758   393925  3034138    7   794060  233182   5056     87 57.66
822.17/822.41	c     8278  99758   397148  6219476   15   800506  256501   8279    129 64.04
822.17/822.41	c    13214  99758   402084 23630962   58   810378  282152  13215    136 96.82
822.17/822.41	c    20720  99758   409590 26734887   65   825390  310368  20721    167 123.41
822.17/822.41	c    32082  99758   420952 35721623   84   848114  341405  32083    222 144.02
822.17/822.41	c    49226  99758   438096 215809433  492   882402  375546  49227    110 445.71
822.17/822.41	c    75045  99758   463915 242439201  522   934040  413101  75046    134 559.60

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-3735985-1338708017/watcher-3735985-1338708017 -o /tmp/evaluation-result-3735985-1338708017/solver-3735985-1338708017 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3735985-1338708017.opb 

running on 4 cores: 0,2,4,6

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.03 2.03 2.00 3/176 10142
/proc/meminfo: memFree=27419472/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/10142/stat : 10142 (runsolver) D 10140 10142 7463 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 336926091 12095488 51 33554432000 4194304 5436572 140733915149200 140733915145496 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/10142/statm: 2953 51 31 304 0 2645 0

[startup+0.090008 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 10142
/proc/meminfo: memFree=27419472/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=20732 CPUtime=0.07 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 1773 0 0 0 7 0 0 0 20 0 1 0 336926091 21229568 1711 33554432000 134512640 135840783 4287729056 4287727744 12829991 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 5183 1711 562 325 0 1173 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20732

[startup+0.100302 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 10142
/proc/meminfo: memFree=27419472/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=21284 CPUtime=0.08 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 1937 0 0 0 8 0 0 0 20 0 1 0 336926091 21794816 1874 33554432000 134512640 135840783 4287729056 4287727744 12829991 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 5321 1874 595 325 0 1311 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21284

[startup+0.300272 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 10142
/proc/meminfo: memFree=27419472/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=30576 CPUtime=0.28 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 4900 0 0 0 28 0 0 0 20 0 1 0 336926091 31309824 4797 33554432000 134512640 135840783 4287729056 4287727744 12829991 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 7644 4798 1183 325 0 3634 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 30576

[startup+0.700267 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 10142
/proc/meminfo: memFree=27419472/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=48984 CPUtime=0.68 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 10781 0 0 0 67 1 0 0 20 0 1 0 336926091 50159616 10550 33554432000 134512640 135840783 4287729056 4287727744 12829991 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 12246 10552 2342 325 0 8236 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 48984

[startup+1.50029 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10143
/proc/meminfo: memFree=27370260/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=79864 CPUtime=1.48 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 22163 0 0 0 146 2 0 0 20 0 1 0 336926091 81780736 18732 33554432000 134512640 135840783 4287729056 4286530668 14726192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 19966 18732 342 325 0 18902 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 79864

[startup+3.10029 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10143
/proc/meminfo: memFree=27340624/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=79864 CPUtime=3.08 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 22176 0 0 0 305 3 0 0 20 0 1 0 336926091 81780736 18745 33554432000 134512640 135840783 4287729056 4286530668 14726192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 19966 18745 342 325 0 18902 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 79864

[startup+6.30029 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 10143
/proc/meminfo: memFree=27334920/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=79864 CPUtime=6.28 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 22179 0 0 0 624 4 0 0 20 0 1 0 336926091 81780736 18748 33554432000 134512640 135840783 4287729056 4286530668 14726192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 19966 18748 342 325 0 18902 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 79864

[startup+12.7003 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 10143
/proc/meminfo: memFree=27320280/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=93660 CPUtime=12.68 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 30481 0 0 0 1249 19 0 0 20 0 1 0 336926091 95907840 22219 33554432000 134512640 135840783 4287729056 4287728416 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 23415 22219 349 325 0 22351 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93660

[startup+25.5003 s]
/proc/loadavg: 2.23 2.08 2.02 3/178 10144
/proc/meminfo: memFree=27319644/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=94456 CPUtime=25.48 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 30707 0 0 0 2529 19 0 0 20 0 1 0 336926091 96722944 22445 33554432000 134512640 135840783 4287729056 4287728416 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 23614 22445 349 325 0 22550 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 94456

[startup+51.1003 s]
/proc/loadavg: 2.15 2.07 2.01 3/177 10144
/proc/meminfo: memFree=27307328/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=107072 CPUtime=51.07 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 33830 0 0 0 5087 20 0 0 20 0 1 0 336926091 109641728 25568 33554432000 134512640 135840783 4287729056 4287728416 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 26768 25568 349 325 0 25704 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 107072

[startup+102.306 s]
/proc/loadavg: 2.13 2.07 2.01 3/177 10144
/proc/meminfo: memFree=27030604/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=382880 CPUtime=102.23 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 102916 0 0 0 10192 31 0 0 20 0 1 0 336926091 392069120 94628 33554432000 134512640 135840783 4287729056 4287728416 134550808 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 95720 94628 349 325 0 94656 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 382880

[startup+162.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 10144
/proc/meminfo: memFree=26708356/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=715104 CPUtime=162.2 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 185985 0 0 0 16173 47 0 0 20 0 1 0 336926091 732266496 177669 33554432000 134512640 135840783 4287729056 4287504072 8479240 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 178776 177669 349 325 0 177712 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 715104

[startup+222.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 10145
/proc/meminfo: memFree=26094088/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=1288720 CPUtime=222.19 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 330527 0 0 0 22153 66 0 0 20 0 1 0 336926091 1319649280 321073 33554432000 134512640 135840783 4287729056 4287728416 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 322180 321073 349 325 0 321116 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1288720

[startup+282.3 s]
/proc/loadavg: 2.14 2.08 2.02 3/177 10145
/proc/meminfo: memFree=25541572/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=1735812 CPUtime=282.17 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 442302 0 0 0 28138 79 0 0 20 0 1 0 336926091 1777471488 432846 33554432000 134512640 135840783 4287729056 4287728368 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 433953 432846 349 325 0 432889 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 1735812

[startup+342.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 10145
/proc/meminfo: memFree=25061844/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=2211968 CPUtime=342.16 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 561365 0 0 0 34120 96 0 0 20 0 1 0 336926091 2265055232 551908 33554432000 134512640 135840783 4287729056 4287728416 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 552992 551908 349 325 0 551928 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 2211968

[startup+402.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/177 10145
/proc/meminfo: memFree=24686400/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=2582276 CPUtime=402.16 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 653921 0 0 0 40108 108 0 0 20 0 1 0 336926091 2644250624 644462 33554432000 134512640 135840783 4287729056 4287728416 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 645569 644462 349 325 0 644505 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 2582276

[startup+462.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/177 10145
/proc/meminfo: memFree=24324844/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=2929656 CPUtime=462.15 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 740779 0 0 0 46092 123 0 0 20 0 1 0 336926091 2999967744 731318 33554432000 134512640 135840783 4287729056 4287728416 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 732414 731318 349 325 0 731350 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 2929656

[startup+522.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/177 10146
/proc/meminfo: memFree=24172228/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=3081940 CPUtime=522.14 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 778839 0 0 0 52083 131 0 0 20 0 1 0 336926091 3155906560 769378 33554432000 134512640 135840783 4287729056 4287728416 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 770485 769378 349 325 0 769421 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 3081940

[startup+582.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 10146
/proc/meminfo: memFree=24075040/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=3175564 CPUtime=582.12 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 802284 0 0 0 58078 134 0 0 20 0 1 0 336926091 3251777536 792816 33554432000 134512640 135840783 4287729056 4287728416 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 793891 792816 349 325 0 792827 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 3175564

[startup+642.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/178 10149
/proc/meminfo: memFree=24007728/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=3242768 CPUtime=642.11 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 819057 0 0 0 64073 138 0 0 20 0 1 0 336926091 3320594432 809585 33554432000 134512640 135840783 4287729056 4287728192 12827550 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 810692 809585 349 325 0 809628 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 3242768

[startup+702.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 10149
/proc/meminfo: memFree=23628200/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=3627104 CPUtime=702.09 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 915145 0 0 0 70058 151 0 0 20 0 1 0 336926091 3714154496 905669 33554432000 134512640 135840783 4287729056 4287081860 12824760 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 906776 905669 349 325 0 905712 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 3627104

[startup+762.306 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 10149
/proc/meminfo: memFree=23277556/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=3972408 CPUtime=762.08 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 1001466 0 0 0 76045 163 0 0 20 0 1 0 336926091 4067745792 991990 33554432000 134512640 135840783 4287729056 4287656668 8053863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 993102 991990 349 325 0 992038 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 3972408

[startup+822.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 10150
/proc/meminfo: memFree=23063312/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=4190176 CPUtime=822.07 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4202496 1055859 0 0 0 82035 172 0 0 20 0 1 0 336926091 4290740224 1046382 33554432000 134512640 135840783 4287729056 4287728416 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10142/statm: 1047544 1046382 349 325 0 1046480 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 4190176

[startup+882.3 s]
/proc/loadavg: 4.01 2.59 2.19 2/179 10152
/proc/meminfo: memFree=14682724/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=4190176 CPUtime=824.81 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) S 10140 10142 7463 0 -1 4204032 1055975 0 0 0 82047 434 0 0 20 0 1 0 336926091 4290740224 1046497 33554432000 134512640 135840783 4287729056 4287615544 14726192 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10142/statm: 1047544 1046497 378 325 0 1046480 0
Current children cumulated CPU time (s) 824.81
Current children cumulated vsize (KiB) 4190176

Solver just ended. Dumping a history of the last processes samples

[startup+895.9 s]
/proc/loadavg: 4.23 2.71 2.23 2/178 10152
/proc/meminfo: memFree=14683072/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=4190176 CPUtime=824.81 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) S 10140 10142 7463 0 -1 4204032 1055975 0 0 0 82047 434 0 0 20 0 1 0 336926091 4290740224 1046497 33554432000 134512640 135840783 4287729056 4287615544 14726192 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10142/statm: 1047544 1046497 378 325 0 1046480 0
Current children cumulated CPU time (s) 824.81
Current children cumulated vsize (KiB) 4190176

[startup+921.5 s]
/proc/loadavg: 4.81 2.97 2.33 2/178 10152
/proc/meminfo: memFree=14682404/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=4190176 CPUtime=824.81 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) S 10140 10142 7463 0 -1 4204032 1055975 0 0 0 82047 434 0 0 20 0 1 0 336926091 4290740224 1046497 33554432000 134512640 135840783 4287729056 4287615544 14726192 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10142/statm: 1047544 1046497 378 325 0 1046480 0
Current children cumulated CPU time (s) 824.81
Current children cumulated vsize (KiB) 4190176

[startup+934.3 s]
/proc/loadavg: 4.85 3.07 2.37 2/178 10152
/proc/meminfo: memFree=14682388/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=4190176 CPUtime=824.81 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) S 10140 10142 7463 0 -1 4204032 1055975 0 0 0 82047 434 0 0 20 0 1 0 336926091 4290740224 1046497 33554432000 134512640 135840783 4287729056 4287615544 14726192 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10142/statm: 1047544 1046497 378 325 0 1046480 0
Current children cumulated CPU time (s) 824.81
Current children cumulated vsize (KiB) 4190176

[startup+937.5 s]
/proc/loadavg: 4.85 3.07 2.37 2/178 10152
/proc/meminfo: memFree=14682636/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=4190176 CPUtime=824.81 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) S 10140 10142 7463 0 -1 4204032 1055975 0 0 0 82047 434 0 0 20 0 1 0 336926091 4290740224 1046497 33554432000 134512640 135840783 4287729056 4287615544 14726192 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10142/statm: 1047544 1046497 378 325 0 1046480 0
Current children cumulated CPU time (s) 824.81
Current children cumulated vsize (KiB) 4190176

[startup+939.1 s]
/proc/loadavg: 4.87 3.10 2.39 2/178 10152
/proc/meminfo: memFree=14682248/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=4190176 CPUtime=824.81 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) S 10140 10142 7463 0 -1 4204032 1055975 0 0 0 82047 434 0 0 20 0 1 0 336926091 4290740224 1046497 33554432000 134512640 135840783 4287729056 4287615544 14726192 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10142/statm: 1047544 1046497 378 325 0 1046480 0
Current children cumulated CPU time (s) 824.81
Current children cumulated vsize (KiB) 4190176

[startup+940.7 s]
/proc/loadavg: 4.87 3.10 2.39 2/178 10152
/proc/meminfo: memFree=14682372/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=4190176 CPUtime=824.81 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) S 10140 10142 7463 0 -1 4204032 1055975 0 0 0 82047 434 0 0 20 0 1 0 336926091 4290740224 1046497 33554432000 134512640 135840783 4287729056 4287615544 14726192 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10142/statm: 1047544 1046497 378 325 0 1046480 0
Current children cumulated CPU time (s) 824.81
Current children cumulated vsize (KiB) 4190176

[startup+941.5 s]
/proc/loadavg: 4.87 3.10 2.39 3/178 10152
/proc/meminfo: memFree=14685224/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=4190176 CPUtime=824.81 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) S 10140 10142 7463 0 -1 4204032 1055975 0 0 0 82047 434 0 0 20 0 1 0 336926091 4290740224 1046497 33554432000 134512640 135840783 4287729056 4287615544 14726192 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10142/statm: 1047544 1046497 378 325 0 1046480 0
Current children cumulated CPU time (s) 824.81
Current children cumulated vsize (KiB) 4190176

[startup+941.7 s]
/proc/loadavg: 4.87 3.10 2.39 3/178 10152
/proc/meminfo: memFree=14685224/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=4190176 CPUtime=824.81 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) S 10140 10142 7463 0 -1 4204032 1055975 0 0 0 82047 434 0 0 20 0 1 0 336926091 4290740224 1046497 33554432000 134512640 135840783 4287729056 4287615544 14726192 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10142/statm: 1047544 1046497 378 325 0 1046480 0
Current children cumulated CPU time (s) 824.81
Current children cumulated vsize (KiB) 4190176

[startup+941.8 s]
/proc/loadavg: 4.87 3.10 2.39 3/178 10152
/proc/meminfo: memFree=14685224/32873844 swapFree=7628/7628
[pid=10142] ppid=10140 vsize=0 CPUtime=824.89 cores=0,2,4,6
/proc/10142/stat : 10142 (bsolo3.0.17) R 10140 10142 7463 0 -1 4204036 1055975 0 0 0 82047 442 0 0 20 0 1 0 336926091 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10142/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 824.89
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 941.896
CPU time (s): 824.993
CPU user time (s): 820.471
CPU system time (s): 4.52131
CPU usage (%): 87.5885
Max. virtual memory (cumulated for all children) (KiB): 4190176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 820.471
system time used= 4.52131
maximum resident set size= 4185988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1055975
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= 991165
involuntary context switches= 848

runsolver used 1.68274 second user time and 4.65429 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 09:20:17
IDJOB=3735985
IDBENCH=25013
IDSOLVER=2318
FILE ID=node143/3735985-1338708017
RUNJOBID= node143-1338680527-7479
PBS_JOBID= 14636712
Free space on /tmp= 68452 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735985-1338708017/watcher-3735985-1338708017 -o /tmp/evaluation-result-3735985-1338708017/solver-3735985-1338708017 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3735985-1338708017.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7937d419688402745c19e3544f97b6e8
RANDOM SEED=1547694650

node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5298.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27420224 kB
Buffers:          445440 kB
Cached:          3920920 kB
SwapCached:          188 kB
Active:          2389472 kB
Inactive:        2139180 kB
Active(anon):     153740 kB
Inactive(anon):    10992 kB
Active(file):    2235732 kB
Inactive(file):  2128188 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:             18284 kB
Writeback:            44 kB
AnonPages:        170052 kB
Mapped:            11824 kB
Shmem:               160 kB
Slab:             785024 kB
SReclaimable:     226976 kB
SUnreclaim:       558048 kB
KernelStack:        1456 kB
PageTables:         4432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     276776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 64532 MiB
End job on node143 at 2012-06-03 09:35:59