Trace number 431225

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.07 1800.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=67-P1=47-P2=2-P3=53-P4=23-P5=7-P6=41-P7=31-B.opb
MD5SUM908985d974b16faef92bc77f5752fc1c
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.088986
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of 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.29/0.30	c restart after 401 decisions
0.29/0.36	c nbDecision=500 #constraints=947
0.49/0.53	c restart after 801 decisions
0.69/0.70	c nbDecision=1000 #constraints=1371
1.10/1.15	c nbDecision=1500 #constraints=1839
1.19/1.24	c restart after 1601 decisions
1.59/1.65	c nbDecision=2000 #constraints=2269
2.29/2.37	c nbDecision=2500 #constraints=2730
3.09/3.19	c nbDecision=3000 #constraints=3182
3.79/3.81	c restart after 3201 decisions
4.48/4.59	c nbDecision=3500 #constraints=3616
7.59/7.62	c nbDecision=4000 #constraints=4073
10.79/10.81	c nbDecision=4500 #constraints=4507
14.98/15.04	c nbDecision=5000 #constraints=4949
21.68/21.74	c nbDecision=5500 #constraints=5432
30.48/30.54	c nbDecision=6000 #constraints=5900
38.48/38.57	c restart after 6401 decisions
38.78/38.84	c nbDecision=6500 #constraints=6322
49.67/49.76	c nbDecision=7000 #constraints=6795
59.77/59.84	c nbDecision=7500 #constraints=7285
72.87/72.97	c nbDecision=8000 #constraints=7734
88.97/89.05	c nbDecision=8500 #constraints=8185
101.66/101.71	c nbDecision=9000 #constraints=8617
120.06/120.16	c nbDecision=9500 #constraints=9079
143.05/143.13	c nbDecision=10000 #constraints=9552
165.14/165.25	c nbDecision=10500 #constraints=10038
184.64/184.71	c nbDecision=11000 #constraints=10494
209.23/209.31	c nbDecision=11500 #constraints=10962
231.03/231.14	c nbDecision=12000 #constraints=11397
258.33/258.42	c nbDecision=12500 #constraints=11861
277.32/277.46	c restart after 12801 decisions
281.42/281.51	c nbDecision=13000 #constraints=12301
312.91/313.04	c nbDecision=13500 #constraints=12763
347.30/347.45	c nbDecision=14000 #constraints=13242
380.69/380.80	c nbDecision=14500 #constraints=13719
413.08/413.23	c nbDecision=15000 #constraints=14179
446.07/446.29	c nbDecision=15500 #constraints=14649
481.86/482.10	c nbDecision=16000 #constraints=15113
517.35/517.59	c nbDecision=16500 #constraints=15581
561.64/561.81	c nbDecision=17000 #constraints=16063
606.43/606.68	c nbDecision=17500 #constraints=16545
656.11/656.36	c nbDecision=18000 #constraints=17043
702.90/703.12	c nbDecision=18500 #constraints=17494
753.69/753.91	c nbDecision=19000 #constraints=17941
799.68/799.92	c nbDecision=19500 #constraints=18350
849.66/849.92	c nbDecision=20000 #constraints=18826
908.25/908.50	c nbDecision=20500 #constraints=19299
964.93/965.30	c nbDecision=21000 #constraints=19775
1028.81/1029.18	c nbDecision=21500 #constraints=20267
1094.40/1094.75	c nbDecision=22000 #constraints=20758
1164.88/1165.22	c nbDecision=22500 #constraints=21257
1234.87/1235.29	c nbDecision=23000 #constraints=21745
1287.25/1287.61	c nbDecision=23500 #constraints=22218
1326.15/1326.58	c nbDecision=24000 #constraints=22680
1349.63/1350.09	c nbDecision=24500 #constraints=23137
1368.62/1369.04	c nbDecision=25000 #constraints=23621
1387.83/1388.24	c nbDecision=25500 #constraints=24103
1391.42/1391.83	c restart after 25601 decisions
1401.82/1402.26	c nbDecision=26000 #constraints=24537
1425.81/1426.21	c nbDecision=26500 #constraints=24984
1445.01/1445.45	c nbDecision=27000 #constraints=25459
1470.20/1470.62	c nbDecision=27500 #constraints=25900
1494.19/1494.68	c nbDecision=28000 #constraints=26370
1523.58/1524.03	c nbDecision=28500 #constraints=26838
1549.18/1549.66	c nbDecision=29000 #constraints=27303
1577.47/1577.92	c nbDecision=29500 #constraints=27787
1608.97/1609.49	c nbDecision=30000 #constraints=28244
1641.65/1642.10	c nbDecision=30500 #constraints=28685
1676.64/1677.15	c nbDecision=31000 #constraints=29127
1714.73/1715.27	c nbDecision=31500 #constraints=29560
1758.72/1759.21	c nbDecision=32000 #constraints=30049
1800.02/1800.50	Received signal 15
1800.02/1800.53	
1800.02/1800.53	s UNKNOWN
1800.02/1800.53	
1800.02/1800.53	c user time= 1799.75 s
1800.02/1800.53	c system time= 0.304953 s
1800.02/1800.53	c wall clock time=1800.53

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431225-1178003968/instance-431225-1178003968.opb
mv /tmp/evaluation/431225-1178003968/instance-431225-1178003968.opb.tmp /tmp/evaluation/431225-1178003968/instance-431225-1178003968.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node9/watcher-431225-1178003968 -o ROOT/results/node9/solver-431225-1178003968 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431225-1178003968/instance-431225-1178003968.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.99 0.99 0.99 3/77 28292
/proc/meminfo: memFree=1793504/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=1468 CPUtime=0
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 276434397 1503232 177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 367 177 132 317 0 46 0

[startup+0.0355519 s]
/proc/loadavg: 0.99 0.99 0.99 3/77 28292
/proc/meminfo: memFree=1793504/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=1736 CPUtime=0.03
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 251 0 0 0 3 0 0 0 18 0 1 0 276434397 1777664 234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 434 234 139 317 0 113 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1736

[startup+0.101559 s]
/proc/loadavg: 0.99 0.99 0.99 3/77 28292
/proc/meminfo: memFree=1793504/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=1868 CPUtime=0.09
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 296 0 0 0 9 0 0 0 18 0 1 0 276434397 1912832 279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 467 279 139 317 0 146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1868

[startup+0.301582 s]
/proc/loadavg: 0.99 0.99 0.99 3/77 28292
/proc/meminfo: memFree=1793504/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=2392 CPUtime=0.29
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 429 0 0 0 29 0 0 0 19 0 1 0 276434397 2449408 412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 598 412 139 317 0 277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2392

[startup+0.701626 s]
/proc/loadavg: 0.99 0.99 0.99 3/77 28292
/proc/meminfo: memFree=1793504/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=3564 CPUtime=0.69
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 706 0 0 0 69 0 0 0 22 0 1 0 276434397 3649536 689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 891 689 139 317 0 570 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3564

[startup+1.50172 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1790744/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=5284 CPUtime=1.49
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 1132 0 0 0 149 0 0 0 25 0 1 0 276434397 5410816 1115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 1321 1115 139 317 0 1000 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5284

[startup+3.1029 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1788440/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=7768 CPUtime=3.09
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 1743 0 0 0 309 0 0 0 25 0 1 0 276434397 7954432 1726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 1942 1726 139 317 0 1621 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7768

[startup+6.30126 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1785432/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=9508 CPUtime=6.28
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 2218 0 0 0 628 0 0 0 25 0 1 0 276434397 9736192 2201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 2377 2201 170 317 0 2056 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9508

[startup+12.702 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1783320/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=11660 CPUtime=12.69
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 2708 0 0 0 1268 1 0 0 25 0 1 0 276434397 11939840 2691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 2915 2691 170 317 0 2594 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11660

[startup+25.5014 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1780760/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=14068 CPUtime=25.49
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 3308 0 0 0 2547 2 0 0 25 0 1 0 276434397 14405632 3291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 3517 3291 170 317 0 3196 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14068

[startup+51.1013 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1777944/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=17080 CPUtime=51.08
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 4017 0 0 0 5105 3 0 0 25 0 1 0 276434397 17489920 4000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 4270 4000 170 317 0 3949 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17080

[startup+102.305 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1773656/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=21480 CPUtime=102.26
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 5121 0 0 0 10222 4 0 0 25 0 1 0 276434397 21995520 5047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 5370 5047 170 317 0 5049 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21480

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1770584/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=24748 CPUtime=162.25
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 5891 0 0 0 16220 5 0 0 25 0 1 0 276434397 25341952 5817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 6187 5817 170 317 0 5866 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 24748

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1767768/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=27744 CPUtime=222.23
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 6609 0 0 0 22217 6 0 0 25 0 1 0 276434397 28409856 6535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 6936 6535 170 317 0 6615 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 27744

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1765336/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=30148 CPUtime=282.21
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 7208 0 0 0 28214 7 0 0 25 0 1 0 276434397 30871552 7134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563464 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 7537 7134 170 317 0 7216 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 30148

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1763352/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=32184 CPUtime=342.2
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 7694 0 0 0 34212 8 0 0 25 0 1 0 276434397 32956416 7620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 8046 7620 170 317 0 7725 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 32184

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1760984/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=34844 CPUtime=402.18
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 8293 0 0 0 40209 9 0 0 25 0 1 0 276434397 35680256 8219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 8711 8219 170 317 0 8390 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 34844

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1759192/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=36684 CPUtime=462.17
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 8734 0 0 0 46206 11 0 0 25 0 1 0 276434397 37564416 8660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 9171 8660 170 317 0 8850 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 36684

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1757272/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=38280 CPUtime=522.15
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 9176 0 0 0 52203 12 0 0 25 0 1 0 276434397 39198720 9102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 9570 9102 170 317 0 9249 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 38280

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1755928/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=39868 CPUtime=582.14
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 9533 0 0 0 58201 13 0 0 25 0 1 0 276434397 40824832 9459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 9967 9459 170 317 0 9646 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 39868

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1754328/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=42032 CPUtime=642.12
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 10017 0 0 0 64199 13 0 0 25 0 1 0 276434397 43040768 9830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 10508 9830 170 317 0 10187 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 42032


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28293
/proc/meminfo: memFree=1749144/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=47308 CPUtime=882.05
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 11316 0 0 0 88188 17 0 0 25 0 1 0 276434397 48443392 11129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 11827 11129 170 317 0 11506 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 47308

[startup+942.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1747864/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=48348 CPUtime=942.04
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 11590 0 0 0 94186 18 0 0 25 0 1 0 276434397 49508352 11403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 12087 11403 170 317 0 11766 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 48348

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1746648/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=49656 CPUtime=1002.02
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 11887 0 0 0 100184 18 0 0 25 0 1 0 276434397 50847744 11700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 12414 11700 170 317 0 12093 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 49656

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1745624/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=50704 CPUtime=1062.01
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 12153 0 0 0 106182 19 0 0 25 0 1 0 276434397 51920896 11966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 12676 11966 170 317 0 12355 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 50704

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1744536/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=52148 CPUtime=1122
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 12449 0 0 0 112180 20 0 0 25 0 1 0 276434397 53399552 12229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 13037 12229 170 317 0 12716 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 52148

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1743512/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=53252 CPUtime=1181.97
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 12709 0 0 0 118177 20 0 0 25 0 1 0 276434397 54530048 12489 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 13313 12489 170 317 0 12992 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 53252

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1742296/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=54508 CPUtime=1241.96
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 13005 0 0 0 124175 21 0 0 25 0 1 0 276434397 55816192 12785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 13627 12785 170 317 0 13306 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 54508

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1741080/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=55708 CPUtime=1301.95
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 13321 0 0 0 130173 22 0 0 25 0 1 0 276434397 57044992 13101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 13927 13101 170 317 0 13606 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 55708

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1738456/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=58240 CPUtime=1361.92
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 13986 0 0 0 136169 23 0 0 25 0 1 0 276434397 59637760 13766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 14560 13766 170 317 0 14239 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 58240

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1735128/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=61648 CPUtime=1421.91
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 14791 0 0 0 142167 24 0 0 25 0 1 0 276434397 63127552 14571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 15412 14571 170 317 0 15091 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 61648

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1732248/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=64508 CPUtime=1481.89
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 15520 0 0 0 148164 25 0 0 25 0 1 0 276434397 66056192 15300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 16127 15300 170 317 0 15806 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 64508

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1729560/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=67800 CPUtime=1541.88
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 16195 0 0 0 154162 26 0 0 25 0 1 0 276434397 69427200 15975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 16950 15975 170 317 0 16629 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 67800

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1727128/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=70344 CPUtime=1601.87
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 16801 0 0 0 160159 28 0 0 25 0 1 0 276434397 72032256 16581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 17586 16581 170 317 0 17265 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 70344

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1725272/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=72144 CPUtime=1661.85
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 17261 0 0 0 166157 28 0 0 25 0 1 0 276434397 73875456 17041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 18036 17041 170 317 0 17715 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 72144

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1723672/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=73780 CPUtime=1721.83
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 17660 0 0 0 172154 29 0 0 25 0 1 0 276434397 75550720 17440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 18445 17440 170 317 0 18124 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 73780

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1722136/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=75120 CPUtime=1781.82
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 18045 0 0 0 178152 30 0 0 25 0 1 0 276434397 76922880 17825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 18780 17825 170 317 0 18459 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 75120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1721688/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=75524 CPUtime=1800.02
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 18143 0 0 0 179972 30 0 0 25 0 1 0 276434397 77336576 17923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 18881 17923 170 317 0 18560 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 75524

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 28295
/proc/meminfo: memFree=1721688/2055920 swapFree=4145492/4192956
[pid=28292] ppid=28290 vsize=75524 CPUtime=1800.02
/proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 18143 0 0 0 179972 30 0 0 25 0 1 0 276434397 77336576 17923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28292/statm: 18881 17923 170 317 0 18560 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 75524

Child status: 0
Real time (s): 1800.55
CPU time (s): 1800.07
CPU user time (s): 1799.75
CPU system time (s): 0.318951
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 75524

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

runsolver used 1.44478 second user time and 4.19936 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue May  1 07:19:28 UTC 2007

IDJOB= 431225
IDBENCH= 48036
IDSOLVER= 172
FILE ID= node9/431225-1178003968

PBS_JOBID= 4728249

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

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  908985d974b16faef92bc77f5752fc1c

RANDOM SEED= 709276588

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1793912 kB
Buffers:         40288 kB
Cached:         132808 kB
SwapCached:      15332 kB
Active:          76948 kB
Inactive:       119880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1793912 kB
SwapTotal:     4192956 kB
SwapFree:      4145492 kB
Dirty:            1408 kB
Writeback:           0 kB
Mapped:          30756 kB
Slab:            50692 kB
Committed_AS:  6778212 kB
PageTables:       1788 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 node9 on Tue May  1 07:49:31 UTC 2007