Trace number 50490

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.55 1801.21

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.a.opb
MD5SUMb05f470b70f12c211f6d9c7c351d242f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark87
Best CPU time to get the best result obtained on this benchmark0.137978
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 87
Optimality of the best value was proved YES
Number of variables301
Total number of constraints732
Number of constraints which are clauses732
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 constraint1
Maximum length of a constraint23
Number of terms in the objective function 301
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 301
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 301
Number of bits of the biggest sum of numbers9
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/node17/50490-1154088710/instance-50490-1154088710.opb ......
0.01	c done parsing opb.
0.01	o 260
0.01	o 256
0.01	o 255
0.01	o 143
1.38	o 142
1.39	o 123
1.39	o 119
1.39	o 118
1.39	o 117
1.39	o 116
1.39	o 115
1.39	o 114
1.39	o 113
1.39	o 112
1.40	o 111
1.40	o 110
1.40	o 101
1.40	o 100
1.40	o 99
1.45	o 98
6.37	o 97
38.90	o 96
38.91	o 95
49.05	o 94
49.05	o 93
49.05	o 92
840.58	o 91

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/node17/watcher-50490-1154088710 -o ROOT/results/node17/solver-50490-1154088710 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node17/50490-1154088710/instance-50490-1154088710.opb 394240179 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.99 3/64 16618
/proc/meminfo: memFree=1430376/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=1400 CPUtime=0
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 1 0 155731643 1433600 136 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134615395 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 350 136 99 232 0 115 0

[startup+10.0021 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1420472/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=19212 CPUtime=9.98
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 2742 0 0 0 993 5 0 0 25 0 1 0 155731643 19673088 2570 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 4803 2570 108 232 0 4568 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 19212

[startup+20.008 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1415096/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=19604 CPUtime=19.99
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 4111 0 0 0 1989 10 0 0 25 0 1 0 155731643 20074496 3939 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 4901 3939 108 232 0 4666 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 19604

[startup+30.0138 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1411768/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=20640 CPUtime=29.99
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 5134 0 0 0 2987 12 0 0 25 0 1 0 155731643 21135360 4769 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 5160 4769 108 232 0 4925 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 20640

[startup+40.0197 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1409656/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=37288 CPUtime=40
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 5676 0 0 0 3985 15 0 0 25 0 1 0 155731643 38182912 5311 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 9322 5311 108 232 0 9087 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 37288

[startup+50.0255 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1407608/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=37684 CPUtime=50
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 6195 0 0 0 4983 17 0 0 25 0 1 0 155731643 38588416 5830 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 9421 5830 108 232 0 9186 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 37684

[startup+60.0324 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1405816/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=37864 CPUtime=60
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 6639 0 0 0 5981 19 0 0 25 0 1 0 155731643 38772736 6274 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 9466 6274 108 232 0 9231 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 37864

[startup+70.0393 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1405432/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=37996 CPUtime=70
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 6722 0 0 0 6980 20 0 0 25 0 1 0 155731643 38907904 6357 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 9499 6357 108 232 0 9264 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 37996

[startup+80.0461 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1405112/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=39732 CPUtime=80.01
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 7181 0 0 0 7979 22 0 0 25 0 1 0 155731643 40685568 6431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 9933 6431 108 232 0 9698 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 39732

[startup+90.053 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1404856/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=39868 CPUtime=90.01
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 7252 0 0 0 8977 24 0 0 25 0 1 0 155731643 40824832 6502 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 9967 6502 108 232 0 9732 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 39868

[startup+100.06 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1404600/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=40148 CPUtime=100.01
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 7328 0 0 0 9976 25 0 0 25 0 1 0 155731643 41111552 6578 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 10037 6578 108 232 0 9802 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 40148

[startup+110.067 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1404344/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=40332 CPUtime=110.02
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 7395 0 0 0 10976 26 0 0 25 0 1 0 155731643 41299968 6645 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 10083 6645 108 232 0 9848 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 40332

[startup+120.074 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1403960/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=40496 CPUtime=120.02
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 7488 0 0 0 11975 27 0 0 25 0 1 0 155731643 41467904 6738 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 10124 6738 108 232 0 9889 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 40496

[startup+130.079 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1403704/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=40704 CPUtime=130.02
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 7548 0 0 0 12974 28 0 0 25 0 1 0 155731643 41680896 6798 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 10176 6798 108 232 0 9941 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 40704

[startup+140.085 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1402872/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=40840 CPUtime=140.03
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 7751 0 0 0 13973 30 0 0 25 0 1 0 155731643 41820160 7001 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 10210 7001 108 232 0 9975 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 40840

[startup+150.092 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1402616/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=41128 CPUtime=150.03
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 7814 0 0 0 14972 31 0 0 25 0 1 0 155731643 42115072 7064 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 10282 7064 108 232 0 10047 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 41128

[startup+160.098 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1402360/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=41304 CPUtime=160.03
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 7886 0 0 0 15970 33 0 0 25 0 1 0 155731643 42295296 7136 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 10326 7136 108 232 0 10091 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 41304

[startup+170.104 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1401208/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=41304 CPUtime=170.03
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 8168 0 0 0 16969 34 0 0 25 0 1 0 155731643 42295296 7418 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 10326 7418 108 232 0 10091 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 41304

[startup+180.111 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1400056/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=41576 CPUtime=180.03
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 8457 0 0 0 17968 35 0 0 25 0 1 0 155731643 42573824 7707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 10394 7707 108 232 0 10159 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 41576

[startup+190.117 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1399160/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=41720 CPUtime=190.04
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 8682 0 0 0 18968 36 0 0 25 0 1 0 155731643 42721280 7932 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558838 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 10430 7932 108 232 0 10195 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 41720

[startup+200.122 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618
/proc/meminfo: memFree=1398712/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=45092 CPUtime=200.04
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 9516 0 0 0 19966 38 0 0 25 0 1 0 155731643 46174208 7997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 11273 7997 108 232 0 11038 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 45092

[startup+210.128 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16618

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

/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21556 0 0 0 177959 184 0 0 25 0 1 0 155731643 78417920 15427 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15427 108 232 0 18910 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (Kb) 76580

[startup+1783.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1369016/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1782.44
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21558 0 0 0 178060 184 0 0 25 0 1 0 155731643 78417920 15429 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15429 108 232 0 18910 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (Kb) 76580

[startup+1784.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368952/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1783.44
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21560 0 0 0 178160 184 0 0 25 0 1 0 155731643 78417920 15431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15431 108 232 0 18910 0
Current children cumulated CPU time (s) 1783.44
Current children cumulated vsize (Kb) 76580

[startup+1785.11 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368952/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1784.45
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21567 0 0 0 178261 184 0 0 25 0 1 0 155731643 78417920 15438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15438 108 232 0 18910 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (Kb) 76580

[startup+1786.11 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368952/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1785.45
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21569 0 0 0 178361 184 0 0 25 0 1 0 155731643 78417920 15440 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15440 108 232 0 18910 0
Current children cumulated CPU time (s) 1785.45
Current children cumulated vsize (Kb) 76580

[startup+1787.12 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368952/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1786.45
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21570 0 0 0 178461 184 0 0 25 0 1 0 155731643 78417920 15441 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15441 108 232 0 18910 0
Current children cumulated CPU time (s) 1786.45
Current children cumulated vsize (Kb) 76580

[startup+1788.12 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368952/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1787.47
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21572 0 0 0 178562 185 0 0 25 0 1 0 155731643 78417920 15443 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15443 108 232 0 18910 0
Current children cumulated CPU time (s) 1787.47
Current children cumulated vsize (Kb) 76580

[startup+1789.13 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368952/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1788.47
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21573 0 0 0 178662 185 0 0 25 0 1 0 155731643 78417920 15444 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15444 108 232 0 18910 0
Current children cumulated CPU time (s) 1788.47
Current children cumulated vsize (Kb) 76580

[startup+1790.13 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368888/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1789.48
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21574 0 0 0 178763 185 0 0 25 0 1 0 155731643 78417920 15445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15445 108 232 0 18910 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (Kb) 76580

[startup+1791.14 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368888/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1790.48
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21575 0 0 0 178863 185 0 0 25 0 1 0 155731643 78417920 15446 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15446 108 232 0 18910 0
Current children cumulated CPU time (s) 1790.48
Current children cumulated vsize (Kb) 76580

[startup+1792.14 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368888/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1791.49
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21587 0 0 0 178964 185 0 0 25 0 1 0 155731643 78417920 15458 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558823 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15458 108 232 0 18910 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 76580

[startup+1793.15 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368824/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1792.49
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21588 0 0 0 179064 185 0 0 25 0 1 0 155731643 78417920 15459 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15459 108 232 0 18910 0
Current children cumulated CPU time (s) 1792.49
Current children cumulated vsize (Kb) 76580

[startup+1794.15 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368824/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1793.49
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21592 0 0 0 179164 185 0 0 25 0 1 0 155731643 78417920 15463 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15463 108 232 0 18910 0
Current children cumulated CPU time (s) 1793.49
Current children cumulated vsize (Kb) 76580

[startup+1795.16 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368824/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1794.5
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21594 0 0 0 179265 185 0 0 25 0 1 0 155731643 78417920 15465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15465 108 232 0 18910 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (Kb) 76580

[startup+1796.16 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368824/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1795.5
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21595 0 0 0 179365 185 0 0 25 0 1 0 155731643 78417920 15466 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15466 108 232 0 18910 0
Current children cumulated CPU time (s) 1795.5
Current children cumulated vsize (Kb) 76580

[startup+1797.17 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368824/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1796.51
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21596 0 0 0 179466 185 0 0 25 0 1 0 155731643 78417920 15467 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559735 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15467 108 232 0 18910 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (Kb) 76580

[startup+1798.17 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368824/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1797.51
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21598 0 0 0 179566 185 0 0 25 0 1 0 155731643 78417920 15469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15469 108 232 0 18910 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (Kb) 76580

[startup+1799.18 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368824/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1798.52
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21599 0 0 0 179667 185 0 0 25 0 1 0 155731643 78417920 15470 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15470 108 232 0 18910 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (Kb) 76580

[startup+1800.18 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368760/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1799.52
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21610 0 0 0 179767 185 0 0 25 0 1 0 155731643 78417920 15481 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15481 108 232 0 18910 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (Kb) 76580

[startup+1801.19 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368760/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1800.52
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21613 0 0 0 179867 185 0 0 25 0 1 0 155731643 78417920 15484 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559731 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15484 108 232 0 18910 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (Kb) 76580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 16620
/proc/meminfo: memFree=1368760/2055920 swapFree=4183520/4192956
[pid=16618] ppid=16616 vsize=76580 CPUtime=1800.53
/proc/16618/stat : 16618 (PBS4L) R 16616 16618 16569 0 -1 4194304 21613 0 0 0 179868 185 0 0 25 0 1 0 155731643 78417920 15484 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16618/statm: 19145 15484 108 232 0 18910 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 76580

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.21
CPU time (s): 1800.55
CPU user time (s): 1798.68
CPU system time (s): 1.86871
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (Kb): 76580
The end

Launcher Data (download as text)

Begin job on node17 on Fri Jul 28 12:11:50 UTC 2006


FILE ID= 50490-1154088710

PBS_JOBID= 885540

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.a.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node17/50490-1154088710/instance-50490-1154088710.opb 394240179
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-50490-1154088710 -o ROOT/results/node17/solver-50490-1154088710 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node17/50490-1154088710/instance-50490-1154088710.opb 394240179

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  b05f470b70f12c211f6d9c7c351d242f

RANDOM SEED= 394240179

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.263
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.263
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:       1430584 kB
Buffers:         40920 kB
Cached:         507208 kB
SwapCached:       3080 kB
Active:         137100 kB
Inactive:       419456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1430584 kB
SwapTotal:     4192956 kB
SwapFree:      4183520 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14460 kB
Slab:            54744 kB
Committed_AS:   680008 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node17 on Fri Jul 28 12:41:52 UTC 2006