Trace number 429321

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.11 1800.87

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=47-P1=47-P2=67-P3=3-P4=41-P5=53-P6=31-P7=3-P8=41-P9=23-B.opb
MD5SUM015e1ad727429fbf28fe61f3a93025c8
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.113982
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 constraints19
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 constraints19
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)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

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=486 #constraints=677 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.19/0.28	c restart after 401 decisions
0.29/0.34	c nbDecision=500 #constraints=1107
0.49/0.58	c restart after 801 decisions
0.69/0.72	c nbDecision=1000 #constraints=1512
1.09/1.12	c nbDecision=1500 #constraints=1971
1.19/1.23	c restart after 1601 decisions
1.49/1.58	c nbDecision=2000 #constraints=2397
2.19/2.20	c nbDecision=2500 #constraints=2847
3.09/3.14	c nbDecision=3000 #constraints=3297
3.59/3.68	c restart after 3201 decisions
3.99/4.05	c nbDecision=3500 #constraints=3728
6.19/6.25	c nbDecision=4000 #constraints=4176
9.09/9.19	c nbDecision=4500 #constraints=4593
13.09/13.19	c nbDecision=5000 #constraints=5056
18.38/18.47	c nbDecision=5500 #constraints=5487
25.48/25.55	c nbDecision=6000 #constraints=5936
33.58/33.62	c restart after 6401 decisions
33.78/33.88	c nbDecision=6500 #constraints=6376
40.58/40.65	c nbDecision=7000 #constraints=6846
51.67/51.77	c nbDecision=7500 #constraints=7312
64.37/64.48	c nbDecision=8000 #constraints=7733
77.57/77.67	c nbDecision=8500 #constraints=8181
92.06/92.18	c nbDecision=9000 #constraints=8649
108.55/108.65	c nbDecision=9500 #constraints=9136
126.75/126.88	c nbDecision=10000 #constraints=9604
145.24/145.36	c nbDecision=10500 #constraints=10047
165.83/165.99	c nbDecision=11000 #constraints=10497
189.63/189.73	c nbDecision=11500 #constraints=10973
213.02/213.17	c nbDecision=12000 #constraints=11427
239.20/239.33	c nbDecision=12500 #constraints=11885
255.80/255.90	c restart after 12801 decisions
256.60/256.77	c nbDecision=13000 #constraints=12310
288.88/289.06	c nbDecision=13500 #constraints=12775
307.98/308.10	c nbDecision=14000 #constraints=13253
341.17/341.34	c nbDecision=14500 #constraints=13710
373.26/373.42	c nbDecision=15000 #constraints=14171
413.15/413.34	c nbDecision=15500 #constraints=14662
452.23/452.48	c nbDecision=16000 #constraints=15135
492.42/492.69	c nbDecision=16500 #constraints=15570
529.71/529.92	c nbDecision=17000 #constraints=16030
573.38/573.64	c nbDecision=17500 #constraints=16511
620.87/621.18	c nbDecision=18000 #constraints=17005
668.46/668.73	c nbDecision=18500 #constraints=17487
721.53/721.85	c nbDecision=19000 #constraints=17946
773.92/774.26	c nbDecision=19500 #constraints=18434
830.30/830.61	c nbDecision=20000 #constraints=18894
888.28/888.67	c nbDecision=20500 #constraints=19383
942.26/942.66	c nbDecision=21000 #constraints=19825
1000.04/1000.44	c nbDecision=21500 #constraints=20290
1061.61/1062.05	c nbDecision=22000 #constraints=20747
1128.40/1128.83	c nbDecision=22500 #constraints=21238
1197.07/1197.52	c nbDecision=23000 #constraints=21723
1256.05/1256.58	c nbDecision=23500 #constraints=22216
1267.04/1267.59	c nbDecision=24000 #constraints=22658
1288.14/1288.62	c nbDecision=24500 #constraints=23100
1302.13/1302.67	c nbDecision=25000 #constraints=23581
1322.62/1323.17	c nbDecision=25500 #constraints=24074
1325.92/1326.41	c restart after 25601 decisions
1330.62/1331.12	c nbDecision=26000 #constraints=24509
1348.22/1348.76	c nbDecision=26500 #constraints=24973
1369.30/1369.80	c nbDecision=27000 #constraints=25414
1397.10/1397.62	c nbDecision=27500 #constraints=25863
1421.38/1421.96	c nbDecision=28000 #constraints=26296
1448.19/1448.73	c nbDecision=28500 #constraints=26767
1482.87/1483.46	c nbDecision=29000 #constraints=27253
1510.56/1511.13	c nbDecision=29500 #constraints=27736
1540.15/1540.76	c nbDecision=30000 #constraints=28185
1569.64/1570.24	c nbDecision=30500 #constraints=28610
1599.53/1600.12	c nbDecision=31000 #constraints=29093
1636.42/1637.01	c nbDecision=31500 #constraints=29565
1674.71/1675.35	c nbDecision=32000 #constraints=30033
1708.70/1709.40	c nbDecision=32500 #constraints=30515
1751.44/1752.14	c nbDecision=33000 #constraints=30984
1800.03/1800.80	Received signal 15
1800.03/1800.84	
1800.03/1800.84	s UNKNOWN
1800.03/1800.84	
1800.03/1800.84	c user time= 1799.75 s
1800.03/1800.84	c system time= 0.336948 s
1800.03/1800.84	c wall clock time=1800.85

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429321-1177983116/instance-429321-1177983116.opb
mv /tmp/evaluation/429321-1177983116/instance-429321-1177983116.opb.tmp /tmp/evaluation/429321-1177983116/instance-429321-1177983116.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node20/watcher-429321-1177983116 -o ROOT/results/node20/solver-429321-1177983116 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429321-1177983116/instance-429321-1177983116.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: 1.00 1.00 0.91 3/77 6002
/proc/meminfo: memFree=1822448/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=1468 CPUtime=0
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 246228957 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 367 174 132 317 0 46 0

[startup+0.0301961 s]
/proc/loadavg: 1.00 1.00 0.91 3/77 6002
/proc/meminfo: memFree=1822448/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=1732 CPUtime=0.02
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 261 0 0 0 2 0 0 0 18 0 1 0 246228957 1773568 244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 433 244 139 317 0 112 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1732

[startup+0.10121 s]
/proc/loadavg: 1.00 1.00 0.91 3/77 6002
/proc/meminfo: memFree=1822448/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=1996 CPUtime=0.09
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 311 0 0 0 9 0 0 0 18 0 1 0 246228957 2043904 294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 499 294 139 317 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1996

[startup+0.301249 s]
/proc/loadavg: 1.00 1.00 0.91 3/77 6002
/proc/meminfo: memFree=1822448/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=2512 CPUtime=0.29
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 452 0 0 0 29 0 0 0 19 0 1 0 246228957 2572288 435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278945 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 628 435 139 317 0 307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2512

[startup+0.70133 s]
/proc/loadavg: 1.00 1.00 0.91 3/77 6002
/proc/meminfo: memFree=1822448/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=3492 CPUtime=0.69
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 695 0 0 0 69 0 0 0 23 0 1 0 246228957 3575808 678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 873 678 139 317 0 552 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3492

[startup+1.50149 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 6003
/proc/meminfo: memFree=1819368/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=5488 CPUtime=1.49
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 1199 0 0 0 149 0 0 0 25 0 1 0 246228957 5619712 1182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 1372 1182 170 317 0 1051 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5488

[startup+3.10181 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 6003
/proc/meminfo: memFree=1817064/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=7868 CPUtime=3.09
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 1791 0 0 0 308 1 0 0 25 0 1 0 246228957 8056832 1774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 1967 1774 170 317 0 1646 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7868

[startup+6.30145 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 6003
/proc/meminfo: memFree=1813992/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=9868 CPUtime=6.29
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 2300 0 0 0 628 1 0 0 25 0 1 0 246228957 10104832 2283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 2467 2283 170 317 0 2146 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9868

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 6003
/proc/meminfo: memFree=1811880/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=11932 CPUtime=12.69
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 2801 0 0 0 1267 2 0 0 25 0 1 0 246228957 12218368 2784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 2983 2784 170 317 0 2662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11932

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 6003
/proc/meminfo: memFree=1809320/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=14364 CPUtime=25.48
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 3392 0 0 0 2545 3 0 0 25 0 1 0 246228957 14708736 3375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 3591 3375 170 317 0 3270 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14364

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 6003
/proc/meminfo: memFree=1806184/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=17696 CPUtime=51.07
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 4170 0 0 0 5104 3 0 0 25 0 1 0 246228957 18120704 4153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718329 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 4424 4153 170 317 0 4103 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17696

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 6003
/proc/meminfo: memFree=1802216/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=21824 CPUtime=102.26
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 5208 0 0 0 10221 5 0 0 25 0 1 0 246228957 22347776 5133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 5456 5133 170 317 0 5135 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21824

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 6003
/proc/meminfo: memFree=1798952/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=25224 CPUtime=162.23
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 6014 0 0 0 16217 6 0 0 25 0 1 0 246228957 25829376 5939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 6306 5939 170 317 0 5985 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 25224

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 6003
/proc/meminfo: memFree=1796264/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=27952 CPUtime=222.21
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 6685 0 0 0 22214 7 0 0 25 0 1 0 246228957 28622848 6610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 6988 6610 170 317 0 6667 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 27952

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 6003
/proc/meminfo: memFree=1793832/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=30492 CPUtime=282.19
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 7290 0 0 0 28211 8 0 0 25 0 1 0 246228957 31223808 7215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 7623 7215 170 317 0 7302 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 30492

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 6003
/proc/meminfo: memFree=1791400/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=32848 CPUtime=342.17
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 7882 0 0 0 34208 9 0 0 25 0 1 0 246228957 33636352 7807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 8212 7807 170 317 0 7891 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 32848

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 6003
/proc/meminfo: memFree=1789608/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=34752 CPUtime=402.15
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 8343 0 0 0 40204 11 0 0 25 0 1 0 246228957 35586048 8268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 8688 8268 170 317 0 8367 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 34752

[startup+462.302 s]
/proc/loadavg: 1.05 1.01 0.92 2/78 6003
/proc/meminfo: memFree=1787560/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=37108 CPUtime=462.12
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 8849 0 0 0 46201 11 0 0 25 0 1 0 246228957 37998592 8774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 9277 8774 170 317 0 8956 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 37108

[startup+522.302 s]
/proc/loadavg: 1.02 1.01 0.92 2/78 6003
/proc/meminfo: memFree=1786024/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=38596 CPUtime=522.1
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 9223 0 0 0 52198 12 0 0 25 0 1 0 246228957 39522304 9148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 9649 9148 170 317 0 9328 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 38596

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1784424/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=40088 CPUtime=582.08
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 9601 0 0 0 58195 13 0 0 25 0 1 0 246228957 41050112 9526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 10022 9526 170 317 0 9701 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 40088

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1782888/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=42252 CPUtime=642.07
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 10103 0 0 0 64193 14 0 0 25 0 1 0 246228957 43266048 9914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 10563 9914 170 317 0 10242 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 42252


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1778984/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=46340 CPUtime=822
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 11080 0 0 0 82183 17 0 0 25 0 1 0 246228957 47452160 10891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 11585 10891 170 317 0 11264 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 46340

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1777832/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=47520 CPUtime=881.98
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 11369 0 0 0 88180 18 0 0 25 0 1 0 246228957 48660480 11180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 11880 11180 170 317 0 11559 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 47520

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1776680/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=48872 CPUtime=941.96
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 11668 0 0 0 94178 18 0 0 25 0 1 0 246228957 50044928 11479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 12218 11479 170 317 0 11897 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 48872

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1775592/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=49928 CPUtime=1001.94
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 11953 0 0 0 100175 19 0 0 25 0 1 0 246228957 51126272 11764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 12482 11764 170 317 0 12161 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 49928

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1774568/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=50976 CPUtime=1061.91
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 12219 0 0 0 106172 19 0 0 25 0 1 0 246228957 52199424 12030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 12744 12030 170 317 0 12423 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 50976

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1773480/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=52064 CPUtime=1121.89
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 12488 0 0 0 112169 20 0 0 25 0 1 0 246228957 53313536 12299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 13016 12299 170 317 0 12695 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 52064

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1772456/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=53260 CPUtime=1181.87
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 12767 0 0 0 118166 21 0 0 25 0 1 0 246228957 54538240 12545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715680 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 13315 12545 170 317 0 12994 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 53260

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1771368/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=54168 CPUtime=1241.85
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 13015 0 0 0 124163 22 0 0 25 0 1 0 246228957 55468032 12793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 13542 12793 170 317 0 13221 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 54168

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1767720/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=57984 CPUtime=1301.83
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 13927 0 0 0 130160 23 0 0 25 0 1 0 246228957 59375616 13705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 14496 13705 170 317 0 14175 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 57984

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1763816/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=61984 CPUtime=1361.81
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 14898 0 0 0 136156 25 0 0 25 0 1 0 246228957 63471616 14676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 15496 14676 170 317 0 15175 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 61984

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1761320/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=64396 CPUtime=1421.8
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 15517 0 0 0 142153 27 0 0 25 0 1 0 246228957 65941504 15295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 16099 15295 170 317 0 15778 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 64396

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1759144/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=66752 CPUtime=1481.77
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 16070 0 0 0 148150 27 0 0 25 0 1 0 246228957 68354048 15848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 16688 15848 170 317 0 16367 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 66752

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1756840/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=69252 CPUtime=1541.75
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 16664 0 0 0 154147 28 0 0 25 0 1 0 246228957 70914048 16409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 17313 16409 170 317 0 16992 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 69252

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1754344/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=72356 CPUtime=1601.73
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 17304 0 0 0 160144 29 0 0 25 0 1 0 246228957 74092544 17049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 18089 17049 170 317 0 17768 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 72356

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1752552/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=74088 CPUtime=1661.71
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 17748 0 0 0 166141 30 0 0 25 0 1 0 246228957 75866112 17493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 18522 17493 170 317 0 18201 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 74088

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6005
/proc/meminfo: memFree=1750824/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=75684 CPUtime=1721.69
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 18174 0 0 0 172138 31 0 0 25 0 1 0 246228957 77500416 17919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 18921 17919 170 317 0 18600 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 75684

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/84 6173
/proc/meminfo: memFree=1747944/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=77152 CPUtime=1781.57
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 18525 0 0 0 178124 33 0 0 25 0 1 0 246228957 79003648 18270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 19288 18270 170 317 0 18967 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 77152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6203
/proc/meminfo: memFree=1748632/2055920 swapFree=4154876/4192956
[pid=6002] ppid=6000 vsize=77548 CPUtime=1800.03
/proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 18629 0 0 0 179970 33 0 0 25 0 1 0 246228957 79409152 18374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6002/statm: 19387 18374 170 317 0 19066 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 77548

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

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

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.11
CPU user time (s): 1799.75
CPU system time (s): 0.350946
CPU usage (%): 99.9578
Max. virtual memory (cumulated for all children) (KiB): 77548

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

runsolver used 1.36679 second user time and 4.00839 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Tue May  1 01:31:56 UTC 2007

IDJOB= 429321
IDBENCH= 47900
IDSOLVER= 172
FILE ID= node20/429321-1177983116

PBS_JOBID= 4728191

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=47-P1=47-P2=67-P3=3-P4=41-P5=53-P6=31-P7=3-P8=41-P9=23-B.opb
COMMAND LINE= oree /tmp/evaluation/429321-1177983116/instance-429321-1177983116.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-429321-1177983116 -o ROOT/results/node20/conversion-429321-1177983116 -C 600 -M 1800 /tmp/evaluation/429321-1177983116/substituteSizeProductKeyword /tmp/evaluation/429321-1177983116/instance-429321-1177983116.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  015e1ad727429fbf28fe61f3a93025c8

RANDOM SEED= 406268455

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1822792 kB
Buffers:         44920 kB
Cached:          96188 kB
SwapCached:      16448 kB
Active:          94076 kB
Inactive:        74216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1822792 kB
SwapTotal:     4192956 kB
SwapFree:      4154876 kB
Dirty:            1408 kB
Writeback:           0 kB
Mapped:          34092 kB
Slab:            50336 kB
Committed_AS:  2324316 kB
PageTables:       1756 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 node20 on Tue May  1 02:01:59 UTC 2007