Trace number 41535

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
PBS 4.1L? (TO) 1800.74 1801.22

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.131979
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

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node42/41535-1149368499/instance-41535-1149368499.opb ......
0.00	c done parsing opb.
0.00	o 9460
0.00	o 9458
0.00	o 9383
0.00	o 9381
0.00	o 9377
0.00	o 9375
0.00	o 9316
0.00	o 9314
0.00	o 9310
0.00	o 9308
0.00	o 8530
0.00	o 8528
0.00	o 8453
0.00	o 8451
0.00	o 8447
0.00	o 8445
0.00	o 8386
0.00	o 8384
0.00	o 8380
0.00	o 8378
0.00	o 8377
0.00	o 8375
0.00	o 8374
0.00	o 8372
0.00	o 8371
0.00	o 8369
0.00	o 8260
0.00	o 8258
0.00	o 8183
0.00	o 8181
0.00	o 8177
0.01	o 8175
0.01	o 8116
0.01	o 8114
0.01	o 8110
0.01	o 8108
0.01	o 8107
0.01	o 8105
0.01	o 8104
0.01	o 8102
0.01	o 8101
0.01	o 8099
0.01	o 8083
0.01	o 8081
0.01	o 8077
0.01	o 8075
0.01	o 8074
0.01	o 8072
0.01	o 8071
0.01	o 8069
0.01	o 8068
0.01	o 8066
0.01	o 8064
0.01	o 8062
0.01	o 8061
0.01	o 8059
0.01	o 8058
0.01	o 8056
0.01	o 8055
0.01	o 8053
0.01	o 8006
0.01	o 8004
0.01	o 8000
0.01	o 7998
0.01	o 7997
0.01	o 7995
0.01	o 7994
0.01	o 7992
0.01	o 7991
0.01	o 7989
0.01	o 7973
0.01	o 7971
0.01	o 7967
0.01	o 7965
0.01	o 7964
0.01	o 7962
0.01	o 7961
0.01	o 7959
0.01	o 7958
0.01	o 7956
0.01	o 7954
0.01	o 7952
0.01	o 7951
0.01	o 7949
0.01	o 7948
0.01	o 7946
0.01	o 7945
0.01	o 7943
0.01	o 7941
0.01	o 7940
0.01	o 7938
0.01	o 7937
0.02	o 7935
0.02	o 7933
0.02	o 7931
0.02	o 7930
0.02	o 7928
0.02	o 7927
0.02	o 7925
0.02	o 7924
0.02	o 7922
0.02	o 7917
0.02	o 7915
0.02	o 7911
0.02	o 7909
0.02	o 7908
0.02	o 7906
0.02	o 7905
0.02	o 7903
0.02	o 7902
0.02	o 7900
0.02	o 7898
0.02	o 7896
0.02	o 7895
0.02	o 7893
0.02	o 7892
0.02	o 7890
0.02	o 7889
0.02	o 7887
0.02	o 7885
0.02	o 7884
0.02	o 7882
0.02	o 7881
0.02	o 7879
0.02	o 7877
0.02	o 7875
0.02	o 7874
0.02	o 7872
0.02	o 7871
0.02	o 7869
0.02	o 7868
0.02	o 7866
0.02	o 7556
0.02	o 7554
0.02	o 7479
0.02	o 7477
0.02	o 7473
0.02	o 7471
0.02	o 7412
0.02	o 7410
0.02	o 7406
0.02	o 7404
0.02	o 7403
0.02	o 7401
0.02	o 7400
0.02	o 7398
0.02	o 7397
0.02	o 7395
0.02	o 7286
0.02	o 7284
0.02	o 7209
0.03	o 7207
0.03	o 7203
0.03	o 7201
0.03	o 7142
0.03	o 7140
0.03	o 7136
0.03	o 7134
0.03	o 7133
0.03	o 7131
0.03	o 7130
0.03	o 7128
0.03	o 7127
0.03	o 7125
0.03	o 7109
0.03	o 7107
0.03	o 7103
0.03	o 7101
0.03	o 7100
0.03	o 7098
0.03	o 7097
0.03	o 7095
0.03	o 7094
0.03	o 7092
0.03	o 7090
0.03	o 7088
0.03	o 7087
0.03	o 7085
0.03	o 7084
0.03	o 7082
0.03	o 7081
0.03	o 7079
0.03	o 7032
0.03	o 7030
0.03	o 7026
0.03	o 7024
0.03	o 7023
0.03	o 7021
0.03	o 7020
0.03	o 7018
0.03	o 7017
0.03	o 7015
0.03	o 6999
0.03	o 6997
0.03	o 6993
0.03	o 6991
0.03	o 6990
0.03	o 6988
0.03	o 6987
0.03	o 6985
0.03	o 6984
0.03	o 6982
0.03	o 6980
0.03	o 6978
0.03	o 6977
0.03	o 6940
0.03	o 3726
0.03	o 2796
0.03	o 2767
0.04	o 2262
3.66	o 2250
375.41	o 2247
392.73	o 2246
506.43	o 2220
613.94	o 2212
711.77	o 2205
739.27	o 2194
806.81	o 2179
914.83	o 2156
1389.43	o 2152
1482.01	o 2144
1581.79	o 2093
1693.95	o 2080
1742.66	o 2040
1756.59	o 2025
1762.72	o 1958
1779.34	o 1956
1779.34	o 1922
1783.04	o 1909

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node42/watcher-41535-1149368499 -o ROOT/results/node42/solver-41535-1149368499 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41535-1149368499/instance-41535-1149368499.opb 591074591 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.97 3/64 21006
/proc/meminfo: memFree=1602560/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=1400 CPUtime=0
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 202516966 1433600 130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134867881 0 0 4096 0 0 0 0 17 0 0 0
/proc/21006/statm: 350 130 99 232 0 115 0

[startup+10.0022 s]
/proc/loadavg: 0.87 0.94 0.97 2/64 21006
/proc/meminfo: memFree=1599760/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=4424 CPUtime=9.99
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 978 0 0 0 998 1 0 0 25 0 1 0 202516966 4530176 909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0
/proc/21006/statm: 1106 909 107 232 0 871 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 4424

[startup+20.0094 s]
/proc/loadavg: 0.89 0.94 0.97 2/64 21006
/proc/meminfo: memFree=1598176/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=7464 CPUtime=19.99
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 1489 0 0 0 1996 3 0 0 25 0 1 0 202516966 7643136 1323 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 1866 1323 107 232 0 1631 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 7464

[startup+30.0163 s]
/proc/loadavg: 0.90 0.94 0.97 2/64 21006
/proc/meminfo: memFree=1597024/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=7656 CPUtime=30
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 1773 0 0 0 2995 5 0 0 25 0 1 0 202516966 7839744 1607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 1914 1607 107 232 0 1679 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 7656

[startup+40.0224 s]
/proc/loadavg: 0.92 0.94 0.97 2/64 21006
/proc/meminfo: memFree=1596576/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=7848 CPUtime=40.01
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 1898 0 0 0 3995 6 0 0 25 0 1 0 202516966 8036352 1732 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 1962 1732 107 232 0 1727 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 7848

[startup+50.0295 s]
/proc/loadavg: 0.93 0.94 0.97 2/64 21006
/proc/meminfo: memFree=1595680/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=12904 CPUtime=50.01
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 2329 0 0 0 4993 8 0 0 25 0 1 0 202516966 13213696 1970 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 3226 1970 107 232 0 2991 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 12904

[startup+60.0357 s]
/proc/loadavg: 0.94 0.95 0.97 2/64 21006
/proc/meminfo: memFree=1594848/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=13096 CPUtime=60.01
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 2536 0 0 0 5992 9 0 0 25 0 1 0 202516966 13410304 2177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 3274 2177 107 232 0 3039 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 13096

[startup+70.0418 s]
/proc/loadavg: 0.95 0.95 0.97 2/64 21006
/proc/meminfo: memFree=1593824/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=13420 CPUtime=70.02
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 2781 0 0 0 6991 11 0 0 25 0 1 0 202516966 13742080 2422 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 3355 2422 107 232 0 3120 0
Current children cumulated CPU time (s) 70.02
Current children cumulated vsize (Kb) 13420

[startup+80.0479 s]
/proc/loadavg: 0.96 0.95 0.97 2/64 21006
/proc/meminfo: memFree=1592800/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=13612 CPUtime=80.01
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 3040 0 0 0 7989 12 0 0 25 0 1 0 202516966 13938688 2681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 3403 2681 107 232 0 3168 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 13612

[startup+90.054 s]
/proc/loadavg: 0.96 0.95 0.97 2/64 21006
/proc/meminfo: memFree=1592032/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=13744 CPUtime=90.02
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 3225 0 0 0 8989 13 0 0 25 0 1 0 202516966 14073856 2866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 3436 2866 107 232 0 3201 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 13744

[startup+100.06 s]
/proc/loadavg: 0.97 0.95 0.97 2/64 21006
/proc/meminfo: memFree=1591264/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=14008 CPUtime=100.02
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 3424 0 0 0 9988 14 0 0 25 0 1 0 202516966 14344192 3065 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 3502 3065 107 232 0 3267 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 14008

[startup+110.067 s]
/proc/loadavg: 0.97 0.95 0.97 2/64 21006
/proc/meminfo: memFree=1590432/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=14404 CPUtime=110.03
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 3623 0 0 0 10988 15 0 0 25 0 1 0 202516966 14749696 3264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 3601 3264 107 232 0 3366 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 14404

[startup+120.073 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 21006
/proc/meminfo: memFree=1589664/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=22860 CPUtime=120.03
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 3819 0 0 0 11987 16 0 0 25 0 1 0 202516966 23408640 3460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 5715 3460 107 232 0 5480 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 22860

[startup+130.08 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 21006
/proc/meminfo: memFree=1588960/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=22992 CPUtime=130.03
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 3997 0 0 0 12986 17 0 0 25 0 1 0 202516966 23543808 3638 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 5748 3638 107 232 0 5513 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 22992

[startup+140.086 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 21006
/proc/meminfo: memFree=1588192/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=23256 CPUtime=140.04
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 4180 0 0 0 13985 19 0 0 25 0 1 0 202516966 23814144 3821 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 5814 3821 107 232 0 5579 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 23256

[startup+150.092 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 21006
/proc/meminfo: memFree=1587680/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=24792 CPUtime=150.04
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 4690 0 0 0 14985 19 0 0 25 0 1 0 202516966 25387008 3946 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549166 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 6198 3946 107 232 0 5963 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 24792

[startup+160.098 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 21006
/proc/meminfo: memFree=1587168/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=24792 CPUtime=160.05
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 4815 0 0 0 15985 20 0 0 25 0 1 0 202516966 25387008 4071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 6198 4071 107 232 0 5963 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 24792

[startup+170.104 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 21006
/proc/meminfo: memFree=1586400/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=25244 CPUtime=170.06
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 5012 0 0 0 16985 21 0 0 25 0 1 0 202516966 25849856 4268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 6311 4268 107 232 0 6076 0
Current children cumulated CPU time (s) 170.06
Current children cumulated vsize (Kb) 25244

[startup+180.11 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 21006
/proc/meminfo: memFree=1585824/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=25244 CPUtime=180.06
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 5161 0 0 0 17984 22 0 0 25 0 1 0 202516966 25849856 4417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 6311 4417 107 232 0 6076 0
Current children cumulated CPU time (s) 180.06
Current children cumulated vsize (Kb) 25244

[startup+190.116 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 21006
/proc/meminfo: memFree=1585056/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=25508 CPUtime=190.06
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 5346 0 0 0 18983 23 0 0 25 0 1 0 202516966 26120192 4602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 6377 4602 107 232 0 6142 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 25508

[startup+200.122 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 21006
/proc/meminfo: memFree=1584480/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=25640 CPUtime=200.06
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 5485 0 0 0 19983 23 0 0 25 0 1 0 202516966 26255360 4741 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 6410 4741 107 232 0 6175 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 25640

[startup+210.129 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 21006
/proc/meminfo: memFree=1583968/2055920 swapFree=4181444/4192956

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

/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22683 0 0 0 178062 101 0 0 25 0 1 0 202516966 104103936 17604 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25416 17604 107 232 0 25181 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (Kb) 101664

[startup+1783.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532640/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=101664 CPUtime=1782.63
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22695 0 0 0 178162 101 0 0 25 0 1 0 202516966 104103936 17616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25416 17616 107 232 0 25181 0
Current children cumulated CPU time (s) 1782.63
Current children cumulated vsize (Kb) 101664

[startup+1784.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532640/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=101664 CPUtime=1783.64
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22700 0 0 0 178263 101 0 0 25 0 1 0 202516966 104103936 17621 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25416 17621 107 232 0 25181 0
Current children cumulated CPU time (s) 1783.64
Current children cumulated vsize (Kb) 101664

[startup+1785.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532576/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=101664 CPUtime=1784.64
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22707 0 0 0 178363 101 0 0 25 0 1 0 202516966 104103936 17628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25416 17628 107 232 0 25181 0
Current children cumulated CPU time (s) 1784.64
Current children cumulated vsize (Kb) 101664

[startup+1786.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532576/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=101664 CPUtime=1785.65
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22711 0 0 0 178464 101 0 0 25 0 1 0 202516966 104103936 17632 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25416 17632 107 232 0 25181 0
Current children cumulated CPU time (s) 1785.65
Current children cumulated vsize (Kb) 101664

[startup+1787.13 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532512/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=101664 CPUtime=1786.65
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22718 0 0 0 178564 101 0 0 25 0 1 0 202516966 104103936 17639 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25416 17639 107 232 0 25181 0
Current children cumulated CPU time (s) 1786.65
Current children cumulated vsize (Kb) 101664

[startup+1788.13 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532512/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=101664 CPUtime=1787.66
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22725 0 0 0 178665 101 0 0 25 0 1 0 202516966 104103936 17646 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25416 17646 107 232 0 25181 0
Current children cumulated CPU time (s) 1787.66
Current children cumulated vsize (Kb) 101664

[startup+1789.14 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532448/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=101664 CPUtime=1788.66
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22735 0 0 0 178765 101 0 0 25 0 1 0 202516966 104103936 17656 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25416 17656 107 232 0 25181 0
Current children cumulated CPU time (s) 1788.66
Current children cumulated vsize (Kb) 101664

[startup+1790.14 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532448/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=101664 CPUtime=1789.66
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22745 0 0 0 178865 101 0 0 25 0 1 0 202516966 104103936 17666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25416 17666 107 232 0 25181 0
Current children cumulated CPU time (s) 1789.66
Current children cumulated vsize (Kb) 101664

[startup+1791.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532384/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=101664 CPUtime=1790.66
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22753 0 0 0 178965 101 0 0 25 0 1 0 202516966 104103936 17674 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25416 17674 107 232 0 25181 0
Current children cumulated CPU time (s) 1790.66
Current children cumulated vsize (Kb) 101664

[startup+1792.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532384/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=101664 CPUtime=1791.67
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22760 0 0 0 179066 101 0 0 25 0 1 0 202516966 104103936 17681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25416 17681 107 232 0 25181 0
Current children cumulated CPU time (s) 1791.67
Current children cumulated vsize (Kb) 101664

[startup+1793.16 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532128/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=102056 CPUtime=1792.67
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22822 0 0 0 179166 101 0 0 25 0 1 0 202516966 104505344 17743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25514 17743 107 232 0 25279 0
Current children cumulated CPU time (s) 1792.67
Current children cumulated vsize (Kb) 102056

[startup+1794.16 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532064/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=102056 CPUtime=1793.68
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22829 0 0 0 179267 101 0 0 25 0 1 0 202516966 104505344 17750 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559353 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25514 17750 107 232 0 25279 0
Current children cumulated CPU time (s) 1793.68
Current children cumulated vsize (Kb) 102056

[startup+1795.17 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532064/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=102056 CPUtime=1794.68
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22836 0 0 0 179367 101 0 0 25 0 1 0 202516966 104505344 17757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25514 17757 107 232 0 25279 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (Kb) 102056

[startup+1796.17 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532064/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=102056 CPUtime=1795.69
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22844 0 0 0 179468 101 0 0 25 0 1 0 202516966 104505344 17765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25514 17765 107 232 0 25279 0
Current children cumulated CPU time (s) 1795.69
Current children cumulated vsize (Kb) 102056

[startup+1797.18 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532000/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=102056 CPUtime=1796.69
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22850 0 0 0 179568 101 0 0 25 0 1 0 202516966 104505344 17771 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25514 17771 107 232 0 25279 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (Kb) 102056

[startup+1798.18 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1532000/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=102056 CPUtime=1797.7
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22857 0 0 0 179668 102 0 0 25 0 1 0 202516966 104505344 17778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25514 17778 107 232 0 25279 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (Kb) 102056

[startup+1799.19 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1531936/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=102056 CPUtime=1798.71
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22866 0 0 0 179769 102 0 0 25 0 1 0 202516966 104505344 17787 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25514 17787 107 232 0 25279 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (Kb) 102056

[startup+1800.19 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1531872/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=102056 CPUtime=1799.71
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22879 0 0 0 179869 102 0 0 25 0 1 0 202516966 104505344 17800 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25514 17800 107 232 0 25279 0
Current children cumulated CPU time (s) 1799.71
Current children cumulated vsize (Kb) 102056

[startup+1801.2 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1531872/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=102056 CPUtime=1800.72
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22887 0 0 0 179970 102 0 0 25 0 1 0 202516966 104505344 17808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25514 17808 107 232 0 25279 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (Kb) 102056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21006
/proc/meminfo: memFree=1531872/2055920 swapFree=4181444/4192956
[pid=21006] ppid=21004 vsize=102056 CPUtime=1800.72
/proc/21006/stat : 21006 (PBS4L) R 21004 21006 20960 0 -1 4194304 22887 0 0 0 179970 102 0 0 25 0 1 0 202516966 104505344 17808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21006/statm: 25514 17808 107 232 0 25279 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (Kb) 102056

Sending SIGTERM to -21006
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.22
CPU time (s): 1800.74
CPU user time (s): 1799.71
CPU system time (s): 1.03284
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (Kb): 102056
The end

Launcher Data (download as text)

Begin job on node42 on Sat Jun  3 21:01:39 UTC 2006


FILE ID= 41535-1149368499

PBS_JOBID= 311971

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= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41535-1149368499/instance-41535-1149368499.opb 591074591
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-41535-1149368499 -o ROOT/results/node42/solver-41535-1149368499 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41535-1149368499/instance-41535-1149368499.opb 591074591

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  d0f46c7e79d3309033cc6b73ceacef6c

RANDOM SEED= 591074591


/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.216
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.216
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:       1602968 kB
Buffers:         15324 kB
Cached:         369948 kB
SwapCached:       3212 kB
Active:          49624 kB
Inactive:       344368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1602968 kB
SwapTotal:     4192956 kB
SwapFree:      4181444 kB
Dirty:             312 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            44988 kB
Committed_AS:   354576 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node42 on Sat Jun  3 21:31:40 UTC 2006