Trace number 41041

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.1L? (TO) 1800.6 1801.19

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb
MD5SUMf510e821cdc50f097865b59193d7ef06
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 benchmark315.989
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 677
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/node78/41041-1149224286/instance-41041-1149224286.opb ......

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/node78/watcher-41041-1149224286 -o ROOT/results/node78/solver-41041-1149224286 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node78/41041-1149224286/instance-41041-1149224286.opb 496684476 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.91 4/67 1849
/proc/meminfo: memFree=1395448/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=1400 CPUtime=0
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 148 0 0 0 0 0 0 0 19 0 1 0 187457410 1433600 132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135098081 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 350 132 100 232 0 115 0

[startup+10.0023 s]
/proc/loadavg: 1.14 1.03 0.93 2/67 1849
/proc/meminfo: memFree=1383232/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=13892 CPUtime=9.99
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 3509 0 0 0 992 7 0 0 25 0 1 0 187457410 14225408 3146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 3473 3146 105 232 0 3238 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13892

[startup+20.0074 s]
/proc/loadavg: 1.12 1.03 0.93 2/67 1849
/proc/meminfo: memFree=1376384/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=25220 CPUtime=19.99
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 5619 0 0 0 1988 11 0 0 25 0 1 0 187457410 25825280 4871 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 6305 4871 105 232 0 6070 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25220

[startup+30.0125 s]
/proc/loadavg: 1.10 1.03 0.93 2/67 1849
/proc/meminfo: memFree=1371136/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=26660 CPUtime=29.99
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 6947 0 0 0 2985 14 0 0 25 0 1 0 187457410 27299840 6199 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550687 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 6665 6199 105 232 0 6430 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 26660

[startup+40.0186 s]
/proc/loadavg: 1.08 1.03 0.93 2/67 1849
/proc/meminfo: memFree=1366976/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=44192 CPUtime=40
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 7973 0 0 0 3983 17 0 0 25 0 1 0 187457410 45252608 7225 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552179 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 11048 7225 105 232 0 10813 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 44192

[startup+50.0246 s]
/proc/loadavg: 1.07 1.03 0.93 2/67 1849
/proc/meminfo: memFree=1363200/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=48216 CPUtime=50.01
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 9687 0 0 0 4980 21 0 0 25 0 1 0 187457410 49373184 8170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 12054 8170 105 232 0 11819 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 48216

[startup+60.0307 s]
/proc/loadavg: 1.06 1.03 0.93 2/67 1849
/proc/meminfo: memFree=1359232/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=49448 CPUtime=60.01
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 10694 0 0 0 5978 23 0 0 25 0 1 0 187457410 50634752 9177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 12362 9177 105 232 0 12127 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 49448

[startup+70.0368 s]
/proc/loadavg: 1.05 1.02 0.93 2/67 1849
/proc/meminfo: memFree=1355712/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=50372 CPUtime=70.01
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 11570 0 0 0 6975 26 0 0 25 0 1 0 187457410 51580928 10053 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 12593 10053 105 232 0 12358 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 50372

[startup+80.0419 s]
/proc/loadavg: 1.04 1.02 0.93 2/67 1849
/proc/meminfo: memFree=1352512/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=51516 CPUtime=80.01
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 12362 0 0 0 7973 28 0 0 25 0 1 0 187457410 52752384 10845 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 12879 10845 105 232 0 12644 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 51516

[startup+90.047 s]
/proc/loadavg: 1.04 1.02 0.93 2/67 1849
/proc/meminfo: memFree=1349312/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=52280 CPUtime=90.01
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 13157 0 0 0 8971 30 0 0 25 0 1 0 187457410 53534720 11640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 13070 11640 105 232 0 12835 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 52280

[startup+100.053 s]
/proc/loadavg: 1.03 1.02 0.93 2/67 1849
/proc/meminfo: memFree=1347008/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=52980 CPUtime=100.01
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 13732 0 0 0 9969 32 0 0 25 0 1 0 187457410 54251520 12215 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 13245 12215 105 232 0 13010 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 52980

[startup+110.059 s]
/proc/loadavg: 1.02 1.02 0.93 2/67 1849
/proc/meminfo: memFree=1344512/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=86336 CPUtime=110.02
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 14355 0 0 0 10968 34 0 0 25 0 1 0 187457410 88408064 12838 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 21584 12838 105 232 0 21349 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 86336

[startup+120.065 s]
/proc/loadavg: 1.02 1.02 0.93 2/67 1849
/proc/meminfo: memFree=1342016/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=86792 CPUtime=120.02
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 14982 0 0 0 11967 35 0 0 25 0 1 0 187457410 88875008 13465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 21698 13465 105 232 0 21463 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 86792

[startup+130.071 s]
/proc/loadavg: 1.02 1.02 0.93 2/67 1849
/proc/meminfo: memFree=1339328/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=87440 CPUtime=130.03
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 15693 0 0 0 12966 37 0 0 25 0 1 0 187457410 89538560 14143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 21860 14143 105 232 0 21625 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 87440

[startup+140.076 s]
/proc/loadavg: 1.01 1.02 0.93 2/67 1849
/proc/meminfo: memFree=1338560/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=87916 CPUtime=140.03
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 15927 0 0 0 13964 39 0 0 25 0 1 0 187457410 90025984 14344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 21979 14344 105 232 0 21744 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 87916

[startup+150.083 s]
/proc/loadavg: 1.01 1.02 0.93 2/67 1849
/proc/meminfo: memFree=1336192/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=88844 CPUtime=150.03
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 16539 0 0 0 14962 41 0 0 25 0 1 0 187457410 90976256 14923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552329 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 22211 14923 105 232 0 21976 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 88844

[startup+160.089 s]
/proc/loadavg: 1.01 1.02 0.93 2/67 1849
/proc/meminfo: memFree=1333824/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=89168 CPUtime=160.03
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 17167 0 0 0 15961 42 0 0 25 0 1 0 187457410 91308032 15518 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611781 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 22292 15518 105 232 0 22057 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 89168

[startup+170.095 s]
/proc/loadavg: 1.01 1.01 0.93 2/67 1849
/proc/meminfo: memFree=1331840/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=95984 CPUtime=170.04
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 19195 0 0 0 16959 45 0 0 25 0 1 0 187457410 98287616 16009 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 23996 16009 105 232 0 23761 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 95984

[startup+180.101 s]
/proc/loadavg: 1.01 1.01 0.93 2/73 1914
/proc/meminfo: memFree=1328528/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=96920 CPUtime=180.01
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 19770 0 0 0 17954 47 0 0 25 0 1 0 187457410 99246080 16518 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 24230 16518 105 232 0 23995 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 96920

[startup+190.108 s]
/proc/loadavg: 1.00 1.01 0.93 2/67 2051
/proc/meminfo: memFree=1327552/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=97444 CPUtime=189.98
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 20256 0 0 0 18949 49 0 0 25 0 1 0 187457410 99782656 17004 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 24361 17004 105 232 0 24126 0
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 97444

[startup+200.114 s]
/proc/loadavg: 1.00 1.01 0.93 2/67 2051
/proc/meminfo: memFree=1325440/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=98356 CPUtime=199.97
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 20868 0 0 0 19947 50 0 0 25 0 1 0 187457410 100716544 17550 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552307 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 24589 17550 105 232 0 24354 0
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 98356

[startup+210.12 s]
/proc/loadavg: 1.00 1.01 0.93 2/67 2051
/proc/meminfo: memFree=1323072/2055892 swapFree=4085732/4096564

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

/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54361 0 0 0 177939 208 0 0 25 0 1 0 187457410 221786112 44114 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44114 105 232 0 53912 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 216588

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1219008/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1782.48
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54364 0 0 0 178040 208 0 0 25 0 1 0 187457410 221786112 44117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44117 105 232 0 53912 0
Current children cumulated CPU time (s) 1782.48
Current children cumulated vsize (Kb) 216588

[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1219008/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1783.48
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54364 0 0 0 178140 208 0 0 25 0 1 0 187457410 221786112 44117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44117 105 232 0 53912 0
Current children cumulated CPU time (s) 1783.48
Current children cumulated vsize (Kb) 216588

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218944/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1784.49
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54367 0 0 0 178241 208 0 0 25 0 1 0 187457410 221786112 44120 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44120 105 232 0 53912 0
Current children cumulated CPU time (s) 1784.49
Current children cumulated vsize (Kb) 216588

[startup+1786.08 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218944/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1785.49
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54368 0 0 0 178341 208 0 0 25 0 1 0 187457410 221786112 44121 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44121 105 232 0 53912 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (Kb) 216588

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218944/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1786.49
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54377 0 0 0 178441 208 0 0 25 0 1 0 187457410 221786112 44130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558878 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44130 105 232 0 53912 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 216588

[startup+1788.09 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218880/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1787.5
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54387 0 0 0 178542 208 0 0 25 0 1 0 187457410 221786112 44140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44140 105 232 0 53912 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (Kb) 216588

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218880/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1788.5
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54393 0 0 0 178642 208 0 0 25 0 1 0 187457410 221786112 44146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44146 105 232 0 53912 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 216588

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218816/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1789.51
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54395 0 0 0 178743 208 0 0 25 0 1 0 187457410 221786112 44148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44148 105 232 0 53912 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 216588

[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218816/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1790.51
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54397 0 0 0 178843 208 0 0 25 0 1 0 187457410 221786112 44150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44150 105 232 0 53912 0
Current children cumulated CPU time (s) 1790.51
Current children cumulated vsize (Kb) 216588

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218816/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1791.51
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54399 0 0 0 178943 208 0 0 25 0 1 0 187457410 221786112 44152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44152 105 232 0 53912 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 216588

[startup+1793.11 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218816/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1792.52
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54400 0 0 0 179044 208 0 0 25 0 1 0 187457410 221786112 44153 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44153 105 232 0 53912 0
Current children cumulated CPU time (s) 1792.52
Current children cumulated vsize (Kb) 216588

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218816/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1793.52
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54402 0 0 0 179144 208 0 0 25 0 1 0 187457410 221786112 44155 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44155 105 232 0 53912 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 216588

[startup+1795.12 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218816/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216588 CPUtime=1794.53
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54403 0 0 0 179245 208 0 0 25 0 1 0 187457410 221786112 44156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611554 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54147 44156 105 232 0 53912 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 216588

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218752/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216720 CPUtime=1795.53
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54422 0 0 0 179345 208 0 0 25 0 1 0 187457410 221921280 44175 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54180 44175 105 232 0 53945 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 216720

[startup+1797.13 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218688/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216720 CPUtime=1796.54
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54426 0 0 0 179446 208 0 0 25 0 1 0 187457410 221921280 44179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54180 44179 105 232 0 53945 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 216720

[startup+1798.14 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218688/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216720 CPUtime=1797.55
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54428 0 0 0 179546 209 0 0 25 0 1 0 187457410 221921280 44181 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54180 44181 105 232 0 53945 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (Kb) 216720

[startup+1799.14 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218688/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216720 CPUtime=1798.55
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54436 0 0 0 179646 209 0 0 25 0 1 0 187457410 221921280 44189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54180 44189 105 232 0 53945 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 216720

[startup+1800.15 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218624/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216720 CPUtime=1799.56
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54445 0 0 0 179747 209 0 0 25 0 1 0 187457410 221921280 44198 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54180 44198 105 232 0 53945 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (Kb) 216720

[startup+1801.15 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218624/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216720 CPUtime=1800.56
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54447 0 0 0 179847 209 0 0 25 0 1 0 187457410 221921280 44200 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54180 44200 105 232 0 53945 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 216720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 2053
/proc/meminfo: memFree=1218624/2055892 swapFree=4085732/4096564
[pid=1849] ppid=1847 vsize=216720 CPUtime=1800.56
/proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54447 0 0 0 179847 209 0 0 25 0 1 0 187457410 221921280 44200 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/1849/statm: 54180 44200 105 232 0 53945 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 216720

Sending SIGTERM to -1849
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.6
CPU user time (s): 1798.48
CPU system time (s): 2.11868
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (Kb): 216720
The end

Launcher Data (download as text)

Begin job on node78 on Fri Jun  2 04:58:06 UTC 2006


FILE ID= 41041-1149224286

PBS_JOBID= 295693

BENCH NAME= ROOT/tmp/node78/41041-1149224286/instance-41041-1149224286.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node78/41041-1149224286/instance-41041-1149224286.opb 496684476
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node78/watcher-41041-1149224286 -o ROOT/results/node78/solver-41041-1149224286 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node78/41041-1149224286/instance-41041-1149224286.opb 496684476

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  f510e821cdc50f097865b59193d7ef06

RANDOM SEED= 496684476


/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.225
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.17
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.225
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1395656 kB
Buffers:         38560 kB
Cached:         547656 kB
SwapCached:       2596 kB
Active:         120112 kB
Inactive:       474916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1395656 kB
SwapTotal:     4096564 kB
SwapFree:      4085732 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          15124 kB
Slab:            51700 kB
Committed_AS:   212216 kB
PageTables:       1420 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node78 on Fri Jun  2 05:28:08 UTC 2006