Trace number 430791

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.41 1801.13

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=17-P1=11-P2=61-P3=5-P4=53-P5=7-P6=37-P7=7-B.opb
MD5SUM4c4368f6ede6fe3469b61db6ee1d3ae2
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.089986
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 variables126
Total number of constraints15
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 constraints15
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)252
Sum of products size (including duplicates)504
Number of different products252
Sum of products size504

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=378 #constraints=527 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.29/0.31	c nbDecision=500 #constraints=939
0.49/0.53	c restart after 801 decisions
0.59/0.69	c nbDecision=1000 #constraints=1382
0.99/1.09	c nbDecision=1500 #constraints=1833
1.09/1.17	c restart after 1601 decisions
1.58/1.65	c nbDecision=2000 #constraints=2274
2.20/2.28	c nbDecision=2500 #constraints=2726
3.29/3.36	c nbDecision=3000 #constraints=3168
3.99/4.05	c restart after 3201 decisions
4.39/4.50	c nbDecision=3500 #constraints=3611
6.78/6.84	c nbDecision=4000 #constraints=4069
10.29/10.37	c nbDecision=4500 #constraints=4536
15.58/15.66	c nbDecision=5000 #constraints=5004
21.58/21.66	c nbDecision=5500 #constraints=5463
28.88/28.93	c nbDecision=6000 #constraints=5922
37.08/37.17	c restart after 6401 decisions
37.88/37.96	c nbDecision=6500 #constraints=6357
48.97/49.04	c nbDecision=7000 #constraints=6844
62.87/62.90	c nbDecision=7500 #constraints=7289
78.07/78.17	c nbDecision=8000 #constraints=7726
96.16/96.26	c nbDecision=8500 #constraints=8174
114.55/114.69	c nbDecision=9000 #constraints=8600
128.95/129.06	c nbDecision=9500 #constraints=9054
151.54/151.68	c nbDecision=10000 #constraints=9543
176.13/176.27	c nbDecision=10500 #constraints=10024
199.52/199.64	c nbDecision=11000 #constraints=10489
221.62/221.77	c nbDecision=11500 #constraints=10933
247.11/247.25	c nbDecision=12000 #constraints=11417
279.10/279.20	c nbDecision=12500 #constraints=11897
297.99/298.17	c restart after 12801 decisions
304.99/305.15	c nbDecision=13000 #constraints=12301
333.18/333.39	c nbDecision=13500 #constraints=12779
369.06/369.28	c nbDecision=14000 #constraints=13248
402.73/402.91	c nbDecision=14500 #constraints=13722
439.65/439.99	c nbDecision=15000 #constraints=14205
482.02/482.38	c nbDecision=15500 #constraints=14690
525.91/526.26	c nbDecision=16000 #constraints=15142
570.90/571.27	c nbDecision=16500 #constraints=15621
616.67/617.06	c nbDecision=17000 #constraints=16084
657.86/658.22	c nbDecision=17500 #constraints=16546
704.76/705.11	c nbDecision=18000 #constraints=17020
754.83/755.27	c nbDecision=18500 #constraints=17505
810.71/811.14	c nbDecision=19000 #constraints=17974
867.59/868.08	c nbDecision=19500 #constraints=18440
922.97/923.42	c nbDecision=20000 #constraints=18894
962.36/962.85	c nbDecision=20500 #constraints=19295
1021.95/1022.41	c nbDecision=21000 #constraints=19774
1078.93/1079.48	c nbDecision=21500 #constraints=20258
1142.10/1142.60	c nbDecision=22000 #constraints=20737
1212.67/1213.27	c nbDecision=22500 #constraints=21219
1244.57/1245.15	c nbDecision=23000 #constraints=21702
1294.25/1294.83	c nbDecision=23500 #constraints=22172
1335.63/1336.26	c nbDecision=24000 #constraints=22649
1352.23/1352.89	c nbDecision=24500 #constraints=23117
1376.73/1377.36	c nbDecision=25000 #constraints=23555
1398.51/1399.13	c nbDecision=25500 #constraints=24033
1402.11/1402.71	c restart after 25601 decisions
1416.31/1416.94	c nbDecision=26000 #constraints=24480
1437.00/1437.66	c nbDecision=26500 #constraints=24945
1459.59/1460.21	c nbDecision=27000 #constraints=25419
1482.89/1483.53	c nbDecision=27500 #constraints=25870
1512.68/1513.30	c nbDecision=28000 #constraints=26362
1546.46/1547.18	c nbDecision=28500 #constraints=26827
1571.56/1572.24	c nbDecision=29000 #constraints=27289
1606.04/1606.77	c nbDecision=29500 #constraints=27732
1640.54/1641.26	c nbDecision=30000 #constraints=28156
1674.72/1675.43	c nbDecision=30500 #constraints=28643
1712.21/1712.94	c nbDecision=31000 #constraints=29127
1752.40/1753.18	c nbDecision=31500 #constraints=29589
1788.78/1789.51	c nbDecision=32000 #constraints=30063
1800.09/1800.80	Received signal 15
1800.38/1801.10	
1800.38/1801.10	s UNKNOWN
1800.38/1801.10	
1800.38/1801.10	c user time= 1800.09 s
1800.38/1801.10	c system time= 0.296954 s
1800.38/1801.10	c wall clock time=1801.1

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430791-1177998862/instance-430791-1177998862.opb
mv /tmp/evaluation/430791-1177998862/instance-430791-1177998862.opb.tmp /tmp/evaluation/430791-1177998862/instance-430791-1177998862.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node46/watcher-430791-1177998862 -o ROOT/results/node46/solver-430791-1177998862 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430791-1177998862/instance-430791-1177998862.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.34 1.13 1.03 3/78 22903
/proc/meminfo: memFree=1825784/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=1468 CPUtime=0
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 154569229 1503232 177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 400 178 132 317 0 79 0

[startup+0.103938 s]
/proc/loadavg: 1.34 1.13 1.03 3/78 22903
/proc/meminfo: memFree=1825784/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=1868 CPUtime=0.1
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 297 0 0 0 10 0 0 0 18 0 1 0 154569229 1912832 280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 467 280 139 317 0 146 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1868

[startup+0.202955 s]
/proc/loadavg: 1.34 1.13 1.03 3/78 22903
/proc/meminfo: memFree=1825784/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=2264 CPUtime=0.2
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 369 0 0 0 20 0 0 0 18 0 1 0 154569229 2318336 352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 566 352 139 317 0 245 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 2264

[startup+0.301977 s]
/proc/loadavg: 1.34 1.13 1.03 3/78 22903
/proc/meminfo: memFree=1825784/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=2528 CPUtime=0.29
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 448 0 0 0 29 0 0 0 19 0 1 0 154569229 2588672 431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 632 431 139 317 0 311 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2528

[startup+0.701046 s]
/proc/loadavg: 1.34 1.13 1.03 3/78 22903
/proc/meminfo: memFree=1825784/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=3568 CPUtime=0.69
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 720 0 0 0 69 0 0 0 22 0 1 0 154569229 3653632 703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284237 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 892 703 139 317 0 571 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3568

[startup+1.5012 s]
/proc/loadavg: 1.34 1.13 1.03 2/79 22904
/proc/meminfo: memFree=1822320/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=5440 CPUtime=1.48
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 1186 0 0 0 148 0 0 0 25 0 1 0 154569229 5570560 1169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 1360 1169 170 317 0 1039 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5440

[startup+3.10149 s]
/proc/loadavg: 1.34 1.13 1.03 2/79 22904
/proc/meminfo: memFree=1820336/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=7664 CPUtime=3.09
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 1748 0 0 0 308 1 0 0 25 0 1 0 154569229 7847936 1731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593475 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 1916 1731 170 317 0 1595 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7664

[startup+6.30108 s]
/proc/loadavg: 1.31 1.12 1.03 2/79 22904
/proc/meminfo: memFree=1817584/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=9644 CPUtime=6.29
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 2244 0 0 0 628 1 0 0 25 0 1 0 154569229 9875456 2227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 2411 2227 170 317 0 2090 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9644

[startup+12.7013 s]
/proc/loadavg: 1.29 1.12 1.03 2/79 22904
/proc/meminfo: memFree=1815536/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=11620 CPUtime=12.68
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 2697 0 0 0 1267 1 0 0 25 0 1 0 154569229 11898880 2680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716163 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 2905 2680 170 317 0 2584 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11620

[startup+25.5026 s]
/proc/loadavg: 1.22 1.11 1.02 2/79 22904
/proc/meminfo: memFree=1813104/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=14008 CPUtime=25.48
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 3290 0 0 0 2546 2 0 0 25 0 1 0 154569229 14344192 3273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 3502 3274 170 317 0 3181 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14008

[startup+51.1024 s]
/proc/loadavg: 1.14 1.10 1.02 2/79 22904
/proc/meminfo: memFree=1810224/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=17004 CPUtime=51.07
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 3999 0 0 0 5104 3 0 0 25 0 1 0 154569229 17412096 3982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 4251 3982 170 317 0 3930 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17004

[startup+102.302 s]
/proc/loadavg: 1.06 1.09 1.02 2/79 22904
/proc/meminfo: memFree=1806704/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=20672 CPUtime=102.26
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 4887 0 0 0 10222 4 0 0 25 0 1 0 154569229 21168128 4813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 5168 4813 170 317 0 4847 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20672

[startup+162.302 s]
/proc/loadavg: 1.02 1.07 1.01 2/79 22904
/proc/meminfo: memFree=1803568/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=23972 CPUtime=162.23
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 5699 0 0 0 16218 5 0 0 25 0 1 0 154569229 24547328 5625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 5993 5625 170 317 0 5672 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 23972

[startup+222.305 s]
/proc/loadavg: 1.01 1.05 1.01 2/79 22904
/proc/meminfo: memFree=1800752/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=26892 CPUtime=222.22
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 6391 0 0 0 22216 6 0 0 25 0 1 0 154569229 27537408 6317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 6723 6317 170 317 0 6402 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 26892

[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/79 22904
/proc/meminfo: memFree=1798704/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=29020 CPUtime=282.19
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 6914 0 0 0 28212 7 0 0 25 0 1 0 154569229 29716480 6840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 7255 6840 170 317 0 6934 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 29020

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/79 22904
/proc/meminfo: memFree=1796400/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=31292 CPUtime=342.18
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 7478 0 0 0 34209 9 0 0 25 0 1 0 154569229 32043008 7404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 7823 7404 170 317 0 7502 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 31292

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/85 22930
/proc/meminfo: memFree=1793408/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=33252 CPUtime=402.13
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 7930 0 0 0 40203 10 0 0 25 0 1 0 154569229 34050048 7856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 8313 7856 170 317 0 7992 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 33252

[startup+462.303 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 23102
/proc/meminfo: memFree=1792232/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=35444 CPUtime=462.04
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 8439 0 0 0 46193 11 0 0 25 0 1 0 154569229 36294656 8365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 8861 8365 170 317 0 8540 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 35444

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 23102
/proc/meminfo: memFree=1790696/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=37048 CPUtime=522.01
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 8815 0 0 0 52190 11 0 0 25 0 1 0 154569229 37937152 8741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 9262 8741 170 317 0 8941 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 37048

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 23102
/proc/meminfo: memFree=1789352/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=38216 CPUtime=581.99
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 9157 0 0 0 58187 12 0 0 25 0 1 0 154569229 39133184 9083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 9554 9083 170 317 0 9233 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 38216

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23102
/proc/meminfo: memFree=1787880/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=39972 CPUtime=641.97
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 9517 0 0 0 64184 13 0 0 25 0 1 0 154569229 40931328 9443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 9993 9443 170 317 0 9672 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 39972


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

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23102
/proc/meminfo: memFree=1782832/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=45888 CPUtime=881.9
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 10901 0 0 0 88174 16 0 0 25 0 1 0 154569229 46989312 10714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 11472 10714 170 317 0 11151 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 45888

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23102
/proc/meminfo: memFree=1781680/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=46924 CPUtime=941.86
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 11190 0 0 0 94170 16 0 0 25 0 1 0 154569229 48050176 11003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 11731 11003 170 317 0 11410 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 46924

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/79 23102
/proc/meminfo: memFree=1780464/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=48236 CPUtime=1001.84
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 11514 0 0 0 100167 17 0 0 25 0 1 0 154569229 49393664 11327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 12059 11327 170 317 0 11738 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 48236

[startup+1062.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/79 23102
/proc/meminfo: memFree=1779312/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=49416 CPUtime=1061.83
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 11790 0 0 0 106165 18 0 0 25 0 1 0 154569229 50601984 11603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 12354 11603 170 317 0 12033 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 49416

[startup+1122.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/79 23102
/proc/meminfo: memFree=1778160/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=50724 CPUtime=1121.8
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 12116 0 0 0 112162 18 0 0 25 0 1 0 154569229 51941376 11896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 12681 11896 170 317 0 12360 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 50724

[startup+1182.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/79 23102
/proc/meminfo: memFree=1777264/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=51708 CPUtime=1181.79
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 12341 0 0 0 118160 19 0 0 25 0 1 0 154569229 52948992 12121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 12927 12121 170 317 0 12606 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 51708

[startup+1242.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/79 23102
/proc/meminfo: memFree=1775728/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=53212 CPUtime=1241.77
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 12701 0 0 0 124157 20 0 0 25 0 1 0 154569229 54489088 12481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 13303 12481 170 317 0 12982 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 53212

[startup+1302.3 s]
/proc/loadavg: 1.19 1.09 1.02 2/79 23102
/proc/meminfo: memFree=1774192/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=54656 CPUtime=1301.74
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 13072 0 0 0 130154 20 0 0 25 0 1 0 154569229 55967744 12819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 13664 12819 170 317 0 13343 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 54656

[startup+1362.3 s]
/proc/loadavg: 1.07 1.07 1.01 2/79 23102
/proc/meminfo: memFree=1771824/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=57100 CPUtime=1361.73
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 13698 0 0 0 136151 22 0 0 25 0 1 0 154569229 58470400 13445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 14275 13445 170 317 0 13954 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 57100

[startup+1422.3 s]
/proc/loadavg: 1.02 1.06 1.00 2/79 23102
/proc/meminfo: memFree=1768624/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=60280 CPUtime=1421.71
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 14484 0 0 0 142149 22 0 0 25 0 1 0 154569229 61726720 14231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 15070 14231 170 317 0 14749 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 60280

[startup+1482.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/79 23102
/proc/meminfo: memFree=1765808/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=63240 CPUtime=1481.69
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 15202 0 0 0 148145 24 0 0 25 0 1 0 154569229 64757760 14949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 15810 14949 170 317 0 15489 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 63240

[startup+1542.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/79 23102
/proc/meminfo: memFree=1763504/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=65476 CPUtime=1541.67
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 15763 0 0 0 154142 25 0 0 25 0 1 0 154569229 67047424 15510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 16369 15510 170 317 0 16048 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 65476

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 23102
/proc/meminfo: memFree=1761456/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=67676 CPUtime=1601.64
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 16279 0 0 0 160138 26 0 0 25 0 1 0 154569229 69300224 16026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 16919 16026 170 317 0 16598 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 67676

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 23102
/proc/meminfo: memFree=1759536/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=69592 CPUtime=1661.62
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 16751 0 0 0 166135 27 0 0 25 0 1 0 154569229 71262208 16498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716132 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 17398 16498 170 317 0 17077 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 69592

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 23102
/proc/meminfo: memFree=1757872/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=71392 CPUtime=1721.6
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 17173 0 0 0 172132 28 0 0 25 0 1 0 154569229 73105408 16920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 17848 16920 170 317 0 17527 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 71392

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 23102
/proc/meminfo: memFree=1755952/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=73016 CPUtime=1781.58
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 17607 0 0 0 178129 29 0 0 25 0 1 0 154569229 74768384 17354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711195 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 18254 17354 170 317 0 17933 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 73016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23102
/proc/meminfo: memFree=1755568/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=73408 CPUtime=1800.09
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 17715 0 0 0 179980 29 0 0 25 0 1 0 154569229 75169792 17462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 18352 17462 170 317 0 18031 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 73408

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

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

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23102
/proc/meminfo: memFree=1755568/2055920 swapFree=4159404/4192956
[pid=22903] ppid=22901 vsize=73408 CPUtime=1800.38
/proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 17717 0 0 0 180009 29 0 0 25 0 1 0 154569229 75169792 17464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22903/statm: 18352 17464 170 317 0 18031 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 73408

Child status: 0
Real time (s): 1801.13
CPU time (s): 1800.41
CPU user time (s): 1800.1
CPU system time (s): 0.307953
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 73408

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

runsolver used 1.70574 second user time and 4.83926 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Tue May  1 05:54:22 UTC 2007

IDJOB= 430791
IDBENCH= 48005
IDSOLVER= 172
FILE ID= node46/430791-1177998862

PBS_JOBID= 4728209

Free space on /tmp= 66219 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=17-P1=11-P2=61-P3=5-P4=53-P5=7-P6=37-P7=7-B.opb
COMMAND LINE= oree /tmp/evaluation/430791-1177998862/instance-430791-1177998862.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node46/convwatcher-430791-1177998862 -o ROOT/results/node46/conversion-430791-1177998862 -C 600 -M 1800 /tmp/evaluation/430791-1177998862/substituteSizeProductKeyword /tmp/evaluation/430791-1177998862/instance-430791-1177998862.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  4c4368f6ede6fe3469b61db6ee1d3ae2

RANDOM SEED= 647250715

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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.268
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	: 5931.00
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.268
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:       1826128 kB
Buffers:         30144 kB
Cached:         112540 kB
SwapCached:       2768 kB
Active:          65600 kB
Inactive:       100992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1826128 kB
SwapTotal:     4192956 kB
SwapFree:      4159404 kB
Dirty:            1328 kB
Writeback:           0 kB
Mapped:          31596 kB
Slab:            48520 kB
Committed_AS:  3591112 kB
PageTables:       1996 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= 66219 MiB

End job on node46 on Tue May  1 06:24:25 UTC 2007