Trace number 433167

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, and are wall clock time (not CPU 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
bsolo 3.0.17? (TO) 1800.33 1800.38

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-bienst1.opb
MD5SUMc5d594af626243e56994c23d5a3c48e8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13806
Total number of constraints604
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint7
Maximum length of a constraint390
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 13958659059
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433167-1177955893/instance-433167-1177955893.opb
0.00/0.00	c File size is 704009 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Highest Coefficient sum: 1.39587e+10
0.09/0.12	c Parsing was ok!!
0.09/0.12	c Total parsing time: 0.118 s
0.09/0.12	c Var: 13806 Constr: 732 0/8/724 Lit: 89684 Watch. Lit: 18628
0.09/0.12	c Obj. Vars: 30 (0.217297 % of total variables)
2.29/2.30	c Pre-processing Time: 2.302 s
1800.05/1800.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.10	c        0   7854      732    89684  122    73804  179321      0      0 2.30
1800.05/1800.10	c      100   7854      832   112583  135    73948  197254    100     41 2.44
1800.05/1800.10	c      251   7854      983   142434  144    74194  216980    251     96 2.59
1800.05/1800.10	c      477   7854     1209   185343  153    74646  238679    477    166 2.87
1800.05/1800.10	c      816   7854     1548   242446  156    75268  262547    816    236 3.45
1800.05/1800.10	c     1324   7854     2056   386971  188    76289  288802   1324    346 3.82
1800.05/1800.10	c     2089   7854     2821   555027  196    77738  317683   2089    440 4.74
1800.05/1800.10	c     3236   7854     3968   772989  194    80031  349452   3236    547 5.91
1800.05/1800.10	c     4960   7854     5692  1325663  232    83288  384398   4960    635 7.81
1800.05/1800.10	c     7548   7854     8280  2102101  253    88452  422838   7548    555 13.60
1800.05/1800.10	c    11430   7854    12162  3002895  246    95915  465122  11430    737 15.50
1800.05/1800.10	c    17252   7854    17984  4793991  266   107482  511635  17252    701 24.58
1800.05/1800.10	c    25989   7854    26721  6888421  257   124997  562799  25989    806 32.22
1800.05/1800.10	c    39101   7854    39833 11157199  280   150990  619079  39101    819 47.70
1800.05/1800.10	c    58771   7854    59503 17900593  300   190253  680987  58771    731 80.38
1800.05/1800.10	c    88282   7854    89014 26082522  293   249201  749086  88282    510 173.09
1800.05/1800.10	c   132553   7854   133285 45790228  343   340054  823995 132553    437 303.30
1800.05/1800.10	c   198963   7854   199695 68226318  341   472797  906395 198963    299 664.54
1800.05/1800.10	c   298583   7854   299315 100421255  335   671875  997035 298583    295 1011.82
1800.05/1800.10	c Caught signal: 15
1800.05/1800.10	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.10	c   18   401391  26534   551970   402123 137546882 401391    222 1800.06
1800.05/1800.10	s UNKNOWN
1800.05/1800.10	c Total time: 1800.06 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node16/watcher-433167-1177955893 -o ROOT/results/node16/solver-433167-1177955893 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433167-1177955893/instance-433167-1177955893.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.97 3/77 21100
/proc/meminfo: memFree=1883208/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=12424 CPUtime=0
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 243506936 12722176 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 3106 335 280 324 0 2004 0

[startup+0.014659 s]
/proc/loadavg: 0.85 0.97 0.97 3/77 21100
/proc/meminfo: memFree=1883208/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=12700 CPUtime=0
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 441 0 0 0 0 0 0 0 18 0 1 0 243506936 13004800 411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 3175 411 293 324 0 2073 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12700

[startup+0.101641 s]
/proc/loadavg: 0.85 0.97 0.97 3/77 21100
/proc/meminfo: memFree=1883208/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=6520 CPUtime=0.09
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 975 0 0 0 9 0 0 0 18 0 1 0 243506936 6676480 945 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 1630 945 417 324 0 528 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6520

[startup+0.301601 s]
/proc/loadavg: 0.85 0.97 0.97 3/77 21100
/proc/meminfo: memFree=1883208/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=9116 CPUtime=0.29
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 1789 0 0 0 29 0 0 0 19 0 1 0 243506936 9334784 1587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 2279 1587 304 324 0 1349 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9116

[startup+0.701514 s]
/proc/loadavg: 0.85 0.97 0.97 3/77 21100
/proc/meminfo: memFree=1883208/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=9920 CPUtime=0.69
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 2123 0 0 0 68 1 0 0 23 0 1 0 243506936 10158080 1813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 2480 1813 306 324 0 1550 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9920

[startup+1.50135 s]
/proc/loadavg: 0.85 0.97 0.97 2/78 21101
/proc/meminfo: memFree=1877120/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=9920 CPUtime=1.49
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 2123 0 0 0 148 1 0 0 25 0 1 0 243506936 10158080 1813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 2480 1813 306 324 0 1550 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9920

[startup+3.10101 s]
/proc/loadavg: 0.85 0.97 0.97 2/78 21101
/proc/meminfo: memFree=1876992/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=10840 CPUtime=3.08
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 2521 0 0 0 307 1 0 0 25 0 1 0 243506936 11100160 2022 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 2710 2022 310 324 0 1780 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10840

[startup+6.30134 s]
/proc/loadavg: 0.86 0.97 0.97 2/78 21101
/proc/meminfo: memFree=1870144/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=18768 CPUtime=6.29
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 4517 0 0 0 626 3 0 0 25 0 1 0 243506936 19218432 4018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 4692 4018 310 324 0 3762 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18768

[startup+12.702 s]
/proc/loadavg: 0.87 0.97 0.97 2/78 21101
/proc/meminfo: memFree=1855360/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=33480 CPUtime=12.69
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 8207 0 0 0 1264 5 0 0 25 0 1 0 243506936 34283520 7708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 8370 7708 310 324 0 7440 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33480

[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.97 2/78 21101
/proc/meminfo: memFree=1812160/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=76884 CPUtime=25.49
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 19060 0 0 0 2539 10 0 0 25 0 1 0 243506936 78729216 18561 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 19221 18561 310 324 0 18291 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76884

[startup+51.102 s]
/proc/loadavg: 0.93 0.97 0.97 2/78 21101
/proc/meminfo: memFree=1717056/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=172788 CPUtime=51.09
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 43020 0 0 0 5086 23 0 0 25 0 1 0 243506936 176934912 42521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 43197 42521 310 324 0 42267 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 172788

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.97 2/78 21101
/proc/meminfo: memFree=1612416/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=273944 CPUtime=102.29
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 68323 0 0 0 10192 37 0 0 25 0 1 0 243506936 280518656 67824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 68486 67824 310 324 0 67556 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 273944

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21101
/proc/meminfo: memFree=1550528/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=336348 CPUtime=162.29
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 83911 0 0 0 16180 49 0 0 25 0 1 0 243506936 344420352 83412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 84087 83412 310 324 0 83157 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 336348

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/84 21279
/proc/meminfo: memFree=1390664/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=493956 CPUtime=222.21
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 123326 0 0 0 22149 72 0 0 25 0 1 0 243506936 505810944 122827 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 123489 122828 310 324 0 122559 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 493956

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=1302400/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=583524 CPUtime=282.2
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 145716 0 0 0 28135 85 0 0 25 0 1 0 243506936 597528576 145217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 145881 145217 310 324 0 144951 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 583524

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=1214912/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=670540 CPUtime=342.2
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 167460 0 0 0 34122 98 0 0 25 0 1 0 243506936 686632960 166961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 167635 166961 310 324 0 166705 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 670540

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=1149888/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=735968 CPUtime=402.2
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 183808 0 0 0 40109 111 0 0 25 0 1 0 243506936 753631232 183309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 183992 183309 310 324 0 183062 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 735968

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=1105984/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=779092 CPUtime=462.2
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 194612 0 0 0 46100 120 0 0 25 0 1 0 243506936 797790208 194113 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 194773 194113 310 324 0 193843 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 779092

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=1064960/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=820500 CPUtime=522.2
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 204941 0 0 0 52092 128 0 0 25 0 1 0 243506936 840192000 204442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 205125 204442 310 324 0 204195 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 820500

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=1029696/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=855200 CPUtime=582.2
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 213618 0 0 0 58085 135 0 0 25 0 1 0 243506936 875724800 213119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 213800 213119 310 324 0 212870 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 855200

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=1000064/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=884328 CPUtime=642.22
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 220910 0 0 0 64081 141 0 0 25 0 1 0 243506936 905551872 220411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 221082 220411 310 324 0 220152 0
Current children cumulated CPU time (s) 642.22
Current children cumulated vsize (KiB) 884328


################
# More data... #
################

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=615296/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1268732 CPUtime=942.22
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 317007 0 0 0 94023 199 0 0 25 0 1 0 243506936 1299181568 316508 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 317183 316508 310 324 0 316253 0
Current children cumulated CPU time (s) 942.22
Current children cumulated vsize (KiB) 1268732

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=573568/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1309836 CPUtime=1002.22
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 327294 0 0 0 100015 207 0 0 25 0 1 0 243506936 1341272064 326795 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 327459 326795 310 324 0 326529 0
Current children cumulated CPU time (s) 1002.22
Current children cumulated vsize (KiB) 1309836

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=486208/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1398348 CPUtime=1062.22
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 349409 0 0 0 105999 223 0 0 25 0 1 0 243506936 1431908352 348910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 349587 348910 310 324 0 348657 0
Current children cumulated CPU time (s) 1062.22
Current children cumulated vsize (KiB) 1398348

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=436032/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1446828 CPUtime=1122.22
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 361538 0 0 0 111991 231 0 0 25 0 1 0 243506936 1481551872 361039 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 361707 361039 310 324 0 360777 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 1446828

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=401600/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1481608 CPUtime=1182.22
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 370242 0 0 0 117982 240 0 0 25 0 1 0 243506936 1517166592 369743 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 370402 369743 310 324 0 369472 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 1481608

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=363584/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1519060 CPUtime=1242.22
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 379588 0 0 0 123975 247 0 0 25 0 1 0 243506936 1555517440 379089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 379765 379089 310 324 0 378835 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 1519060

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=327296/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1554928 CPUtime=1302.23
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 388560 0 0 0 129967 256 0 0 25 0 1 0 243506936 1592246272 388061 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 388732 388061 310 324 0 387802 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 1554928

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=287936/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1594656 CPUtime=1362.23
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 398495 0 0 0 135958 265 0 0 25 0 1 0 243506936 1632927744 397996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 398664 397996 310 324 0 397734 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 1594656

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 21299
/proc/meminfo: memFree=244672/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1637308 CPUtime=1422.24
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 409170 0 0 0 141949 275 0 0 25 0 1 0 243506936 1676603392 408671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 409327 408671 310 324 0 408397 0
Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 1637308

[startup+1482.3 s]
/proc/loadavg: 1.06 0.99 0.97 2/78 21299
/proc/meminfo: memFree=205504/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1676644 CPUtime=1482.23
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 418978 0 0 0 147939 284 0 0 25 0 1 0 243506936 1716883456 418479 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 419161 418479 310 324 0 418231 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 1676644

[startup+1542.3 s]
/proc/loadavg: 1.02 0.99 0.97 2/78 21299
/proc/meminfo: memFree=178624/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1703180 CPUtime=1542.24
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 425642 0 0 0 153935 289 0 0 25 0 1 0 243506936 1744056320 425143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 425795 425143 310 324 0 424865 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 1703180

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21299
/proc/meminfo: memFree=150912/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1731148 CPUtime=1602.24
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 432611 0 0 0 159929 295 0 0 25 0 1 0 243506936 1772695552 432112 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 432787 432112 310 324 0 431857 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 1731148

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21299
/proc/meminfo: memFree=126080/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1755628 CPUtime=1662.24
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 438733 0 0 0 165925 299 0 0 25 0 1 0 243506936 1797763072 438234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 438907 438234 310 324 0 437977 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 1755628

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21299
/proc/meminfo: memFree=101760/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1779772 CPUtime=1722.24
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 444791 0 0 0 171919 305 0 0 25 0 1 0 243506936 1822486528 444292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 444943 444292 310 324 0 444013 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 1779772

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21299
/proc/meminfo: memFree=85184/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1796056 CPUtime=1782.24
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 448841 0 0 0 177915 309 0 0 25 0 1 0 243506936 1839161344 448342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 449014 448342 310 324 0 448084 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 1796056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21299
/proc/meminfo: memFree=80256/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=1800776 CPUtime=1800.05
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 450033 0 0 0 179695 310 0 0 25 0 1 0 243506936 1843994624 449534 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 450194 449534 310 324 0 449264 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1800776

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.21 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21299
/proc/meminfo: memFree=80256/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=0 CPUtime=1800.15
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194308 450037 0 0 0 179695 320 0 0 25 0 1 0 243506936 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

[startup+1800.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21299
/proc/meminfo: memFree=80256/2055920 swapFree=4148612/4192956
[pid=21100] ppid=21098 vsize=0 CPUtime=1800.24
/proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194308 450037 0 0 0 179695 329 0 0 25 0 1 0 243506936 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/21100/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.38
CPU time (s): 1800.33
CPU user time (s): 1796.96
CPU system time (s): 3.37549
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 1800776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.96
system time used= 3.37549
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450037
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= 12
involuntary context switches= 37732

runsolver used 1.39779 second user time and 3.9764 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Mon Apr 30 17:58:13 UTC 2007

IDJOB= 433167
IDBENCH= 2319
IDSOLVER= 199
FILE ID= node16/433167-1177955893

PBS_JOBID= 4727726

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433167-1177955893/instance-433167-1177955893.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-433167-1177955893 -o ROOT/results/node16/solver-433167-1177955893 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433167-1177955893/instance-433167-1177955893.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  c5d594af626243e56994c23d5a3c48e8

RANDOM SEED= 495882047

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1883680 kB
Buffers:          7900 kB
Cached:          77980 kB
SwapCached:      11972 kB
Active:          67896 kB
Inactive:        40832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1883680 kB
SwapTotal:     4192956 kB
SwapFree:      4148612 kB
Dirty:            7460 kB
Writeback:           0 kB
Mapped:          29900 kB
Slab:            49088 kB
Committed_AS:  7668712 kB
PageTables:       1836 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node16 on Mon Apr 30 18:28:15 UTC 2007