Trace number 431578

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.05 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=71-P1=79-P2=101-P3=109-P4=107-P5=97-P6=127-P7=127-P8=67-B.opb
MD5SUM81c333fcff34b0322e8b1b71c0cda382
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.187971
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 variables168
Total number of constraints17
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 constraints17
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)392
Sum of products size (including duplicates)784
Number of different products392
Sum of products size784

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/431578-1178007903/instance-431578-1178007903.opb ......
6.19/6.20	c done parsing opb.
6.19/6.20	o 37
193.14/193.28	o 33
369.10/369.27	o 31
413.68/413.86	o 21
568.15/568.35	o 19
673.31/673.50	o 17
1574.98/1575.45	o 5
1667.26/1667.76	o 3
1800.03/1800.50	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/431578-1178007903/instance-431578-1178007903.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node17/watcher-431578-1178007903 -o ROOT/results/node17/solver-431578-1178007903 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/431578-1178007903/PBS4 /tmp/evaluation/431578-1178007903/instance-431578-1178007903.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.99 0.99 0.99 3/77 12405
/proc/meminfo: memFree=1794800/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=1456 CPUtime=0
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 160 0 0 0 0 0 0 0 18 0 1 0 248707850 1490944 143 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0
/proc/12405/statm: 364 143 87 219 0 141 0

[startup+0.02595 s]
/proc/loadavg: 0.99 0.99 0.99 3/77 12405
/proc/meminfo: memFree=1794800/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=1592 CPUtime=0.02
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 215 0 0 0 2 0 0 0 18 0 1 0 248707850 1630208 198 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 398 198 92 219 0 175 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1592

[startup+0.101958 s]
/proc/loadavg: 0.99 0.99 0.99 3/77 12405
/proc/meminfo: memFree=1794800/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=2360 CPUtime=0.09
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 352 0 0 0 9 0 0 0 18 0 1 0 248707850 2416640 335 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 590 335 93 219 0 367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2360

[startup+0.301977 s]
/proc/loadavg: 0.99 0.99 0.99 3/77 12405
/proc/meminfo: memFree=1794800/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=3752 CPUtime=0.29
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 644 0 0 0 29 0 0 0 19 0 1 0 248707850 3842048 627 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 938 627 93 219 0 715 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3752

[startup+0.702019 s]
/proc/loadavg: 0.99 0.99 0.99 3/77 12405
/proc/meminfo: memFree=1794800/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=6064 CPUtime=0.69
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 976 0 0 0 68 1 0 0 23 0 1 0 248707850 6209536 959 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 1516 959 93 219 0 1293 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6064

[startup+1.5011 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1790504/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=6652 CPUtime=1.49
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 1437 0 0 0 147 2 0 0 25 0 1 0 248707850 6811648 1371 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 1663 1371 94 219 0 1440 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6652

[startup+3.10227 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1789096/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=11020 CPUtime=3.09
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 1784 0 0 0 305 4 0 0 25 0 1 0 248707850 11284480 1718 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 2755 1718 94 219 0 2532 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11020

[startup+6.30161 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1787624/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=11808 CPUtime=6.29
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 2064 0 0 0 621 8 0 0 25 0 1 0 248707850 12091392 1901 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 2952 1901 104 219 0 2729 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11808

[startup+12.7013 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1784936/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=12608 CPUtime=12.68
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 2717 0 0 0 1257 11 0 0 25 0 1 0 248707850 12910592 2554 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 3152 2554 104 219 0 2929 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12608

[startup+25.5016 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1783336/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=14096 CPUtime=25.48
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 3225 0 0 0 2528 20 0 0 25 0 1 0 248707850 14434304 2869 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 3524 2869 104 219 0 3301 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14096

[startup+51.1013 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1778984/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=25504 CPUtime=51.08
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 4706 0 0 0 5072 36 0 0 25 0 1 0 248707850 26116096 3965 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 6376 3965 104 219 0 6153 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25504

[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1774632/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=27908 CPUtime=102.27
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 5778 0 0 0 10164 63 0 0 25 0 1 0 248707850 28577792 5037 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 6977 5037 104 219 0 6754 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27908

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1771880/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=32468 CPUtime=162.24
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 7219 0 0 0 16133 91 0 0 25 0 1 0 248707850 33247232 5709 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 8117 5709 104 219 0 7894 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 32468

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1769704/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=33584 CPUtime=222.23
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 7750 0 0 0 22107 116 0 0 25 0 1 0 248707850 34390016 6240 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 8396 6240 104 219 0 8173 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 33584

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1764776/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=40664 CPUtime=282.22
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 10505 0 0 0 28082 140 0 0 25 0 1 0 248707850 41639936 7458 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 10166 7458 104 219 0 9943 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 40664

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1762792/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=41700 CPUtime=342.2
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 10988 0 0 0 34057 163 0 0 25 0 1 0 248707850 42700800 7941 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 10425 7941 104 219 0 10202 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 41700

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1760808/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=43416 CPUtime=402.18
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 11500 0 0 0 40034 184 0 0 25 0 1 0 248707850 44457984 8453 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 10854 8453 104 219 0 10631 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 43416

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1759080/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=44192 CPUtime=462.17
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 11954 0 0 0 46011 206 0 0 25 0 1 0 248707850 45252608 8907 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 11048 8907 104 219 0 10825 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 44192

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1756968/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=45408 CPUtime=522.16
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 12477 0 0 0 51989 227 0 0 25 0 1 0 248707850 46497792 9430 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 11352 9430 104 219 0 11129 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 45408

[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=45996 CPUtime=582.14
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 12769 0 0 0 57969 245 0 0 25 0 1 0 248707850 47099904 9722 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 11499 9722 104 219 0 11276 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 45996

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1754344/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=46620 CPUtime=642.12
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 13141 0 0 0 63947 265 0 0 25 0 1 0 248707850 47738880 10094 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 11655 10094 104 219 0 11432 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 46620


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12406
/proc/meminfo: memFree=1748776/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=61972 CPUtime=882.07
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 17549 0 0 0 87868 339 0 0 25 0 1 0 248707850 63459328 11429 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 15493 11429 104 219 0 15270 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 61972

[startup+942.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1747560/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=62816 CPUtime=942.05
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 17860 0 0 0 93848 357 0 0 25 0 1 0 248707850 64323584 11740 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134535127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 15704 11740 104 219 0 15481 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 62816

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1746472/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=62816 CPUtime=1002.03
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 18160 0 0 0 99829 374 0 0 25 0 1 0 248707850 64323584 12040 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 15704 12040 104 219 0 15481 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 62816

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1745256/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=63872 CPUtime=1062.02
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 18461 0 0 0 105808 394 0 0 25 0 1 0 248707850 65404928 12341 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 15968 12341 104 219 0 15745 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 63872

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1744168/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=64824 CPUtime=1122
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 18747 0 0 0 111790 410 0 0 25 0 1 0 248707850 66379776 12627 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 16206 12627 104 219 0 15983 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 64824

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1743208/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=64824 CPUtime=1181.99
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 18988 0 0 0 117773 426 0 0 25 0 1 0 248707850 66379776 12868 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 16206 12868 104 219 0 15983 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 64824

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1739880/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=66140 CPUtime=1241.97
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 19804 0 0 0 123752 445 0 0 25 0 1 0 248707850 67727360 13684 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 16535 13684 104 219 0 16312 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 66140

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1738600/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=66460 CPUtime=1301.96
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 20108 0 0 0 129736 460 0 0 25 0 1 0 248707850 68055040 13988 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 16615 13988 104 219 0 16392 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 66460

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1737512/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=67532 CPUtime=1361.94
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 20371 0 0 0 135722 472 0 0 25 0 1 0 248707850 69152768 14251 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 16883 14251 104 219 0 16660 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 67532

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1736296/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=67532 CPUtime=1421.93
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 20660 0 0 0 141707 486 0 0 25 0 1 0 248707850 69152768 14540 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 16883 14540 104 219 0 16660 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 67532

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1735464/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=67532 CPUtime=1481.91
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 20873 0 0 0 147692 499 0 0 25 0 1 0 248707850 69152768 14753 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551783 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 16883 14753 104 219 0 16660 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 67532

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1734440/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=68672 CPUtime=1541.89
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 21131 0 0 0 153675 514 0 0 25 0 1 0 248707850 70320128 15011 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 17168 15011 104 219 0 16945 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 68672

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1733416/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=68832 CPUtime=1601.88
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 21395 0 0 0 159660 528 0 0 25 0 1 0 248707850 70483968 15275 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 17208 15275 104 219 0 16985 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 68832

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1732584/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=70044 CPUtime=1661.87
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 21589 0 0 0 165648 539 0 0 25 0 1 0 248707850 71725056 15469 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 17511 15469 104 219 0 17288 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 70044

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1731624/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=70044 CPUtime=1721.84
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 21841 0 0 0 171635 549 0 0 25 0 1 0 248707850 71725056 15721 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 17511 15721 104 219 0 17288 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 70044

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1730472/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=71332 CPUtime=1781.83
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 22133 0 0 0 177621 562 0 0 25 0 1 0 248707850 73043968 16013 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 17833 16013 104 219 0 17610 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 71332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1730088/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=71332 CPUtime=1800.03
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 22210 0 0 0 179436 567 0 0 25 0 1 0 248707850 73043968 16090 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 17833 16090 104 219 0 17610 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 71332

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 12408
/proc/meminfo: memFree=1730088/2055920 swapFree=4140116/4192956
[pid=12405] ppid=12403 vsize=71332 CPUtime=1800.03
/proc/12405/stat : 12405 (PBS4) R 12403 12405 12021 0 -1 4194304 22210 0 0 0 179436 567 0 0 25 0 1 0 248707850 73043968 16090 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12405/statm: 17833 16090 104 219 0 17610 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 71332

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.05
CPU user time (s): 1794.37
CPU system time (s): 5.68513
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 72564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.37
system time used= 5.68513
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22211
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= 36152

runsolver used 1.57776 second user time and 4.34634 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Tue May  1 08:25:03 UTC 2007

IDJOB= 431578
IDBENCH= 48062
IDSOLVER= 157
FILE ID= node17/431578-1178007903

PBS_JOBID= 4728262

Free space on /tmp= 66563 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=71-P1=79-P2=101-P3=109-P4=107-P5=97-P6=127-P7=127-P8=67-B.opb
COMMAND LINE= /tmp/evaluation/431578-1178007903/PBS4 /tmp/evaluation/431578-1178007903/instance-431578-1178007903.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node17/convwatcher-431578-1178007903 -o ROOT/results/node17/conversion-431578-1178007903 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/431578-1178007903/instance-431578-1178007903.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  81c333fcff34b0322e8b1b71c0cda382

RANDOM SEED= 230183639

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1795272 kB
Buffers:         32876 kB
Cached:         146044 kB
SwapCached:      15016 kB
Active:          74724 kB
Inactive:       127416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1795272 kB
SwapTotal:     4192956 kB
SwapFree:      4140116 kB
Dirty:            1188 kB
Writeback:           0 kB
Mapped:          30256 kB
Slab:            44100 kB
Committed_AS:  7402736 kB
PageTables:       1796 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 node17 on Tue May  1 08:55:06 UTC 2007