Trace number 41942

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.72 1801.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
MD5SUM669011fc499ae56e44c354cc6cddc4c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80851
Number of constraints which are clauses80851
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 1150
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 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node42/41942-1149299169/instance-41942-1149299169.opb ......
0.51	c done parsing opb.
0.51	o 1150
0.52	o 1149
0.53	o 1148
0.54	o 1147
0.91	o 1146
0.92	o 1115
3.64	o 1114
10.96	o 1113
15.61	o 1112
19.41	o 1111
217.34	o 1110
245.48	o 1109

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1560528/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=1400 CPUtime=0
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 153 0 0 0 0 0 0 0 19 0 1 0 195583994 1433600 131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599020 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 350 132 90 232 0 115 0

[startup+10.0022 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1496984/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=71768 CPUtime=9.99
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 16723 0 0 0 991 8 0 0 25 0 1 0 195583994 73490432 15961 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 17942 15961 108 232 0 17707 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 71768

[startup+20.0083 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1465176/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=141280 CPUtime=20.06
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 24672 0 0 0 1992 14 0 0 25 0 1 0 195583994 144670720 23910 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549492 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 35320 23910 108 232 0 35085 0
Current children cumulated CPU time (s) 20.06
Current children cumulated vsize (Kb) 141280

[startup+30.0844 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1445016/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=143160 CPUtime=30.06
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 29699 0 0 0 2990 16 0 0 25 0 1 0 195583994 146595840 28937 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 35790 28937 108 232 0 35555 0
Current children cumulated CPU time (s) 30.06
Current children cumulated vsize (Kb) 143160

[startup+40.0906 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1438552/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=144844 CPUtime=40.07
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 31320 0 0 0 3989 18 0 0 25 0 1 0 195583994 148320256 30558 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 36211 30558 108 232 0 35976 0
Current children cumulated CPU time (s) 40.07
Current children cumulated vsize (Kb) 144844

[startup+50.0967 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1431192/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=145964 CPUtime=50.07
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 33178 0 0 0 4988 19 0 0 25 0 1 0 195583994 149467136 32416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 36491 32416 108 232 0 36256 0
Current children cumulated CPU time (s) 50.07
Current children cumulated vsize (Kb) 145964

[startup+60.1028 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1427992/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=147644 CPUtime=60.07
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 33969 0 0 0 5987 20 0 0 25 0 1 0 195583994 151187456 33207 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 36911 33207 108 232 0 36676 0
Current children cumulated CPU time (s) 60.07
Current children cumulated vsize (Kb) 147644

[startup+70.1089 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1425432/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=148736 CPUtime=70.08
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 34591 0 0 0 6986 22 0 0 25 0 1 0 195583994 152305664 33829 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549267 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 37184 33829 108 232 0 36949 0
Current children cumulated CPU time (s) 70.08
Current children cumulated vsize (Kb) 148736

[startup+80.1151 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1423064/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=149552 CPUtime=80.08
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 35181 0 0 0 7985 23 0 0 25 0 1 0 195583994 153141248 34419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 37388 34419 108 232 0 37153 0
Current children cumulated CPU time (s) 80.08
Current children cumulated vsize (Kb) 149552

[startup+90.1212 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1421848/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=150176 CPUtime=90.08
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 35495 0 0 0 8984 24 0 0 25 0 1 0 195583994 153780224 34733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 37544 34733 108 232 0 37309 0
Current children cumulated CPU time (s) 90.08
Current children cumulated vsize (Kb) 150176

[startup+100.127 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1420504/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=154272 CPUtime=100.08
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 36592 0 0 0 9983 25 0 0 25 0 1 0 195583994 157974528 35061 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 38568 35061 108 232 0 38333 0
Current children cumulated CPU time (s) 100.08
Current children cumulated vsize (Kb) 154272

[startup+110.133 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1419608/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=154560 CPUtime=110.09
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 36813 0 0 0 10982 27 0 0 25 0 1 0 195583994 158269440 35282 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558960 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 38640 35282 108 232 0 38405 0
Current children cumulated CPU time (s) 110.09
Current children cumulated vsize (Kb) 154560

[startup+120.14 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1418840/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=155180 CPUtime=120.09
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37000 0 0 0 11981 28 0 0 25 0 1 0 195583994 158904320 35469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 38795 35469 108 232 0 38560 0
Current children cumulated CPU time (s) 120.09
Current children cumulated vsize (Kb) 155180

[startup+130.146 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1418200/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=155664 CPUtime=130.09
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37182 0 0 0 12980 29 0 0 25 0 1 0 195583994 159399936 35651 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549008 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 38916 35651 108 232 0 38681 0
Current children cumulated CPU time (s) 130.09
Current children cumulated vsize (Kb) 155664

[startup+140.152 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1417560/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=156260 CPUtime=140.1
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37336 0 0 0 13980 30 0 0 25 0 1 0 195583994 160010240 35805 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550022 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 39065 35805 108 232 0 38830 0
Current children cumulated CPU time (s) 140.1
Current children cumulated vsize (Kb) 156260

[startup+150.158 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1416728/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=156928 CPUtime=150.1
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37537 0 0 0 14979 31 0 0 25 0 1 0 195583994 160694272 36006 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 39232 36006 108 232 0 38997 0
Current children cumulated CPU time (s) 150.1
Current children cumulated vsize (Kb) 156928

[startup+160.164 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1416216/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=157296 CPUtime=160.11
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37675 0 0 0 15979 32 0 0 25 0 1 0 195583994 161071104 36144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611848 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 39324 36144 108 232 0 39089 0
Current children cumulated CPU time (s) 160.11
Current children cumulated vsize (Kb) 157296

[startup+170.169 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1415768/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=157608 CPUtime=170.11
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37779 0 0 0 16978 33 0 0 25 0 1 0 195583994 161390592 36248 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594595 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 39402 36248 108 232 0 39167 0
Current children cumulated CPU time (s) 170.11
Current children cumulated vsize (Kb) 157608

[startup+180.175 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1414936/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=158504 CPUtime=180.11
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37978 0 0 0 17978 33 0 0 25 0 1 0 195583994 162308096 36447 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 39626 36447 108 232 0 39391 0
Current children cumulated CPU time (s) 180.11
Current children cumulated vsize (Kb) 158504

[startup+190.181 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1414552/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=158664 CPUtime=190.12
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 38080 0 0 0 18977 35 0 0 25 0 1 0 195583994 162471936 36549 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546257 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 39666 36549 108 232 0 39431 0
Current children cumulated CPU time (s) 190.12
Current children cumulated vsize (Kb) 158664

[startup+200.188 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1413912/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=159280 CPUtime=200.11
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 38240 0 0 0 19976 35 0 0 25 0 1 0 195583994 163102720 36709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552008 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 39820 36709 108 232 0 39585 0
Current children cumulated CPU time (s) 200.11
Current children cumulated vsize (Kb) 159280

[startup+210.194 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 12488
/proc/meminfo: memFree=1413144/2055920 swapFree=4181444/4192956

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

/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51519 0 0 0 177997 161 0 0 25 0 1 0 195583994 205017088 45378 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45378 108 232 0 49818 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (Kb) 200212

[startup+1783.16 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357592/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1782.59
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51520 0 0 0 178098 161 0 0 25 0 1 0 195583994 205017088 45379 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45379 108 232 0 49818 0
Current children cumulated CPU time (s) 1782.59
Current children cumulated vsize (Kb) 200212

[startup+1784.16 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357592/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1783.59
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51523 0 0 0 178198 161 0 0 25 0 1 0 195583994 205017088 45382 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45382 108 232 0 49818 0
Current children cumulated CPU time (s) 1783.59
Current children cumulated vsize (Kb) 200212

[startup+1785.17 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357592/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1784.6
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51528 0 0 0 178299 161 0 0 25 0 1 0 195583994 205017088 45387 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45387 108 232 0 49818 0
Current children cumulated CPU time (s) 1784.6
Current children cumulated vsize (Kb) 200212

[startup+1786.17 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357592/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1785.61
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51530 0 0 0 178399 162 0 0 25 0 1 0 195583994 205017088 45389 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45389 108 232 0 49818 0
Current children cumulated CPU time (s) 1785.61
Current children cumulated vsize (Kb) 200212

[startup+1787.18 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357528/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1786.61
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51536 0 0 0 178499 162 0 0 25 0 1 0 195583994 205017088 45395 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45395 108 232 0 49818 0
Current children cumulated CPU time (s) 1786.61
Current children cumulated vsize (Kb) 200212

[startup+1788.18 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357528/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1787.62
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51539 0 0 0 178600 162 0 0 25 0 1 0 195583994 205017088 45398 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45398 108 232 0 49818 0
Current children cumulated CPU time (s) 1787.62
Current children cumulated vsize (Kb) 200212

[startup+1789.19 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357528/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1788.62
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51544 0 0 0 178700 162 0 0 25 0 1 0 195583994 205017088 45403 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45403 108 232 0 49818 0
Current children cumulated CPU time (s) 1788.62
Current children cumulated vsize (Kb) 200212

[startup+1790.19 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357528/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1789.62
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51547 0 0 0 178800 162 0 0 25 0 1 0 195583994 205017088 45406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549064 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45406 108 232 0 49818 0
Current children cumulated CPU time (s) 1789.62
Current children cumulated vsize (Kb) 200212

[startup+1791.2 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357464/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1790.62
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51553 0 0 0 178900 162 0 0 25 0 1 0 195583994 205017088 45412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45412 108 232 0 49818 0
Current children cumulated CPU time (s) 1790.62
Current children cumulated vsize (Kb) 200212

[startup+1792.2 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357464/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1791.63
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51554 0 0 0 179001 162 0 0 25 0 1 0 195583994 205017088 45413 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45413 108 232 0 49818 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (Kb) 200212

[startup+1793.21 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357464/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1792.63
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51561 0 0 0 179101 162 0 0 25 0 1 0 195583994 205017088 45420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45420 108 232 0 49818 0
Current children cumulated CPU time (s) 1792.63
Current children cumulated vsize (Kb) 200212

[startup+1794.21 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357464/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1793.65
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51563 0 0 0 179202 163 0 0 25 0 1 0 195583994 205017088 45422 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45422 108 232 0 49818 0
Current children cumulated CPU time (s) 1793.65
Current children cumulated vsize (Kb) 200212

[startup+1795.22 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357400/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1794.65
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51569 0 0 0 179302 163 0 0 25 0 1 0 195583994 205017088 45428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45428 108 232 0 49818 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (Kb) 200212

[startup+1796.22 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357400/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1795.65
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51570 0 0 0 179402 163 0 0 25 0 1 0 195583994 205017088 45429 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45429 108 232 0 49818 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (Kb) 200212

[startup+1797.23 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357400/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1796.66
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51572 0 0 0 179503 163 0 0 25 0 1 0 195583994 205017088 45431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45431 108 232 0 49818 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (Kb) 200212

[startup+1798.23 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357400/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1797.66
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51577 0 0 0 179603 163 0 0 25 0 1 0 195583994 205017088 45436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45436 108 232 0 49818 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (Kb) 200212

[startup+1799.24 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357400/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1798.67
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51579 0 0 0 179704 163 0 0 25 0 1 0 195583994 205017088 45438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45438 108 232 0 49818 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (Kb) 200212

[startup+1800.24 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357336/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1799.67
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51581 0 0 0 179804 163 0 0 25 0 1 0 195583994 205017088 45440 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549008 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45440 108 232 0 49818 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (Kb) 200212

[startup+1801.25 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357336/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1800.68
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51586 0 0 0 179905 163 0 0 25 0 1 0 195583994 205017088 45445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546338 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45445 108 232 0 49818 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (Kb) 200212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.25 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 13159
/proc/meminfo: memFree=1357336/2055920 swapFree=4181444/4192956
[pid=12488] ppid=12486 vsize=200212 CPUtime=1800.68
/proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51586 0 0 0 179905 163 0 0 25 0 1 0 195583994 205017088 45445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 50053 45445 108 232 0 49818 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (Kb) 200212

Sending SIGTERM to -12488
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.29
CPU time (s): 1800.72
CPU user time (s): 1799.06
CPU system time (s): 1.66275
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (Kb): 200212
The end

Launcher Data (download as text)

Begin job on node42 on Sat Jun  3 01:46:09 UTC 2006


FILE ID= 41942-1149299169

PBS_JOBID= 307272

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41942-1149299169/instance-41942-1149299169.opb 810847874
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-41942-1149299169 -o ROOT/results/node42/solver-41942-1149299169 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41942-1149299169/instance-41942-1149299169.opb 810847874

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  669011fc499ae56e44c354cc6cddc4c7

RANDOM SEED= 810847874


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1560736 kB
Buffers:         20408 kB
Cached:         403396 kB
SwapCached:       3304 kB
Active:          36632 kB
Inactive:       395936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1560736 kB
SwapTotal:     4192956 kB
SwapFree:      4181444 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            48624 kB
Committed_AS:   307252 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node42 on Sat Jun  3 02:16:11 UTC 2006