Trace number 2673235

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PBPASSolver 2010-06-13? (TO) 1800.03 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=457-P1=137-P2=191-B.opb
MD5SUM1b6d9352b1c2eb216ab83323b529fa56
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.345946
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 variables54
Total number of constraints5
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 constraints5
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)162
Sum of products size (including duplicates)324
Number of different products162
Sum of products size324

Solver Data


Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673235-1276806706/watcher-2673235-1276806706 -o /tmp/evaluation-result-2673235-1276806706/solver-2673235-1276806706 -C 1800 -W 2000 -M 1800 run HOME/instance-2673235-1276806706.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25627
/proc/meminfo: memFree=1873320/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0

[startup+0.087056 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25627
/proc/meminfo: memFree=1873320/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101056 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25627
/proc/meminfo: memFree=1873320/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301076 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25627
/proc/meminfo: memFree=1873320/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701115 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25627
/proc/meminfo: memFree=1873320/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50119 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25632
/proc/meminfo: memFree=1853836/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=23216 CPUtime=1.49
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 5453 0 0 0 147 2 0 0 25 0 1 0 21963459 23773184 5020 1992294400 134512640 134902295 4287515088 18446744073709551615 4160015525 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 5804 5020 270 96 0 5016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31916

[startup+3.10135 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25632
/proc/meminfo: memFree=1853588/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=23744 CPUtime=3.08
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 5585 0 0 0 306 2 0 0 25 0 1 0 21963459 24313856 5152 1992294400 134512640 134902295 4287515088 18446744073709551615 4160027506 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 5936 5152 270 96 0 5148 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32444

[startup+6.30066 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25632
/proc/meminfo: memFree=1852224/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=24804 CPUtime=6.29
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 5881 0 0 0 626 3 0 0 25 0 1 0 21963459 25399296 5448 1992294400 134512640 134902295 4287515088 18446744073709551615 4160032025 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 6201 5448 270 96 0 5413 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33504

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25632
/proc/meminfo: memFree=1850240/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=26652 CPUtime=12.69
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 6337 0 0 0 1266 3 0 0 25 0 1 0 21963459 27291648 5904 1992294400 134512640 134902295 4287515088 18446744073709551615 4160017833 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 6663 5904 270 96 0 5875 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35352

[startup+25.5005 s]
/proc/loadavg: 1.08 1.02 1.01 2/108 25635
/proc/meminfo: memFree=1846396/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=29696 CPUtime=25.48
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 7101 0 0 0 2544 4 0 0 25 0 1 0 21963459 30408704 6668 1992294400 134512640 134902295 4287515088 18446744073709551615 4159996544 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 7424 6668 270 96 0 6636 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38396

[startup+51.1011 s]
/proc/loadavg: 1.05 1.01 1.00 2/108 25635
/proc/meminfo: memFree=1838832/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=37516 CPUtime=51.07
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 9030 0 0 0 5101 6 0 0 25 0 1 0 21963459 38416384 8597 1992294400 134512640 134902295 4287515088 18446744073709551615 4160015193 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 9379 8597 270 96 0 8591 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46216

[startup+102.308 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 25637
/proc/meminfo: memFree=1830028/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=46128 CPUtime=102.26
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 11192 0 0 0 10218 8 0 0 25 0 1 0 21963459 47235072 10759 1992294400 134512640 134902295 4287515088 18446744073709551615 4160015525 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 11532 10759 270 96 0 10744 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54828

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25639
/proc/meminfo: memFree=1823828/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=52696 CPUtime=162.24
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 12827 0 0 0 16214 10 0 0 25 0 1 0 21963459 53960704 12394 1992294400 134512640 134902295 4287515088 18446744073709551615 4160027116 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 13174 12394 270 96 0 12386 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 61396

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25639
/proc/meminfo: memFree=1812792/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=63516 CPUtime=222.23
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 15527 0 0 0 22210 13 0 0 25 0 1 0 21963459 65040384 15094 1992294400 134512640 134902295 4287515088 18446744073709551615 4159996538 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 15879 15094 270 96 0 15091 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 72216

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25641
/proc/meminfo: memFree=1803616/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=72756 CPUtime=282.21
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 17846 0 0 0 28205 16 0 0 25 0 1 0 21963459 74502144 17413 1992294400 134512640 134902295 4287515088 18446744073709551615 4160026970 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 18189 17413 270 96 0 17401 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 81456

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25643
/proc/meminfo: memFree=1795308/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=80956 CPUtime=342.2
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 19900 0 0 0 34201 19 0 0 25 0 1 0 21963459 82898944 19467 1992294400 134512640 134902295 4287515088 18446744073709551615 4159996537 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 20239 19467 270 96 0 19451 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 89656

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25645
/proc/meminfo: memFree=1787620/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=88936 CPUtime=402.18
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 21872 0 0 0 40197 21 0 0 25 0 1 0 21963459 91070464 21439 1992294400 134512640 134902295 4287515088 18446744073709551615 4160008814 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 22234 21439 270 96 0 21446 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 97636

[startup+462.301 s]

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

/proc/25629/statm: 15179 13695 270 96 0 14391 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 69416

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25667
/proc/meminfo: memFree=1813040/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=65572 CPUtime=1241.98
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 43045 0 0 0 124156 42 0 0 25 0 1 0 21963459 67145728 14892 1992294400 134512640 134902295 4287515088 18446744073709551615 4160015540 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 16393 14892 270 96 0 15605 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 74272

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25669
/proc/meminfo: memFree=1808824/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=69692 CPUtime=1301.96
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 44075 0 0 0 130153 43 0 0 25 0 1 0 21963459 71364608 15922 1992294400 134512640 134902295 4287515088 18446744073709551615 4160029611 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 17423 15922 270 96 0 16635 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 78392

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25671
/proc/meminfo: memFree=1806840/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=71716 CPUtime=1361.95
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 44578 0 0 0 136151 44 0 0 25 0 1 0 21963459 73437184 16425 1992294400 134512640 134902295 4287515088 18446744073709551615 4160026750 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 17929 16425 270 96 0 17141 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 80416

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25671
/proc/meminfo: memFree=1804732/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=73864 CPUtime=1421.94
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 45100 0 0 0 142150 44 0 0 25 0 1 0 21963459 75636736 16947 1992294400 134512640 134902295 4287515088 18446744073709551615 4160026750 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 18466 16947 270 96 0 17678 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 82564

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25673
/proc/meminfo: memFree=1802624/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=75876 CPUtime=1481.92
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 45615 0 0 0 148147 45 0 0 25 0 1 0 21963459 77697024 17462 1992294400 134512640 134902295 4287515088 18446744073709551615 4160027106 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 18969 17462 270 96 0 18181 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 84576

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25675
/proc/meminfo: memFree=1799152/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=79592 CPUtime=1541.9
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 46480 0 0 0 154144 46 0 0 25 0 1 0 21963459 81502208 18327 1992294400 134512640 134902295 4287515088 18446744073709551615 4160015218 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 19898 18327 270 96 0 19110 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 88292

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25677
/proc/meminfo: memFree=1795556/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=83288 CPUtime=1601.89
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 47413 0 0 0 160142 47 0 0 25 0 1 0 21963459 85286912 19260 1992294400 134512640 134902295 4287515088 18446744073709551615 4160015235 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 20822 19260 270 96 0 20034 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 91988

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25679
/proc/meminfo: memFree=1791216/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=87372 CPUtime=1661.87
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 48454 0 0 0 166139 48 0 0 25 0 1 0 21963459 89468928 20301 1992294400 134512640 134902295 4287515088 18446744073709551615 4160026750 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 21843 20301 270 96 0 21055 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 96072

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25679
/proc/meminfo: memFree=1787868/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=90672 CPUtime=1721.86
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 49283 0 0 0 172137 49 0 0 25 0 1 0 21963459 92848128 21130 1992294400 134512640 134902295 4287515088 18446744073709551615 4160015107 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 22668 21130 270 96 0 21880 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 99372

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25690
/proc/meminfo: memFree=1783776/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=94376 CPUtime=1781.83
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 50193 0 0 0 178133 50 0 0 25 0 1 0 21963459 96641024 22040 1992294400 134512640 134902295 4287515088 18446744073709551615 4160015757 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 23594 22040 270 96 0 22806 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 103076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25690
/proc/meminfo: memFree=1783156/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=95156 CPUtime=1800.03
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 50368 0 0 0 179953 50 0 0 25 0 1 0 21963459 97439744 22215 1992294400 134512640 134902295 4287515088 18446744073709551615 4160029697 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 23789 22215 270 96 0 23001 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 103856

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: 1.00 1.00 1.00 2/108 25690
/proc/meminfo: memFree=1783156/2059040 swapFree=4140552/4192956
[pid=25627] ppid=25625 vsize=8700 CPUtime=0
/proc/25627/stat : 25627 (run) S 25625 25627 24991 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21963458 8908800 251 1992294400 4194304 4922060 140734989035168 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25627/statm: 2175 251 211 178 0 68 0
[pid=25629] ppid=25627 vsize=95156 CPUtime=1800.03
/proc/25629/stat : 25629 (PBPASSolver) R 25627 25627 24991 0 -1 4202496 50368 0 0 0 179953 50 0 0 25 0 1 0 21963459 97439744 22215 1992294400 134512640 134902295 4287515088 18446744073709551615 4160029697 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25629/statm: 23789 22215 270 96 0 23001 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 103856

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25627 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.52
CPU time (s): 1800.03
CPU user time (s): 1799.53
CPU system time (s): 0.5
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 133568

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

runsolver used 3.05553 second user time and 8.42572 second system time

The end

Launcher Data 

Begin job on node036 at 2010-06-17 22:31:46
IDJOB=2673235
IDBENCH=47902
IDSOLVER=1174
FILE ID=node036/2673235-1276806706
PBS_JOBID= 11176664
Free space on /tmp= 62524 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=457-P1=137-P2=191-B.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673235-1276806706/watcher-2673235-1276806706 -o /tmp/evaluation-result-2673235-1276806706/solver-2673235-1276806706 -C 1800 -W 2000 -M 1800  run HOME/instance-2673235-1276806706.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1b6d9352b1c2eb216ab83323b529fa56
RANDOM SEED=1118087045

node036.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.251
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
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.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1873964 kB
Buffers:         15276 kB
Cached:          79176 kB
SwapCached:       6460 kB
Active:          61620 kB
Inactive:        46452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1873964 kB
SwapTotal:     4192956 kB
SwapFree:      4140552 kB
Dirty:             884 kB
Writeback:           4 kB
AnonPages:       11280 kB
Mapped:          12948 kB
Slab:            55152 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181588 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62524 MiB
End job on node036 at 2010-06-17 23:01:48