Trace number 41923

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.67 1801.21

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
MD5SUM4c9dc9cf5c24873d3237c90ee1682632
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.53
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 constraints109379
Number of constraints which are clauses109379
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/node7/41923-1149294511/instance-41923-1149294511.opb ......
0.68	c done parsing opb.
0.68	o 1400
0.69	o 1399
0.70	o 1398
0.71	o 1397
0.72	o 1396
0.73	o 1395
0.77	o 1394
0.80	o 1393
1.50	o 1392
1.51	o 1361
1.52	o 1360
7.82	o 1359
7.86	o 1358
24.48	o 1357
89.17	o 1356
434.17	o 1355
1297.54	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/node7/watcher-41923-1149294511 -o ROOT/results/node7/solver-41923-1149294511 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node7/41923-1149294511/instance-41923-1149294511.opb 811066396 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1347040/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=1368 CPUtime=0
/proc/14046/stat : 14046 (PBS4L) D 14044 14046 14000 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 195113318 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/14046/statm: 342 95 84 232 0 107 0

[startup+10.002 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1273120/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=138196 CPUtime=9.97
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 19352 0 0 0 988 9 0 0 25 0 1 0 195113318 141512704 18600 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 34549 18600 108 232 0 34314 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 138196

[startup+20.008 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1232224/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=140732 CPUtime=19.98
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 29545 0 0 0 1983 15 0 0 25 0 1 0 195113318 144109568 28793 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549958 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 35183 28793 108 232 0 34948 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 140732

[startup+30.0141 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1219808/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=143184 CPUtime=29.97
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 32659 0 0 0 2980 17 0 0 25 0 1 0 195113318 146620416 31907 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550051 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 35796 31907 108 232 0 35561 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 143184

[startup+40.0202 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1204576/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=145164 CPUtime=39.98
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 36457 0 0 0 3979 19 0 0 25 0 1 0 195113318 148647936 35705 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 36291 35705 108 232 0 36056 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 145164

[startup+50.0262 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1195872/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=280352 CPUtime=49.99
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 39329 0 0 0 4977 22 0 0 25 0 1 0 195113318 287080448 37808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 70088 37808 108 232 0 69853 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 280352

[startup+60.0323 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1189152/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=281828 CPUtime=59.99
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 41028 0 0 0 5975 24 0 0 25 0 1 0 195113318 288591872 39507 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 70457 39507 108 232 0 70222 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 281828

[startup+70.0383 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1185824/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=282988 CPUtime=69.99
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 41846 0 0 0 6974 25 0 0 25 0 1 0 195113318 289779712 40325 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550818 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 70747 40325 108 232 0 70512 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 282988

[startup+80.0444 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1183328/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=283900 CPUtime=79.99
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 42473 0 0 0 7973 26 0 0 25 0 1 0 195113318 290713600 40952 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550844 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 70975 40952 108 232 0 70740 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 283900

[startup+90.0504 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1181280/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=284832 CPUtime=90
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 42990 0 0 0 8973 27 0 0 25 0 1 0 195113318 291667968 41469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 71208 41469 108 232 0 70973 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 284832

[startup+100.056 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1179104/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=285756 CPUtime=100
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 43526 0 0 0 9972 28 0 0 25 0 1 0 195113318 292614144 42005 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611781 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 71439 42005 108 232 0 71204 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 285756

[startup+110.063 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1178016/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=286336 CPUtime=110
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 43805 0 0 0 10972 28 0 0 25 0 1 0 195113318 293208064 42284 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552202 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 71584 42284 108 232 0 71349 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 286336

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1176992/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=286932 CPUtime=120
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 44049 0 0 0 11971 29 0 0 25 0 1 0 195113318 293818368 42528 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 71733 42528 108 232 0 71498 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 286932

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1176224/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=287632 CPUtime=130.01
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 44241 0 0 0 12971 30 0 0 25 0 1 0 195113318 294535168 42720 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 71908 42720 108 232 0 71673 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 287632

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1175456/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=288180 CPUtime=140.02
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 44432 0 0 0 13971 31 0 0 25 0 1 0 195113318 295096320 42911 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585804 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 72045 42911 108 232 0 71810 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 288180

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1174752/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=288628 CPUtime=150.01
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 44606 0 0 0 14970 31 0 0 25 0 1 0 195113318 295555072 43085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 72157 43085 108 232 0 71922 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 288628

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1174112/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=289192 CPUtime=160.02
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 44766 0 0 0 15969 33 0 0 25 0 1 0 195113318 296132608 43245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 72298 43245 108 232 0 72063 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 289192

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1173728/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=289472 CPUtime=170.02
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 44857 0 0 0 16969 33 0 0 25 0 1 0 195113318 296419328 43336 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 72368 43336 108 232 0 72133 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 289472

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1173280/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=289916 CPUtime=180.03
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 44977 0 0 0 17970 33 0 0 25 0 1 0 195113318 296873984 43456 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552202 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 72479 43456 108 232 0 72244 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 289916

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1172704/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=290332 CPUtime=190.03
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 45109 0 0 0 18969 34 0 0 25 0 1 0 195113318 297299968 43588 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550000 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 72583 43588 108 232 0 72348 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 290332

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1172384/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=290580 CPUtime=200.03
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 45196 0 0 0 19969 34 0 0 25 0 1 0 195113318 297553920 43675 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585741 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 72645 43675 108 232 0 72410 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 290580

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14046
/proc/meminfo: memFree=1172000/2055920 swapFree=4181500/4192956

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

/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58231 0 0 0 178015 139 0 0 25 0 1 0 195113318 339288064 52100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52100 108 232 0 82599 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (Kb) 331336

[startup+1783.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138528/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1782.54
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58233 0 0 0 178115 139 0 0 25 0 1 0 195113318 339288064 52102 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52102 108 232 0 82599 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (Kb) 331336

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138528/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1783.55
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58234 0 0 0 178216 139 0 0 25 0 1 0 195113318 339288064 52103 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52103 108 232 0 82599 0
Current children cumulated CPU time (s) 1783.55
Current children cumulated vsize (Kb) 331336

[startup+1785.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138528/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1784.55
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58239 0 0 0 178316 139 0 0 25 0 1 0 195113318 339288064 52108 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52108 108 232 0 82599 0
Current children cumulated CPU time (s) 1784.55
Current children cumulated vsize (Kb) 331336

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138464/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1785.56
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58241 0 0 0 178417 139 0 0 25 0 1 0 195113318 339288064 52110 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52110 108 232 0 82599 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 331336

[startup+1787.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138464/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1786.56
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58246 0 0 0 178517 139 0 0 25 0 1 0 195113318 339288064 52115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52115 108 232 0 82599 0
Current children cumulated CPU time (s) 1786.56
Current children cumulated vsize (Kb) 331336

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138464/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1787.56
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58249 0 0 0 178617 139 0 0 25 0 1 0 195113318 339288064 52118 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549056 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52118 108 232 0 82599 0
Current children cumulated CPU time (s) 1787.56
Current children cumulated vsize (Kb) 331336

[startup+1789.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138464/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1788.57
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58250 0 0 0 178718 139 0 0 25 0 1 0 195113318 339288064 52119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52119 108 232 0 82599 0
Current children cumulated CPU time (s) 1788.57
Current children cumulated vsize (Kb) 331336

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138464/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1789.57
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58256 0 0 0 178818 139 0 0 25 0 1 0 195113318 339288064 52125 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52125 108 232 0 82599 0
Current children cumulated CPU time (s) 1789.57
Current children cumulated vsize (Kb) 331336

[startup+1791.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138400/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1790.58
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58258 0 0 0 178919 139 0 0 25 0 1 0 195113318 339288064 52127 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52127 108 232 0 82599 0
Current children cumulated CPU time (s) 1790.58
Current children cumulated vsize (Kb) 331336

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138400/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1791.58
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58264 0 0 0 179019 139 0 0 25 0 1 0 195113318 339288064 52133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52133 108 232 0 82599 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (Kb) 331336

[startup+1793.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138400/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1792.58
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58265 0 0 0 179119 139 0 0 25 0 1 0 195113318 339288064 52134 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52134 108 232 0 82599 0
Current children cumulated CPU time (s) 1792.58
Current children cumulated vsize (Kb) 331336

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138400/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1793.6
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58271 0 0 0 179220 140 0 0 25 0 1 0 195113318 339288064 52140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594599 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52140 108 232 0 82599 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 331336

[startup+1795.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138336/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1794.6
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58273 0 0 0 179320 140 0 0 25 0 1 0 195113318 339288064 52142 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52142 108 232 0 82599 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (Kb) 331336

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138336/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1795.61
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58275 0 0 0 179421 140 0 0 25 0 1 0 195113318 339288064 52144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52144 108 232 0 82599 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 331336

[startup+1797.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138336/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1796.61
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58280 0 0 0 179521 140 0 0 25 0 1 0 195113318 339288064 52149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52149 108 232 0 82599 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (Kb) 331336

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138336/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1797.62
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58283 0 0 0 179622 140 0 0 25 0 1 0 195113318 339288064 52152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549067 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52152 108 232 0 82599 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 331336

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138272/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1798.62
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58289 0 0 0 179722 140 0 0 25 0 1 0 195113318 339288064 52158 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52158 108 232 0 82599 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (Kb) 331336

[startup+1800.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138272/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1799.62
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58290 0 0 0 179822 140 0 0 25 0 1 0 195113318 339288064 52159 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52159 108 232 0 82599 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (Kb) 331336

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138272/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1800.63
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58292 0 0 0 179923 140 0 0 25 0 1 0 195113318 339288064 52161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549958 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52161 108 232 0 82599 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 331336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14048
/proc/meminfo: memFree=1138272/2055920 swapFree=4181500/4192956
[pid=14046] ppid=14044 vsize=331336 CPUtime=1800.63
/proc/14046/stat : 14046 (PBS4L) R 14044 14046 14000 0 -1 4194304 58292 0 0 0 179923 140 0 0 25 0 1 0 195113318 339288064 52161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134612792 0 0 4096 0 0 0 0 17 1 0 0
/proc/14046/statm: 82834 52161 108 232 0 82599 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 331336

Sending SIGTERM to -14046
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.21
CPU time (s): 1800.67
CPU user time (s): 1799.24
CPU system time (s): 1.43778
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (Kb): 331336
The end

Launcher Data (download as text)

Begin job on node7 on Sat Jun  3 00:28:31 UTC 2006


FILE ID= 41923-1149294511

PBS_JOBID= 307020

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-3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node7/41923-1149294511/instance-41923-1149294511.opb 811066396
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-41923-1149294511 -o ROOT/results/node7/solver-41923-1149294511 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node7/41923-1149294511/instance-41923-1149294511.opb 811066396

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  4c9dc9cf5c24873d3237c90ee1682632

RANDOM SEED= 811066396


/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.232
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.232
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:       1347248 kB
Buffers:         36428 kB
Cached:         599072 kB
SwapCached:       3564 kB
Active:         210748 kB
Inactive:       433900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1347248 kB
SwapTotal:     4192956 kB
SwapFree:      4181500 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14972 kB
Slab:            50020 kB
Committed_AS:   273112 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node7 on Sat Jun  3 00:58:32 UTC 2006