Trace number 50534

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.63 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_4.opb
MD5SUM56022330ee2943e2696d570dbfee01d9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark18.4002
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables31
Total number of constraints9
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 869
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2608
Number of bits of the biggest sum of numbers12
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/node39/50534-1154100893/instance-50534-1154100893.opb ......

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

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node39/watcher-50534-1154100893 -o ROOT/results/node39/solver-50534-1154100893 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node39/50534-1154100893/instance-50534-1154100893.opb 428727652 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1498976/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=1400 CPUtime=0
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 133 0 0 0 0 0 0 0 18 0 1 0 156960535 1433600 116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 350 116 100 232 0 115 0

[startup+10.002 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1493416/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=7252 CPUtime=9.99
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 1650 0 0 0 995 4 0 0 25 0 1 0 156960535 7426048 1486 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 1813 1486 104 232 0 1578 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 7252

[startup+20.0079 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1491816/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=11732 CPUtime=19.99
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 2079 0 0 0 1993 6 0 0 25 0 1 0 156960535 12013568 1915 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 2933 1915 104 232 0 2698 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 11732

[startup+30.0138 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1490536/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=12884 CPUtime=29.99
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 2608 0 0 0 2991 8 0 0 25 0 1 0 156960535 13193216 2251 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 3221 2251 104 232 0 2986 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 12884

[startup+40.0197 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1489192/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=13652 CPUtime=40
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 2947 0 0 0 3990 10 0 0 25 0 1 0 156960535 13979648 2590 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 3413 2590 104 232 0 3178 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 13652

[startup+50.0256 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1488040/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=13844 CPUtime=50
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 3226 0 0 0 4989 11 0 0 25 0 1 0 156960535 14176256 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 3461 2869 104 232 0 3226 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 13844

[startup+60.0315 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1486440/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=14900 CPUtime=60
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 3645 0 0 0 5987 13 0 0 25 0 1 0 156960535 15257600 3288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 3725 3288 104 232 0 3490 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 14900

[startup+70.0375 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1485352/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=23356 CPUtime=70.01
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 3904 0 0 0 6986 15 0 0 25 0 1 0 156960535 23916544 3547 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 5839 3547 104 232 0 5604 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 23356

[startup+80.0434 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1484456/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=23488 CPUtime=80.01
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 4131 0 0 0 7985 16 0 0 25 0 1 0 156960535 24051712 3774 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 5872 3774 104 232 0 5637 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 23488

[startup+90.0493 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1483624/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=25288 CPUtime=90.02
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 4718 0 0 0 8985 17 0 0 25 0 1 0 156960535 25894912 3976 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611544 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 6322 3976 104 232 0 6087 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 25288

[startup+100.055 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1482728/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=25552 CPUtime=100.03
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 4941 0 0 0 9984 19 0 0 25 0 1 0 156960535 26165248 4199 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 6388 4199 104 232 0 6153 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (Kb) 25552

[startup+110.061 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1481960/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=25684 CPUtime=110.02
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5133 0 0 0 10983 19 0 0 25 0 1 0 156960535 26300416 4391 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 6421 4391 104 232 0 6186 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 25684

[startup+120.067 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1481384/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=25816 CPUtime=120.02
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5294 0 0 0 11983 19 0 0 25 0 1 0 156960535 26435584 4552 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 6454 4552 104 232 0 6219 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 25816

[startup+130.073 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1480616/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=25816 CPUtime=130.03
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5475 0 0 0 12983 20 0 0 25 0 1 0 156960535 26435584 4733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 6454 4733 104 232 0 6219 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 25816

[startup+140.079 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1480296/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=25948 CPUtime=140.03
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5568 0 0 0 13982 21 0 0 25 0 1 0 156960535 26570752 4826 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 6487 4826 104 232 0 6252 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 25948

[startup+150.085 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1479912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=26080 CPUtime=150.04
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5663 0 0 0 14982 22 0 0 25 0 1 0 156960535 26705920 4921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134542458 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 6520 4921 104 232 0 6285 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 26080

[startup+160.091 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1479400/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=26080 CPUtime=160.04
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5780 0 0 0 15981 23 0 0 25 0 1 0 156960535 26705920 5038 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 6520 5038 104 232 0 6285 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 26080

[startup+170.097 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1478824/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=26212 CPUtime=170.04
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5926 0 0 0 16980 24 0 0 25 0 1 0 156960535 26841088 5184 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 6553 5184 104 232 0 6318 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 26212

[startup+180.104 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1478376/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=26212 CPUtime=180.05
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 6040 0 0 0 17980 25 0 0 25 0 1 0 156960535 26841088 5298 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 6553 5298 104 232 0 6318 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 26212

[startup+190.109 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1477864/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=26212 CPUtime=190.05
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 6170 0 0 0 18980 25 0 0 25 0 1 0 156960535 26841088 5428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 6553 5428 104 232 0 6318 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 26212

[startup+200.115 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602
/proc/meminfo: memFree=1477352/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=26212 CPUtime=200.06
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 6288 0 0 0 19980 26 0 0 25 0 1 0 156960535 26841088 5546 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 6553 5546 104 232 0 6318 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 26212

[startup+210.121 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25602

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

/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20704 0 0 0 178046 105 0 0 25 0 1 0 156960535 100229120 15565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15565 104 232 0 24235 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (Kb) 97880

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1782.52
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20704 0 0 0 178147 105 0 0 25 0 1 0 156960535 100229120 15565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15565 104 232 0 24235 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 97880

[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1783.52
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20705 0 0 0 178247 105 0 0 25 0 1 0 156960535 100229120 15566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15566 104 232 0 24235 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (Kb) 97880

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1784.52
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20705 0 0 0 178347 105 0 0 25 0 1 0 156960535 100229120 15566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15566 104 232 0 24235 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (Kb) 97880

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1785.53
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20706 0 0 0 178448 105 0 0 25 0 1 0 156960535 100229120 15567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15567 104 232 0 24235 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (Kb) 97880

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1786.53
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20706 0 0 0 178548 105 0 0 25 0 1 0 156960535 100229120 15567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15567 104 232 0 24235 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (Kb) 97880

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1787.54
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20707 0 0 0 178649 105 0 0 25 0 1 0 156960535 100229120 15568 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15568 104 232 0 24235 0
Current children cumulated CPU time (s) 1787.54
Current children cumulated vsize (Kb) 97880

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1788.54
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20708 0 0 0 178749 105 0 0 25 0 1 0 156960535 100229120 15569 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15569 104 232 0 24235 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (Kb) 97880

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1789.55
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20708 0 0 0 178850 105 0 0 25 0 1 0 156960535 100229120 15569 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15569 104 232 0 24235 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (Kb) 97880

[startup+1791.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1790.55
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20709 0 0 0 178950 105 0 0 25 0 1 0 156960535 100229120 15570 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15570 104 232 0 24235 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (Kb) 97880

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1791.56
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20709 0 0 0 179051 105 0 0 25 0 1 0 156960535 100229120 15570 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15570 104 232 0 24235 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 97880

[startup+1793.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1792.56
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20710 0 0 0 179151 105 0 0 25 0 1 0 156960535 100229120 15571 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15571 104 232 0 24235 0
Current children cumulated CPU time (s) 1792.56
Current children cumulated vsize (Kb) 97880

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1793.57
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20710 0 0 0 179252 105 0 0 25 0 1 0 156960535 100229120 15571 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15571 104 232 0 24235 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 97880

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1794.58
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20711 0 0 0 179352 106 0 0 25 0 1 0 156960535 100229120 15572 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15572 104 232 0 24235 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (Kb) 97880

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1795.58
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20711 0 0 0 179452 106 0 0 25 0 1 0 156960535 100229120 15572 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15572 104 232 0 24235 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (Kb) 97880

[startup+1797.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1796.59
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20712 0 0 0 179553 106 0 0 25 0 1 0 156960535 100229120 15573 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15573 104 232 0 24235 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 97880

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1797.59
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20712 0 0 0 179653 106 0 0 25 0 1 0 156960535 100229120 15573 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558877 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15573 104 232 0 24235 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (Kb) 97880

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1798.6
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20713 0 0 0 179754 106 0 0 25 0 1 0 156960535 100229120 15574 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15574 104 232 0 24235 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (Kb) 97880

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1799.6
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20713 0 0 0 179854 106 0 0 25 0 1 0 156960535 100229120 15574 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15574 104 232 0 24235 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (Kb) 97880

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1800.61
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20714 0 0 0 179955 106 0 0 25 0 1 0 156960535 100229120 15575 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15575 104 232 0 24235 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (Kb) 97880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25802
/proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956
[pid=25602] ppid=25600 vsize=97880 CPUtime=1800.61
/proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20714 0 0 0 179955 106 0 0 25 0 1 0 156960535 100229120 15575 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/25602/statm: 24470 15575 104 232 0 24235 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (Kb) 97880

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.63
CPU user time (s): 1799.56
CPU system time (s): 1.07384
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (Kb): 97880
The end

Launcher Data (download as text)

Begin job on node39 on Fri Jul 28 15:34:53 UTC 2006


FILE ID= 50534-1154100893

PBS_JOBID= 886112

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_4.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node39/50534-1154100893/instance-50534-1154100893.opb 428727652
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-50534-1154100893 -o ROOT/results/node39/solver-50534-1154100893 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node39/50534-1154100893/instance-50534-1154100893.opb 428727652

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  56022330ee2943e2696d570dbfee01d9

RANDOM SEED= 428727652

TIMEOUT= 1800 seconds


/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.214
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.214
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:       1499184 kB
Buffers:         30776 kB
Cached:         466464 kB
SwapCached:       3648 kB
Active:          53956 kB
Inactive:       451928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1499184 kB
SwapTotal:     4192956 kB
SwapFree:      4183200 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14724 kB
Slab:            36916 kB
Committed_AS:   672840 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node39 on Fri Jul 28 16:04:55 UTC 2006