Trace number 431715

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.16 1801.33

General information on the benchmark

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

Solver Data (download as text)

0.00/0.00	c 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=324 #constraints=452 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.20/0.26	c restart after 401 decisions
0.30/0.32	c nbDecision=500 #constraints=879
0.50/0.58	c restart after 801 decisions
0.70/0.75	c nbDecision=1000 #constraints=1322
1.10/1.15	c nbDecision=1500 #constraints=1782
1.20/1.24	c restart after 1601 decisions
1.60/1.66	c nbDecision=2000 #constraints=2179
2.49/2.55	c nbDecision=2500 #constraints=2657
3.69/3.78	c nbDecision=3000 #constraints=3111
4.39/4.43	c restart after 3201 decisions
5.49/5.51	c nbDecision=3500 #constraints=3554
8.70/8.72	c nbDecision=4000 #constraints=3996
12.69/12.76	c nbDecision=4500 #constraints=4440
17.58/17.67	c nbDecision=5000 #constraints=4907
24.08/24.16	c nbDecision=5500 #constraints=5383
32.47/32.57	c nbDecision=6000 #constraints=5831
41.17/41.21	c restart after 6401 decisions
42.47/42.51	c nbDecision=6500 #constraints=6253
53.66/53.75	c nbDecision=7000 #constraints=6723
68.35/68.44	c nbDecision=7500 #constraints=7176
84.05/84.19	c nbDecision=8000 #constraints=7634
104.43/104.56	c nbDecision=8500 #constraints=8121
122.61/122.71	c nbDecision=9000 #constraints=8561
144.60/144.74	c nbDecision=9500 #constraints=9041
168.68/168.88	c nbDecision=10000 #constraints=9536
181.17/181.39	c nbDecision=10500 #constraints=10006
202.45/202.67	c nbDecision=11000 #constraints=10456
230.24/230.40	c nbDecision=11500 #constraints=10923
257.32/257.53	c nbDecision=12000 #constraints=11386
287.80/288.05	c nbDecision=12500 #constraints=11861
308.68/308.94	c restart after 12801 decisions
318.47/318.79	c nbDecision=13000 #constraints=12303
347.86/348.10	c nbDecision=13500 #constraints=12765
379.83/380.15	c nbDecision=14000 #constraints=13258
417.81/418.16	c nbDecision=14500 #constraints=13716
456.48/456.80	c nbDecision=15000 #constraints=14168
498.45/498.85	c nbDecision=15500 #constraints=14620
536.33/536.70	c nbDecision=16000 #constraints=15084
565.02/565.47	c nbDecision=16500 #constraints=15523
609.49/609.93	c nbDecision=17000 #constraints=16008
654.46/654.95	c nbDecision=17500 #constraints=16480
701.93/702.45	c nbDecision=18000 #constraints=16938
753.19/753.71	c nbDecision=18500 #constraints=17414
797.47/798.06	c nbDecision=19000 #constraints=17835
852.72/853.33	c nbDecision=19500 #constraints=18305
899.49/900.13	c nbDecision=20000 #constraints=18751
962.36/963.06	c nbDecision=20500 #constraints=19245
1022.22/1022.93	c nbDecision=21000 #constraints=19725
1085.97/1086.77	c nbDecision=21500 #constraints=20206
1150.63/1151.46	c nbDecision=22000 #constraints=20687
1198.10/1198.99	c nbDecision=22500 #constraints=21127
1213.98/1214.84	c nbDecision=23000 #constraints=21602
1233.68/1234.56	c nbDecision=23500 #constraints=22074
1256.36/1257.25	c nbDecision=24000 #constraints=22541
1272.85/1273.73	c nbDecision=24500 #constraints=23003
1297.44/1298.30	c nbDecision=25000 #constraints=23437
1325.13/1326.02	c nbDecision=25500 #constraints=23924
1330.23/1331.10	c restart after 25601 decisions
1344.42/1345.33	c nbDecision=26000 #constraints=24368
1371.49/1372.48	c nbDecision=26500 #constraints=24811
1403.97/1404.96	c nbDecision=27000 #constraints=25282
1436.84/1437.86	c nbDecision=27500 #constraints=25725
1471.33/1472.33	c nbDecision=28000 #constraints=26185
1500.51/1501.54	c nbDecision=28500 #constraints=26632
1534.29/1535.31	c nbDecision=29000 #constraints=27069
1601.45/1602.56	c nbDecision=29500 #constraints=27525
1666.01/1667.11	c nbDecision=30000 #constraints=27944
1721.67/1722.85	c nbDecision=30500 #constraints=28394
1763.84/1765.03	c nbDecision=31000 #constraints=28816
1793.53/1794.73	c nbDecision=31500 #constraints=29262
1800.02/1801.20	Received signal 15
1800.12/1801.31	
1800.12/1801.31	s UNKNOWN
1800.12/1801.31	
1800.12/1801.31	c user time= 1799.86 s
1800.12/1801.31	c system time= 0.289955 s
1800.12/1801.31	c wall clock time=1801.31

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431715-1178009384/instance-431715-1178009384.opb
mv /tmp/evaluation/431715-1178009384/instance-431715-1178009384.opb.tmp /tmp/evaluation/431715-1178009384/instance-431715-1178009384.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node63/watcher-431715-1178009384 -o ROOT/results/node63/solver-431715-1178009384 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431715-1178009384/instance-431715-1178009384.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.91 0.95 0.97 3/64 21299
/proc/meminfo: memFree=1800684/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=1608 CPUtime=0
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 213 0 0 0 0 0 0 0 18 0 1 0 276928347 1646592 196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602880 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 402 196 137 317 0 81 0

[startup+0.0763299 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 21299
/proc/meminfo: memFree=1800684/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=1868 CPUtime=0.07
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 274 0 0 0 7 0 0 0 18 0 1 0 276928347 1912832 257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 467 257 139 317 0 146 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1868

[startup+0.10133 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 21299
/proc/meminfo: memFree=1800684/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=1868 CPUtime=0.1
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 291 0 0 0 10 0 0 0 18 0 1 0 276928347 1912832 274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718715 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 467 274 139 317 0 146 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1868

[startup+0.301352 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 21299
/proc/meminfo: memFree=1800684/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=2548 CPUtime=0.3
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 447 0 0 0 30 0 0 0 20 0 1 0 276928347 2609152 430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 637 430 139 317 0 316 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2548

[startup+0.701394 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 21299
/proc/meminfo: memFree=1800684/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=3480 CPUtime=0.7
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 682 0 0 0 70 0 0 0 24 0 1 0 276928347 3563520 665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 870 665 139 317 0 549 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 3480

[startup+1.50148 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 21300
/proc/meminfo: memFree=1797796/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=5312 CPUtime=1.5
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 1140 0 0 0 150 0 0 0 25 0 1 0 276928347 5439488 1123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713827 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 1328 1123 139 317 0 1007 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 5312

[startup+3.10165 s]
/proc/loadavg: 0.92 0.95 0.97 2/65 21300
/proc/meminfo: memFree=1795684/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=7328 CPUtime=3.09
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 1671 0 0 0 309 0 0 0 25 0 1 0 276928347 7503872 1654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 1832 1654 170 317 0 1511 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7328

[startup+6.30199 s]
/proc/loadavg: 0.92 0.95 0.97 2/65 21300
/proc/meminfo: memFree=1792932/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=9152 CPUtime=6.29
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 2112 0 0 0 629 0 0 0 25 0 1 0 276928347 9371648 2095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 2288 2095 170 317 0 1967 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9152

[startup+12.7017 s]
/proc/loadavg: 0.93 0.96 0.97 2/65 21300
/proc/meminfo: memFree=1790756/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=11132 CPUtime=12.69
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 2576 0 0 0 1268 1 0 0 25 0 1 0 276928347 11399168 2559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 2783 2559 170 317 0 2462 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11132

[startup+25.502 s]
/proc/loadavg: 0.94 0.96 0.97 2/65 21300
/proc/meminfo: memFree=1788260/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=13808 CPUtime=25.47
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 3219 0 0 0 2546 1 0 0 25 0 1 0 276928347 14139392 3202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 3452 3202 170 317 0 3131 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 13808

[startup+51.1017 s]
/proc/loadavg: 0.96 0.96 0.97 2/65 21300
/proc/meminfo: memFree=1785572/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=16564 CPUtime=51.06
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 3898 0 0 0 5104 2 0 0 25 0 1 0 276928347 16961536 3881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711195 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 4141 3881 170 317 0 3820 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 16564

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.97 2/65 21300
/proc/meminfo: memFree=1782116/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=19940 CPUtime=102.23
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 4728 0 0 0 10220 3 0 0 25 0 1 0 276928347 20418560 4711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 4985 4711 170 317 0 4664 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 19940

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21300
/proc/meminfo: memFree=1778980/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=23620 CPUtime=162.19
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 5564 0 0 0 16215 4 0 0 25 0 1 0 276928347 24186880 5489 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 5905 5489 170 317 0 5584 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 23620

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21300
/proc/meminfo: memFree=1775844/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=26704 CPUtime=222.14
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 6350 0 0 0 22209 5 0 0 25 0 1 0 276928347 27344896 6275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 6676 6275 170 317 0 6355 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 26704

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21300
/proc/meminfo: memFree=1773540/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=29036 CPUtime=282.1
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 6932 0 0 0 28205 5 0 0 25 0 1 0 276928347 29732864 6857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 7259 6857 170 317 0 6938 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 29036

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21300
/proc/meminfo: memFree=1771172/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=31688 CPUtime=342.07
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 7508 0 0 0 34201 6 0 0 25 0 1 0 276928347 32448512 7433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 7922 7433 170 317 0 7601 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 31688

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21300
/proc/meminfo: memFree=1769316/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=33584 CPUtime=402.01
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 7975 0 0 0 40195 6 0 0 25 0 1 0 276928347 34390016 7900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 8396 7900 170 317 0 8075 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 33584

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21300
/proc/meminfo: memFree=1767524/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=35396 CPUtime=461.98
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 8405 0 0 0 46192 6 0 0 25 0 1 0 276928347 36245504 8330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 8849 8330 170 317 0 8528 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 35396

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21300
/proc/meminfo: memFree=1765924/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=36852 CPUtime=521.93
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 8790 0 0 0 52187 6 0 0 25 0 1 0 276928347 37736448 8715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 9213 8715 170 317 0 8892 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 36852

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21300
/proc/meminfo: memFree=1764132/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=38748 CPUtime=581.9
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 9251 0 0 0 58183 7 0 0 25 0 1 0 276928347 39677952 9176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 9687 9176 170 317 0 9366 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 38748

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21300
/proc/meminfo: memFree=1762596/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=40328 CPUtime=641.87
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 9622 0 0 0 64180 7 0 0 25 0 1 0 276928347 41295872 9547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 10082 9547 170 317 0 9761 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 40328


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1757284/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=46284 CPUtime=881.71
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 11002 0 0 0 88150 21 0 0 25 0 1 0 276928347 47394816 10813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 11571 10813 170 317 0 11250 0
Current children cumulated CPU time (s) 881.71
Current children cumulated vsize (KiB) 46284

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1756132/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=47512 CPUtime=941.66
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 11288 0 0 0 94145 21 0 0 25 0 1 0 276928347 48652288 11099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 11878 11099 170 317 0 11557 0
Current children cumulated CPU time (s) 941.66
Current children cumulated vsize (KiB) 47512

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1754916/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=48740 CPUtime=1001.62
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 11589 0 0 0 100140 22 0 0 25 0 1 0 276928347 49909760 11400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 12185 11400 170 317 0 11864 0
Current children cumulated CPU time (s) 1001.62
Current children cumulated vsize (KiB) 48740

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1753892/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=49796 CPUtime=1061.59
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 11877 0 0 0 106137 22 0 0 25 0 1 0 276928347 50991104 11688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 12449 11688 170 317 0 12128 0
Current children cumulated CPU time (s) 1061.59
Current children cumulated vsize (KiB) 49796

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1752868/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=50720 CPUtime=1121.54
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 12136 0 0 0 112132 22 0 0 25 0 1 0 276928347 51937280 11914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 12680 11914 170 317 0 12359 0
Current children cumulated CPU time (s) 1121.54
Current children cumulated vsize (KiB) 50720

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1751908/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=51820 CPUtime=1181.5
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 12397 0 0 0 118127 23 0 0 25 0 1 0 276928347 53063680 12175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 12955 12175 170 317 0 12634 0
Current children cumulated CPU time (s) 1181.5
Current children cumulated vsize (KiB) 51820

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1748516/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=55240 CPUtime=1241.48
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 13211 0 0 0 124124 24 0 0 25 0 1 0 276928347 56565760 12989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 13810 12989 170 317 0 13489 0
Current children cumulated CPU time (s) 1241.48
Current children cumulated vsize (KiB) 55240

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1745636/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=58112 CPUtime=1301.43
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 13932 0 0 0 130119 24 0 0 25 0 1 0 276928347 59506688 13710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 14528 13710 170 317 0 14207 0
Current children cumulated CPU time (s) 1301.43
Current children cumulated vsize (KiB) 58112

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1742884/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=61032 CPUtime=1361.39
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 14648 0 0 0 136114 25 0 0 25 0 1 0 276928347 62496768 14393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 15258 14393 170 317 0 14937 0
Current children cumulated CPU time (s) 1361.39
Current children cumulated vsize (KiB) 61032

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1740964/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=62976 CPUtime=1421.36
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 15129 0 0 0 142110 26 0 0 25 0 1 0 276928347 64487424 14874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 15744 14874 170 317 0 15423 0
Current children cumulated CPU time (s) 1421.36
Current children cumulated vsize (KiB) 62976

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1739108/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=64944 CPUtime=1481.32
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 15586 0 0 0 148106 26 0 0 25 0 1 0 276928347 66502656 15331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718521 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 16236 15331 170 317 0 15915 0
Current children cumulated CPU time (s) 1481.32
Current children cumulated vsize (KiB) 64944

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1737252/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=67876 CPUtime=1541.29
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 16178 0 0 0 154102 27 0 0 25 0 1 0 276928347 69505024 15923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 16969 15923 170 317 0 16648 0
Current children cumulated CPU time (s) 1541.29
Current children cumulated vsize (KiB) 67876

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1735780/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=68660 CPUtime=1601.25
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 16412 0 0 0 160098 27 0 0 25 0 1 0 276928347 70307840 16157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 17165 16157 170 317 0 16844 0
Current children cumulated CPU time (s) 1601.25
Current children cumulated vsize (KiB) 68660

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1734820/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=69836 CPUtime=1661.21
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 16684 0 0 0 166093 28 0 0 25 0 1 0 276928347 71512064 16396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 17459 16396 170 317 0 17138 0
Current children cumulated CPU time (s) 1661.21
Current children cumulated vsize (KiB) 69836

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1733604/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=71020 CPUtime=1721.17
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 16999 0 0 0 172089 28 0 0 25 0 1 0 276928347 72724480 16711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 17755 16711 170 317 0 17434 0
Current children cumulated CPU time (s) 1721.17
Current children cumulated vsize (KiB) 71020

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1731812/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=72648 CPUtime=1781.13
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 17409 0 0 0 178085 28 0 0 25 0 1 0 276928347 74391552 17121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 18162 17121 170 317 0 17841 0
Current children cumulated CPU time (s) 1781.13
Current children cumulated vsize (KiB) 72648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1731300/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=73300 CPUtime=1800.02
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 17540 0 0 0 179974 28 0 0 25 0 1 0 276928347 75059200 17252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 18325 17252 170 317 0 18004 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 73300

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

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

[startup+1801.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21498
/proc/meminfo: memFree=1731300/2055920 swapFree=4182900/4192956
[pid=21299] ppid=21297 vsize=73300 CPUtime=1800.12
/proc/21299/stat : 21299 (oree) R 21297 21299 20873 0 -1 4194304 17540 0 0 0 179984 28 0 0 25 0 1 0 276928347 75059200 17252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21299/statm: 18325 17252 170 317 0 18004 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 73300

Child status: 0
Real time (s): 1801.33
CPU time (s): 1800.16
CPU user time (s): 1799.86
CPU system time (s): 0.300954
CPU usage (%): 99.935
Max. virtual memory (cumulated for all children) (KiB): 73300

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

runsolver used 1.82572 second user time and 4.73628 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Tue May  1 08:49:44 UTC 2007

IDJOB= 431715
IDBENCH= 48071
IDSOLVER= 172
FILE ID= node63/431715-1178009384

PBS_JOBID= 4728295

Free space on /tmp= 66563 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=6-P0=59-P1=23-P2=2-P3=37-P4=53-P5=47-P6=31-B.opb
COMMAND LINE= oree /tmp/evaluation/431715-1178009384/instance-431715-1178009384.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node63/convwatcher-431715-1178009384 -o ROOT/results/node63/conversion-431715-1178009384 -C 600 -M 1800 /tmp/evaluation/431715-1178009384/substituteSizeProductKeyword /tmp/evaluation/431715-1178009384/instance-431715-1178009384.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  445adcd085eba01c07f588612cad2d76

RANDOM SEED= 548248639

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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:       1801028 kB
Buffers:         18700 kB
Cached:         160292 kB
SwapCached:       3860 kB
Active:          53472 kB
Inactive:       135064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801028 kB
SwapTotal:     4192956 kB
SwapFree:      4182900 kB
Dirty:            1312 kB
Writeback:           0 kB
Mapped:          15472 kB
Slab:            52284 kB
Committed_AS:  2408572 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB

End job on node63 on Tue May  1 09:19:48 UTC 2007