Trace number 41020

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 NameAnswerCPU timeWall clock time
PBS 4.1LUNSAT 353.362 353.489

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb
MD5SUM703150fc56665afb9da0b20e49208c25
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark41.5417
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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/node34/41020-1149221698/instance-41020-1149221698.opb ......
353.47	c done parsing opb.
353.47	s UNSATISFIABLE
353.47	c Total Run Time					353.327

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/node34/watcher-41020-1149221698 -o ROOT/results/node34/solver-41020-1149221698 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node34/41020-1149221698/instance-41020-1149221698.opb 3816095 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.77 0.92 0.93 3/64 11780
/proc/meminfo: memFree=1381544/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=1400 CPUtime=0
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 187833613 1433600 131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 350 131 100 232 0 115 0

[startup+10.0019 s]
/proc/loadavg: 0.81 0.92 0.93 2/64 11780
/proc/meminfo: memFree=1370152/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=13588 CPUtime=9.99
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 3308 0 0 0 994 5 0 0 25 0 1 0 187833613 13914112 2944 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 3397 2944 104 232 0 3162 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13588

[startup+20.0076 s]
/proc/loadavg: 0.84 0.93 0.93 2/64 11780
/proc/meminfo: memFree=1364072/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=24828 CPUtime=19.99
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 5209 0 0 0 1989 10 0 0 25 0 1 0 187833613 25423872 4460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611781 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 6207 4460 104 232 0 5972 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 24828

[startup+30.0133 s]
/proc/loadavg: 0.86 0.93 0.93 2/64 11780
/proc/meminfo: memFree=1359336/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=26004 CPUtime=30
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 6407 0 0 0 2986 14 0 0 25 0 1 0 187833613 26628096 5658 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 6501 5658 105 232 0 6266 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 26004

[startup+40.0189 s]
/proc/loadavg: 0.88 0.93 0.93 2/64 11780
/proc/meminfo: memFree=1355112/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=43600 CPUtime=40
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 7462 0 0 0 3983 17 0 0 25 0 1 0 187833613 44646400 6713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 10900 6713 105 232 0 10665 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 43600

[startup+50.0246 s]
/proc/loadavg: 0.90 0.93 0.93 2/64 11780
/proc/meminfo: memFree=1351464/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=47684 CPUtime=50
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 9136 0 0 0 4980 20 0 0 25 0 1 0 187833613 48828416 7618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 11921 7618 105 232 0 11686 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 47684

[startup+60.0303 s]
/proc/loadavg: 0.91 0.93 0.93 2/64 11780
/proc/meminfo: memFree=1348072/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=48504 CPUtime=60
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 9983 0 0 0 5978 22 0 0 25 0 1 0 187833613 49668096 8465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 12126 8465 105 232 0 11891 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 48504

[startup+70.036 s]
/proc/loadavg: 0.93 0.94 0.93 2/64 11780
/proc/meminfo: memFree=1344680/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=49872 CPUtime=70.01
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 10849 0 0 0 6976 25 0 0 25 0 1 0 187833613 51068928 9331 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 12468 9331 105 232 0 12233 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 49872

[startup+80.0417 s]
/proc/loadavg: 0.94 0.94 0.93 2/64 11780
/proc/meminfo: memFree=1342120/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=50296 CPUtime=80
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 11485 0 0 0 7973 27 0 0 25 0 1 0 187833613 51503104 9967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 12574 9967 105 232 0 12339 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 50296

[startup+90.0474 s]
/proc/loadavg: 0.95 0.94 0.93 2/64 11780
/proc/meminfo: memFree=1339368/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=50732 CPUtime=90.01
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 12167 0 0 0 8972 29 0 0 25 0 1 0 187833613 51949568 10649 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 12683 10649 105 232 0 12448 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 50732

[startup+100.053 s]
/proc/loadavg: 0.95 0.94 0.93 2/64 11780
/proc/meminfo: memFree=1336488/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=51612 CPUtime=100.01
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 12890 0 0 0 9971 30 0 0 25 0 1 0 187833613 52850688 11372 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 12903 11372 105 232 0 12668 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 51612

[startup+110.059 s]
/proc/loadavg: 0.96 0.94 0.93 2/64 11780
/proc/meminfo: memFree=1334056/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=52140 CPUtime=110.01
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 13490 0 0 0 10969 32 0 0 25 0 1 0 187833613 53391360 11972 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 13035 11972 105 232 0 12800 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 52140

[startup+120.064 s]
/proc/loadavg: 0.97 0.94 0.93 2/64 11780
/proc/meminfo: memFree=1332648/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=85396 CPUtime=120.02
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 13836 0 0 0 11968 34 0 0 25 0 1 0 187833613 87445504 12318 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549939 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 21349 12318 105 232 0 21114 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 85396

[startup+130.07 s]
/proc/loadavg: 0.97 0.94 0.93 2/64 11780
/proc/meminfo: memFree=1332008/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=85820 CPUtime=130.01
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 14010 0 0 0 12966 35 0 0 25 0 1 0 187833613 87879680 12492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552224 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 21455 12492 105 232 0 21220 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 85820

[startup+140.076 s]
/proc/loadavg: 0.98 0.95 0.93 2/64 11780
/proc/meminfo: memFree=1331304/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=86316 CPUtime=140.02
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 14171 0 0 0 13965 37 0 0 25 0 1 0 187833613 88387584 12653 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 21579 12653 105 232 0 21344 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 86316

[startup+150.083 s]
/proc/loadavg: 0.98 0.95 0.93 2/64 11780
/proc/meminfo: memFree=1329128/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=86448 CPUtime=150.02
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 14711 0 0 0 14964 38 0 0 25 0 1 0 187833613 88522752 13193 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 21612 13193 105 232 0 21377 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 86448

[startup+160.089 s]
/proc/loadavg: 0.98 0.95 0.93 2/64 11780
/proc/meminfo: memFree=1326888/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=86888 CPUtime=160.03
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 15280 0 0 0 15962 41 0 0 25 0 1 0 187833613 88973312 13762 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 21722 13762 105 232 0 21487 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 86888

[startup+170.096 s]
/proc/loadavg: 0.98 0.95 0.93 2/64 11780
/proc/meminfo: memFree=1325800/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=87580 CPUtime=170.03
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 15587 0 0 0 16960 43 0 0 25 0 1 0 187833613 89681920 14036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552266 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 21895 14036 105 232 0 21660 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 87580

[startup+180.102 s]
/proc/loadavg: 0.99 0.95 0.93 2/64 11780
/proc/meminfo: memFree=1323880/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=88288 CPUtime=180.03
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 16049 0 0 0 17958 45 0 0 25 0 1 0 187833613 90406912 14498 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 22072 14498 105 232 0 21837 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 88288

[startup+190.107 s]
/proc/loadavg: 1.07 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1323176/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=88872 CPUtime=190.03
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 16255 0 0 0 18957 46 0 0 25 0 1 0 187833613 91004928 14671 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 22218 14671 105 232 0 21983 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 88872

[startup+200.114 s]
/proc/loadavg: 1.06 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1322408/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=95800 CPUtime=200.03
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18013 0 0 0 19955 48 0 0 25 0 1 0 187833613 98099200 14859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 23950 14859 105 232 0 23715 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 95800

[startup+210.12 s]
/proc/loadavg: 1.05 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1321960/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=96080 CPUtime=210.04
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18127 0 0 0 20954 50 0 0 25 0 1 0 187833613 98385920 14973 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 24020 14973 105 232 0 23785 0
Current children cumulated CPU time (s) 210.04
Current children cumulated vsize (Kb) 96080

[startup+220.125 s]
/proc/loadavg: 1.04 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1321384/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=96408 CPUtime=220.04
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18280 0 0 0 21953 51 0 0 25 0 1 0 187833613 98721792 15126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 24102 15126 105 232 0 23867 0
Current children cumulated CPU time (s) 220.04
Current children cumulated vsize (Kb) 96408

[startup+230.132 s]
/proc/loadavg: 1.03 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1320936/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=96668 CPUtime=230.04
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18377 0 0 0 22952 52 0 0 25 0 1 0 187833613 98988032 15223 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 24167 15223 105 232 0 23932 0
Current children cumulated CPU time (s) 230.04
Current children cumulated vsize (Kb) 96668

[startup+240.138 s]
/proc/loadavg: 1.03 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1319912/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=97708 CPUtime=240.04
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18636 0 0 0 23950 54 0 0 25 0 1 0 187833613 100052992 15482 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 24427 15482 105 232 0 24192 0
Current children cumulated CPU time (s) 240.04
Current children cumulated vsize (Kb) 97708

[startup+250.144 s]
/proc/loadavg: 1.02 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1319720/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=97708 CPUtime=250.05
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18688 0 0 0 24949 56 0 0 25 0 1 0 187833613 100052992 15534 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 24427 15534 105 232 0 24192 0
Current children cumulated CPU time (s) 250.05
Current children cumulated vsize (Kb) 97708

[startup+260.149 s]
/proc/loadavg: 1.02 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1319208/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=98064 CPUtime=260.05
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18839 0 0 0 25948 57 0 0 25 0 1 0 187833613 100417536 15652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 24516 15652 105 232 0 24281 0
Current children cumulated CPU time (s) 260.05
Current children cumulated vsize (Kb) 98064

[startup+270.155 s]
/proc/loadavg: 1.02 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1319016/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=98192 CPUtime=270.06
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18926 0 0 0 26947 59 0 0 25 0 1 0 187833613 100548608 15706 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 24548 15706 105 232 0 24313 0
Current children cumulated CPU time (s) 270.06
Current children cumulated vsize (Kb) 98192

[startup+280.161 s]
/proc/loadavg: 1.01 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1318504/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=98688 CPUtime=280.06
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19068 0 0 0 27946 60 0 0 25 0 1 0 187833613 101056512 15848 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 24672 15848 105 232 0 24437 0
Current children cumulated CPU time (s) 280.06
Current children cumulated vsize (Kb) 98688

[startup+290.166 s]
/proc/loadavg: 1.01 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1318184/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=98880 CPUtime=290.06
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19138 0 0 0 28945 61 0 0 25 0 1 0 187833613 101253120 15918 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 24720 15918 105 232 0 24485 0
Current children cumulated CPU time (s) 290.06
Current children cumulated vsize (Kb) 98880

[startup+300.172 s]
/proc/loadavg: 1.01 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1317992/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=98880 CPUtime=300.06
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19188 0 0 0 29944 62 0 0 25 0 1 0 187833613 101253120 15968 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552305 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 24720 15968 105 232 0 24485 0
Current children cumulated CPU time (s) 300.06
Current children cumulated vsize (Kb) 98880

[startup+310.178 s]
/proc/loadavg: 1.01 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1317352/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=99152 CPUtime=310.06
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19340 0 0 0 30943 63 0 0 25 0 1 0 187833613 101531648 16120 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 24788 16120 105 232 0 24553 0
Current children cumulated CPU time (s) 310.06
Current children cumulated vsize (Kb) 99152

[startup+320.183 s]
/proc/loadavg: 1.00 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1316584/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=99940 CPUtime=320.06
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19540 0 0 0 31942 64 0 0 25 0 1 0 187833613 102338560 16320 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551999 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 24985 16320 105 232 0 24750 0
Current children cumulated CPU time (s) 320.06
Current children cumulated vsize (Kb) 99940

[startup+330.189 s]
/proc/loadavg: 1.00 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1316136/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=100264 CPUtime=330.07
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19656 0 0 0 32941 66 0 0 25 0 1 0 187833613 102670336 16436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 25066 16436 105 232 0 24831 0
Current children cumulated CPU time (s) 330.07
Current children cumulated vsize (Kb) 100264

[startup+340.195 s]
/proc/loadavg: 1.00 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1315176/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=100976 CPUtime=340.06
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19896 0 0 0 33940 66 0 0 25 0 1 0 187833613 103399424 16676 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 25244 16676 105 232 0 25009 0
Current children cumulated CPU time (s) 340.06
Current children cumulated vsize (Kb) 100976

[startup+350.2 s]
/proc/loadavg: 1.00 0.97 0.94 2/64 11780
/proc/meminfo: memFree=1314152/2055920 swapFree=4181356/4192956
[pid=11780] ppid=11778 vsize=101780 CPUtime=350.07
/proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 20148 0 0 0 34939 68 0 0 25 0 1 0 187833613 104222720 16928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11780/statm: 25445 16928 105 232 0 25210 0
Current children cumulated CPU time (s) 350.07
Current children cumulated vsize (Kb) 101780

Child status: 0
Real time (s): 353.489
CPU time (s): 353.362
CPU user time (s): 352.662
CPU system time (s): 0.699893
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (Kb): 101780

Launcher Data (download as text)

Begin job on node34 on Fri Jun  2 04:14:58 UTC 2006


FILE ID= 41020-1149221698

PBS_JOBID= 295415

BENCH NAME= ROOT/tmp/node34/41020-1149221698/instance-41020-1149221698.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node34/41020-1149221698/instance-41020-1149221698.opb 3816095
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-41020-1149221698 -o ROOT/results/node34/solver-41020-1149221698 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node34/41020-1149221698/instance-41020-1149221698.opb 3816095

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  703150fc56665afb9da0b20e49208c25

RANDOM SEED= 3816095


/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.277
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.277
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:       1381752 kB
Buffers:         37536 kB
Cached:         563312 kB
SwapCached:       3536 kB
Active:          92616 kB
Inactive:       517200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1381752 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             296 kB
Writeback:           0 kB
Mapped:          14828 kB
Slab:            50348 kB
Committed_AS:   236364 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 node34 on Fri Jun  2 04:20:52 UTC 2006