Trace number 430063

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.36 1800.88

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=31-P1=31-P2=37-P3=37-B.opb
MD5SUM1faefeca557086bb8f2ad91e3f4c80d3
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.036993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables54
Total number of constraints7
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 constraints7
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)108
Sum of products size (including duplicates)216
Number of different products108
Sum of products size216

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=162 #constraints=227 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.25	c restart after 401 decisions
0.29/0.33	c nbDecision=500 #constraints=663
0.59/0.60	c restart after 801 decisions
0.79/0.80	c nbDecision=1000 #constraints=1115
1.49/1.52	c nbDecision=1500 #constraints=1557
1.69/1.78	c restart after 1601 decisions
2.89/2.97	c nbDecision=2000 #constraints=2008
4.89/4.91	c nbDecision=2500 #constraints=2464
7.49/7.60	c nbDecision=3000 #constraints=2919
9.39/9.43	c restart after 3201 decisions
12.59/12.62	c nbDecision=3500 #constraints=3396
18.19/18.28	c nbDecision=4000 #constraints=3870
24.89/24.91	c nbDecision=4500 #constraints=4296
34.58/34.62	c nbDecision=5000 #constraints=4789
42.88/42.94	c nbDecision=5500 #constraints=5280
53.57/53.64	c nbDecision=6000 #constraints=5724
62.47/62.54	c restart after 6401 decisions
64.97/65.04	c nbDecision=6500 #constraints=6172
79.47/79.59	c nbDecision=7000 #constraints=6640
93.07/93.14	c nbDecision=7500 #constraints=7091
111.37/111.49	c nbDecision=8000 #constraints=7550
131.86/131.97	c nbDecision=8500 #constraints=8023
153.96/154.01	c nbDecision=9000 #constraints=8466
179.65/179.70	c nbDecision=9500 #constraints=8934
204.84/204.94	c nbDecision=10000 #constraints=9419
230.94/231.08	c nbDecision=10500 #constraints=9880
257.93/258.08	c nbDecision=11000 #constraints=10347
285.32/285.44	c nbDecision=11500 #constraints=10804
316.91/317.10	c nbDecision=12000 #constraints=11284
350.61/350.79	c nbDecision=12500 #constraints=11749
369.31/369.43	c restart after 12801 decisions
382.50/382.61	c nbDecision=13000 #constraints=12222
422.39/422.50	c nbDecision=13500 #constraints=12688
459.58/459.73	c nbDecision=14000 #constraints=13177
502.17/502.38	c nbDecision=14500 #constraints=13632
547.26/547.48	c nbDecision=15000 #constraints=14098
590.25/590.45	c nbDecision=15500 #constraints=14550
634.44/634.66	c nbDecision=16000 #constraints=15017
680.53/680.75	c nbDecision=16500 #constraints=15473
723.32/723.52	c nbDecision=17000 #constraints=15917
779.41/779.67	c nbDecision=17500 #constraints=16405
842.47/842.74	c nbDecision=18000 #constraints=16890
901.18/901.51	c nbDecision=18500 #constraints=17385
959.77/960.13	c nbDecision=19000 #constraints=17853
1024.66/1025.07	c nbDecision=19500 #constraints=18345
1092.74/1093.14	c nbDecision=20000 #constraints=18835
1158.42/1158.84	c nbDecision=20500 #constraints=19301
1228.01/1228.45	c nbDecision=21000 #constraints=19790
1297.29/1297.74	c nbDecision=21500 #constraints=20272
1338.68/1339.17	c nbDecision=22000 #constraints=20676
1385.87/1386.30	c nbDecision=22500 #constraints=21090
1455.65/1456.17	c nbDecision=23000 #constraints=21486
1533.54/1534.03	c nbDecision=23500 #constraints=21899
1625.32/1625.84	c nbDecision=24000 #constraints=22376
1705.29/1705.89	c nbDecision=24500 #constraints=22819
1784.48/1785.02	c nbDecision=25000 #constraints=23205
1800.08/1800.61	Received signal 15
1800.27/1800.86	
1800.27/1800.86	s UNKNOWN
1800.27/1800.86	
1800.27/1800.86	c user time= 1800.06 s
1800.27/1800.86	c system time= 0.283956 s
1800.27/1800.86	c wall clock time=1800.86

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430063-1177991229/instance-430063-1177991229.opb
mv /tmp/evaluation/430063-1177991229/instance-430063-1177991229.opb.tmp /tmp/evaluation/430063-1177991229/instance-430063-1177991229.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node43/watcher-430063-1177991229 -o ROOT/results/node43/solver-430063-1177991229 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430063-1177991229/instance-430063-1177991229.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.96 1.00 0.99 3/77 6808
/proc/meminfo: memFree=1636536/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=1600 CPUtime=0
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 247034745 1638400 185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278995 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 400 185 139 317 0 79 0

[startup+0.026369 s]
/proc/loadavg: 0.96 1.00 0.99 3/77 6808
/proc/meminfo: memFree=1636536/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=1600 CPUtime=0.02
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 216 0 0 0 2 0 0 0 18 0 1 0 247034745 1638400 199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134550092 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 400 199 139 317 0 79 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1600

[startup+0.101375 s]
/proc/loadavg: 0.96 1.00 0.99 3/77 6808
/proc/meminfo: memFree=1636536/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=1864 CPUtime=0.09
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 279 0 0 0 9 0 0 0 18 0 1 0 247034745 1908736 262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549870 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 466 262 139 317 0 145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1864

[startup+0.301392 s]
/proc/loadavg: 0.96 1.00 0.99 3/77 6808
/proc/meminfo: memFree=1636536/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=2392 CPUtime=0.29
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 429 0 0 0 29 0 0 0 19 0 1 0 247034745 2449408 412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 598 412 139 317 0 277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2392

[startup+0.701426 s]
/proc/loadavg: 0.96 1.00 0.99 3/77 6808
/proc/meminfo: memFree=1636536/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=3472 CPUtime=0.69
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 675 0 0 0 69 0 0 0 23 0 1 0 247034745 3555328 658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 868 658 139 317 0 547 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3472

[startup+1.5015 s]
/proc/loadavg: 0.96 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1633904/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=4576 CPUtime=1.49
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 962 0 0 0 149 0 0 0 25 0 1 0 247034745 4685824 945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 1144 945 139 317 0 823 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4576

[startup+3.10163 s]
/proc/loadavg: 0.96 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1632560/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=5896 CPUtime=3.09
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 1283 0 0 0 309 0 0 0 25 0 1 0 247034745 6037504 1266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 1474 1266 139 317 0 1153 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5896

[startup+6.30192 s]
/proc/loadavg: 0.96 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1630640/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=7544 CPUtime=6.29
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 1686 0 0 0 628 1 0 0 25 0 1 0 247034745 7725056 1669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 1886 1669 139 317 0 1565 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7544

[startup+12.7015 s]
/proc/loadavg: 0.96 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1628544/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=9548 CPUtime=12.68
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 2143 0 0 0 1267 1 0 0 25 0 1 0 247034745 9777152 2126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563922 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 2387 2126 139 317 0 2066 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9548

[startup+25.5016 s]
/proc/loadavg: 0.97 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1626368/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=11672 CPUtime=25.49
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 2668 0 0 0 2547 2 0 0 25 0 1 0 247034745 11952128 2651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 2918 2651 139 317 0 2597 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11672

[startup+51.1018 s]
/proc/loadavg: 0.98 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1623424/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=14816 CPUtime=51.08
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 3435 0 0 0 5105 3 0 0 25 0 1 0 247034745 15171584 3418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134742677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 3704 3418 139 317 0 3383 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14816

[startup+102.304 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1619520/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=18764 CPUtime=102.27
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 4403 0 0 0 10222 5 0 0 25 0 1 0 247034745 19214336 4386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718570 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 4691 4386 170 317 0 4370 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18764

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1616448/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=22120 CPUtime=162.25
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 5208 0 0 0 16219 6 0 0 25 0 1 0 247034745 22650880 5133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 5530 5133 170 317 0 5209 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 22120

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1613824/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=24672 CPUtime=222.24
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 5850 0 0 0 22217 7 0 0 25 0 1 0 247034745 25264128 5775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 6168 5775 170 317 0 5847 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 24672

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1611520/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=26952 CPUtime=282.23
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 6409 0 0 0 28215 8 0 0 25 0 1 0 247034745 27598848 6334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 6738 6334 170 317 0 6417 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 26952

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1609408/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=29204 CPUtime=342.21
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 6920 0 0 0 34213 8 0 0 25 0 1 0 247034745 29904896 6845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 7301 6845 170 317 0 6980 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 29204

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1607616/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=31032 CPUtime=402.2
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 7356 0 0 0 40211 9 0 0 25 0 1 0 247034745 31776768 7281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 7758 7281 170 317 0 7437 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 31032

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1605760/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=32868 CPUtime=462.18
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 7802 0 0 0 46208 10 0 0 25 0 1 0 247034745 33656832 7727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711207 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 8217 7727 170 317 0 7896 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 32868

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1604096/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=34604 CPUtime=522.17
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 8205 0 0 0 52206 11 0 0 25 0 1 0 247034745 35434496 8130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 8651 8130 170 317 0 8330 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 34604

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1602624/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=36044 CPUtime=582.16
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 8555 0 0 0 58204 12 0 0 25 0 1 0 247034745 36909056 8480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 9011 8480 170 317 0 8690 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 36044

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 6809
/proc/meminfo: memFree=1601088/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=37680 CPUtime=642.14
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 8905 0 0 0 64202 12 0 0 25 0 1 0 247034745 38584320 8830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 9420 8830 170 317 0 9099 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 37680


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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/84 6985
/proc/meminfo: memFree=1594640/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=42928 CPUtime=882
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 10230 0 0 0 88182 18 0 0 25 0 1 0 247034745 43958272 10041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 10732 10041 170 317 0 10411 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 42928

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1594560/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=44240 CPUtime=941.98
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 10498 0 0 0 94179 19 0 0 25 0 1 0 247034745 45301760 10309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 11060 10309 170 317 0 10739 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 44240

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1593408/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=45460 CPUtime=1001.96
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 10783 0 0 0 100177 19 0 0 25 0 1 0 247034745 46551040 10594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563509 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 11365 10594 170 317 0 11044 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 45460

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1592384/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=46508 CPUtime=1061.95
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 11035 0 0 0 106175 20 0 0 25 0 1 0 247034745 47624192 10846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 11627 10846 170 317 0 11306 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 46508

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1591360/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=47680 CPUtime=1121.94
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 11309 0 0 0 112173 21 0 0 25 0 1 0 247034745 48824320 11087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 11920 11087 170 317 0 11599 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 47680

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1590400/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=48592 CPUtime=1181.92
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 11537 0 0 0 118171 21 0 0 25 0 1 0 247034745 49758208 11315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 12148 11315 170 317 0 11827 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 48592

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1589440/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=49640 CPUtime=1241.91
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 11803 0 0 0 124169 22 0 0 25 0 1 0 247034745 50831360 11548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 12410 11548 170 317 0 12089 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 49640

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1588416/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=50552 CPUtime=1301.89
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 12047 0 0 0 130167 22 0 0 25 0 1 0 247034745 51765248 11792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 12638 11792 170 317 0 12317 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 50552

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1587008/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=52148 CPUtime=1361.87
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 12411 0 0 0 136164 23 0 0 25 0 1 0 247034745 53399552 12156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 13037 12156 170 317 0 12716 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 52148

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1585920/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=53112 CPUtime=1421.87
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 12662 0 0 0 142163 24 0 0 25 0 1 0 247034745 54386688 12407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 13278 12407 170 317 0 12957 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 53112

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1585088/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=53896 CPUtime=1481.84
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 12869 0 0 0 148160 24 0 0 25 0 1 0 247034745 55189504 12614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 13474 12614 170 317 0 13153 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 53896

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1584256/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=54692 CPUtime=1541.83
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 13090 0 0 0 154158 25 0 0 25 0 1 0 247034745 56004608 12802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 13673 12802 170 317 0 13352 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 54692

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1583488/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=55480 CPUtime=1601.82
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 13281 0 0 0 160157 25 0 0 25 0 1 0 247034745 56811520 12993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 13870 12993 170 317 0 13549 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 55480

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1582656/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=56268 CPUtime=1661.81
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 13483 0 0 0 166155 26 0 0 25 0 1 0 247034745 57618432 13195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 14067 13195 170 317 0 13746 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 56268

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1581568/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=57728 CPUtime=1721.79
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 13758 0 0 0 172152 27 0 0 25 0 1 0 247034745 59113472 13470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 14432 13470 170 317 0 14111 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 57728

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1580608/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=58368 CPUtime=1781.78
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 13963 0 0 0 178150 28 0 0 25 0 1 0 247034745 59768832 13675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 14592 13675 170 317 0 14271 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 58368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1580352/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=58628 CPUtime=1800.08
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 14021 0 0 0 179980 28 0 0 25 0 1 0 247034745 60035072 13733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 14657 13733 170 317 0 14336 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 58628

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 7007
/proc/meminfo: memFree=1580352/2055920 swapFree=4158588/4192956
[pid=6808] ppid=6806 vsize=58628 CPUtime=1800.27
/proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 14021 0 0 0 179999 28 0 0 25 0 1 0 247034745 60035072 13733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6808/statm: 14657 13733 170 317 0 14336 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 58628

Child status: 0
Real time (s): 1800.88
CPU time (s): 1800.36
CPU user time (s): 1800.06
CPU system time (s): 0.293955
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 58628

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

runsolver used 1.38479 second user time and 3.97439 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Tue May  1 03:47:09 UTC 2007

IDJOB= 430063
IDBENCH= 47953
IDSOLVER= 172
FILE ID= node43/430063-1177991229

PBS_JOBID= 4728179

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=31-P1=31-P2=37-P3=37-B.opb
COMMAND LINE= oree /tmp/evaluation/430063-1177991229/instance-430063-1177991229.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node43/convwatcher-430063-1177991229 -o ROOT/results/node43/conversion-430063-1177991229 -C 600 -M 1800 /tmp/evaluation/430063-1177991229/substituteSizeProductKeyword /tmp/evaluation/430063-1177991229/instance-430063-1177991229.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  1faefeca557086bb8f2ad91e3f4c80d3

RANDOM SEED= 650749952

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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.218
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.218
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:       1637008 kB
Buffers:         27440 kB
Cached:         298512 kB
SwapCached:       2624 kB
Active:          87676 kB
Inactive:       262608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1637008 kB
SwapTotal:     4192956 kB
SwapFree:      4158588 kB
Dirty:            1500 kB
Writeback:           0 kB
Mapped:          32348 kB
Slab:            54040 kB
Committed_AS:  2846028 kB
PageTables:       1900 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 node43 on Tue May  1 04:17:12 UTC 2007