Trace number 41522

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.73 1801.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos16.opb
MD5SUM49459e9c72edb2754f1d384319cf8731
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark114
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 114
Optimality of the best value was proved NO
Number of variables464
Total number of constraints1059
Number of constraints which are clauses336
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints723
Minimum length of a constraint2
Maximum length of a constraint128
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 138
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 535
Number of bits of the biggest sum of numbers10
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/node18/41522-1149365684/instance-41522-1149365684.opb ......
0.12	c done parsing opb.
0.12	o 129
0.78	o 120
1.58	o 118
2.89	o 115
20.02	o 114

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/node18/watcher-41522-1149365684 -o ROOT/results/node18/solver-41522-1149365684 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node18/41522-1149365684/instance-41522-1149365684.opb 64693135 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1706128/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=1400 CPUtime=0
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 161 0 0 0 0 0 0 0 18 0 1 0 202231337 1433600 142 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 350 143 99 232 0 115 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1696728/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=13500 CPUtime=9.99
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 2818 0 0 0 993 6 0 0 25 0 1 0 202231337 13824000 2452 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 3375 2452 108 232 0 3140 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13500

[startup+20.008 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1692056/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=24688 CPUtime=19.99
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 4383 0 0 0 1988 11 0 0 25 0 1 0 202231337 25280512 3632 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 6172 3632 108 232 0 5937 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 24688

[startup+30.014 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1687768/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=25776 CPUtime=30
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 5454 0 0 0 2985 15 0 0 25 0 1 0 202231337 26394624 4703 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 6444 4703 108 232 0 6209 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 25776

[startup+40.02 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1684312/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=26832 CPUtime=40
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 6322 0 0 0 3982 18 0 0 25 0 1 0 202231337 27475968 5571 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 6708 5571 108 232 0 6473 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 26832

[startup+50.0269 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1680984/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=27784 CPUtime=50.01
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 7166 0 0 0 4980 21 0 0 25 0 1 0 202231337 28450816 6415 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 6946 6415 108 232 0 6711 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 27784

[startup+60.0329 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1678040/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=45152 CPUtime=60.01
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 7907 0 0 0 5978 23 0 0 25 0 1 0 202231337 46235648 7156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 11288 7156 108 232 0 11053 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 45152

[startup+70.0389 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1675416/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=49196 CPUtime=70.01
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 9316 0 0 0 6976 25 0 0 25 0 1 0 202231337 50376704 7796 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 12299 7796 108 232 0 12064 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 49196

[startup+80.0449 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1672984/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=49836 CPUtime=80.01
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 9926 0 0 0 7974 27 0 0 25 0 1 0 202231337 51032064 8406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 12459 8406 108 232 0 12224 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 49836

[startup+90.0509 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1671704/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=50320 CPUtime=90.02
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 10238 0 0 0 8973 29 0 0 25 0 1 0 202231337 51527680 8718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 12580 8718 108 232 0 12345 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 50320

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1671064/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=50948 CPUtime=100.02
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 10423 0 0 0 9971 31 0 0 25 0 1 0 202231337 52170752 8903 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 12737 8903 108 232 0 12502 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 50948

[startup+110.064 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1668952/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=51404 CPUtime=110.03
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 10951 0 0 0 10969 34 0 0 25 0 1 0 202231337 52637696 9431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 12851 9431 108 232 0 12616 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 51404

[startup+120.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1667352/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=51992 CPUtime=120.03
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 11349 0 0 0 11968 35 0 0 25 0 1 0 202231337 53239808 9829 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 12998 9829 108 232 0 12763 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 51992

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1665368/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=52384 CPUtime=130.03
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 11857 0 0 0 12966 37 0 0 25 0 1 0 202231337 53641216 10304 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 13096 10304 108 232 0 12861 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 52384

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1663320/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=53148 CPUtime=140.04
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 12443 0 0 0 13965 39 0 0 25 0 1 0 202231337 54423552 10824 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 13287 10824 108 232 0 13052 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 53148

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1662168/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=53788 CPUtime=150.04
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 12908 0 0 0 14963 41 0 0 25 0 1 0 202231337 55078912 11124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 13447 11124 108 232 0 13212 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 53788

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1661592/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=53920 CPUtime=160.05
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 13038 0 0 0 15962 43 0 0 25 0 1 0 202231337 55214080 11254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 13480 11254 108 232 0 13245 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 53920

[startup+170.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1659928/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=54428 CPUtime=170.05
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 13496 0 0 0 16960 45 0 0 25 0 1 0 202231337 55734272 11679 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 13607 11679 108 232 0 13372 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 54428

[startup+180.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1659032/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=54844 CPUtime=180.05
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 13716 0 0 0 17959 46 0 0 25 0 1 0 202231337 56160256 11899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 13711 11899 108 232 0 13476 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 54844

[startup+190.112 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1658008/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=54972 CPUtime=190.05
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 14015 0 0 0 18957 48 0 0 25 0 1 0 202231337 56291328 12165 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 13743 12165 108 232 0 13508 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 54972

[startup+200.118 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1656344/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=55752 CPUtime=200.06
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 14527 0 0 0 19956 50 0 0 25 0 1 0 202231337 57090048 12578 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 13938 12578 108 232 0 13703 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 55752

[startup+210.124 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11549
/proc/meminfo: memFree=1654616/2055920 swapFree=4180888/4192956

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

/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43571 0 0 0 177948 213 0 0 25 0 1 0 202231337 210104320 34006 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34006 108 232 0 51060 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (Kb) 205180

[startup+1783.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1570072/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1782.61
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43593 0 0 0 178048 213 0 0 25 0 1 0 202231337 210104320 34028 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34028 108 232 0 51060 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (Kb) 205180

[startup+1784.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1570072/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1783.62
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43601 0 0 0 178149 213 0 0 25 0 1 0 202231337 210104320 34036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34036 108 232 0 51060 0
Current children cumulated CPU time (s) 1783.62
Current children cumulated vsize (Kb) 205180

[startup+1785.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569944/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1784.62
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43621 0 0 0 178249 213 0 0 25 0 1 0 202231337 210104320 34056 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550001 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34056 108 232 0 51060 0
Current children cumulated CPU time (s) 1784.62
Current children cumulated vsize (Kb) 205180

[startup+1786.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569944/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1785.62
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43628 0 0 0 178349 213 0 0 25 0 1 0 202231337 210104320 34063 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34063 108 232 0 51060 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (Kb) 205180

[startup+1787.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569944/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1786.63
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43633 0 0 0 178450 213 0 0 25 0 1 0 202231337 210104320 34068 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34068 108 232 0 51060 0
Current children cumulated CPU time (s) 1786.63
Current children cumulated vsize (Kb) 205180

[startup+1788.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569880/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1787.63
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43636 0 0 0 178550 213 0 0 25 0 1 0 202231337 210104320 34071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34071 108 232 0 51060 0
Current children cumulated CPU time (s) 1787.63
Current children cumulated vsize (Kb) 205180

[startup+1789.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569816/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1788.63
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43654 0 0 0 178650 213 0 0 25 0 1 0 202231337 210104320 34089 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34089 108 232 0 51060 0
Current children cumulated CPU time (s) 1788.63
Current children cumulated vsize (Kb) 205180

[startup+1790.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569752/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1789.64
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43676 0 0 0 178751 213 0 0 25 0 1 0 202231337 210104320 34111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34111 108 232 0 51060 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (Kb) 205180

[startup+1791.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569624/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1790.65
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43698 0 0 0 178851 214 0 0 25 0 1 0 202231337 210104320 34133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34133 108 232 0 51060 0
Current children cumulated CPU time (s) 1790.65
Current children cumulated vsize (Kb) 205180

[startup+1792.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569560/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1791.65
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43727 0 0 0 178951 214 0 0 25 0 1 0 202231337 210104320 34162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34162 108 232 0 51060 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (Kb) 205180

[startup+1793.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569496/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1792.66
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43741 0 0 0 179052 214 0 0 25 0 1 0 202231337 210104320 34176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34176 108 232 0 51060 0
Current children cumulated CPU time (s) 1792.66
Current children cumulated vsize (Kb) 205180

[startup+1794.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569432/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1793.66
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43745 0 0 0 179152 214 0 0 25 0 1 0 202231337 210104320 34180 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34180 108 232 0 51060 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (Kb) 205180

[startup+1795.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569432/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1794.67
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43753 0 0 0 179253 214 0 0 25 0 1 0 202231337 210104320 34188 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34188 108 232 0 51060 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (Kb) 205180

[startup+1796.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569368/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1795.67
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43765 0 0 0 179353 214 0 0 25 0 1 0 202231337 210104320 34200 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34200 108 232 0 51060 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (Kb) 205180

[startup+1797.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569304/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1796.67
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43781 0 0 0 179453 214 0 0 25 0 1 0 202231337 210104320 34216 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34216 108 232 0 51060 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (Kb) 205180

[startup+1798.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569304/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1797.68
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43791 0 0 0 179554 214 0 0 25 0 1 0 202231337 210104320 34226 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34226 108 232 0 51060 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (Kb) 205180

[startup+1799.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569240/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1798.69
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43795 0 0 0 179654 215 0 0 25 0 1 0 202231337 210104320 34230 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34230 108 232 0 51060 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (Kb) 205180

[startup+1800.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569240/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1799.69
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43799 0 0 0 179754 215 0 0 25 0 1 0 202231337 210104320 34234 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34234 108 232 0 51060 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (Kb) 205180

[startup+1801.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569240/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1800.7
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43805 0 0 0 179855 215 0 0 25 0 1 0 202231337 210104320 34240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611778 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34240 108 232 0 51060 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (Kb) 205180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11551
/proc/meminfo: memFree=1569240/2055920 swapFree=4180888/4192956
[pid=11549] ppid=11547 vsize=205180 CPUtime=1800.7
/proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43805 0 0 0 179855 215 0 0 25 0 1 0 202231337 210104320 34240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611785 0 0 4096 0 0 0 0 17 1 0 0
/proc/11549/statm: 51295 34240 108 232 0 51060 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (Kb) 205180

Sending SIGTERM to -11549
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.73
CPU user time (s): 1798.56
CPU system time (s): 2.17567
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (Kb): 205180
The end

Launcher Data (download as text)

Begin job on node18 on Sat Jun  3 20:14:44 UTC 2006


FILE ID= 41522-1149365684

PBS_JOBID= 311807

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node18/41522-1149365684/instance-41522-1149365684.opb 64693135
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-41522-1149365684 -o ROOT/results/node18/solver-41522-1149365684 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node18/41522-1149365684/instance-41522-1149365684.opb 64693135

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  49459e9c72edb2754f1d384319cf8731

RANDOM SEED= 64693135


/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	: 5931.00
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:       1706336 kB
Buffers:         29576 kB
Cached:         251524 kB
SwapCached:       3684 kB
Active:          70836 kB
Inactive:       218876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1706336 kB
SwapTotal:     4192956 kB
SwapFree:      4180888 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14680 kB
Slab:            45952 kB
Committed_AS:   366988 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node18 on Sat Jun  3 20:44:45 UTC 2006