Trace number 41749

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.74 1801.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
MD5SUM5468ba071d8bcc474bd73dc9f24f6990
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark736
Best CPU time to get the best result obtained on this benchmark7.32189
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 736
Optimality of the best value was proved YES
Number of variables1518
Total number of constraints21621
Number of constraints which are clauses21621
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 constraint32
Number of terms in the objective function 1518
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 1518
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 1518
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/node18/41749-1149535361/instance-41749-1149535361.opb ......
0.36	c done parsing opb.
0.36	o 759
0.96	o 758
0.99	o 757
1.00	o 755
1.02	o 747
1.07	o 746
2.94	o 745
2.94	o 744
2.95	o 743
2.96	o 742
2.97	o 741
2.98	o 740
2.98	o 739
2.99	o 738
3.00	o 737
3.00	o 736

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/node18/watcher-41749-1149535361 -o ROOT/results/node18/solver-41749-1149535361 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node18/41749-1149535361/instance-41749-1149535361.opb 934263497 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.00 0.00 0.00 2/64 27752
/proc/meminfo: memFree=1809664/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=1368 CPUtime=0
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 219199021 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132792 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 342 95 84 232 0 107 0

[startup+10.0019 s]
/proc/loadavg: 0.15 0.03 0.01 2/64 27752
/proc/meminfo: memFree=1786880/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=36820 CPUtime=9.99
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 5957 0 0 0 995 4 0 0 25 0 1 0 219199021 37703680 5783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594059 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 9205 5783 108 232 0 8970 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 36820

[startup+20.0079 s]
/proc/loadavg: 0.28 0.06 0.02 2/64 27752
/proc/meminfo: memFree=1757888/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=71808 CPUtime=19.99
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 13376 0 0 0 1988 11 0 0 25 0 1 0 219199021 73531392 13009 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 17952 13009 108 232 0 17717 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 71808

[startup+30.0159 s]
/proc/loadavg: 0.39 0.09 0.03 2/64 27752
/proc/meminfo: memFree=1744000/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=72476 CPUtime=29.99
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 16843 0 0 0 2984 15 0 0 25 0 1 0 219199021 74215424 16476 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594059 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 18119 16476 108 232 0 17884 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 72476

[startup+40.0218 s]
/proc/loadavg: 0.49 0.12 0.04 2/64 27752
/proc/meminfo: memFree=1739328/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=73004 CPUtime=40
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 18012 0 0 0 3981 19 0 0 25 0 1 0 219199021 74756096 17645 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 18251 17645 108 232 0 18016 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 73004

[startup+50.0278 s]
/proc/loadavg: 0.56 0.15 0.05 2/64 27752
/proc/meminfo: memFree=1711488/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=139064 CPUtime=50
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 24952 0 0 0 4974 26 0 0 25 0 1 0 219199021 142401536 24585 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 34766 24585 108 232 0 34531 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 139064

[startup+60.0338 s]
/proc/loadavg: 0.63 0.18 0.06 2/64 27752
/proc/meminfo: memFree=1687296/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=139596 CPUtime=60
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 30995 0 0 0 5969 31 0 0 25 0 1 0 219199021 142946304 30628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 34899 30628 108 232 0 34664 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 139596

[startup+70.0398 s]
/proc/loadavg: 0.69 0.21 0.07 2/64 27752
/proc/meminfo: memFree=1660672/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=271044 CPUtime=70.01
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 37570 0 0 0 6963 38 0 0 25 0 1 0 219199021 277549056 37203 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 67761 37203 108 232 0 67526 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 271044

[startup+80.0468 s]
/proc/loadavg: 0.73 0.23 0.08 2/64 27752
/proc/meminfo: memFree=1638336/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=271460 CPUtime=80.01
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 43149 0 0 0 7959 42 0 0 25 0 1 0 219199021 277975040 42782 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 67865 42782 108 232 0 67630 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 271460

[startup+90.0527 s]
/proc/loadavg: 0.77 0.26 0.09 2/64 27752
/proc/meminfo: memFree=1617856/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=273420 CPUtime=90.01
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 48649 0 0 0 8955 46 0 0 25 0 1 0 219199021 279982080 47897 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 68355 47897 108 232 0 68120 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 273420

[startup+100.058 s]
/proc/loadavg: 0.81 0.28 0.10 2/64 27752
/proc/meminfo: memFree=1598336/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=273868 CPUtime=100.02
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 53515 0 0 0 9952 50 0 0 25 0 1 0 219199021 280440832 52763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558859 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 68467 52763 108 232 0 68232 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 273868

[startup+110.064 s]
/proc/loadavg: 0.84 0.30 0.11 2/64 27752
/proc/meminfo: memFree=1581376/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=274596 CPUtime=110.02
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 57744 0 0 0 10949 53 0 0 25 0 1 0 219199021 281186304 56992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 68649 56992 108 232 0 68414 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 274596

[startup+120.07 s]
/proc/loadavg: 0.86 0.33 0.12 2/64 27752
/proc/meminfo: memFree=1568768/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=275020 CPUtime=120.02
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 60896 0 0 0 11946 56 0 0 25 0 1 0 219199021 281620480 60144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 68755 60144 108 232 0 68520 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 275020

[startup+130.076 s]
/proc/loadavg: 0.88 0.35 0.12 2/64 27752
/proc/meminfo: memFree=1553408/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=275588 CPUtime=130.03
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 64715 0 0 0 12943 60 0 0 25 0 1 0 219199021 282202112 63963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 68897 63963 108 232 0 68662 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 275588

[startup+140.083 s]
/proc/loadavg: 0.90 0.37 0.13 2/64 27752
/proc/meminfo: memFree=1539136/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=276416 CPUtime=140.03
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 68279 0 0 0 13941 62 0 0 25 0 1 0 219199021 283049984 67527 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558821 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 69104 67527 108 232 0 68869 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 276416

[startup+150.089 s]
/proc/loadavg: 0.92 0.39 0.14 2/64 27752
/proc/meminfo: memFree=1530432/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=407784 CPUtime=150.03
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 70328 0 0 0 14936 67 0 0 25 0 1 0 219199021 417570816 69576 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 101946 69576 108 232 0 101711 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 407784

[startup+160.095 s]
/proc/loadavg: 0.93 0.41 0.15 2/64 27752
/proc/meminfo: memFree=1519168/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=408072 CPUtime=160.03
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 73142 0 0 0 15934 69 0 0 25 0 1 0 219199021 417865728 72390 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 102018 72390 108 232 0 101783 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 408072

[startup+170.101 s]
/proc/loadavg: 0.94 0.43 0.16 2/64 27752
/proc/meminfo: memFree=1508672/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=408504 CPUtime=170.04
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 75757 0 0 0 16932 72 0 0 25 0 1 0 219199021 418308096 75005 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 102126 75005 108 232 0 101891 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 408504

[startup+180.107 s]
/proc/loadavg: 0.95 0.45 0.17 2/64 27752
/proc/meminfo: memFree=1503104/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=409064 CPUtime=180.05
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 77149 0 0 0 17931 74 0 0 25 0 1 0 219199021 418881536 76397 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 102266 76397 108 232 0 102031 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 409064

[startup+190.112 s]
/proc/loadavg: 0.95 0.46 0.18 2/64 27752
/proc/meminfo: memFree=1493632/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=409196 CPUtime=190.05
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 79495 0 0 0 18929 76 0 0 25 0 1 0 219199021 419016704 78743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550796 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 102299 78743 108 232 0 102064 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 409196

[startup+200.118 s]
/proc/loadavg: 0.96 0.48 0.19 2/64 27752
/proc/meminfo: memFree=1490176/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=409476 CPUtime=200.05
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 80366 0 0 0 19928 77 0 0 25 0 1 0 219199021 419303424 79614 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 102369 79614 108 232 0 102134 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 409476

[startup+210.124 s]
/proc/loadavg: 0.97 0.50 0.19 2/64 27752
/proc/meminfo: memFree=1487232/2055920 swapFree=4180892/4192956

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

/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124736 0 0 0 177983 173 0 0 25 0 1 0 219199021 647065600 121678 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121678 108 232 0 157740 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (Kb) 631900

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321344/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1782.56
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124739 0 0 0 178083 173 0 0 25 0 1 0 219199021 647065600 121681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121681 108 232 0 157740 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 631900

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321344/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1783.57
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124739 0 0 0 178184 173 0 0 25 0 1 0 219199021 647065600 121681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121681 108 232 0 157740 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (Kb) 631900

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321344/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1784.57
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124739 0 0 0 178284 173 0 0 25 0 1 0 219199021 647065600 121681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121681 108 232 0 157740 0
Current children cumulated CPU time (s) 1784.57
Current children cumulated vsize (Kb) 631900

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321344/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1785.58
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124740 0 0 0 178385 173 0 0 25 0 1 0 219199021 647065600 121682 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121682 108 232 0 157740 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (Kb) 631900

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321344/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1786.58
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124742 0 0 0 178485 173 0 0 25 0 1 0 219199021 647065600 121684 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121684 108 232 0 157740 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (Kb) 631900

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321344/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1787.59
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124743 0 0 0 178586 173 0 0 25 0 1 0 219199021 647065600 121685 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550784 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121685 108 232 0 157740 0
Current children cumulated CPU time (s) 1787.59
Current children cumulated vsize (Kb) 631900

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321344/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1788.59
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124746 0 0 0 178686 173 0 0 25 0 1 0 219199021 647065600 121688 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121688 108 232 0 157740 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 631900

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321344/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1789.59
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124747 0 0 0 178786 173 0 0 25 0 1 0 219199021 647065600 121689 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559735 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121689 108 232 0 157740 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 631900

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321344/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1790.6
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124748 0 0 0 178887 173 0 0 25 0 1 0 219199021 647065600 121690 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121690 108 232 0 157740 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (Kb) 631900

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321344/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1791.6
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124749 0 0 0 178987 173 0 0 25 0 1 0 219199021 647065600 121691 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121691 108 232 0 157740 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 631900

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321280/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1792.61
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124758 0 0 0 179088 173 0 0 25 0 1 0 219199021 647065600 121700 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550001 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121700 108 232 0 157740 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 631900

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321280/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1793.61
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124758 0 0 0 179188 173 0 0 25 0 1 0 219199021 647065600 121700 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121700 108 232 0 157740 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (Kb) 631900

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321280/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1794.62
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124760 0 0 0 179288 174 0 0 25 0 1 0 219199021 647065600 121702 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121702 108 232 0 157740 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 631900

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321280/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1795.63
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124761 0 0 0 179389 174 0 0 25 0 1 0 219199021 647065600 121703 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121703 108 232 0 157740 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 631900

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321280/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1796.63
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124762 0 0 0 179489 174 0 0 25 0 1 0 219199021 647065600 121704 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550043 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121704 108 232 0 157740 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 631900

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321280/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1797.64
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124762 0 0 0 179590 174 0 0 25 0 1 0 219199021 647065600 121704 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121704 108 232 0 157740 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 631900

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321280/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1798.64
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124763 0 0 0 179690 174 0 0 25 0 1 0 219199021 647065600 121705 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121705 108 232 0 157740 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 631900

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321280/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1799.64
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124764 0 0 0 179790 174 0 0 25 0 1 0 219199021 647065600 121706 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121706 108 232 0 157740 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (Kb) 631900

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321280/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1800.65
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124765 0 0 0 179891 174 0 0 25 0 1 0 219199021 647065600 121707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121707 108 232 0 157740 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 631900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.82 2/64 27754
/proc/meminfo: memFree=1321280/2055920 swapFree=4180892/4192956
[pid=27752] ppid=27750 vsize=631900 CPUtime=1800.65
/proc/27752/stat : 27752 (PBS4L) R 27750 27752 27706 0 -1 4194304 124765 0 0 0 179891 174 0 0 25 0 1 0 219199021 647065600 121707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/27752/statm: 157975 121707 108 232 0 157740 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 631900

Sending SIGTERM to -27752
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.24
CPU time (s): 1800.74
CPU user time (s): 1798.92
CPU system time (s): 1.81872
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (Kb): 631900
The end

Launcher Data (download as text)

Begin job on node18 on Mon Jun  5 19:22:41 UTC 2006


FILE ID= 41749-1149535361

PBS_JOBID= 315879

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  5468ba071d8bcc474bd73dc9f24f6990

RANDOM SEED= 934263497


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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1809872 kB
Buffers:         26928 kB
Cached:         152564 kB
SwapCached:       3632 kB
Active:          57736 kB
Inactive:       130412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1809872 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:             244 kB
Writeback:           0 kB
Mapped:          14736 kB
Slab:            43976 kB
Committed_AS:   446008 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node18 on Mon Jun  5 19:52:42 UTC 2006