Trace number 357138

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
oree 0.1.2 alpha? (TO) 1800.2 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-3.opb
MD5SUM473e2cd0e31e48ba0932d7bd34857dd0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13473
Number of constraints which are clauses13473
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.09/0.11	c ...done
0.09/0.11	c #vars=6352 #constraints=13474 hasObjective=yes
0.09/0.18	c res. mode=mod
0.09/0.18	c VSIDS like heuristics
0.09/0.18	c complete search running
5.09/5.17	c restart after 401 decisions
5.99/6.07	c nbDecision=500 #constraints=13922
10.29/10.38	c restart after 801 decisions
12.89/12.93	c nbDecision=1000 #constraints=14400
21.39/21.44	c nbDecision=1500 #constraints=14900
22.99/23.05	c restart after 1601 decisions
30.18/30.26	c nbDecision=2000 #constraints=15374
40.88/40.97	c nbDecision=2500 #constraints=15872
53.08/53.11	c nbDecision=3000 #constraints=16372
58.37/58.40	c restart after 3201 decisions
66.27/66.33	c nbDecision=3500 #constraints=16846
81.98/82.08	c nbDecision=4000 #constraints=17346
99.77/99.84	c nbDecision=4500 #constraints=17845
119.86/119.93	c nbDecision=5000 #constraints=18346
141.96/142.07	c nbDecision=5500 #constraints=18844
166.25/166.38	c nbDecision=6000 #constraints=19348
187.04/187.18	c restart after 6401 decisions
191.25/191.33	c nbDecision=6500 #constraints=19821
219.54/219.68	c nbDecision=7000 #constraints=20321
250.03/250.17	c nbDecision=7500 #constraints=20823
282.73/282.82	c nbDecision=8000 #constraints=21322
316.61/316.78	c nbDecision=8500 #constraints=21819
352.91/353.08	c nbDecision=9000 #constraints=22323
391.19/391.35	c nbDecision=9500 #constraints=22823
431.69/431.82	c nbDecision=10000 #constraints=23320
474.28/474.44	c nbDecision=10500 #constraints=23824
518.17/518.32	c nbDecision=11000 #constraints=24324
564.06/564.20	c nbDecision=11500 #constraints=24821
612.24/612.47	c nbDecision=12000 #constraints=25323
663.73/663.98	c nbDecision=12500 #constraints=25823
695.92/696.10	c restart after 12801 decisions
714.92/715.13	c nbDecision=13000 #constraints=26298
770.50/770.75	c nbDecision=13500 #constraints=26796
828.29/828.52	c nbDecision=14000 #constraints=27299
887.08/887.31	c nbDecision=14500 #constraints=27798
947.36/947.65	c nbDecision=15000 #constraints=28298
1009.55/1009.89	c nbDecision=15500 #constraints=28796
1073.83/1074.14	c nbDecision=16000 #constraints=29291
1145.01/1145.38	c nbDecision=16500 #constraints=29796
1220.10/1220.41	c nbDecision=17000 #constraints=30298
1295.18/1295.57	c nbDecision=17500 #constraints=30796
1373.06/1373.46	c nbDecision=18000 #constraints=31297
1451.84/1452.20	c nbDecision=18500 #constraints=31795
1534.83/1535.25	c nbDecision=19000 #constraints=32299
1617.61/1618.08	c nbDecision=19500 #constraints=32795
1704.08/1704.52	c nbDecision=20000 #constraints=33296
1791.66/1792.17	c nbDecision=20500 #constraints=33797
1800.06/1800.50	Received signal 15
1800.17/1800.61	
1800.17/1800.61	s UNKNOWN
1800.17/1800.61	
1800.17/1800.61	c user time= 1799.94 s
1800.17/1800.61	c system time= 0.248962 s
1800.17/1800.61	c wall clock time=1800.62

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

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

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.66 0.94 0.95 3/77 19686
/proc/meminfo: memFree=1690768/2055920 swapFree=4133608/4192956
[pid=19686] ppid=19684 vsize=1620 CPUtime=0
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 146720274 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 405 176 126 317 0 84 0

[startup+0.067801 s]
/proc/loadavg: 0.66 0.94 0.95 3/77 19686
/proc/meminfo: memFree=1690768/2055920 swapFree=4133608/4192956
[pid=19686] ppid=19684 vsize=2940 CPUtime=0.06
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 536 0 0 0 6 0 0 0 18 0 1 0 146720274 3010560 518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 735 518 130 317 0 414 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2940

[startup+0.101799 s]
/proc/loadavg: 0.66 0.94 0.95 3/77 19686
/proc/meminfo: memFree=1690768/2055920 swapFree=4133608/4192956
[pid=19686] ppid=19684 vsize=3732 CPUtime=0.09
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 729 0 0 0 9 0 0 0 18 0 1 0 146720274 3821568 711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 933 711 130 317 0 612 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3732

[startup+0.301814 s]
/proc/loadavg: 0.66 0.94 0.95 3/77 19686
/proc/meminfo: memFree=1690768/2055920 swapFree=4133608/4192956
[pid=19686] ppid=19684 vsize=6580 CPUtime=0.29
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 1451 0 0 0 29 0 0 0 19 0 1 0 146720274 6737920 1340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 1645 1340 138 317 0 1324 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6580

[startup+0.701848 s]
/proc/loadavg: 0.66 0.94 0.95 3/77 19686
/proc/meminfo: memFree=1690768/2055920 swapFree=4133608/4192956
[pid=19686] ppid=19684 vsize=6580 CPUtime=0.69
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 1451 0 0 0 69 0 0 0 23 0 1 0 146720274 6737920 1340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 1645 1340 138 317 0 1324 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6580

[startup+1.50192 s]
/proc/loadavg: 0.66 0.94 0.95 2/78 19687
/proc/meminfo: memFree=1685704/2055920 swapFree=4133608/4192956
[pid=19686] ppid=19684 vsize=6580 CPUtime=1.49
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 1451 0 0 0 149 0 0 0 25 0 1 0 146720274 6737920 1340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563573 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 1645 1340 138 317 0 1324 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6580

[startup+3.10106 s]
/proc/loadavg: 0.66 0.94 0.95 2/78 19687
/proc/meminfo: memFree=1685576/2055920 swapFree=4133608/4192956
[pid=19686] ppid=19684 vsize=6580 CPUtime=3.09
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 1470 0 0 0 309 0 0 0 25 0 1 0 146720274 6737920 1359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 1645 1359 138 317 0 1324 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6580

[startup+6.30133 s]
/proc/loadavg: 0.69 0.94 0.95 2/78 19687
/proc/meminfo: memFree=1685192/2055920 swapFree=4133608/4192956
[pid=19686] ppid=19684 vsize=7104 CPUtime=6.29
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 1596 0 0 0 628 1 0 0 25 0 1 0 146720274 7274496 1485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 1776 1485 138 317 0 1455 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7104

[startup+12.7019 s]
/proc/loadavg: 0.72 0.94 0.95 2/78 19687
/proc/meminfo: memFree=1684168/2055920 swapFree=4133608/4192956
[pid=19686] ppid=19684 vsize=8152 CPUtime=12.69
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 1840 0 0 0 1268 1 0 0 25 0 1 0 146720274 8347648 1729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 2038 1729 138 317 0 1717 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8152

[startup+25.503 s]
/proc/loadavg: 0.78 0.94 0.95 2/78 19687
/proc/meminfo: memFree=1682504/2055920 swapFree=4133608/4192956
[pid=19686] ppid=19684 vsize=9600 CPUtime=25.49
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 2235 0 0 0 2548 1 0 0 25 0 1 0 146720274 9830400 2124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 2400 2124 138 317 0 2079 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9600

[startup+51.1022 s]
/proc/loadavg: 0.85 0.95 0.95 2/78 19687
/proc/meminfo: memFree=1680008/2055920 swapFree=4133608/4192956
[pid=19686] ppid=19684 vsize=12132 CPUtime=51.08
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 2859 0 0 0 5106 2 0 0 25 0 1 0 146720274 12423168 2748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 3033 2748 138 317 0 2712 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12132

[startup+102.307 s]
/proc/loadavg: 0.93 0.95 0.95 2/78 19687
/proc/meminfo: memFree=1676424/2055920 swapFree=4133608/4192956
[pid=19686] ppid=19684 vsize=15868 CPUtime=102.27
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 3739 0 0 0 10224 3 0 0 25 0 1 0 146720274 16248832 3628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713818 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 3967 3628 138 317 0 3646 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15868

[startup+162.303 s]
/proc/loadavg: 0.97 0.96 0.95 2/78 19687
/proc/meminfo: memFree=1673736/2055920 swapFree=4133672/4192956
[pid=19686] ppid=19684 vsize=18696 CPUtime=162.25
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 4432 0 0 0 16221 4 0 0 25 0 1 0 146720274 19144704 4321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 4674 4321 138 317 0 4353 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 18696

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.95 2/78 19687
/proc/meminfo: memFree=1671496/2055920 swapFree=4133672/4192956
[pid=19686] ppid=19684 vsize=20828 CPUtime=222.24
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 4982 0 0 0 22219 5 0 0 25 0 1 0 146720274 21327872 4871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 5207 4871 138 317 0 4886 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 20828

[startup+282.302 s]
/proc/loadavg: 1.07 0.99 0.95 2/78 19687
/proc/meminfo: memFree=1669512/2055920 swapFree=4133672/4192956
[pid=19686] ppid=19684 vsize=23024 CPUtime=282.23
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 5481 0 0 0 28217 6 0 0 25 0 1 0 146720274 23576576 5370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 5756 5370 138 317 0 5435 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 23024

[startup+342.301 s]
/proc/loadavg: 1.10 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1667472/2055920 swapFree=4133736/4192956
[pid=19686] ppid=19684 vsize=25252 CPUtime=342.21
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 5984 0 0 0 34214 7 0 0 25 0 1 0 146720274 25858048 5873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 6313 5873 138 317 0 5992 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 25252

[startup+402.302 s]
/proc/loadavg: 1.10 1.02 0.96 2/78 19687
/proc/meminfo: memFree=1665872/2055920 swapFree=4133736/4192956
[pid=19686] ppid=19684 vsize=26856 CPUtime=402.19
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 6393 0 0 0 40212 7 0 0 25 0 1 0 146720274 27500544 6282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 6714 6282 138 317 0 6393 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 26856

[startup+462.302 s]
/proc/loadavg: 1.04 1.01 0.96 2/78 19687
/proc/meminfo: memFree=1664400/2055920 swapFree=4133800/4192956
[pid=19686] ppid=19684 vsize=28352 CPUtime=462.18
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 6754 0 0 0 46210 8 0 0 25 0 1 0 146720274 29032448 6643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 7088 6643 138 317 0 6767 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 28352

[startup+522.301 s]
/proc/loadavg: 1.01 1.00 0.96 3/78 19687
/proc/meminfo: memFree=1663056/2055920 swapFree=4133800/4192956
[pid=19686] ppid=19684 vsize=29764 CPUtime=522.16
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 7088 0 0 0 52207 9 0 0 25 0 1 0 146720274 30478336 6977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 7441 6977 138 317 0 7120 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 29764

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1661712/2055920 swapFree=4133864/4192956
[pid=19686] ppid=19684 vsize=31064 CPUtime=582.15
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 7427 0 0 0 58205 10 0 0 25 0 1 0 146720274 31809536 7316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 7766 7316 138 317 0 7445 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 31064

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1660560/2055920 swapFree=4133864/4192956
[pid=19686] ppid=19684 vsize=32292 CPUtime=642.14
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 7719 0 0 0 64203 11 0 0 25 0 1 0 146720274 33067008 7608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 8073 7608 138 317 0 7752 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 32292


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1656080/2055920 swapFree=4133992/4192956
[pid=19686] ppid=19684 vsize=37056 CPUtime=882.08
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 9019 0 0 0 88194 14 0 0 25 0 1 0 146720274 37945344 8724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 9264 8724 138 317 0 8943 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 37056

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1655120/2055920 swapFree=4133992/4192956
[pid=19686] ppid=19684 vsize=37980 CPUtime=942.07
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 9255 0 0 0 94192 15 0 0 25 0 1 0 146720274 38891520 8960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 9495 8960 138 317 0 9174 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 37980

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1654160/2055920 swapFree=4133992/4192956
[pid=19686] ppid=19684 vsize=38900 CPUtime=1002.05
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 9496 0 0 0 100189 16 0 0 25 0 1 0 146720274 39833600 9201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 9725 9201 138 317 0 9404 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 38900

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1652880/2055920 swapFree=4134056/4192956
[pid=19686] ppid=19684 vsize=40752 CPUtime=1062.03
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 9813 0 0 0 106187 16 0 0 25 0 1 0 146720274 41730048 9518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 10188 9518 138 317 0 9867 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 40752

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1651728/2055920 swapFree=4134056/4192956
[pid=19686] ppid=19684 vsize=42212 CPUtime=1122.02
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 10099 0 0 0 112185 17 0 0 25 0 1 0 146720274 43225088 9804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 10553 9804 138 317 0 10232 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 42212

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1650832/2055920 swapFree=4134120/4192956
[pid=19686] ppid=19684 vsize=43164 CPUtime=1182.01
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 10321 0 0 0 118183 18 0 0 25 0 1 0 146720274 44199936 10026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 10791 10026 138 317 0 10470 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 43164

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1650000/2055920 swapFree=4134120/4192956
[pid=19686] ppid=19684 vsize=44004 CPUtime=1242
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 10527 0 0 0 124181 19 0 0 25 0 1 0 146720274 45060096 10232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272554 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 11001 10232 138 317 0 10680 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 44004

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1649168/2055920 swapFree=4134120/4192956
[pid=19686] ppid=19684 vsize=45172 CPUtime=1301.98
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 10743 0 0 0 130179 19 0 0 25 0 1 0 146720274 46256128 10448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 11293 10448 138 317 0 10972 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 45172

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1648272/2055920 swapFree=4134184/4192956
[pid=19686] ppid=19684 vsize=46196 CPUtime=1361.97
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 10957 0 0 0 136177 20 0 0 25 0 1 0 146720274 47304704 10662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 11549 10662 138 317 0 11228 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 46196

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1647568/2055920 swapFree=4134184/4192956
[pid=19686] ppid=19684 vsize=46852 CPUtime=1421.96
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 11150 0 0 0 142175 21 0 0 25 0 1 0 146720274 47976448 10855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 11713 10855 138 317 0 11392 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 46852

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1646736/2055920 swapFree=4134248/4192956
[pid=19686] ppid=19684 vsize=47732 CPUtime=1481.93
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 11363 0 0 0 148172 21 0 0 25 0 1 0 146720274 48877568 11068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 11933 11068 138 317 0 11612 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 47732

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1645968/2055920 swapFree=4134248/4192956
[pid=19686] ppid=19684 vsize=48524 CPUtime=1541.92
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 11548 0 0 0 154170 22 0 0 25 0 1 0 146720274 49688576 11253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 12131 11253 138 317 0 11810 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 48524

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1645200/2055920 swapFree=4134248/4192956
[pid=19686] ppid=19684 vsize=49352 CPUtime=1601.91
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 11737 0 0 0 160168 23 0 0 25 0 1 0 146720274 50536448 11442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 12338 11442 138 317 0 12017 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 49352

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1644432/2055920 swapFree=4134312/4192956
[pid=19686] ppid=19684 vsize=50264 CPUtime=1661.89
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 11963 0 0 0 166166 23 0 0 25 0 1 0 146720274 51470336 11635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 12566 11635 138 317 0 12245 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 50264

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1643664/2055920 swapFree=4134312/4192956
[pid=19686] ppid=19684 vsize=50940 CPUtime=1721.88
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 12160 0 0 0 172164 24 0 0 25 0 1 0 146720274 52162560 11832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 12735 11832 138 317 0 12414 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 50940

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1642896/2055920 swapFree=4134376/4192956
[pid=19686] ppid=19684 vsize=51588 CPUtime=1781.86
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 12350 0 0 0 178162 24 0 0 25 0 1 0 146720274 52826112 12022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 12897 12022 138 317 0 12576 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 51588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 19687
/proc/meminfo: memFree=1642640/2055920 swapFree=4134376/4192956
[pid=19686] ppid=19684 vsize=51716 CPUtime=1800.06
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 12402 0 0 0 179982 24 0 0 25 0 1 0 146720274 52957184 12074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 12929 12074 138 317 0 12608 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 51716

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.96 3/79 19688
/proc/meminfo: memFree=1642632/2055920 swapFree=4134376/4192956
[pid=19686] ppid=19684 vsize=51716 CPUtime=1800.17
/proc/19686/stat : 19686 (oree) R 19684 19686 19629 0 -1 4194304 12402 0 0 0 179993 24 0 0 25 0 1 0 146720274 52957184 12074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19686/statm: 12929 12074 138 317 0 12608 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 51716

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.2
CPU user time (s): 1799.94
CPU system time (s): 0.25796
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 51716

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

runsolver used 2.04369 second user time and 4.51331 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Thu Apr 19 13:08:04 UTC 2007

IDJOB= 357138
IDBENCH= 2109
IDSOLVER= 172
FILE ID= node41/357138-1176988084

PBS_JOBID= 4630436

Free space on /tmp= 66347 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
COMMAND LINE= oree /tmp/evaluation/357138-1176988084/instance-357138-1176988084.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-357138-1176988084 -o ROOT/results/node41/solver-357138-1176988084 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357138-1176988084/instance-357138-1176988084.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  473e2cd0e31e48ba0932d7bd34857dd0

RANDOM SEED= 385308997

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1691176 kB
Buffers:         37068 kB
Cached:         244124 kB
SwapCached:       2640 kB
Active:         101212 kB
Inactive:       203192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1691176 kB
SwapTotal:     4192956 kB
SwapFree:      4133608 kB
Dirty:            1904 kB
Writeback:           0 kB
Mapped:          30976 kB
Slab:            45668 kB
Committed_AS:  2565096 kB
PageTables:       2008 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= 66347 MiB

End job on node41 on Thu Apr 19 13:38:07 UTC 2007