Trace number 50558

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_3.opb
MD5SUM37c74b9e914d30b1ddfc0838676dd479
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables41
Total number of constraints11
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 constraints10
Minimum length of a constraint1
Maximum length of a constraint40
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 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3487
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/node15/50558-1154109622/instance-50558-1154109622.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/node15/watcher-50558-1154109622 -o ROOT/results/node15/solver-50558-1154109622 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node15/50558-1154109622/instance-50558-1154109622.opb 33932712 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 23493
/proc/meminfo: memFree=1479648/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=1400 CPUtime=0
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 134 0 0 0 0 0 0 0 19 0 1 0 157823044 1433600 117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134565728 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 350 117 100 232 0 115 0

[startup+10.0031 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23493
/proc/meminfo: memFree=1472680/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=11364 CPUtime=9.99
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 2006 0 0 0 995 4 0 0 25 0 1 0 157823044 11636736 1842 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558793 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 2841 1842 104 232 0 2606 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 11364

[startup+20.009 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23493
/proc/meminfo: memFree=1470576/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=12036 CPUtime=19.99
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 2570 0 0 0 1993 6 0 0 25 0 1 0 157823044 12324864 2406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550678 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 3009 2406 104 232 0 2774 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 12036

[startup+30.0149 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23493
/proc/meminfo: memFree=1468528/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=21316 CPUtime=30
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 3274 0 0 0 2992 8 0 0 25 0 1 0 157823044 21827584 2917 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 5329 2917 104 232 0 5094 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 21316

[startup+40.0209 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 23519
/proc/meminfo: memFree=1465920/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=21668 CPUtime=40
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 3668 0 0 0 3990 10 0 0 25 0 1 0 157823044 22188032 3311 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134542458 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 5417 3311 104 232 0 5182 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 21668

[startup+50.0278 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 23601
/proc/meminfo: memFree=1464296/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=22052 CPUtime=49.97
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 4009 0 0 0 4982 15 0 0 25 0 1 0 157823044 22581248 3652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 0 0 0
/proc/23493/statm: 5513 3652 104 232 0 5278 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 22052

[startup+60.0347 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 23651
/proc/meminfo: memFree=1463392/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=22052 CPUtime=59.95
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 4219 0 0 0 5978 17 0 0 25 0 1 0 157823044 22581248 3862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 5513 3862 104 232 0 5278 0
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 22052

[startup+70.0416 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1463640/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=22244 CPUtime=69.93
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 4423 0 0 0 6975 18 0 0 25 0 1 0 157823044 22777856 4066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 5561 4066 104 232 0 5326 0
Current children cumulated CPU time (s) 69.93
Current children cumulated vsize (Kb) 22244

[startup+80.0476 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1462832/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=22436 CPUtime=79.93
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 4665 0 0 0 7973 20 0 0 25 0 1 0 157823044 22974464 4308 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 5609 4308 104 232 0 5374 0
Current children cumulated CPU time (s) 79.93
Current children cumulated vsize (Kb) 22436

[startup+90.0535 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1461680/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=22436 CPUtime=89.94
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 4949 0 0 0 8973 21 0 0 25 0 1 0 157823044 22974464 4592 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 5609 4592 104 232 0 5374 0
Current children cumulated CPU time (s) 89.94
Current children cumulated vsize (Kb) 22436

[startup+100.059 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1460464/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=24356 CPUtime=99.94
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 5641 0 0 0 9971 23 0 0 25 0 1 0 157823044 24940544 4899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 6089 4899 104 232 0 5854 0
Current children cumulated CPU time (s) 99.94
Current children cumulated vsize (Kb) 24356

[startup+110.065 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1459120/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=24620 CPUtime=109.95
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 5961 0 0 0 10971 24 0 0 25 0 1 0 157823044 25210880 5219 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 6155 5219 104 232 0 5920 0
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (Kb) 24620

[startup+120.071 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1458416/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=25004 CPUtime=119.95
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 6147 0 0 0 11970 25 0 0 25 0 1 0 157823044 25604096 5405 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 6251 5405 104 232 0 6016 0
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 25004

[startup+130.077 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1457456/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=25004 CPUtime=129.95
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 6384 0 0 0 12969 26 0 0 25 0 1 0 157823044 25604096 5642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 6251 5642 104 232 0 6016 0
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 25004

[startup+140.083 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1456560/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=41652 CPUtime=139.96
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 6604 0 0 0 13969 27 0 0 25 0 1 0 157823044 42651648 5862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 10413 5862 104 232 0 10178 0
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 41652

[startup+150.089 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1455792/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=41652 CPUtime=149.96
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 6793 0 0 0 14968 28 0 0 25 0 1 0 157823044 42651648 6051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559364 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 10413 6051 104 232 0 10178 0
Current children cumulated CPU time (s) 149.96
Current children cumulated vsize (Kb) 41652

[startup+160.095 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1455024/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=41916 CPUtime=159.96
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 6998 0 0 0 15968 28 0 0 25 0 1 0 157823044 42921984 6256 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 10479 6256 104 232 0 10244 0
Current children cumulated CPU time (s) 159.96
Current children cumulated vsize (Kb) 41916

[startup+170.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1454192/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=42312 CPUtime=169.96
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 7212 0 0 0 16967 29 0 0 25 0 1 0 157823044 43327488 6470 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 10578 6470 104 232 0 10343 0
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 42312

[startup+180.107 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1453232/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=42708 CPUtime=179.96
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 7442 0 0 0 17966 30 0 0 25 0 1 0 157823044 43732992 6700 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 10677 6700 104 232 0 10442 0
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 42708

[startup+190.114 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1452592/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=42972 CPUtime=189.97
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 7614 0 0 0 18966 31 0 0 25 0 1 0 157823044 44003328 6872 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 10743 6872 104 232 0 10508 0
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 42972

[startup+200.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1451696/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=43368 CPUtime=199.97
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 7834 0 0 0 19965 32 0 0 25 0 1 0 157823044 44408832 7092 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 10842 7092 104 232 0 10607 0
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 43368

[startup+210.126 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691

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

/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21203 0 0 0 178053 100 0 0 25 0 1 0 157823044 97984512 17116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17116 104 232 0 23687 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (Kb) 95688

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1782.54
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21204 0 0 0 178154 100 0 0 25 0 1 0 157823044 97984512 17117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17117 104 232 0 23687 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (Kb) 95688

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1783.54
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21204 0 0 0 178254 100 0 0 25 0 1 0 157823044 97984512 17117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17117 104 232 0 23687 0
Current children cumulated CPU time (s) 1783.54
Current children cumulated vsize (Kb) 95688

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1784.55
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21205 0 0 0 178355 100 0 0 25 0 1 0 157823044 97984512 17118 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17118 104 232 0 23687 0
Current children cumulated CPU time (s) 1784.55
Current children cumulated vsize (Kb) 95688

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1785.55
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21206 0 0 0 178455 100 0 0 25 0 1 0 157823044 97984512 17119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17119 104 232 0 23687 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (Kb) 95688

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1786.56
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21206 0 0 0 178556 100 0 0 25 0 1 0 157823044 97984512 17119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558835 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17119 104 232 0 23687 0
Current children cumulated CPU time (s) 1786.56
Current children cumulated vsize (Kb) 95688

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1787.56
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21207 0 0 0 178656 100 0 0 25 0 1 0 157823044 97984512 17120 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17120 104 232 0 23687 0
Current children cumulated CPU time (s) 1787.56
Current children cumulated vsize (Kb) 95688

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1788.56
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21210 0 0 0 178756 100 0 0 25 0 1 0 157823044 97984512 17123 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17123 104 232 0 23687 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (Kb) 95688

[startup+1790.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1789.57
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21217 0 0 0 178857 100 0 0 25 0 1 0 157823044 97984512 17130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17130 104 232 0 23687 0
Current children cumulated CPU time (s) 1789.57
Current children cumulated vsize (Kb) 95688

[startup+1791.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1790.57
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21218 0 0 0 178957 100 0 0 25 0 1 0 157823044 97984512 17131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17131 104 232 0 23687 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (Kb) 95688

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1791.58
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21219 0 0 0 179058 100 0 0 25 0 1 0 157823044 97984512 17132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17132 104 232 0 23687 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (Kb) 95688

[startup+1793.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1792.58
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21220 0 0 0 179158 100 0 0 25 0 1 0 157823044 97984512 17133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17133 104 232 0 23687 0
Current children cumulated CPU time (s) 1792.58
Current children cumulated vsize (Kb) 95688

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1793.59
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21221 0 0 0 179259 100 0 0 25 0 1 0 157823044 97984512 17134 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17134 104 232 0 23687 0
Current children cumulated CPU time (s) 1793.59
Current children cumulated vsize (Kb) 95688

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1794.59
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21222 0 0 0 179359 100 0 0 25 0 1 0 157823044 97984512 17135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17135 104 232 0 23687 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (Kb) 95688

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1795.6
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21223 0 0 0 179460 100 0 0 25 0 1 0 157823044 97984512 17136 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17136 104 232 0 23687 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (Kb) 95688

[startup+1797.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1796.6
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21224 0 0 0 179560 100 0 0 25 0 1 0 157823044 97984512 17137 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17137 104 232 0 23687 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (Kb) 95688

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95688 CPUtime=1797.6
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21227 0 0 0 179660 100 0 0 25 0 1 0 157823044 97984512 17140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23922 17140 104 232 0 23687 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 95688

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411120/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95816 CPUtime=1798.62
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21261 0 0 0 179761 101 0 0 25 0 1 0 157823044 98115584 17141 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23954 17141 104 232 0 23719 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (Kb) 95816

[startup+1800.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411120/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95816 CPUtime=1799.62
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21262 0 0 0 179861 101 0 0 25 0 1 0 157823044 98115584 17142 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23954 17142 104 232 0 23719 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (Kb) 95816

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411120/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95816 CPUtime=1800.63
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21266 0 0 0 179962 101 0 0 25 0 1 0 157823044 98115584 17146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23954 17146 104 232 0 23719 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 95816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23691
/proc/meminfo: memFree=1411120/2055920 swapFree=4182804/4192956
[pid=23493] ppid=23491 vsize=95816 CPUtime=1800.63
/proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21266 0 0 0 179962 101 0 0 25 0 1 0 157823044 98115584 17146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/23493/statm: 23954 17146 104 232 0 23719 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 95816

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.65
CPU user time (s): 1799.63
CPU system time (s): 1.02284
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (Kb): 95816
The end

Launcher Data (download as text)

Begin job on node15 on Fri Jul 28 18:00:22 UTC 2006


FILE ID= 50558-1154109622

PBS_JOBID= 886424

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  37c74b9e914d30b1ddfc0838676dd479

RANDOM SEED= 33932712

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.227
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.227
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:       1479856 kB
Buffers:         27888 kB
Cached:         473840 kB
SwapCached:       3852 kB
Active:          48568 kB
Inactive:       461764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1479856 kB
SwapTotal:     4192956 kB
SwapFree:      4182804 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14512 kB
Slab:            51708 kB
Committed_AS:   726728 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node15 on Fri Jul 28 18:30:24 UTC 2006