Trace number 455184

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
PBS4 2007-03-23No Cert. 1800.1 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_3.opb
MD5SUM68d7f052f18638860d9232a7f3ed2053
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-139
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -139
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12632
Sum of products size (including duplicates)25264
Number of different products6316
Sum of products size12632

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/455184-1178038708/instance-455184-1178038708.opb ......
5.49/5.53	c done parsing opb.
5.49/5.53	o 421
152.76/152.85	o 407
153.24/153.33	o 405
161.22/161.32	o 404
164.02/164.15	o 403
221.65/221.88	o 402
222.75/222.98	o 401
223.05/223.30	o 399
224.25/224.41	o 398
224.35/224.54	o 396
260.85/261.02	o 395
264.24/264.45	o 394
486.00/486.23	o 393
528.88/529.19	o 392
1800.08/1800.61	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/455184-1178038708/instance-455184-1178038708.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node41/watcher-455184-1178038708 -o ROOT/results/node41/solver-455184-1178038708 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455184-1178038708/PBS4 /tmp/evaluation/455184-1178038708/instance-455184-1178038708.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27549
/proc/meminfo: memFree=1733680/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=2316 CPUtime=0
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 251782783 2371584 351 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/27549/statm: 579 351 86 219 0 356 0

[startup+0.0607479 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27549
/proc/meminfo: memFree=1733680/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=2872 CPUtime=0.05
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 533 0 0 0 5 0 0 0 18 0 1 0 251782783 2940928 516 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134640569 0 0 4096 0 0 0 0 17 1 0 0
/proc/27549/statm: 718 516 87 219 0 495 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2872

[startup+0.101751 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27549
/proc/meminfo: memFree=1733680/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=3708 CPUtime=0.09
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 718 0 0 0 9 0 0 0 18 0 1 0 251782783 3796992 668 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134530224 0 0 4096 0 0 0 0 17 1 0 0
/proc/27549/statm: 927 668 88 219 0 704 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3708

[startup+0.301768 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27549
/proc/meminfo: memFree=1733680/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=4424 CPUtime=0.29
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 1052 0 0 0 29 0 0 0 20 0 1 0 251782783 4530176 937 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 1106 937 93 219 0 883 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4424

[startup+0.701803 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27549
/proc/meminfo: memFree=1733680/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=4424 CPUtime=0.69
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 1052 0 0 0 69 0 0 0 24 0 1 0 251782783 4530176 937 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 1106 937 93 219 0 883 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4424

[startup+1.50187 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 27550
/proc/meminfo: memFree=1730216/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=4424 CPUtime=1.49
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 1052 0 0 0 149 0 0 0 25 0 1 0 251782783 4530176 937 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 1106 937 93 219 0 883 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4424

[startup+3.10201 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 27550
/proc/meminfo: memFree=1730024/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=4556 CPUtime=3.09
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 1062 0 0 0 309 0 0 0 25 0 1 0 251782783 4665344 947 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 1139 947 93 219 0 916 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4556

[startup+6.30129 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 27550
/proc/meminfo: memFree=1729448/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=5492 CPUtime=6.29
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 1275 0 0 0 627 2 0 0 25 0 1 0 251782783 5623808 1160 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 1373 1160 104 219 0 1150 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5492

[startup+12.7028 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 27550
/proc/meminfo: memFree=1728248/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=6736 CPUtime=12.68
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 1587 0 0 0 1261 7 0 0 25 0 1 0 251782783 6897664 1423 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 1684 1423 104 219 0 1461 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6736

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 27550
/proc/meminfo: memFree=1724600/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=14036 CPUtime=25.49
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 2466 0 0 0 2540 9 0 0 25 0 1 0 251782783 14372864 2302 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 3509 2302 104 219 0 3286 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14036

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 27550
/proc/meminfo: memFree=1721272/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=14036 CPUtime=51.08
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 3329 0 0 0 5098 10 0 0 25 0 1 0 251782783 14372864 3165 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 3509 3165 104 219 0 3286 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14036

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 27550
/proc/meminfo: memFree=1713848/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=22360 CPUtime=102.27
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 5156 0 0 0 10215 12 0 0 25 0 1 0 251782783 22896640 4992 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559462 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 5590 4992 104 219 0 5367 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22360

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 27624
/proc/meminfo: memFree=1700224/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=39944 CPUtime=162.22
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 8449 0 0 0 16203 19 0 0 25 0 1 0 251782783 40902656 8285 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 9986 8285 104 219 0 9763 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 39944

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27748
/proc/meminfo: memFree=1693616/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=40840 CPUtime=222.15
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 10202 0 0 0 22191 24 0 0 25 0 1 0 251782783 41820160 9941 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563269 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 10210 9941 104 219 0 9987 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 40840

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27748
/proc/meminfo: memFree=1692336/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=41964 CPUtime=282.13
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 10536 0 0 0 28175 38 0 0 25 0 1 0 251782783 42971136 10275 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 10491 10275 104 219 0 10268 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 41964

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27748
/proc/meminfo: memFree=1692080/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=42184 CPUtime=342.12
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 10610 0 0 0 34169 43 0 0 25 0 1 0 251782783 43196416 10349 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 10546 10349 104 219 0 10323 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 42184

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27748
/proc/meminfo: memFree=1691184/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=43624 CPUtime=402.11
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 11033 0 0 0 40151 60 0 0 25 0 1 0 251782783 44670976 10579 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 10906 10579 104 219 0 10683 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 43624

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 27748
/proc/meminfo: memFree=1690480/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=44128 CPUtime=462.1
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 11199 0 0 0 46135 75 0 0 25 0 1 0 251782783 45187072 10745 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 11032 10745 104 219 0 10809 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 44128

[startup+522.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1689784/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=44488 CPUtime=522.08
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 11386 0 0 0 52111 97 0 0 25 0 1 0 251782783 45555712 10932 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 11122 10932 104 219 0 10899 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 44488

[startup+582.301 s]
/proc/loadavg: 1.12 1.03 1.01 2/78 27748
/proc/meminfo: memFree=1689016/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=46400 CPUtime=582.06
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 11933 0 0 0 58097 109 0 0 25 0 1 0 251782783 47513600 11094 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 11600 11094 104 219 0 11377 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 46400

[startup+642.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 27748
/proc/meminfo: memFree=1688312/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=46912 CPUtime=642.06
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 12112 0 0 0 64076 130 0 0 25 0 1 0 251782783 48037888 11273 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 11728 11273 104 219 0 11505 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 46912


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1686968/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=47860 CPUtime=822
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 12481 0 0 0 82036 164 0 0 25 0 1 0 251782783 49008640 11642 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549623 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 11965 11642 104 219 0 11742 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 47860

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1686136/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=48396 CPUtime=881.99
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 12678 0 0 0 88018 181 0 0 25 0 1 0 251782783 49557504 11839 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 12099 11839 104 219 0 11876 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 48396

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1685560/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=51740 CPUtime=941.98
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 13601 0 0 0 94004 194 0 0 25 0 1 0 251782783 52981760 11993 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 12935 11993 104 219 0 12712 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 51740

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1684920/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=52144 CPUtime=1001.96
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 13774 0 0 0 99991 205 0 0 25 0 1 0 251782783 53395456 12166 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13036 12166 104 219 0 12813 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 52144

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1684216/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=52552 CPUtime=1061.95
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 13926 0 0 0 105979 216 0 0 25 0 1 0 251782783 53813248 12318 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13138 12318 104 219 0 12915 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 52552

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1684024/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=52552 CPUtime=1121.94
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 13980 0 0 0 111973 221 0 0 25 0 1 0 251782783 53813248 12372 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13138 12372 104 219 0 12915 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 52552

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1683640/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=52864 CPUtime=1181.92
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14073 0 0 0 117968 224 0 0 25 0 1 0 251782783 54132736 12465 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13216 12465 104 219 0 12993 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 52864

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1683320/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=53116 CPUtime=1241.91
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14150 0 0 0 123962 229 0 0 25 0 1 0 251782783 54390784 12542 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13279 12542 104 219 0 13056 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 53116

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1682936/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=53116 CPUtime=1301.9
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14230 0 0 0 129954 236 0 0 25 0 1 0 251782783 54390784 12622 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13279 12622 104 219 0 13056 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 53116

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1682552/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=53492 CPUtime=1361.87
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14338 0 0 0 135946 241 0 0 25 0 1 0 251782783 54775808 12730 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559756 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13373 12730 104 219 0 13150 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 53492

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1682232/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=53568 CPUtime=1421.87
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14429 0 0 0 141938 249 0 0 25 0 1 0 251782783 54853632 12821 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13392 12821 104 219 0 13169 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 53568

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1681848/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=53852 CPUtime=1481.85
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14501 0 0 0 147932 253 0 0 25 0 1 0 251782783 55144448 12893 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13463 12893 104 219 0 13240 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 53852

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1681528/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=53924 CPUtime=1541.83
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14590 0 0 0 153926 257 0 0 25 0 1 0 251782783 55218176 12982 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559736 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13481 12982 104 219 0 13258 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 53924

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1681144/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=54228 CPUtime=1601.82
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14685 0 0 0 159919 263 0 0 25 0 1 0 251782783 55529472 13077 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559802 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13557 13077 104 219 0 13334 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 54228

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1680696/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=54304 CPUtime=1661.81
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14790 0 0 0 165914 267 0 0 25 0 1 0 251782783 55607296 13182 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13576 13182 104 219 0 13353 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 54304

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1680312/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=54704 CPUtime=1721.79
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14900 0 0 0 171905 274 0 0 25 0 1 0 251782783 56016896 13292 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13676 13292 104 219 0 13453 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 54704

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1679864/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=55044 CPUtime=1781.78
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14997 0 0 0 177899 279 0 0 25 0 1 0 251782783 56365056 13389 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559721 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13761 13389 104 219 0 13538 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 55044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27748
/proc/meminfo: memFree=1679736/2055920 swapFree=4169228/4192956
[pid=27549] ppid=27547 vsize=55120 CPUtime=1800.08
/proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 15026 0 0 0 179723 285 0 0 25 0 1 0 251782783 56442880 13418 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27549/statm: 13780 13418 104 219 0 13557 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 55120

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.1
CPU user time (s): 1797.24
CPU system time (s): 2.86756
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 55120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.24
system time used= 2.86756
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15027
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 3566

runsolver used 1.35679 second user time and 4.02139 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Tue May  1 16:58:29 UTC 2007

IDJOB= 455184
IDBENCH= 48247
IDSOLVER= 157
FILE ID= node41/455184-1178038708

PBS_JOBID= 4728441

Free space on /tmp= 66563 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_3.opb
COMMAND LINE= /tmp/evaluation/455184-1178038708/PBS4 /tmp/evaluation/455184-1178038708/instance-455184-1178038708.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node41/convwatcher-455184-1178038708 -o ROOT/results/node41/conversion-455184-1178038708 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455184-1178038708/instance-455184-1178038708.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-455184-1178038708 -o ROOT/results/node41/solver-455184-1178038708 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/455184-1178038708/PBS4 /tmp/evaluation/455184-1178038708/instance-455184-1178038708.opb            

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  68d7f052f18638860d9232a7f3ed2053

RANDOM SEED= 782243701

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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:       1734088 kB
Buffers:        115552 kB
Cached:         108928 kB
SwapCached:       2572 kB
Active:         177268 kB
Inactive:        77772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1734088 kB
SwapTotal:     4192956 kB
SwapFree:      4169228 kB
Dirty:            1780 kB
Writeback:           0 kB
Mapped:          35688 kB
Slab:            52064 kB
Committed_AS:  6827636 kB
PageTables:       2020 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB

End job on node41 on Tue May  1 17:28:32 UTC 2007