Trace number 458711

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
PBS4_v2 2007-03-23SAT (TO)-7551 1800.04 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-sentoy.opb
MD5SUMd0f46c7e79d3309033cc6b73ceacef6c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7772
Best CPU time to get the best result obtained on this benchmark0.130979
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7772
Optimality of the best value was proved YES
Number of variables60
Total number of constraints30
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint60
Maximum length of a constraint60
Number of terms in the objective function 60
Biggest coefficient in the objective function 974
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 9460
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 6000
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 26162
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/458711-1178641030/instance-458711-1178641030.opb ......
0.00/0.00	c done parsing opb.
0.00/0.00	o 9460
0.00/0.00	o 9458
0.00/0.00	o 9383
0.00/0.00	o 9381
0.00/0.00	o 9377
0.00/0.00	o 9375
0.00/0.00	o 9316
0.00/0.00	o 9314
0.00/0.00	o 9310
0.00/0.00	o 9308
0.00/0.00	o 8530
0.00/0.00	o 8528
0.00/0.00	o 8453
0.00/0.00	o 8451
0.00/0.00	o 8447
0.00/0.00	o 8445
0.00/0.00	o 8386
0.00/0.00	o 8384
0.00/0.00	o 8380
0.00/0.00	o 8378
0.00/0.00	o 8377
0.00/0.00	o 8375
0.00/0.00	o 8374
0.00/0.00	o 8372
0.00/0.00	o 8371
0.00/0.00	o 8369
0.00/0.01	o 8260
0.00/0.01	o 8258
0.00/0.01	o 8183
0.00/0.01	o 8181
0.00/0.01	o 8177
0.00/0.01	o 8175
0.00/0.01	o 8116
0.00/0.01	o 8114
0.00/0.01	o 8110
0.00/0.01	o 8108
0.00/0.01	o 8107
0.00/0.01	o 8105
0.00/0.01	o 8104
0.00/0.01	o 8102
0.00/0.01	o 8101
0.00/0.01	o 8099
0.00/0.01	o 8083
0.00/0.01	o 8081
0.00/0.01	o 8077
0.00/0.01	o 8075
0.00/0.01	o 8074
0.00/0.01	o 8072
0.00/0.01	o 8071
0.00/0.01	o 8069
0.00/0.01	o 8068
0.00/0.01	o 8066
0.00/0.01	o 8064
0.00/0.01	o 8062
0.00/0.01	o 8061
0.00/0.01	o 8059
0.00/0.01	o 8058
0.00/0.01	o 8056
0.00/0.01	o 8055
0.00/0.01	o 8053
0.00/0.01	o 8006
0.00/0.01	o 8004
0.00/0.01	o 8000
0.00/0.01	o 7998
0.00/0.01	o 7997
0.00/0.01	o 7995
0.00/0.01	o 7994
0.00/0.01	o 7992
0.00/0.01	o 7991
0.00/0.01	o 7989
0.00/0.01	o 7973
0.00/0.01	o 7971
0.00/0.01	o 7967
0.00/0.01	o 7965
0.00/0.01	o 7964
0.00/0.01	o 7962
0.00/0.01	o 7961
0.00/0.01	o 7959
0.00/0.01	o 7958
0.00/0.01	o 7956
0.00/0.01	o 7954
0.00/0.02	o 7952
0.00/0.02	o 7951
0.00/0.02	o 7949
0.00/0.02	o 7948
0.00/0.02	o 7946
0.00/0.02	o 7945
0.00/0.02	o 7943
0.00/0.02	o 7941
0.00/0.02	o 7940
0.00/0.02	o 7938
0.00/0.02	o 7937
0.00/0.02	o 7935
0.00/0.02	o 7933
0.00/0.02	o 7931
0.00/0.02	o 7930
0.00/0.02	o 7928
0.00/0.02	o 7927
0.00/0.02	o 7925
0.00/0.02	o 7924
0.00/0.02	o 7922
0.00/0.02	o 7917
0.00/0.02	o 7915
0.00/0.02	o 7911
0.00/0.02	o 7909
0.00/0.02	o 7908
0.00/0.02	o 7906
0.00/0.02	o 7905
0.00/0.02	o 7903
0.00/0.02	o 7902
0.00/0.02	o 7900
0.00/0.02	o 7898
0.00/0.02	o 7896
0.00/0.02	o 7895
0.00/0.02	o 7893
0.00/0.02	o 7892
0.00/0.02	o 7890
0.00/0.02	o 7889
0.00/0.02	o 7887
0.00/0.02	o 7885
0.00/0.02	o 7884
0.00/0.02	o 7882
0.00/0.02	o 7881
0.00/0.02	o 7879
0.00/0.02	o 7877
0.00/0.02	o 7875
0.00/0.03	o 7874
0.00/0.03	o 7872
0.00/0.03	o 7871
0.00/0.03	o 7869
0.00/0.03	o 7868
0.00/0.03	o 7866
0.00/0.03	o 7556
0.00/0.03	o 7554
0.00/0.03	o 7479
0.00/0.03	o 7477
0.00/0.03	o 7473
0.00/0.03	o 7471
0.00/0.03	o 7412
0.00/0.03	o 7410
0.00/0.03	o 7406
0.00/0.03	o 7404
0.00/0.03	o 7403
0.00/0.03	o 7401
0.00/0.03	o 7400
0.00/0.03	o 7398
0.00/0.03	o 7397
0.00/0.03	o 7395
0.00/0.03	o 7286
0.00/0.03	o 7284
0.00/0.03	o 7209
0.00/0.03	o 7207
0.00/0.03	o 7203
0.00/0.03	o 7201
0.00/0.03	o 7142
0.00/0.03	o 7140
0.00/0.03	o 7136
0.00/0.03	o 7134
0.00/0.03	o 7133
0.00/0.03	o 7131
0.00/0.03	o 7130
0.00/0.03	o 7128
0.00/0.03	o 7127
0.00/0.03	o 7125
0.00/0.03	o 7109
0.00/0.03	o 7107
0.00/0.03	o 7103
0.00/0.03	o 7101
0.00/0.03	o 7100
0.00/0.03	o 7098
0.00/0.03	o 7097
0.00/0.03	o 7095
0.00/0.03	o 7094
0.00/0.03	o 7092
0.00/0.03	o 7090
0.00/0.03	o 7088
0.00/0.03	o 7087
0.00/0.03	o 7085
0.00/0.03	o 7084
0.00/0.03	o 7082
0.00/0.04	o 7081
0.00/0.04	o 7079
0.00/0.04	o 7032
0.00/0.04	o 7030
0.00/0.04	o 7026
0.00/0.04	o 7024
0.00/0.04	o 7023
0.00/0.04	o 7021
0.00/0.04	o 7020
0.00/0.04	o 7018
0.00/0.04	o 7017
0.00/0.04	o 7015
0.00/0.04	o 6999
0.00/0.04	o 6997
0.00/0.04	o 6993
0.00/0.04	o 6991
0.00/0.04	o 6990
0.00/0.04	o 6988
0.00/0.04	o 6987
0.00/0.04	o 6985
0.00/0.04	o 6984
0.00/0.04	o 6982
0.00/0.04	o 6980
0.00/0.04	o 6978
0.00/0.04	o 6977
0.00/0.04	o 6940
0.00/0.04	o 3726
0.00/0.04	o 2796
0.00/0.04	o 2767
0.00/0.04	o 2262
4.39/4.43	o 2250
384.79/384.97	o 2247
402.38/402.50	o 2246
516.86/517.07	o 2220
624.63/624.88	o 2212
722.50/722.75	o 2205
750.00/750.23	o 2194
817.48/817.74	o 2179
925.34/925.61	o 2156
1397.82/1398.24	o 2152
1489.99/1490.44	o 2144
1589.17/1589.61	o 2093
1700.44/1700.99	o 2080
1748.93/1749.42	o 2040
1762.82/1763.35	o 2025
1768.93/1769.42	o 1958
1785.51/1786.04	o 1956
1785.51/1786.05	o 1922
1789.11/1789.70	o 1909
1800.02/1800.50	s SATISFIABLE
1800.02/1800.50	v -x1 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x2 -x20 -x21 -x22 -x23 x24 x25 -x26 -x27 -x28 -x29 -x3 -x30 x31 -x32 x33 -x34
1800.02/1800.50	v -x35 -x36 -x37 -x38 -x39 -x4 -x40 x41 x42 -x43 -x44 x45 -x46 -x47 -x48 x49 x5 -x50 x51 x52 -x53 -x54 x55 -x56 -x57 -x58 x59 x6 -x60
1800.02/1800.50	v x7 x8 -x9

Verifier Data (download as text)

OK	-7551

Conversion Script Data (download as text)

/tmp/evaluation/458711-1178641030/instance-458711-1178641030.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node65/watcher-458711-1178641030 -o ROOT/results/node65/solver-458711-1178641030 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458711-1178641030/instance-458711-1178641030.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: 1.00 1.00 1.00 3/64 9099
/proc/meminfo: memFree=1927096/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=1324 CPUtime=0
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 340092608 1355776 114 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135023167 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 331 114 86 219 0 108 0

[startup+0.104856 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9099
/proc/meminfo: memFree=1927096/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=1320 CPUtime=0.09
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 160 0 0 0 9 0 0 0 18 0 1 0 340092608 1351680 141 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 330 141 102 219 0 107 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1320

[startup+0.201864 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9099
/proc/meminfo: memFree=1927096/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=1320 CPUtime=0.19
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 167 0 0 0 19 0 0 0 19 0 1 0 340092608 1351680 148 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557382 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 330 148 102 219 0 107 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1320

[startup+0.301873 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9099
/proc/meminfo: memFree=1927096/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=1320 CPUtime=0.29
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 174 0 0 0 29 0 0 0 19 0 1 0 340092608 1351680 155 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 330 155 102 219 0 107 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1320

[startup+0.701906 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9099
/proc/meminfo: memFree=1927096/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=1464 CPUtime=0.69
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 196 0 0 0 69 0 0 0 23 0 1 0 340092608 1499136 177 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 366 177 102 219 0 143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1464

[startup+1.50197 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1926704/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=1464 CPUtime=1.49
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 237 0 0 0 149 0 0 0 25 0 1 0 340092608 1499136 218 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 366 218 102 219 0 143 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1464

[startup+3.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1926192/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=2416 CPUtime=3.09
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 391 0 0 0 308 1 0 0 25 0 1 0 340092608 2473984 372 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 604 372 102 219 0 381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2416

[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1924912/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=3772 CPUtime=6.29
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 669 0 0 0 627 2 0 0 25 0 1 0 340092608 3862528 650 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 943 650 102 219 0 720 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3772

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1923568/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=6424 CPUtime=12.69
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 999 0 0 0 1267 2 0 0 25 0 1 0 340092608 6578176 931 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 1606 931 102 219 0 1383 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6424

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1921520/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=7608 CPUtime=25.49
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 1595 0 0 0 2544 5 0 0 25 0 1 0 340092608 7790592 1430 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 1902 1430 102 219 0 1679 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7608

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1919664/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=12664 CPUtime=51.08
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 2263 0 0 0 5100 8 0 0 25 0 1 0 340092608 12967936 1905 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 3166 1905 102 219 0 2943 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12664

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1915376/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=13696 CPUtime=102.27
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 3328 0 0 0 10213 14 0 0 25 0 1 0 340092608 14024704 2970 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 3424 2970 102 219 0 3201 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13696

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1911216/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=24744 CPUtime=162.24
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 4755 0 0 0 16205 19 0 0 25 0 1 0 340092608 25337856 4012 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 6186 4012 102 219 0 5963 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24744

[startup+222.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1907504/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=25592 CPUtime=222.23
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 5676 0 0 0 22200 23 0 0 25 0 1 0 340092608 26206208 4933 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 6398 4933 102 219 0 6175 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 25592

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1903920/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=26640 CPUtime=282.22
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 6641 0 0 0 28195 27 0 0 25 0 1 0 340092608 27279360 5832 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 6660 5832 102 219 0 6437 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 26640

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1901808/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=44412 CPUtime=342.2
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 7205 0 0 0 34188 32 0 0 25 0 1 0 340092608 45477888 6330 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 11103 6330 102 219 0 10880 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 44412

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1900720/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=45256 CPUtime=402.18
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 7553 0 0 0 40182 36 0 0 25 0 1 0 340092608 46342144 6612 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 11314 6612 102 219 0 11091 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 45256

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1899888/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=46204 CPUtime=462.16
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 7838 0 0 0 46176 40 0 0 25 0 1 0 340092608 47312896 6798 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 11551 6798 102 219 0 11328 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 46204

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1898800/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=49728 CPUtime=522.15
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 8918 0 0 0 52170 45 0 0 25 0 1 0 340092608 50921472 7076 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 12432 7076 102 219 0 12209 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 49728

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1895856/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=50048 CPUtime=582.14
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 9669 0 0 0 58166 48 0 0 25 0 1 0 340092608 51249152 7794 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 12512 7794 102 219 0 12289 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 50048

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1893104/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=50340 CPUtime=642.12
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 10366 0 0 0 64161 51 0 0 25 0 1 0 340092608 51548160 8491 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557429 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 12585 8491 102 219 0 12362 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 50340


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1885360/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=52408 CPUtime=822.07
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 12473 0 0 0 82146 61 0 0 25 0 1 0 340092608 53665792 10400 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 13102 10400 102 219 0 12879 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 52408

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1882608/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=53884 CPUtime=882.06
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 13410 0 0 0 88143 63 0 0 25 0 1 0 340092608 55177216 11076 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 13471 11076 102 219 0 13248 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 53884

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1880240/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=54528 CPUtime=942.04
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 14060 0 0 0 94138 66 0 0 25 0 1 0 340092608 55836672 11627 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 13632 11627 102 219 0 13409 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 54528

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1878320/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=55276 CPUtime=1002.03
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 14697 0 0 0 100134 69 0 0 25 0 1 0 340092608 56602624 12134 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 13819 12134 102 219 0 13596 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 55276

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1877552/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=56052 CPUtime=1062
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 14949 0 0 0 106129 71 0 0 25 0 1 0 340092608 57397248 12321 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 14013 12321 102 219 0 13790 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 56052

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1876720/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=56820 CPUtime=1122
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 15339 0 0 0 112126 74 0 0 25 0 1 0 340092608 58183680 12516 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 14205 12516 102 219 0 13982 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 56820

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1874864/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=90360 CPUtime=1181.97
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 15936 0 0 0 118120 77 0 0 25 0 1 0 340092608 92528640 12983 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 22590 12983 102 219 0 22367 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 90360

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1873136/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=91128 CPUtime=1241.95
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 16551 0 0 0 124116 79 0 0 25 0 1 0 340092608 93315072 13402 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 22782 13402 102 219 0 22559 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 91128

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1870896/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=92156 CPUtime=1301.95
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 17300 0 0 0 130112 83 0 0 25 0 1 0 340092608 94367744 13956 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 23039 13956 102 219 0 22816 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 92156

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1869552/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=92156 CPUtime=1361.92
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 17633 0 0 0 136107 85 0 0 25 0 1 0 340092608 94367744 14289 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 23039 14289 102 219 0 22816 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 92156

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1867696/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=92544 CPUtime=1421.91
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 18151 0 0 0 142103 88 0 0 25 0 1 0 340092608 94765056 14742 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550343 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 23136 14742 102 219 0 22913 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 92544

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9100
/proc/meminfo: memFree=1865648/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=93060 CPUtime=1481.9
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 18719 0 0 0 148100 90 0 0 25 0 1 0 340092608 95293440 15244 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 23265 15244 102 219 0 23042 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 93060

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9102
/proc/meminfo: memFree=1864112/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=93580 CPUtime=1541.89
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 19130 0 0 0 154097 92 0 0 25 0 1 0 340092608 95825920 15622 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 23395 15622 102 219 0 23172 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 93580

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9102
/proc/meminfo: memFree=1862384/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=99856 CPUtime=1601.86
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 21085 0 0 0 160092 94 0 0 25 0 1 0 340092608 102252544 16040 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 24964 16040 102 219 0 24741 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 99856

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9102
/proc/meminfo: memFree=1860912/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=99856 CPUtime=1661.85
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 21444 0 0 0 166089 96 0 0 25 0 1 0 340092608 102252544 16399 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 24964 16399 102 219 0 24741 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 99856

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9102
/proc/meminfo: memFree=1859312/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=100248 CPUtime=1721.83
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 21881 0 0 0 172085 98 0 0 25 0 1 0 340092608 102653952 16803 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 25062 16803 102 219 0 24839 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 100248

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9102
/proc/meminfo: memFree=1856304/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=101616 CPUtime=1781.82
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 22621 0 0 0 178082 100 0 0 25 0 1 0 340092608 104054784 17543 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 25404 17543 102 219 0 25181 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 101616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9102
/proc/meminfo: memFree=1855472/2055920 swapFree=4184160/4192956
[pid=9099] ppid=9097 vsize=102008 CPUtime=1800.02
/proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 22823 0 0 0 179901 101 0 0 25 0 1 0 340092608 104456192 17745 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9099/statm: 25502 17745 102 219 0 25279 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 102008

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

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

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1799.01
CPU system time (s): 1.02484
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 102008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.02484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22826
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= 8
involuntary context switches= 2024

runsolver used 1.24381 second user time and 3.68144 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Tue May  8 16:17:10 UTC 2007

IDJOB= 458711
IDBENCH= 1857
IDSOLVER= 200
FILE ID= node65/458711-1178641030

PBS_JOBID= 5218344

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458711-1178641030/instance-458711-1178641030.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node65/convwatcher-458711-1178641030 -o ROOT/results/node65/conversion-458711-1178641030 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458711-1178641030/instance-458711-1178641030.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-458711-1178641030 -o ROOT/results/node65/solver-458711-1178641030 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458711-1178641030/instance-458711-1178641030.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  d0f46c7e79d3309033cc6b73ceacef6c

RANDOM SEED= 313822964

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.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.245
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.245
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:       1927568 kB
Buffers:          2748 kB
Cached:          21468 kB
SwapCached:       2712 kB
Active:          67452 kB
Inactive:         4196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1927568 kB
SwapTotal:     4192956 kB
SwapFree:      4184160 kB
Dirty:            2272 kB
Writeback:           0 kB
Mapped:          53616 kB
Slab:            42640 kB
Committed_AS:  7434496 kB
PageTables:       1548 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= 66562 MiB

End job on node65 on Tue May  8 16:47:13 UTC 2007