Trace number 41878

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.7 1801.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a3.opb
MD5SUM5018d2b93ba4422fc03308c57dbd6158
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark191
Best CPU time to get the best result obtained on this benchmark1800.52
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved NO
Number of variables528
Total number of constraints1816
Number of constraints which are clauses1816
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 constraint8
Number of terms in the objective function 528
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 528
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 528
Number of bits of the biggest sum of numbers10
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/node11/41878-1149284010/instance-41878-1149284010.opb ......
0.02	c done parsing opb.
0.02	o 264
0.02	o 263
0.02	o 262
0.02	o 261
0.03	o 256
0.03	o 254
0.14	o 253
0.14	o 252
0.15	o 251
0.15	o 250
0.15	o 249
0.15	o 248
0.16	o 247
0.16	o 246
0.16	o 245
0.16	o 244
0.16	o 243
0.16	o 242
0.90	o 241
0.91	o 240
3.37	o 239
3.53	o 238
4.60	o 237
4.61	o 236
4.61	o 235
4.61	o 234
4.61	o 233
4.61	o 232
8.71	o 231
10.08	o 230
30.38	o 229
35.38	o 228
49.15	o 227
159.98	o 226
341.76	o 225
351.66	o 224
1017.74	o 223
1417.05	o 222

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/node11/watcher-41878-1149284010 -o ROOT/results/node11/solver-41878-1149284010 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node11/41878-1149284010/instance-41878-1149284010.opb 100985972 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1710416/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=1400 CPUtime=0
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 157 0 0 0 0 0 0 0 18 0 1 0 194063538 1433600 138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536608 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 350 138 97 232 0 115 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1686432/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=35912 CPUtime=9.99
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 6279 0 0 0 994 5 0 0 25 0 1 0 194063538 36773888 6106 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 8978 6106 108 232 0 8743 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 35912

[startup+20.0085 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1682080/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=36472 CPUtime=19.99
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 7356 0 0 0 1989 10 0 0 25 0 1 0 194063538 37347328 7183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 9118 7183 108 232 0 8883 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 36472

[startup+30.0147 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1679264/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=37648 CPUtime=29.99
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 8254 0 0 0 2985 14 0 0 25 0 1 0 194063538 38551552 7888 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 9412 7888 108 232 0 9177 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 37648

[startup+40.0209 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1671840/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=70680 CPUtime=40
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 10108 0 0 0 3981 19 0 0 25 0 1 0 194063538 72376320 9742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 17670 9742 108 232 0 17435 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 70680

[startup+50.0271 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1671392/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=70968 CPUtime=50
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 10223 0 0 0 4979 21 0 0 25 0 1 0 194063538 72671232 9857 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 17742 9857 108 232 0 17507 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 70968

[startup+60.0323 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1670304/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=71096 CPUtime=60.01
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 10490 0 0 0 5978 23 0 0 25 0 1 0 194063538 72802304 10124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 17774 10124 108 232 0 17539 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 71096

[startup+70.0385 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1664672/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=72896 CPUtime=70.01
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 12270 0 0 0 6974 27 0 0 25 0 1 0 194063538 74645504 11519 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 18224 11519 108 232 0 17989 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 72896

[startup+80.0447 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1663968/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=73212 CPUtime=80.01
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 12464 0 0 0 7973 28 0 0 25 0 1 0 194063538 74969088 11713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 18303 11713 108 232 0 18068 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 73212

[startup+90.0509 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1661600/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=73480 CPUtime=90.02
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13052 0 0 0 8972 30 0 0 25 0 1 0 194063538 75243520 12301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 18370 12301 108 232 0 18135 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 73480

[startup+100.057 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1661216/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=73808 CPUtime=100.02
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13154 0 0 0 9970 32 0 0 25 0 1 0 194063538 75579392 12403 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 18452 12403 108 232 0 18217 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 73808

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1660896/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=73940 CPUtime=110.03
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13232 0 0 0 10969 34 0 0 25 0 1 0 194063538 75714560 12481 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 18485 12481 108 232 0 18250 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 73940

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30858
/proc/meminfo: memFree=1660576/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=74088 CPUtime=120.02
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13308 0 0 0 11967 35 0 0 25 0 1 0 194063538 75866112 12557 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 18522 12557 108 232 0 18287 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 74088

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30860
/proc/meminfo: memFree=1660064/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=74428 CPUtime=130.03
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13406 0 0 0 12966 37 0 0 25 0 1 0 194063538 76214272 12655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 18607 12655 108 232 0 18372 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 74428

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30860
/proc/meminfo: memFree=1659872/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=74428 CPUtime=140.03
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13484 0 0 0 13965 38 0 0 25 0 1 0 194063538 76214272 12733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 18607 12733 108 232 0 18372 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 74428

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30860
/proc/meminfo: memFree=1659552/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=74688 CPUtime=150.04
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13553 0 0 0 14963 41 0 0 25 0 1 0 194063538 76480512 12802 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 18672 12802 108 232 0 18437 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 74688

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30860
/proc/meminfo: memFree=1658336/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=74828 CPUtime=160.04
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 13849 0 0 0 15962 42 0 0 25 0 1 0 194063538 76623872 13098 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 18707 13098 108 232 0 18472 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 74828

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30860
/proc/meminfo: memFree=1654176/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=75112 CPUtime=170.05
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 14900 0 0 0 16960 45 0 0 25 0 1 0 194063538 76914688 14149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 18778 14149 108 232 0 18543 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 75112

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30860
/proc/meminfo: memFree=1653920/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=75272 CPUtime=180.04
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 14953 0 0 0 17958 46 0 0 25 0 1 0 194063538 77078528 14202 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 18818 14202 108 232 0 18583 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 75272

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30860
/proc/meminfo: memFree=1653536/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=78344 CPUtime=190.05
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 15798 0 0 0 18956 49 0 0 25 0 1 0 194063538 80224256 14278 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 19586 14278 108 232 0 19351 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 78344

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30860
/proc/meminfo: memFree=1653280/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=78648 CPUtime=200.05
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 15872 0 0 0 19955 50 0 0 25 0 1 0 194063538 80535552 14352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 19662 14352 108 232 0 19427 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 78648

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30860
/proc/meminfo: memFree=1653024/2055920 swapFree=4181380/4192956

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

/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30854 0 0 0 177901 256 0 0 25 0 1 0 194063538 115032064 24724 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28084 24724 108 232 0 27849 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 112336

[startup+1783.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1611360/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=112336 CPUtime=1782.58
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30855 0 0 0 178001 257 0 0 25 0 1 0 194063538 115032064 24725 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28084 24725 108 232 0 27849 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (Kb) 112336

[startup+1784.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1611360/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=112336 CPUtime=1783.59
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30861 0 0 0 178102 257 0 0 25 0 1 0 194063538 115032064 24731 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28084 24731 108 232 0 27849 0
Current children cumulated CPU time (s) 1783.59
Current children cumulated vsize (Kb) 112336

[startup+1785.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1611360/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=112336 CPUtime=1784.59
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30864 0 0 0 178202 257 0 0 25 0 1 0 194063538 115032064 24734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28084 24734 108 232 0 27849 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (Kb) 112336

[startup+1786.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1611296/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=112336 CPUtime=1785.6
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30875 0 0 0 178303 257 0 0 25 0 1 0 194063538 115032064 24745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28084 24745 108 232 0 27849 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (Kb) 112336

[startup+1787.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1611296/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=112336 CPUtime=1786.6
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30877 0 0 0 178403 257 0 0 25 0 1 0 194063538 115032064 24747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28084 24747 108 232 0 27849 0
Current children cumulated CPU time (s) 1786.6
Current children cumulated vsize (Kb) 112336

[startup+1788.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1611296/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=112336 CPUtime=1787.6
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30878 0 0 0 178503 257 0 0 25 0 1 0 194063538 115032064 24748 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28084 24748 108 232 0 27849 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (Kb) 112336

[startup+1789.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1611296/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=112336 CPUtime=1788.61
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30884 0 0 0 178604 257 0 0 25 0 1 0 194063538 115032064 24754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28084 24754 108 232 0 27849 0
Current children cumulated CPU time (s) 1788.61
Current children cumulated vsize (Kb) 112336

[startup+1790.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1611232/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=112336 CPUtime=1789.61
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30893 0 0 0 178704 257 0 0 25 0 1 0 194063538 115032064 24763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549492 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28084 24763 108 232 0 27849 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (Kb) 112336

[startup+1791.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1611040/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=113312 CPUtime=1790.62
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 30938 0 0 0 178805 257 0 0 25 0 1 0 194063538 116031488 24808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550056 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28328 24808 108 232 0 28093 0
Current children cumulated CPU time (s) 1790.62
Current children cumulated vsize (Kb) 113312

[startup+1792.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1610528/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=113312 CPUtime=1791.62
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31071 0 0 0 178905 257 0 0 25 0 1 0 194063538 116031488 24941 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28328 24941 108 232 0 28093 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (Kb) 113312

[startup+1793.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1610528/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=113312 CPUtime=1792.63
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31073 0 0 0 179005 258 0 0 25 0 1 0 194063538 116031488 24943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28328 24943 108 232 0 28093 0
Current children cumulated CPU time (s) 1792.63
Current children cumulated vsize (Kb) 113312

[startup+1794.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1610528/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=113312 CPUtime=1793.63
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31078 0 0 0 179105 258 0 0 25 0 1 0 194063538 116031488 24948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28328 24948 108 232 0 28093 0
Current children cumulated CPU time (s) 1793.63
Current children cumulated vsize (Kb) 113312

[startup+1795.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=113312 CPUtime=1794.64
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31080 0 0 0 179206 258 0 0 25 0 1 0 194063538 116031488 24950 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28328 24950 108 232 0 28093 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (Kb) 113312

[startup+1796.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=113312 CPUtime=1795.64
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31082 0 0 0 179306 258 0 0 25 0 1 0 194063538 116031488 24952 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28328 24952 108 232 0 28093 0
Current children cumulated CPU time (s) 1795.64
Current children cumulated vsize (Kb) 113312

[startup+1797.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=113312 CPUtime=1796.64
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31084 0 0 0 179406 258 0 0 25 0 1 0 194063538 116031488 24954 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28328 24954 108 232 0 28093 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (Kb) 113312

[startup+1798.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=113312 CPUtime=1797.65
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31086 0 0 0 179507 258 0 0 25 0 1 0 194063538 116031488 24956 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28328 24956 108 232 0 28093 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (Kb) 113312

[startup+1799.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=113312 CPUtime=1798.65
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31089 0 0 0 179607 258 0 0 25 0 1 0 194063538 116031488 24959 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28328 24959 108 232 0 28093 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 113312

[startup+1800.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=113312 CPUtime=1799.66
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31091 0 0 0 179708 258 0 0 25 0 1 0 194063538 116031488 24961 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28328 24961 108 232 0 28093 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (Kb) 113312

[startup+1801.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=113312 CPUtime=1800.66
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31093 0 0 0 179808 258 0 0 25 0 1 0 194063538 116031488 24963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28328 24963 108 232 0 28093 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (Kb) 113312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31055
/proc/meminfo: memFree=1610464/2055920 swapFree=4181380/4192956
[pid=30858] ppid=30856 vsize=113312 CPUtime=1800.66
/proc/30858/stat : 30858 (PBS4L) R 30856 30858 30812 0 -1 4194304 31093 0 0 0 179808 258 0 0 25 0 1 0 194063538 116031488 24963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30858/statm: 28328 24963 108 232 0 28093 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (Kb) 113312

Sending SIGTERM to -30858
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.22
CPU time (s): 1800.7
CPU user time (s): 1798.09
CPU system time (s): 2.6056
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (Kb): 113312
The end

Launcher Data (download as text)

Begin job on node11 on Fri Jun  2 21:33:30 UTC 2006


FILE ID= 41878-1149284010

PBS_JOBID= 306434

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node11/41878-1149284010/instance-41878-1149284010.opb 100985972
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-41878-1149284010 -o ROOT/results/node11/solver-41878-1149284010 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node11/41878-1149284010/instance-41878-1149284010.opb 100985972

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  5018d2b93ba4422fc03308c57dbd6158

RANDOM SEED= 100985972


/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.222
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	: 5931.00
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.222
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:       1710624 kB
Buffers:         22252 kB
Cached:         257368 kB
SwapCached:       3260 kB
Active:          47132 kB
Inactive:       241192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1710624 kB
SwapTotal:     4192956 kB
SwapFree:      4181380 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            42900 kB
Committed_AS:   337360 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node11 on Fri Jun  2 22:03:31 UTC 2006