Trace number 41924

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.53 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM09bf68c118cd38b954800f61edb04c4b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-54
Best CPU time to get the best result obtained on this benchmark1800.61
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints110038
Number of constraints which are clauses110038
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 constraint2
Number of terms in the objective function 1400
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 1400
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 1400
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/node48/41924-1149294689/instance-41924-1149294689.opb ......
0.72	c done parsing opb.
0.72	o 1400
0.73	o 1399
0.74	o 1398
0.76	o 1397
0.77	o 1396
0.96	o 1395
0.97	o 1360
0.98	o 1359
0.99	o 1357
1.01	o 1356
179.38	o 1355
311.58	o 1354

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/node48/watcher-41924-1149294689 -o ROOT/results/node48/solver-41924-1149294689 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/41924-1149294689/instance-41924-1149294689.opb 689597041 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 20403
/proc/meminfo: memFree=1219976/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=1368 CPUtime=0
/proc/20403/stat : 20403 (PBS4L) D 20401 20403 20357 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 195135924 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/20403/statm: 342 95 84 232 0 107 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 20403
/proc/meminfo: memFree=1160536/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=72088 CPUtime=9.98
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 15688 0 0 0 990 8 0 0 25 0 1 0 195135924 73818112 14934 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 18022 14934 108 232 0 17787 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 72088

[startup+20.0083 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 20403
/proc/meminfo: memFree=1110744/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=139144 CPUtime=19.99
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 28155 0 0 0 1985 14 0 0 25 0 1 0 195135924 142483456 27401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594595 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 34786 27401 108 232 0 34551 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 139144

[startup+30.015 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 20403
/proc/meminfo: memFree=1090712/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=140512 CPUtime=30
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 33158 0 0 0 2983 17 0 0 25 0 1 0 195135924 143884288 32404 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 35128 32404 108 232 0 34893 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 140512

[startup+40.0207 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 20403
/proc/meminfo: memFree=1080024/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=143056 CPUtime=39.99
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 35829 0 0 0 3980 19 0 0 25 0 1 0 195135924 146489344 35075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 35764 35075 108 232 0 35529 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 143056

[startup+50.0265 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 20403
/proc/meminfo: memFree=1072984/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=278048 CPUtime=50
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 38304 0 0 0 4978 22 0 0 25 0 1 0 195135924 284721152 36781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 69512 36781 108 232 0 69277 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 278048

[startup+60.0322 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 20403
/proc/meminfo: memFree=1064088/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=279552 CPUtime=60
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 40513 0 0 0 5977 23 0 0 25 0 1 0 195135924 286261248 38990 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611848 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 69888 38990 108 232 0 69653 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 279552

[startup+70.0379 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 20403
/proc/meminfo: memFree=1060696/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=280728 CPUtime=70.01
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 41366 0 0 0 6976 25 0 0 25 0 1 0 195135924 287465472 39843 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 70182 39843 108 232 0 69947 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 280728

[startup+80.0436 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 20403
/proc/meminfo: memFree=1058520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=281340 CPUtime=80.01
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 41909 0 0 0 7975 26 0 0 25 0 1 0 195135924 288092160 40386 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 70335 40386 108 232 0 70100 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 281340

[startup+90.0493 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 20403
/proc/meminfo: memFree=1056216/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=282396 CPUtime=90.01
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 42477 0 0 0 8974 27 0 0 25 0 1 0 195135924 289173504 40954 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558821 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 70599 40954 108 232 0 70364 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 282396

[startup+100.055 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 20403
/proc/meminfo: memFree=1054232/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=282744 CPUtime=100.01
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 42971 0 0 0 9973 28 0 0 25 0 1 0 195135924 289529856 41448 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550010 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 70686 41448 108 232 0 70451 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 282744

[startup+110.061 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 20403
/proc/meminfo: memFree=1053016/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=283424 CPUtime=110.01
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 43277 0 0 0 10972 29 0 0 25 0 1 0 195135924 290226176 41754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550043 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 70856 41754 108 232 0 70621 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 283424

[startup+120.066 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20403
/proc/meminfo: memFree=1052248/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=283880 CPUtime=120.01
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 43462 0 0 0 11971 30 0 0 25 0 1 0 195135924 290693120 41939 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549050 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 70970 41939 108 232 0 70735 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 283880

[startup+130.072 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20403
/proc/meminfo: memFree=1051608/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=284184 CPUtime=130.02
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 43625 0 0 0 12971 31 0 0 25 0 1 0 195135924 291004416 42102 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564529 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 71046 42102 108 232 0 70811 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 284184

[startup+140.078 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20403
/proc/meminfo: memFree=1050776/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=284616 CPUtime=140.02
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 43829 0 0 0 13970 32 0 0 25 0 1 0 195135924 291446784 42306 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594595 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 71154 42306 108 232 0 70919 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 284616

[startup+150.084 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20404
/proc/meminfo: memFree=1050072/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=285224 CPUtime=150.02
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 43998 0 0 0 14969 33 0 0 25 0 1 0 195135924 292069376 42475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 71306 42475 108 232 0 71071 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 285224

[startup+160.089 s]
/proc/loadavg: 1.06 0.99 0.91 2/64 20405
/proc/meminfo: memFree=1049304/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=285812 CPUtime=160.03
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 44186 0 0 0 15969 34 0 0 25 0 1 0 195135924 292671488 42663 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594616 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 71453 42663 108 232 0 71218 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 285812

[startup+170.095 s]
/proc/loadavg: 1.05 0.99 0.91 2/64 20405
/proc/meminfo: memFree=1048344/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=286724 CPUtime=170.03
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 44441 0 0 0 16968 35 0 0 25 0 1 0 195135924 293605376 42918 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549502 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 71681 42918 108 232 0 71446 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 286724

[startup+180.101 s]
/proc/loadavg: 1.04 0.99 0.91 2/64 20405
/proc/meminfo: memFree=1047192/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=287912 CPUtime=180.03
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 44728 0 0 0 17967 36 0 0 25 0 1 0 195135924 294821888 43205 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 71978 43205 108 232 0 71743 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 287912

[startup+190.106 s]
/proc/loadavg: 1.04 0.99 0.91 2/64 20405
/proc/meminfo: memFree=1046360/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=288868 CPUtime=190.03
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 44930 0 0 0 18966 37 0 0 25 0 1 0 195135924 295800832 43407 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611848 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 72217 43407 108 232 0 71982 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 288868

[startup+200.112 s]
/proc/loadavg: 1.03 0.99 0.91 2/64 20405
/proc/meminfo: memFree=1045592/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=289700 CPUtime=200.03
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 45129 0 0 0 19966 37 0 0 25 0 1 0 195135924 296652800 43606 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594595 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 72425 43606 108 232 0 72190 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 289700

[startup+210.118 s]
/proc/loadavg: 1.02 0.99 0.91 2/64 20405
/proc/meminfo: memFree=1045016/2055920 swapFree=4181440/4192956

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

/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58806 0 0 0 178010 133 0 0 25 0 1 0 195135924 341606400 52673 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52673 108 232 0 83165 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (Kb) 333600

[startup+1783.04 s]
/proc/loadavg: 1.00 1.00 0.92 2/70 20476
/proc/meminfo: memFree=1007912/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1782.44
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58808 0 0 0 178111 133 0 0 25 0 1 0 195135924 341606400 52675 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558793 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52675 108 232 0 83165 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (Kb) 333600

[startup+1784.05 s]
/proc/loadavg: 1.00 1.00 0.92 2/70 20476
/proc/meminfo: memFree=1007912/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1783.44
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58814 0 0 0 178211 133 0 0 25 0 1 0 195135924 341606400 52681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52681 108 232 0 83165 0
Current children cumulated CPU time (s) 1783.44
Current children cumulated vsize (Kb) 333600

[startup+1785.06 s]
/proc/loadavg: 1.00 1.00 0.92 2/70 20518
/proc/meminfo: memFree=1007720/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1784.45
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58816 0 0 0 178311 134 0 0 25 0 1 0 195135924 341606400 52683 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52683 108 232 0 83165 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (Kb) 333600

[startup+1786.06 s]
/proc/loadavg: 1.00 1.00 0.92 2/70 20518
/proc/meminfo: memFree=1007720/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1785.45
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58817 0 0 0 178411 134 0 0 25 0 1 0 195135924 341606400 52684 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52684 108 232 0 83165 0
Current children cumulated CPU time (s) 1785.45
Current children cumulated vsize (Kb) 333600

[startup+1787.07 s]
/proc/loadavg: 1.00 1.00 0.92 2/70 20518
/proc/meminfo: memFree=1007720/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1786.46
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58823 0 0 0 178512 134 0 0 25 0 1 0 195135924 341606400 52690 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549045 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52690 108 232 0 83165 0
Current children cumulated CPU time (s) 1786.46
Current children cumulated vsize (Kb) 333600

[startup+1788.07 s]
/proc/loadavg: 1.00 1.00 0.92 2/70 20526
/proc/meminfo: memFree=1007784/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1787.46
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58825 0 0 0 178612 134 0 0 25 0 1 0 195135924 341606400 52692 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52692 108 232 0 83165 0
Current children cumulated CPU time (s) 1787.46
Current children cumulated vsize (Kb) 333600

[startup+1789.08 s]
/proc/loadavg: 1.00 1.00 0.92 2/70 20526
/proc/meminfo: memFree=1007784/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1788.46
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58830 0 0 0 178712 134 0 0 25 0 1 0 195135924 341606400 52697 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52697 108 232 0 83165 0
Current children cumulated CPU time (s) 1788.46
Current children cumulated vsize (Kb) 333600

[startup+1790.08 s]
/proc/loadavg: 1.00 1.00 0.92 2/70 20526
/proc/meminfo: memFree=1007784/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1789.47
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58833 0 0 0 178813 134 0 0 25 0 1 0 195135924 341606400 52700 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52700 108 232 0 83165 0
Current children cumulated CPU time (s) 1789.47
Current children cumulated vsize (Kb) 333600

[startup+1791.09 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 20600
/proc/meminfo: memFree=1008520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1790.43
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58839 0 0 0 178909 134 0 0 25 0 1 0 195135924 341606400 52706 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52706 108 232 0 83165 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (Kb) 333600

[startup+1792.09 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 20600
/proc/meminfo: memFree=1008520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1791.43
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58841 0 0 0 179009 134 0 0 25 0 1 0 195135924 341606400 52708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549056 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52708 108 232 0 83165 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (Kb) 333600

[startup+1793.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 20600
/proc/meminfo: memFree=1008520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1792.44
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58847 0 0 0 179110 134 0 0 25 0 1 0 195135924 341606400 52714 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52714 108 232 0 83165 0
Current children cumulated CPU time (s) 1792.44
Current children cumulated vsize (Kb) 333600

[startup+1794.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 20600
/proc/meminfo: memFree=1008520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1793.44
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58849 0 0 0 179210 134 0 0 25 0 1 0 195135924 341606400 52716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52716 108 232 0 83165 0
Current children cumulated CPU time (s) 1793.44
Current children cumulated vsize (Kb) 333600

[startup+1795.11 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 20600
/proc/meminfo: memFree=1008520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1794.46
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58855 0 0 0 179311 135 0 0 25 0 1 0 195135924 341606400 52722 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52722 108 232 0 83165 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (Kb) 333600

[startup+1796.11 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 20600
/proc/meminfo: memFree=1008520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1795.46
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58857 0 0 0 179411 135 0 0 25 0 1 0 195135924 341606400 52724 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549064 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52724 108 232 0 83165 0
Current children cumulated CPU time (s) 1795.46
Current children cumulated vsize (Kb) 333600

[startup+1797.12 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 20600
/proc/meminfo: memFree=1008520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1796.47
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58859 0 0 0 179512 135 0 0 25 0 1 0 195135924 341606400 52726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550813 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52726 108 232 0 83165 0
Current children cumulated CPU time (s) 1796.47
Current children cumulated vsize (Kb) 333600

[startup+1798.12 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 20600
/proc/meminfo: memFree=1008520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1797.47
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58864 0 0 0 179612 135 0 0 25 0 1 0 195135924 341606400 52731 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52731 108 232 0 83165 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (Kb) 333600

[startup+1799.13 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 20600
/proc/meminfo: memFree=1008520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1798.47
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58866 0 0 0 179712 135 0 0 25 0 1 0 195135924 341606400 52733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52733 108 232 0 83165 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (Kb) 333600

[startup+1800.13 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 20600
/proc/meminfo: memFree=1008520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1799.48
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58872 0 0 0 179813 135 0 0 25 0 1 0 195135924 341606400 52739 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52739 108 232 0 83165 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (Kb) 333600

[startup+1801.14 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 20600
/proc/meminfo: memFree=1008520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1800.48
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58874 0 0 0 179913 135 0 0 25 0 1 0 195135924 341606400 52741 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549288 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52741 108 232 0 83165 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 333600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.14 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 20600
/proc/meminfo: memFree=1008520/2055920 swapFree=4181440/4192956
[pid=20403] ppid=20401 vsize=333600 CPUtime=1800.48
/proc/20403/stat : 20403 (PBS4L) R 20401 20403 20357 0 -1 4194304 58874 0 0 0 179913 135 0 0 25 0 1 0 195135924 341606400 52741 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0
/proc/20403/statm: 83400 52741 108 232 0 83165 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 333600

Sending SIGTERM to -20403
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.53
CPU user time (s): 1799.14
CPU system time (s): 1.38879
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (Kb): 333600
The end

Launcher Data (download as text)

Begin job on node48 on Sat Jun  3 00:31:29 UTC 2006


FILE ID= 41924-1149294689

PBS_JOBID= 307036

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/41924-1149294689/instance-41924-1149294689.opb 689597041
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-41924-1149294689 -o ROOT/results/node48/solver-41924-1149294689 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/41924-1149294689/instance-41924-1149294689.opb 689597041

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  09bf68c118cd38b954800f61edb04c4b

RANDOM SEED= 689597041


/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.259
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.259
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:       1220184 kB
Buffers:         31860 kB
Cached:         730636 kB
SwapCached:       3388 kB
Active:         236268 kB
Inactive:       535072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1220184 kB
SwapTotal:     4192956 kB
SwapFree:      4181440 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          14868 kB
Slab:            50432 kB
Committed_AS:   261052 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node48 on Sat Jun  3 01:01:30 UTC 2006