Trace number 41949

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.57 1801.25

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
MD5SUM7f24dba3f3d4b877b96bd50f5b27c089
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark601.031
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints28143
Number of constraints which are clauses28143
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 595
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
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/node73/41949-1149300804/instance-41949-1149300804.opb ......
0.17	c done parsing opb.
0.17	o 595
0.17	o 594
0.18	o 593
0.19	o 592
0.23	o 591
0.23	o 571
0.23	o 570
0.24	o 569
0.24	o 568
6.25	o 567
83.04	o 566
108.44	o 565

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/node73/watcher-41949-1149300804 -o ROOT/results/node73/solver-41949-1149300804 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node73/41949-1149300804/instance-41949-1149300804.opb 700211596 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.96 3/64 21409
/proc/meminfo: memFree=1567976/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=1536 CPUtime=0
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 171 0 0 0 0 0 0 0 18 0 1 0 195745185 1572864 151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613239 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 384 151 98 232 0 149 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1516472/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=72048 CPUtime=9.99
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 13345 0 0 0 992 7 0 0 25 0 1 0 195745185 73777152 12971 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564872 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 18012 12971 108 232 0 17777 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 72048

[startup+20.0082 s]
/proc/loadavg: 0.94 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1506432/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=74460 CPUtime=20
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 15883 0 0 0 1991 9 0 0 25 0 1 0 195745185 76247040 15509 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 18615 15509 108 232 0 18380 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 74460

[startup+30.0141 s]
/proc/loadavg: 0.95 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1500032/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=76564 CPUtime=29.99
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 17467 0 0 0 2989 10 0 0 25 0 1 0 195745185 78401536 17093 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 19141 17093 108 232 0 18906 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 76564

[startup+40.0201 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1496896/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=79260 CPUtime=40
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 18625 0 0 0 3988 12 0 0 25 0 1 0 195745185 81162240 17866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 19815 17866 108 232 0 19580 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 79260

[startup+50.0261 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1494720/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=80432 CPUtime=50
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 19185 0 0 0 4986 14 0 0 25 0 1 0 195745185 82362368 18426 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 20108 18426 108 232 0 19873 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 80432

[startup+60.032 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1493376/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=81428 CPUtime=60
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 19545 0 0 0 5984 16 0 0 25 0 1 0 195745185 83382272 18786 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 20357 18786 108 232 0 20122 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 81428

[startup+70.038 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1492672/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=81936 CPUtime=70
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 19719 0 0 0 6983 17 0 0 25 0 1 0 195745185 83902464 18960 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 20484 18960 108 232 0 20249 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 81936

[startup+80.044 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1491008/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=82300 CPUtime=80
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 20124 0 0 0 7982 18 0 0 25 0 1 0 195745185 84275200 19365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 20575 19365 108 232 0 20340 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 82300

[startup+90.0499 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1490240/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=82908 CPUtime=90.01
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 20319 0 0 0 8981 20 0 0 25 0 1 0 195745185 84897792 19560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 20727 19560 108 232 0 20492 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 82908

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1489088/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=84184 CPUtime=100.01
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 20598 0 0 0 9980 21 0 0 25 0 1 0 195745185 86204416 19839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611550 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 21046 19839 108 232 0 20811 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 84184

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1488192/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=84976 CPUtime=110.01
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 20826 0 0 0 10978 23 0 0 25 0 1 0 195745185 87015424 20067 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 21244 20067 108 232 0 21009 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 84976

[startup+120.068 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1487040/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=86256 CPUtime=120.02
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 21107 0 0 0 11977 25 0 0 25 0 1 0 195745185 88326144 20348 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 21564 20348 108 232 0 21329 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 86256

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1486528/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=89608 CPUtime=130.01
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 21992 0 0 0 12975 26 0 0 25 0 1 0 195745185 91758592 20464 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 22402 20464 108 232 0 22167 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 89608

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1486016/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=90084 CPUtime=140.02
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22141 0 0 0 13974 28 0 0 25 0 1 0 195745185 92246016 20613 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 22521 20613 108 232 0 22286 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 90084

[startup+150.086 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1485632/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=90408 CPUtime=150.02
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22244 0 0 0 14973 29 0 0 25 0 1 0 195745185 92577792 20716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 22602 20716 108 232 0 22367 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 90408

[startup+160.092 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1485056/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=90744 CPUtime=160.02
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22376 0 0 0 15972 30 0 0 25 0 1 0 195745185 92921856 20848 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549233 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 22686 20848 108 232 0 22451 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 90744

[startup+170.098 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1484736/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=90928 CPUtime=170.02
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22456 0 0 0 16971 31 0 0 25 0 1 0 195745185 93110272 20928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564517 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 22732 20928 108 232 0 22497 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 90928

[startup+180.104 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1484416/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=90928 CPUtime=180.03
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22543 0 0 0 17970 33 0 0 25 0 1 0 195745185 93110272 21015 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564471 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 22732 21015 108 232 0 22497 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 90928

[startup+190.111 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1484032/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=91284 CPUtime=190.03
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22651 0 0 0 18969 34 0 0 25 0 1 0 195745185 93474816 21123 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617577 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 22821 21123 108 232 0 22586 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 91284

[startup+200.118 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1483520/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=91812 CPUtime=200.03
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22769 0 0 0 19968 35 0 0 25 0 1 0 195745185 94015488 21241 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 22953 21241 108 232 0 22718 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 91812

[startup+210.125 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 21409
/proc/meminfo: memFree=1482816/2055920 swapFree=4182212/4192956

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

/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37065 0 0 0 177975 170 0 0 25 0 1 0 195745185 134905856 30927 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611571 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30927 108 232 0 32701 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 131744

[startup+1783.13 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444480/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131744 CPUtime=1782.45
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37067 0 0 0 178075 170 0 0 25 0 1 0 195745185 134905856 30929 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30929 108 232 0 32701 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 131744

[startup+1784.13 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444480/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131744 CPUtime=1783.46
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37068 0 0 0 178176 170 0 0 25 0 1 0 195745185 134905856 30930 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30930 108 232 0 32701 0
Current children cumulated CPU time (s) 1783.46
Current children cumulated vsize (Kb) 131744

[startup+1785.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444480/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131744 CPUtime=1784.46
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37075 0 0 0 178276 170 0 0 25 0 1 0 195745185 134905856 30937 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30937 108 232 0 32701 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 131744

[startup+1786.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444480/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131744 CPUtime=1785.46
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37077 0 0 0 178376 170 0 0 25 0 1 0 195745185 134905856 30939 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558835 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30939 108 232 0 32701 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (Kb) 131744

[startup+1787.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444416/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131744 CPUtime=1786.47
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37083 0 0 0 178477 170 0 0 25 0 1 0 195745185 134905856 30945 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558780 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30945 108 232 0 32701 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (Kb) 131744

[startup+1788.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444416/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131744 CPUtime=1787.48
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37085 0 0 0 178577 171 0 0 25 0 1 0 195745185 134905856 30947 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30947 108 232 0 32701 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (Kb) 131744

[startup+1789.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444416/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131744 CPUtime=1788.49
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37091 0 0 0 178678 171 0 0 25 0 1 0 195745185 134905856 30953 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30953 108 232 0 32701 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (Kb) 131744

[startup+1790.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444416/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131744 CPUtime=1789.49
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37094 0 0 0 178778 171 0 0 25 0 1 0 195745185 134905856 30956 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30956 108 232 0 32701 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (Kb) 131744

[startup+1791.17 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444352/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131744 CPUtime=1790.49
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37100 0 0 0 178878 171 0 0 25 0 1 0 195745185 134905856 30962 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30962 108 232 0 32701 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 131744

[startup+1792.17 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444352/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131744 CPUtime=1791.5
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37103 0 0 0 178979 171 0 0 25 0 1 0 195745185 134905856 30965 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546240 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30965 108 232 0 32701 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (Kb) 131744

[startup+1793.18 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444352/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131744 CPUtime=1792.5
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37109 0 0 0 179079 171 0 0 25 0 1 0 195745185 134905856 30971 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558793 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30971 108 232 0 32701 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 131744

[startup+1794.18 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444288/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131744 CPUtime=1793.5
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37115 0 0 0 179179 171 0 0 25 0 1 0 195745185 134905856 30977 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550813 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32936 30977 108 232 0 32701 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 131744

[startup+1795.19 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444288/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131904 CPUtime=1794.51
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37123 0 0 0 179280 171 0 0 25 0 1 0 195745185 135069696 30985 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32976 30985 108 232 0 32741 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (Kb) 131904

[startup+1796.19 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444288/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131904 CPUtime=1795.51
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37124 0 0 0 179380 171 0 0 25 0 1 0 195745185 135069696 30986 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32976 30986 108 232 0 32741 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 131904

[startup+1797.2 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444288/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131904 CPUtime=1796.52
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37125 0 0 0 179480 172 0 0 25 0 1 0 195745185 135069696 30987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32976 30987 108 232 0 32741 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 131904

[startup+1798.2 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444224/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131904 CPUtime=1797.53
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37137 0 0 0 179581 172 0 0 25 0 1 0 195745185 135069696 30999 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32976 30999 108 232 0 32741 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (Kb) 131904

[startup+1799.21 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444160/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131904 CPUtime=1798.53
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37145 0 0 0 179681 172 0 0 25 0 1 0 195745185 135069696 31007 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32976 31007 108 232 0 32741 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 131904

[startup+1800.21 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444160/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131904 CPUtime=1799.54
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37157 0 0 0 179782 172 0 0 25 0 1 0 195745185 135069696 31019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32976 31019 108 232 0 32741 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (Kb) 131904

[startup+1801.22 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444096/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131904 CPUtime=1800.54
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37159 0 0 0 179882 172 0 0 25 0 1 0 195745185 135069696 31021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32976 31021 108 232 0 32741 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (Kb) 131904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.22 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 21411
/proc/meminfo: memFree=1444096/2055920 swapFree=4182212/4192956
[pid=21409] ppid=21407 vsize=131904 CPUtime=1800.55
/proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37159 0 0 0 179883 172 0 0 25 0 1 0 195745185 135069696 31021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549019 0 0 4096 0 0 0 0 17 1 0 0
/proc/21409/statm: 32976 31021 108 232 0 32741 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 131904

Sending SIGTERM to -21409
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.25
CPU time (s): 1800.57
CPU user time (s): 1798.83
CPU system time (s): 1.74273
CPU usage (%): 99.9625
Max. virtual memory (cumulated for all children) (Kb): 131904
The end

Launcher Data (download as text)

Begin job on node73 on Sat Jun  3 02:13:24 UTC 2006


FILE ID= 41949-1149300804

PBS_JOBID= 307357

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node73/41949-1149300804/instance-41949-1149300804.opb 700211596
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node73/watcher-41949-1149300804 -o ROOT/results/node73/solver-41949-1149300804 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node73/41949-1149300804/instance-41949-1149300804.opb 700211596

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  7f24dba3f3d4b877b96bd50f5b27c089

RANDOM SEED= 700211596


/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.261
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.261
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:       1568184 kB
Buffers:         33768 kB
Cached:         381200 kB
SwapCached:       2348 kB
Active:          31556 kB
Inactive:       392064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1568184 kB
SwapTotal:     4192956 kB
SwapFree:      4182212 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          15068 kB
Slab:            50152 kB
Committed_AS:   291644 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 node73 on Sat Jun  3 02:43:25 UTC 2006