Trace number 41797

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.59 1801.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
MD5SUM9711add7b63200e6cedabbc5764a3737
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark343
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 343
Optimality of the best value was proved NO
Number of variables1040
Total number of constraints3656
Number of constraints which are clauses3656
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 constraint10
Number of terms in the objective function 1040
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 1040
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 1040
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/node52/41797-1149416611/instance-41797-1149416611.opb ......
0.04	c done parsing opb.
0.04	o 520
0.05	o 519
0.05	o 518
0.06	o 517
0.06	o 501
0.57	o 500
0.58	o 499
0.59	o 498
0.60	o 497
0.60	o 496
0.61	o 495
0.61	o 493
0.62	o 492
0.62	o 491
0.63	o 490
0.66	o 489
0.67	o 488
0.68	o 484
0.70	o 483
0.71	o 482
0.80	o 481
0.88	o 480
0.95	o 479
5.53	o 478
5.53	o 452
5.53	o 451
5.54	o 450

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/node52/watcher-41797-1149416611 -o ROOT/results/node52/solver-41797-1149416611 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node52/41797-1149416611/instance-41797-1149416611.opb 824327233 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.71 0.91 0.93 2/64 14468
/proc/meminfo: memFree=1808388/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=1532 CPUtime=0
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 207328895 1568768 160 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 383 160 97 232 0 148 0

[startup+10.0014 s]
/proc/loadavg: 0.76 0.91 0.93 2/64 14468
/proc/meminfo: memFree=1774428/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=35132 CPUtime=9.99
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 8713 0 0 0 988 11 0 0 25 0 1 0 207328895 35975168 8633 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 8783 8633 108 232 0 8548 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 35132

[startup+20.0069 s]
/proc/loadavg: 0.79 0.91 0.93 2/64 14468
/proc/meminfo: memFree=1773980/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=35940 CPUtime=19.99
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 8939 0 0 0 1981 18 0 0 25 0 1 0 207328895 36802560 8762 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546084 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 8985 8762 108 232 0 8750 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 35940

[startup+30.0124 s]
/proc/loadavg: 0.82 0.91 0.93 2/64 14468
/proc/meminfo: memFree=1773468/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=36196 CPUtime=29.99
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 9063 0 0 0 2980 19 0 0 25 0 1 0 207328895 37064704 8886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9049 8886 108 232 0 8814 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 36196

[startup+40.0179 s]
/proc/loadavg: 0.85 0.92 0.93 2/64 14468
/proc/meminfo: memFree=1773148/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=37136 CPUtime=40
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 9350 0 0 0 3979 21 0 0 25 0 1 0 207328895 38027264 8980 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9284 8980 108 232 0 9049 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 37136

[startup+50.0244 s]
/proc/loadavg: 0.87 0.92 0.93 2/64 14468
/proc/meminfo: memFree=1772764/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=37320 CPUtime=50
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 9440 0 0 0 4978 22 0 0 25 0 1 0 207328895 38215680 9070 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9330 9070 108 232 0 9095 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 37320

[startup+60.0309 s]
/proc/loadavg: 0.89 0.92 0.93 2/64 14468
/proc/meminfo: memFree=1772444/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=37616 CPUtime=60.01
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 9526 0 0 0 5976 25 0 0 25 0 1 0 207328895 38518784 9156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9404 9156 108 232 0 9169 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 37616

[startup+70.0374 s]
/proc/loadavg: 0.91 0.92 0.93 2/64 14468
/proc/meminfo: memFree=1772060/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=37796 CPUtime=70.01
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 9609 0 0 0 6975 26 0 0 25 0 1 0 207328895 38703104 9239 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549294 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9449 9239 108 232 0 9214 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 37796

[startup+80.0439 s]
/proc/loadavg: 0.92 0.92 0.93 2/64 14468
/proc/meminfo: memFree=1771612/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=39332 CPUtime=80.01
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 10072 0 0 0 7973 28 0 0 25 0 1 0 207328895 40275968 9317 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9833 9317 108 232 0 9598 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 39332

[startup+90.0494 s]
/proc/loadavg: 0.93 0.93 0.93 2/64 14468
/proc/meminfo: memFree=1771484/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=39536 CPUtime=90.01
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 10147 0 0 0 8971 30 0 0 25 0 1 0 207328895 40484864 9392 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9884 9392 108 232 0 9649 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 39536

[startup+100.055 s]
/proc/loadavg: 0.94 0.93 0.93 2/64 14468
/proc/meminfo: memFree=1771164/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=39764 CPUtime=100.01
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 10218 0 0 0 9969 32 0 0 25 0 1 0 207328895 40718336 9463 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9941 9463 108 232 0 9706 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 39764

[startup+110.061 s]
/proc/loadavg: 0.95 0.93 0.93 2/64 14468
/proc/meminfo: memFree=1770908/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=39888 CPUtime=110.02
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 10287 0 0 0 10968 34 0 0 25 0 1 0 207328895 40845312 9532 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9972 9532 108 232 0 9737 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 39888

[startup+120.067 s]
/proc/loadavg: 0.96 0.93 0.93 2/64 14468
/proc/meminfo: memFree=1770588/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=40024 CPUtime=120.02
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 10356 0 0 0 11967 35 0 0 25 0 1 0 207328895 40984576 9601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 10006 9601 108 232 0 9771 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 40024

[startup+130.072 s]
/proc/loadavg: 0.96 0.93 0.93 2/64 14468
/proc/meminfo: memFree=1770332/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=40168 CPUtime=130.02
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 10423 0 0 0 12965 37 0 0 25 0 1 0 207328895 41132032 9668 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 10042 9668 108 232 0 9807 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 40168

[startup+140.079 s]
/proc/loadavg: 0.97 0.94 0.93 2/64 14468
/proc/meminfo: memFree=1770076/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=40320 CPUtime=140.03
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 10486 0 0 0 13964 39 0 0 25 0 1 0 207328895 41287680 9731 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 10080 9731 108 232 0 9845 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 40320

[startup+150.084 s]
/proc/loadavg: 0.97 0.94 0.93 2/64 14468
/proc/meminfo: memFree=1769820/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=40480 CPUtime=150.03
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 10549 0 0 0 14963 40 0 0 25 0 1 0 207328895 41451520 9794 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 10120 9794 108 232 0 9885 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 40480

[startup+160.09 s]
/proc/loadavg: 0.98 0.94 0.93 2/64 14468
/proc/meminfo: memFree=1769564/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=40652 CPUtime=160.03
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 10613 0 0 0 15961 42 0 0 25 0 1 0 207328895 41627648 9858 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 10163 9858 108 232 0 9928 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 40652

[startup+170.096 s]
/proc/loadavg: 0.98 0.94 0.93 2/64 14468
/proc/meminfo: memFree=1769308/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=40652 CPUtime=170.04
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 10672 0 0 0 16960 44 0 0 25 0 1 0 207328895 41627648 9917 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 10163 9917 108 232 0 9928 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 40652

[startup+180.102 s]
/proc/loadavg: 0.98 0.94 0.93 2/64 14468
/proc/meminfo: memFree=1769116/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=40832 CPUtime=180.04
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 10731 0 0 0 17959 45 0 0 25 0 1 0 207328895 41811968 9976 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 10208 9976 108 232 0 9973 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 40832

[startup+190.107 s]
/proc/loadavg: 0.98 0.94 0.93 2/64 14468
/proc/meminfo: memFree=1768860/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=41024 CPUtime=190.04
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 10789 0 0 0 18956 48 0 0 25 0 1 0 207328895 42008576 10034 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 10256 10034 108 232 0 10021 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 41024

[startup+200.113 s]
/proc/loadavg: 0.99 0.94 0.93 2/64 14468
/proc/meminfo: memFree=1768476/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=44096 CPUtime=200.04
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 11614 0 0 0 19954 50 0 0 25 0 1 0 207328895 45154304 10090 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 11024 10090 108 232 0 10789 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 44096

[startup+210.118 s]
/proc/loadavg: 0.99 0.95 0.93 2/64 14468
/proc/meminfo: memFree=1768412/2055920 swapFree=4181360/4192956

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

/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21484 0 0 0 177932 216 0 0 25 0 1 0 207328895 75001856 15350 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15350 108 232 0 18076 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (Kb) 73244

[startup+1783.03 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1747036/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1782.48
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21485 0 0 0 178032 216 0 0 25 0 1 0 207328895 75001856 15351 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15351 108 232 0 18076 0
Current children cumulated CPU time (s) 1782.48
Current children cumulated vsize (Kb) 73244

[startup+1784.03 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1747036/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1783.48
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21487 0 0 0 178132 216 0 0 25 0 1 0 207328895 75001856 15353 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15353 108 232 0 18076 0
Current children cumulated CPU time (s) 1783.48
Current children cumulated vsize (Kb) 73244

[startup+1785.04 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1747036/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1784.49
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21492 0 0 0 178233 216 0 0 25 0 1 0 207328895 75001856 15358 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15358 108 232 0 18076 0
Current children cumulated CPU time (s) 1784.49
Current children cumulated vsize (Kb) 73244

[startup+1786.04 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1747036/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1785.49
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21493 0 0 0 178333 216 0 0 25 0 1 0 207328895 75001856 15359 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15359 108 232 0 18076 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (Kb) 73244

[startup+1787.05 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746972/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1786.49
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21494 0 0 0 178433 216 0 0 25 0 1 0 207328895 75001856 15360 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15360 108 232 0 18076 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 73244

[startup+1788.05 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746972/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1787.5
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21496 0 0 0 178534 216 0 0 25 0 1 0 207328895 75001856 15362 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15362 108 232 0 18076 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (Kb) 73244

[startup+1789.06 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746972/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1788.5
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21500 0 0 0 178634 216 0 0 25 0 1 0 207328895 75001856 15366 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15366 108 232 0 18076 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 73244

[startup+1790.06 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746972/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1789.51
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21502 0 0 0 178735 216 0 0 25 0 1 0 207328895 75001856 15368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15368 108 232 0 18076 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 73244

[startup+1791.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746972/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1790.52
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21503 0 0 0 178835 217 0 0 25 0 1 0 207328895 75001856 15369 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15369 108 232 0 18076 0
Current children cumulated CPU time (s) 1790.52
Current children cumulated vsize (Kb) 73244

[startup+1792.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746972/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1791.52
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21508 0 0 0 178935 217 0 0 25 0 1 0 207328895 75001856 15374 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15374 108 232 0 18076 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (Kb) 73244

[startup+1793.08 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746972/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1792.53
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21509 0 0 0 179036 217 0 0 25 0 1 0 207328895 75001856 15375 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15375 108 232 0 18076 0
Current children cumulated CPU time (s) 1792.53
Current children cumulated vsize (Kb) 73244

[startup+1794.08 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746908/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1793.53
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21510 0 0 0 179136 217 0 0 25 0 1 0 207328895 75001856 15376 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15376 108 232 0 18076 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (Kb) 73244

[startup+1795.09 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746908/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1794.54
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21512 0 0 0 179237 217 0 0 25 0 1 0 207328895 75001856 15378 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15378 108 232 0 18076 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (Kb) 73244

[startup+1796.09 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746908/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1795.54
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21517 0 0 0 179337 217 0 0 25 0 1 0 207328895 75001856 15383 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15383 108 232 0 18076 0
Current children cumulated CPU time (s) 1795.54
Current children cumulated vsize (Kb) 73244

[startup+1797.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746908/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1796.54
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21518 0 0 0 179437 217 0 0 25 0 1 0 207328895 75001856 15384 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15384 108 232 0 18076 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 73244

[startup+1798.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746908/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1797.55
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21519 0 0 0 179538 217 0 0 25 0 1 0 207328895 75001856 15385 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15385 108 232 0 18076 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (Kb) 73244

[startup+1799.11 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746908/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1798.55
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21524 0 0 0 179638 217 0 0 25 0 1 0 207328895 75001856 15390 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15390 108 232 0 18076 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 73244

[startup+1800.11 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746908/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1799.56
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21525 0 0 0 179738 218 0 0 25 0 1 0 207328895 75001856 15391 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15391 108 232 0 18076 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (Kb) 73244

[startup+1801.12 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746844/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1800.57
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21528 0 0 0 179839 218 0 0 25 0 1 0 207328895 75001856 15394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15394 108 232 0 18076 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 73244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.12 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 14470
/proc/meminfo: memFree=1746844/2055920 swapFree=4181360/4192956
[pid=14468] ppid=14466 vsize=73244 CPUtime=1800.57
/proc/14468/stat : 14468 (PBS4L) R 14466 14468 14422 0 -1 4194304 21528 0 0 0 179839 218 0 0 25 0 1 0 207328895 75001856 15394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 18311 15394 108 232 0 18076 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 73244

Sending SIGTERM to -14468
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.14
CPU time (s): 1800.59
CPU user time (s): 1798.4
CPU system time (s): 2.19267
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (Kb): 73244
The end

Launcher Data (download as text)

Begin job on node52 on Sun Jun  4 10:23:31 UTC 2006


FILE ID= 41797-1149416611

PBS_JOBID= 315374

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  9711add7b63200e6cedabbc5764a3737

RANDOM SEED= 824327233


/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:       1808788 kB
Buffers:         16664 kB
Cached:         168468 kB
SwapCached:       3296 kB
Active:          44336 kB
Inactive:       149508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1808788 kB
SwapTotal:     4192956 kB
SwapFree:      4181360 kB
Dirty:             304 kB
Writeback:           0 kB
Mapped:          14916 kB
Slab:            39276 kB
Committed_AS:   452712 kB
PageTables:       1504 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node52 on Sun Jun  4 10:53:32 UTC 2006