Trace number 430845

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
glpPB 0.2? (TO) 1800.1 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=17-P1=11-P2=29-P3=59-P4=41-P5=11-P6=13-B.opb
MD5SUM8b8e1d2a13a8c39d33c0acf49e3195a1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.077987
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables108
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint6
Maximum length of a constraint48
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 2048
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 8064
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)216
Sum of products size (including duplicates)432
Number of different products216
Sum of products size432

Solver Data (download as text)

0.00/0.00	c glpPB 0.2 (July 2006)
0.00/0.00	c An Application of GLPK 4.10 for PB Constraints
0.00/0.00	c Done @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/430845-1177999512/instance-430845-1177999512.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node59/watcher-430845-1177999512 -o ROOT/results/node59/solver-430845-1177999512 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/430845-1177999512/instance-430845-1177999512.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: 1.00 1.00 0.97 3/64 4191
/proc/meminfo: memFree=1766456/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=2648 CPUtime=0
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 247860804 2711552 236 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 662 236 199 40 0 77 0

[startup+0.0799859 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 4191
/proc/meminfo: memFree=1766456/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=3312 CPUtime=0.07
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 460 0 0 0 7 0 0 0 18 0 1 0 247860804 3391488 430 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 828 430 227 40 0 243 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3312

[startup+0.10199 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 4191
/proc/meminfo: memFree=1766456/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=3312 CPUtime=0.09
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 460 0 0 0 9 0 0 0 18 0 1 0 247860804 3391488 430 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 828 430 227 40 0 243 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3312

[startup+0.302027 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 4191
/proc/meminfo: memFree=1766456/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=3312 CPUtime=0.29
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 465 0 0 0 29 0 0 0 19 0 1 0 247860804 3391488 435 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 828 435 227 40 0 243 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3312

[startup+0.701104 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 4191
/proc/meminfo: memFree=1766456/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=3312 CPUtime=0.69
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 473 0 0 0 69 0 0 0 22 0 1 0 247860804 3391488 443 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 828 443 227 40 0 243 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3312

[startup+1.50226 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1765488/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=3356 CPUtime=1.49
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 492 0 0 0 149 0 0 0 25 0 1 0 247860804 3436544 462 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 839 462 227 40 0 254 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3356

[startup+3.10156 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1765232/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=3516 CPUtime=3.09
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 527 0 0 0 308 1 0 0 25 0 1 0 247860804 3600384 497 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 879 497 227 40 0 294 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3516

[startup+6.30117 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1764848/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=3808 CPUtime=6.29
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 598 0 0 0 626 3 0 0 25 0 1 0 247860804 3899392 568 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 952 568 227 40 0 367 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3808

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1764288/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=4340 CPUtime=12.68
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 732 0 0 0 1263 5 0 0 25 0 1 0 247860804 4444160 702 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636804 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 1085 702 227 40 0 500 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 4340

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1763136/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=5432 CPUtime=25.48
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 1010 0 0 0 2536 12 0 0 25 0 1 0 247860804 5562368 980 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 1358 980 227 40 0 773 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5432

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1760960/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=7620 CPUtime=51.07
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 1599 0 0 0 5081 26 0 0 25 0 1 0 247860804 7802880 1528 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541716 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 1905 1528 227 40 0 1320 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 7620

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1756864/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=11740 CPUtime=102.26
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 2708 0 0 0 10175 51 0 0 25 0 1 0 247860804 12021760 2556 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 2935 2556 227 40 0 2350 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 11740

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1752256/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=16328 CPUtime=162.24
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 4014 0 0 0 16147 77 0 0 25 0 1 0 247860804 16719872 3701 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 4082 3701 227 40 0 3497 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 16328

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1748864/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=19676 CPUtime=222.21
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 4849 0 0 0 22122 99 0 0 25 0 1 0 247860804 20148224 4536 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 4919 4536 227 40 0 4334 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 19676

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1745664/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=22960 CPUtime=282.19
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 5667 0 0 0 28099 120 0 0 25 0 1 0 247860804 23511040 5354 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 5740 5354 227 40 0 5155 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 22960

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1740864/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=27624 CPUtime=342.17
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 7155 0 0 0 34075 142 0 0 25 0 1 0 247860804 28286976 6521 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 6906 6521 227 40 0 6321 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 27624

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1737920/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=30804 CPUtime=402.16
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 7954 0 0 0 40051 165 0 0 25 0 1 0 247860804 31543296 7320 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 7701 7320 227 40 0 7116 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 30804

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1735168/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=33452 CPUtime=462.13
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 8621 0 0 0 46029 184 0 0 25 0 1 0 247860804 34254848 7987 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 8363 7987 227 40 0 7778 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 33452

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1732352/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=36352 CPUtime=522.11
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 9340 0 0 0 52006 205 0 0 25 0 1 0 247860804 37224448 8706 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 9088 8706 227 40 0 8503 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 36352

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1729920/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=38768 CPUtime=582.09
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 9942 0 0 0 57988 221 0 0 25 0 1 0 247860804 39698432 9308 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 9692 9308 227 40 0 9107 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 38768

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1727104/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=41492 CPUtime=642.07
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 10631 0 0 0 63968 239 0 0 25 0 1 0 247860804 42487808 9997 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 10373 9997 227 40 0 9788 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 41492


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1714816/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=53732 CPUtime=881.99
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 14322 0 0 0 87892 307 0 0 25 0 1 0 247860804 55021568 13047 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 13433 13047 227 40 0 12848 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 53732

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1712448/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=56168 CPUtime=941.97
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 14938 0 0 0 93875 322 0 0 25 0 1 0 247860804 57516032 13663 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 14042 13663 227 40 0 13457 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 56168

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1710272/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=58300 CPUtime=1001.94
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 15468 0 0 0 99859 335 0 0 25 0 1 0 247860804 59699200 14193 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 14575 14193 227 40 0 13990 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 58300

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1708096/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=60448 CPUtime=1061.93
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 16010 0 0 0 105843 350 0 0 25 0 1 0 247860804 61898752 14735 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 15112 14735 227 40 0 14527 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 60448

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1706176/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=62396 CPUtime=1121.91
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 16497 0 0 0 111826 365 0 0 25 0 1 0 247860804 63893504 15222 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 15599 15222 227 40 0 15014 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 62396

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1703936/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=64600 CPUtime=1181.89
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 17043 0 0 0 117809 380 0 0 25 0 1 0 247860804 66150400 15768 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 16150 15768 227 40 0 15565 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 64600

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1701888/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=66660 CPUtime=1241.86
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 17555 0 0 0 123789 397 0 0 25 0 1 0 247860804 68259840 16280 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 16665 16280 227 40 0 16080 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 66660

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1699904/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=68580 CPUtime=1301.85
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 18041 0 0 0 129773 412 0 0 25 0 1 0 247860804 70225920 16766 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 17145 16766 227 40 0 16560 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 68580

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1697856/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=70688 CPUtime=1361.83
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 18566 0 0 0 135754 429 0 0 25 0 1 0 247860804 72384512 17291 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 17672 17291 227 40 0 17087 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 70688

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1695936/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=72592 CPUtime=1421.8
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 19046 0 0 0 141737 443 0 0 25 0 1 0 247860804 74334208 17771 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 18148 17771 227 40 0 17563 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 72592

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1694016/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=74504 CPUtime=1481.78
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 19519 0 0 0 147720 458 0 0 25 0 1 0 247860804 76292096 18244 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 18626 18244 227 40 0 18041 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 74504

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1692288/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=76276 CPUtime=1541.76
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 19966 0 0 0 153705 471 0 0 25 0 1 0 247860804 78106624 18691 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 19069 18691 227 40 0 18484 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 76276

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1690304/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=78288 CPUtime=1601.75
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 20462 0 0 0 159689 486 0 0 25 0 1 0 247860804 80166912 19187 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 19572 19187 227 40 0 18987 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 78288

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1688640/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=79880 CPUtime=1661.72
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 20865 0 0 0 165674 498 0 0 25 0 1 0 247860804 81797120 19590 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 19970 19590 227 40 0 19385 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 79880

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1686848/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=81628 CPUtime=1721.7
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 21302 0 0 0 171657 513 0 0 25 0 1 0 247860804 83587072 20027 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 20407 20027 227 40 0 19822 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 81628

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1685568/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=82936 CPUtime=1781.68
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 21627 0 0 0 177642 526 0 0 25 0 1 0 247860804 84926464 20352 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 20734 20352 227 40 0 20149 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 82936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1685184/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=83304 CPUtime=1800.08
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 21723 0 0 0 179477 531 0 0 25 0 1 0 247860804 85303296 20448 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 20826 20448 227 40 0 20241 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 83304

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 4192
/proc/meminfo: memFree=1685184/2055920 swapFree=4184616/4192956
[pid=4191] ppid=4189 vsize=83304 CPUtime=1800.08
/proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 21723 0 0 0 179477 531 0 0 25 0 1 0 247860804 85303296 20448 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0
/proc/4191/statm: 20826 20448 227 40 0 20241 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 83304

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1794.78
CPU system time (s): 5.32819
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 83304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.78
system time used= 5.32819
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21723
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= 11
involuntary context switches= 1688

runsolver used 1.3048 second user time and 3.62145 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Tue May  1 06:05:12 UTC 2007

IDJOB= 430845
IDBENCH= 48009
IDSOLVER= 166
FILE ID= node59/430845-1177999512

PBS_JOBID= 4728223

Free space on /tmp= 66562 MiB

SOLVER NAME= glpPB 0.2
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=17-P1=11-P2=29-P3=59-P4=41-P5=11-P6=13-B.opb
COMMAND LINE= glpPBv3 /tmp/evaluation/430845-1177999512/instance-430845-1177999512.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-430845-1177999512 -o ROOT/results/node59/conversion-430845-1177999512 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/430845-1177999512/instance-430845-1177999512.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-430845-1177999512 -o ROOT/results/node59/solver-430845-1177999512 -C 1800 -W 3600 -M 1800 --output-limit 1,15  glpPBv3 /tmp/evaluation/430845-1177999512/instance-430845-1177999512.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  8b8e1d2a13a8c39d33c0acf49e3195a1

RANDOM SEED= 192883421

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1766864 kB
Buffers:         26880 kB
Cached:         183120 kB
SwapCached:       2364 kB
Active:          60504 kB
Inactive:       159680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1766864 kB
SwapTotal:     4192956 kB
SwapFree:      4184616 kB
Dirty:            2284 kB
Writeback:           0 kB
Mapped:          16948 kB
Slab:            54868 kB
Committed_AS:  3241484 kB
PageTables:       1476 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= 66562 MiB

End job on node59 on Tue May  1 06:35:15 UTC 2007