Trace number 431393

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.34 1801.1

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb
MD5SUMd6ad4e57f9bd4d3660efa4691d3e45da
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.25396
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 variables162
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a 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)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

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.00/0.00	c ...done
0.00/0.00	c #vars=648 #constraints=992 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.79/0.82	c restart after 401 decisions
1.00/1.00	c nbDecision=500 #constraints=1414
1.99/2.03	c restart after 801 decisions
2.49/2.58	c nbDecision=1000 #constraints=1871
3.98/4.03	c nbDecision=1500 #constraints=2366
4.19/4.27	c restart after 1601 decisions
6.39/6.47	c nbDecision=2000 #constraints=2833
10.09/10.11	c nbDecision=2500 #constraints=3322
11.88/11.93	c nbDecision=3000 #constraints=3813
12.69/12.72	c restart after 3201 decisions
14.59/14.63	c nbDecision=3500 #constraints=4271
18.28/18.36	c nbDecision=4000 #constraints=4760
21.78/21.87	c nbDecision=4500 #constraints=5260
27.18/27.23	c nbDecision=5000 #constraints=5758
29.98/30.02	c nbDecision=5500 #constraints=6247
31.28/31.33	c nbDecision=6000 #constraints=6730
33.17/33.27	c restart after 6401 decisions
34.28/34.34	c nbDecision=6500 #constraints=7180
40.47/40.58	c nbDecision=7000 #constraints=7661
43.88/43.93	c nbDecision=7500 #constraints=8143
48.37/48.47	c nbDecision=8000 #constraints=8637
52.07/52.15	c nbDecision=8500 #constraints=9089
58.67/58.79	c nbDecision=9000 #constraints=9568
70.66/70.73	c nbDecision=9500 #constraints=10068
83.66/83.74	c nbDecision=10000 #constraints=10565
94.96/95.10	c nbDecision=10500 #constraints=11057
111.35/111.46	c nbDecision=11000 #constraints=11551
132.25/132.31	c nbDecision=11500 #constraints=12027
155.73/155.83	c nbDecision=12000 #constraints=12525
183.73/183.83	c nbDecision=12500 #constraints=13029
194.22/194.35	c restart after 12801 decisions
196.51/196.62	c nbDecision=13000 #constraints=13485
204.22/204.32	c nbDecision=13500 #constraints=13960
218.91/219.07	c nbDecision=14000 #constraints=14464
249.80/249.93	c nbDecision=14500 #constraints=14949
288.28/288.46	c nbDecision=15000 #constraints=15444
318.78/318.91	c nbDecision=15500 #constraints=15924
365.76/365.93	c nbDecision=16000 #constraints=16425
401.85/402.00	c nbDecision=16500 #constraints=16881
446.72/446.97	c nbDecision=17000 #constraints=17365
491.61/491.87	c nbDecision=17500 #constraints=17841
525.40/525.69	c nbDecision=18000 #constraints=18279
572.98/573.27	c nbDecision=18500 #constraints=18779
623.66/623.97	c nbDecision=19000 #constraints=19276
672.95/673.30	c nbDecision=19500 #constraints=19776
717.83/718.19	c nbDecision=20000 #constraints=20252
764.81/765.10	c nbDecision=20500 #constraints=20740
820.41/820.87	c nbDecision=21000 #constraints=21238
852.48/852.91	c nbDecision=21500 #constraints=21701
881.67/882.14	c nbDecision=22000 #constraints=22161
951.84/952.31	c nbDecision=22500 #constraints=22643
1022.52/1023.06	c nbDecision=23000 #constraints=23144
1081.60/1082.17	c nbDecision=23500 #constraints=23636
1129.09/1129.66	c nbDecision=24000 #constraints=24084
1199.25/1199.81	c nbDecision=24500 #constraints=24582
1269.42/1270.05	c nbDecision=25000 #constraints=25081
1334.00/1334.65	c nbDecision=25500 #constraints=25571
1344.50/1345.18	c restart after 25601 decisions
1357.29/1357.99	c nbDecision=26000 #constraints=26003
1418.67/1419.35	c nbDecision=26500 #constraints=26443
1560.02/1560.79	c nbDecision=27000 #constraints=26922
1672.88/1673.64	c nbDecision=27500 #constraints=27394
1709.47/1710.20	c nbDecision=28000 #constraints=27886
1794.84/1795.67	c nbDecision=28500 #constraints=28389
1800.04/1800.80	Received signal 15
1800.24/1801.07	
1800.24/1801.07	s UNKNOWN
1800.24/1801.07	
1800.24/1801.07	c user time= 1799.91 s
1800.24/1801.07	c system time= 0.403938 s
1800.24/1801.07	c wall clock time=1801.07

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431393-1178005688/instance-431393-1178005688.opb
mv /tmp/evaluation/431393-1178005688/instance-431393-1178005688.opb.tmp /tmp/evaluation/431393-1178005688/instance-431393-1178005688.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node40/watcher-431393-1178005688 -o ROOT/results/node40/solver-431393-1178005688 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431393-1178005688/instance-431393-1178005688.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.84 0.99 0.99 3/77 20207
/proc/meminfo: memFree=1807072/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=1468 CPUtime=0
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 129448361 1503232 172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 367 172 132 317 0 46 0

[startup+0.067647 s]
/proc/loadavg: 0.84 0.99 0.99 3/77 20207
/proc/meminfo: memFree=1807072/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=1996 CPUtime=0.06
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 312 0 0 0 6 0 0 0 18 0 1 0 129448361 2043904 295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 499 295 139 317 0 178 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1996

[startup+0.101653 s]
/proc/loadavg: 0.84 0.99 0.99 3/77 20207
/proc/meminfo: memFree=1807072/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=1996 CPUtime=0.09
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 328 0 0 0 9 0 0 0 18 0 1 0 129448361 2043904 311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 499 311 139 317 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1996

[startup+0.301695 s]
/proc/loadavg: 0.84 0.99 0.99 3/77 20207
/proc/meminfo: memFree=1807072/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=2516 CPUtime=0.29
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 429 0 0 0 29 0 0 0 19 0 1 0 129448361 2576384 412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 629 412 139 317 0 308 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2516

[startup+0.701779 s]
/proc/loadavg: 0.84 0.99 0.99 3/77 20207
/proc/meminfo: memFree=1807072/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=3308 CPUtime=0.69
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 630 0 0 0 69 0 0 0 23 0 1 0 129448361 3387392 613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277232 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 827 613 139 317 0 506 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3308

[startup+1.50195 s]
/proc/loadavg: 0.84 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1804568/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=4492 CPUtime=1.49
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 942 0 0 0 149 0 0 0 25 0 1 0 129448361 4599808 925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 1123 925 139 317 0 802 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4492

[startup+3.10128 s]
/proc/loadavg: 0.86 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1802968/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=6876 CPUtime=3.09
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 1513 0 0 0 309 0 0 0 25 0 1 0 129448361 7041024 1496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278980 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 1719 1496 139 317 0 1398 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6876

[startup+6.30195 s]
/proc/loadavg: 0.86 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1798680/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=10280 CPUtime=6.29
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 2368 0 0 0 628 1 0 0 25 0 1 0 129448361 10526720 2351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 2570 2351 139 317 0 2249 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10280

[startup+12.7013 s]
/proc/loadavg: 0.87 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1793320/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=15712 CPUtime=12.69
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 3715 0 0 0 1266 3 0 0 25 0 1 0 129448361 16089088 3698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 3928 3698 139 317 0 3607 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15712

[startup+25.502 s]
/proc/loadavg: 0.90 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1785128/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=23200 CPUtime=25.48
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 5579 0 0 0 2544 4 0 0 25 0 1 0 129448361 23756800 5562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 5800 5562 139 317 0 5479 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23200

[startup+51.1013 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1770024/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=38852 CPUtime=51.07
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 9456 0 0 0 5099 8 0 0 25 0 1 0 129448361 39784448 9395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716163 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 9713 9395 170 317 0 9392 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38852

[startup+102.306 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1759592/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=49416 CPUtime=102.26
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 12014 0 0 0 10215 11 0 0 25 0 1 0 129448361 50601984 11953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 12354 11953 170 317 0 12033 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49416

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1753000/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=56420 CPUtime=162.23
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 13695 0 0 0 16211 12 0 0 25 0 1 0 129448361 57774080 13548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 14105 13548 170 317 0 13784 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 56420

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1745000/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=65020 CPUtime=222.21
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 15718 0 0 0 22206 15 0 0 25 0 1 0 129448361 66580480 15571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 16255 15571 170 317 0 15934 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 65020

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1741928/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=68508 CPUtime=282.19
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 16510 0 0 0 28203 16 0 0 25 0 1 0 129448361 70152192 16363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 17127 16363 170 317 0 16806 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 68508

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1737832/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=72760 CPUtime=342.16
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 17508 0 0 0 34199 17 0 0 25 0 1 0 129448361 74506240 17361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 18190 17361 170 317 0 17869 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 72760

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1734696/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=75856 CPUtime=402.15
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 18272 0 0 0 40196 19 0 0 25 0 1 0 129448361 77676544 18125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 18964 18125 170 317 0 18643 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 75856

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1731688/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=78976 CPUtime=462.12
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 19027 0 0 0 46192 20 0 0 25 0 1 0 129448361 80871424 18880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 19744 18880 170 317 0 19423 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 78976

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1728872/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=81832 CPUtime=522.1
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 19742 0 0 0 52190 20 0 0 25 0 1 0 129448361 83795968 19595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 20458 19595 170 317 0 20137 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 81832

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1726056/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=84688 CPUtime=582.08
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 20431 0 0 0 58186 22 0 0 25 0 1 0 129448361 86720512 20284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 21172 20284 170 317 0 20851 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 84688

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20208
/proc/meminfo: memFree=1723432/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=87444 CPUtime=642.06
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 21095 0 0 0 64184 22 0 0 25 0 1 0 129448361 89542656 20948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 21861 20948 170 317 0 21540 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 87444


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20406
/proc/meminfo: memFree=1710568/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=100880 CPUtime=881.87
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 24222 0 0 0 88159 28 0 0 25 0 1 0 129448361 103301120 24075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 25220 24075 170 317 0 24899 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 100880

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20406
/proc/meminfo: memFree=1708840/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=102844 CPUtime=941.85
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 24668 0 0 0 94156 29 0 0 25 0 1 0 129448361 105312256 24521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 25711 24521 170 317 0 25390 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 102844

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20406
/proc/meminfo: memFree=1706856/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=104812 CPUtime=1001.83
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 25137 0 0 0 100153 30 0 0 25 0 1 0 129448361 107327488 24990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 26203 24990 170 317 0 25882 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 104812

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20406
/proc/meminfo: memFree=1705064/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=106976 CPUtime=1061.8
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 25580 0 0 0 106150 30 0 0 25 0 1 0 129448361 109543424 25433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 26744 25433 170 317 0 26423 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 106976

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20406
/proc/meminfo: memFree=1702376/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=109980 CPUtime=1121.78
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 26373 0 0 0 112147 31 0 0 25 0 1 0 129448361 112619520 26127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 27495 26127 170 317 0 27174 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 109980

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20406
/proc/meminfo: memFree=1700392/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=112128 CPUtime=1181.76
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 26890 0 0 0 118144 32 0 0 25 0 1 0 129448361 114819072 26611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 28032 26611 170 317 0 27711 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 112128

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20406
/proc/meminfo: memFree=1698600/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=113784 CPUtime=1241.74
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 27326 0 0 0 124141 33 0 0 25 0 1 0 129448361 116514816 27047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 28446 27047 170 317 0 28125 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 113784

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20406
/proc/meminfo: memFree=1696744/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=116552 CPUtime=1301.72
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 28015 0 0 0 130138 34 0 0 25 0 1 0 129448361 119349248 27532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 29138 27532 170 317 0 28817 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 116552

[startup+1362.3 s]
/proc/loadavg: 1.04 1.00 0.99 2/78 20406
/proc/meminfo: memFree=1693352/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=120164 CPUtime=1361.69
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 28877 0 0 0 136134 35 0 0 25 0 1 0 129448361 123047936 28394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 30041 28394 170 317 0 29720 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 120164

[startup+1422.31 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 20406
/proc/meminfo: memFree=1691688/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=121744 CPUtime=1421.67
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 29269 0 0 0 142132 35 0 0 25 0 1 0 129448361 124665856 28786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 30436 28786 170 317 0 30115 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 121744

[startup+1482.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 20406
/proc/meminfo: memFree=1690920/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=122528 CPUtime=1481.65
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 29447 0 0 0 148129 36 0 0 25 0 1 0 129448361 125468672 28964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 30632 28964 170 317 0 30311 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 122528

[startup+1542.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/78 20406
/proc/meminfo: memFree=1690152/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=123572 CPUtime=1541.63
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 29695 0 0 0 154126 37 0 0 25 0 1 0 129448361 126537728 29179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 30893 29179 170 317 0 30572 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 123572

[startup+1602.3 s]
/proc/loadavg: 1.13 1.05 1.01 2/78 20406
/proc/meminfo: memFree=1689064/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=124548 CPUtime=1601.61
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 29935 0 0 0 160124 37 0 0 25 0 1 0 129448361 127537152 29419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 31137 29419 170 317 0 30816 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 124548

[startup+1662.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/78 20406
/proc/meminfo: memFree=1688104/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=125596 CPUtime=1661.59
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 30192 0 0 0 166121 38 0 0 25 0 1 0 129448361 128610304 29676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 31399 29676 170 317 0 31078 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 125596

[startup+1722.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 20406
/proc/meminfo: memFree=1685544/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=127796 CPUtime=1721.56
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 30827 0 0 0 172117 39 0 0 25 0 1 0 129448361 130863104 30311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 31949 30311 170 317 0 31628 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 127796

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 20406
/proc/meminfo: memFree=1684072/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=129168 CPUtime=1781.55
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 31173 0 0 0 178115 40 0 0 25 0 1 0 129448361 132268032 30657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 32292 30657 170 317 0 31971 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 129168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 20408
/proc/meminfo: memFree=1683624/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=129560 CPUtime=1800.04
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 31278 0 0 0 179964 40 0 0 25 0 1 0 129448361 132669440 30762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 32390 30762 170 317 0 32069 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 129560

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 20408
/proc/meminfo: memFree=1683624/2055920 swapFree=4157412/4192956
[pid=20207] ppid=20205 vsize=129560 CPUtime=1800.24
/proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 31280 0 0 0 179984 40 0 0 25 0 1 0 129448361 132669440 30764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20207/statm: 32390 30764 170 317 0 32069 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 129560

Child status: 0
Real time (s): 1801.1
CPU time (s): 1800.34
CPU user time (s): 1799.92
CPU system time (s): 0.424935
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 129560

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

runsolver used 1.39979 second user time and 4.02539 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Tue May  1 07:48:08 UTC 2007

IDJOB= 431393
IDBENCH= 48048
IDSOLVER= 172
FILE ID= node40/431393-1178005688

PBS_JOBID= 4728292

Free space on /tmp= 66543 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb
COMMAND LINE= oree /tmp/evaluation/431393-1178005688/instance-431393-1178005688.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node40/convwatcher-431393-1178005688 -o ROOT/results/node40/conversion-431393-1178005688 -C 600 -M 1800 /tmp/evaluation/431393-1178005688/substituteSizeProductKeyword /tmp/evaluation/431393-1178005688/instance-431393-1178005688.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-431393-1178005688 -o ROOT/results/node40/solver-431393-1178005688 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/431393-1178005688/instance-431393-1178005688.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  d6ad4e57f9bd4d3660efa4691d3e45da

RANDOM SEED= 722902256

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.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.283
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.283
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:       1807480 kB
Buffers:         28748 kB
Cached:         132416 kB
SwapCached:      15024 kB
Active:          56884 kB
Inactive:       126944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1807480 kB
SwapTotal:     4192956 kB
SwapFree:      4157412 kB
Dirty:            1548 kB
Writeback:           0 kB
Mapped:          29544 kB
Slab:            49948 kB
Committed_AS:  1191796 kB
PageTables:       1932 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= 66543 MiB

End job on node40 on Tue May  1 08:18:11 UTC 2007