Trace number 41666

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.58 1801.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb
MD5SUM810966efbb409d6e2e91a116be6e9263
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1038
Best CPU time to get the best result obtained on this benchmark1800.59
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1038
Optimality of the best value was proved NO
Number of variables1963
Total number of constraints4000
Number of constraints which are clauses4000
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 1963
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 1963
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 1963
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/node86/41666-1149395976/instance-41666-1149395976.opb ......
0.07	c done parsing opb.
0.07	o 1820
0.08	o 1819
0.10	o 1554
0.11	o 1553
2.73	o 1552
2.74	o 1218
2.75	o 1217
2.76	o 1216
2.78	o 1215
6.58	o 1214
11.86	o 1213
17.99	o 1212
26.16	o 1211
30.78	o 1210
34.85	o 1209
43.42	o 1208
130.92	o 1207
144.89	o 1206
155.30	o 1205
170.08	o 1204
171.58	o 1203
171.59	o 1202
171.60	o 1201
171.61	o 1200
171.62	o 1199
171.63	o 1198
171.64	o 1195
171.65	o 1194
171.67	o 1193
171.68	o 1192
177.79	o 1191

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/node86/watcher-41666-1149395976 -o ROOT/results/node86/solver-41666-1149395976 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node86/41666-1149395976/instance-41666-1149395976.opb 367268152 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1559832/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=1588 CPUtime=0
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 205236861 1626112 186 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 397 186 97 232 0 162 0

[startup+10.0018 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1487968/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=133484 CPUtime=9.99
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 18143 0 0 0 990 9 0 0 25 0 1 0 205236861 136687616 18071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 33371 18071 108 232 0 33136 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 133484

[startup+20.008 s]
/proc/loadavg: 0.94 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1486240/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=133864 CPUtime=19.99
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 18577 0 0 0 1989 10 0 0 25 0 1 0 205236861 137076736 18505 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585352 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 33466 18505 108 232 0 33231 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 133864

[startup+30.0141 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1485728/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=134764 CPUtime=29.99
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 18806 0 0 0 2985 14 0 0 25 0 1 0 205236861 137998336 18637 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551216 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 33691 18637 108 232 0 33456 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 134764

[startup+40.0203 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1485408/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=134896 CPUtime=39.99
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 18872 0 0 0 3984 15 0 0 25 0 1 0 205236861 138133504 18703 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 33724 18703 108 232 0 33489 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 134896

[startup+50.0264 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1485088/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=135180 CPUtime=50
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 18976 0 0 0 4979 21 0 0 25 0 1 0 205236861 138424320 18807 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 33795 18807 108 232 0 33560 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 135180

[startup+60.0326 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1484832/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=135468 CPUtime=60
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19053 0 0 0 5969 31 0 0 25 0 1 0 205236861 138719232 18884 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549342 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 33867 18884 108 232 0 33632 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 135468

[startup+70.0377 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1484512/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=136236 CPUtime=70.01
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19310 0 0 0 6958 43 0 0 25 0 1 0 205236861 139505664 18948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34059 18948 108 232 0 33824 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 136236

[startup+80.0439 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1484320/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=136412 CPUtime=80.01
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19373 0 0 0 7948 53 0 0 25 0 1 0 205236861 139685888 19011 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34103 19011 108 232 0 33868 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 136412

[startup+90.05 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1484064/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=136544 CPUtime=90.01
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19436 0 0 0 8940 61 0 0 25 0 1 0 205236861 139821056 19074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551139 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34136 19074 108 232 0 33901 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 136544

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1483808/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=136696 CPUtime=100.02
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19493 0 0 0 9933 69 0 0 25 0 1 0 205236861 139976704 19131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34174 19131 108 232 0 33939 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 136696

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1483552/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=136872 CPUtime=110.02
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19558 0 0 0 10922 80 0 0 25 0 1 0 205236861 140156928 19196 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134562116 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34218 19196 108 232 0 33983 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 136872

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1483296/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=136872 CPUtime=120.02
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19616 0 0 0 11915 87 0 0 25 0 1 0 205236861 140156928 19254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34218 19254 108 232 0 33983 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 136872

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1482912/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=138600 CPUtime=130.03
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20049 0 0 0 12908 95 0 0 25 0 1 0 205236861 141926400 19302 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34650 19302 108 232 0 34415 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 138600

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1482848/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=138756 CPUtime=140.04
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20112 0 0 0 13907 97 0 0 25 0 1 0 205236861 142086144 19365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34689 19365 108 232 0 34454 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 138756

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1482528/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=139012 CPUtime=150.03
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20179 0 0 0 14906 97 0 0 25 0 1 0 205236861 142348288 19432 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549297 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34753 19432 108 232 0 34518 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 139012

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1482336/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=139012 CPUtime=160.03
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20237 0 0 0 15905 98 0 0 25 0 1 0 205236861 142348288 19490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34753 19490 108 232 0 34518 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 139012

[startup+170.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1482080/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=139228 CPUtime=170.04
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20287 0 0 0 16905 99 0 0 25 0 1 0 205236861 142569472 19540 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34807 19540 108 232 0 34572 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 139228

[startup+180.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1481952/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=139436 CPUtime=180.04
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20334 0 0 0 17903 101 0 0 25 0 1 0 205236861 142782464 19587 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34859 19587 108 232 0 34624 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 139436

[startup+190.111 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1481824/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=139436 CPUtime=190.04
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20370 0 0 0 18903 101 0 0 25 0 1 0 205236861 142782464 19623 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549330 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34859 19623 108 232 0 34624 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 139436

[startup+200.118 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1481696/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=139560 CPUtime=200.04
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20406 0 0 0 19902 102 0 0 25 0 1 0 205236861 142909440 19659 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 34890 19659 108 232 0 34655 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 139560

[startup+210.124 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23655
/proc/meminfo: memFree=1481568/2055892 swapFree=4084792/4096564

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

/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27313 0 0 0 177937 209 0 0 25 0 1 0 205236861 162312192 24260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24260 108 232 0 39392 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 158508

[startup+1783.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462880/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1782.47
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27314 0 0 0 178038 209 0 0 25 0 1 0 205236861 162312192 24261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24261 108 232 0 39392 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 158508

[startup+1784.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462880/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1783.47
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27316 0 0 0 178138 209 0 0 25 0 1 0 205236861 162312192 24263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24263 108 232 0 39392 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 158508

[startup+1785.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462816/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1784.48
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27321 0 0 0 178239 209 0 0 25 0 1 0 205236861 162312192 24268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24268 108 232 0 39392 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (Kb) 158508

[startup+1786.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462816/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1785.48
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27322 0 0 0 178339 209 0 0 25 0 1 0 205236861 162312192 24269 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24269 108 232 0 39392 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 158508

[startup+1787.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462816/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1786.48
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27323 0 0 0 178439 209 0 0 25 0 1 0 205236861 162312192 24270 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134565284 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24270 108 232 0 39392 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (Kb) 158508

[startup+1788.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462816/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1787.49
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27329 0 0 0 178540 209 0 0 25 0 1 0 205236861 162312192 24276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24276 108 232 0 39392 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 158508

[startup+1789.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462816/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1788.49
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27330 0 0 0 178640 209 0 0 25 0 1 0 205236861 162312192 24277 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24277 108 232 0 39392 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (Kb) 158508

[startup+1790.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462816/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1789.5
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27331 0 0 0 178741 209 0 0 25 0 1 0 205236861 162312192 24278 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24278 108 232 0 39392 0
Current children cumulated CPU time (s) 1789.5
Current children cumulated vsize (Kb) 158508

[startup+1791.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1790.51
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27336 0 0 0 178841 210 0 0 25 0 1 0 205236861 162312192 24283 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549342 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24283 108 232 0 39392 0
Current children cumulated CPU time (s) 1790.51
Current children cumulated vsize (Kb) 158508

[startup+1792.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1791.51
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27338 0 0 0 178941 210 0 0 25 0 1 0 205236861 162312192 24285 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24285 108 232 0 39392 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 158508

[startup+1793.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1792.52
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27339 0 0 0 179042 210 0 0 25 0 1 0 205236861 162312192 24286 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24286 108 232 0 39392 0
Current children cumulated CPU time (s) 1792.52
Current children cumulated vsize (Kb) 158508

[startup+1794.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1793.52
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27344 0 0 0 179142 210 0 0 25 0 1 0 205236861 162312192 24291 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24291 108 232 0 39392 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 158508

[startup+1795.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1794.52
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27345 0 0 0 179242 210 0 0 25 0 1 0 205236861 162312192 24292 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24292 108 232 0 39392 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 158508

[startup+1796.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1795.53
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27347 0 0 0 179343 210 0 0 25 0 1 0 205236861 162312192 24294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549450 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24294 108 232 0 39392 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 158508

[startup+1797.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1796.53
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27348 0 0 0 179443 210 0 0 25 0 1 0 205236861 162312192 24295 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24295 108 232 0 39392 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (Kb) 158508

[startup+1798.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462688/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1797.54
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27354 0 0 0 179544 210 0 0 25 0 1 0 205236861 162312192 24301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24301 108 232 0 39392 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 158508

[startup+1799.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462688/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1798.54
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27355 0 0 0 179644 210 0 0 25 0 1 0 205236861 162312192 24302 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549288 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24302 108 232 0 39392 0
Current children cumulated CPU time (s) 1798.54
Current children cumulated vsize (Kb) 158508

[startup+1800.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462688/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1799.54
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27356 0 0 0 179744 210 0 0 25 0 1 0 205236861 162312192 24303 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24303 108 232 0 39392 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (Kb) 158508

[startup+1801.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462688/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1800.55
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27362 0 0 0 179845 210 0 0 25 0 1 0 205236861 162312192 24309 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24309 108 232 0 39392 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 158508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23852
/proc/meminfo: memFree=1462688/2055892 swapFree=4084792/4096564
[pid=23655] ppid=23653 vsize=158508 CPUtime=1800.55
/proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27362 0 0 0 179845 210 0 0 25 0 1 0 205236861 162312192 24309 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/23655/statm: 39627 24309 108 232 0 39392 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 158508

Sending SIGTERM to -23655
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.58
CPU user time (s): 1798.46
CPU system time (s): 2.12468
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (Kb): 158508
The end

Launcher Data (download as text)

Begin job on node86 on Sun Jun  4 04:39:36 UTC 2006


FILE ID= 41666-1149395976

PBS_JOBID= 313682

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node86/41666-1149395976/instance-41666-1149395976.opb 367268152
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node86/watcher-41666-1149395976 -o ROOT/results/node86/solver-41666-1149395976 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node86/41666-1149395976/instance-41666-1149395976.opb 367268152

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  810966efbb409d6e2e91a116be6e9263

RANDOM SEED= 367268152


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

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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1560168 kB
Buffers:         24076 kB
Cached:         406972 kB
SwapCached:       2928 kB
Active:          89324 kB
Inactive:       350412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1560168 kB
SwapTotal:     4096564 kB
SwapFree:      4084792 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          15148 kB
Slab:            42588 kB
Committed_AS:   400780 kB
PageTables:       1300 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node86 on Sun Jun  4 05:09:38 UTC 2006