Trace number 431477

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.32 1800.78

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb
MD5SUM74c00e33b4232d137ad873ae982593f6
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.097984
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 variables96
Total number of constraints9
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 constraints9
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)256
Sum of products size (including duplicates)512
Number of different products256
Sum of products size512

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=352 #constraints=526 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.59/0.70	c restart after 401 decisions
0.79/0.88	c nbDecision=500 #constraints=976
1.39/1.44	c restart after 801 decisions
1.89/1.92	c nbDecision=1000 #constraints=1425
2.59/2.69	c nbDecision=1500 #constraints=1893
2.89/2.99	c restart after 1601 decisions
3.89/3.99	c nbDecision=2000 #constraints=2338
6.09/6.18	c nbDecision=2500 #constraints=2821
9.69/9.73	c nbDecision=3000 #constraints=3299
11.58/11.64	c restart after 3201 decisions
14.09/14.11	c nbDecision=3500 #constraints=3757
17.89/17.99	c nbDecision=4000 #constraints=4221
21.88/21.95	c nbDecision=4500 #constraints=4678
28.58/28.62	c nbDecision=5000 #constraints=5161
37.28/37.32	c nbDecision=5500 #constraints=5639
46.28/46.32	c nbDecision=6000 #constraints=6096
53.88/53.98	c restart after 6401 decisions
54.47/54.52	c nbDecision=6500 #constraints=6543
72.47/72.53	c nbDecision=7000 #constraints=7042
90.36/90.45	c nbDecision=7500 #constraints=7540
109.76/109.90	c nbDecision=8000 #constraints=8041
128.96/129.07	c nbDecision=8500 #constraints=8520
150.55/150.64	c nbDecision=9000 #constraints=9011
168.36/168.49	c nbDecision=9500 #constraints=9475
189.74/189.82	c nbDecision=10000 #constraints=9934
218.24/218.34	c nbDecision=10500 #constraints=10419
246.43/246.59	c nbDecision=11000 #constraints=10885
273.83/273.96	c nbDecision=11500 #constraints=11370
299.21/299.30	c nbDecision=12000 #constraints=11851
334.61/334.74	c nbDecision=12500 #constraints=12347
357.50/357.61	c restart after 12801 decisions
377.09/377.27	c nbDecision=13000 #constraints=12810
423.98/424.12	c nbDecision=13500 #constraints=13300
466.87/467.06	c nbDecision=14000 #constraints=13774
494.67/494.81	c nbDecision=14500 #constraints=14235
548.35/548.53	c nbDecision=15000 #constraints=14724
593.44/593.63	c nbDecision=15500 #constraints=15203
637.13/637.31	c nbDecision=16000 #constraints=15650
671.42/671.64	c nbDecision=16500 #constraints=16082
713.21/713.44	c nbDecision=17000 #constraints=16550
762.20/762.46	c nbDecision=17500 #constraints=17041
803.79/804.09	c nbDecision=18000 #constraints=17513
836.18/836.44	c nbDecision=18500 #constraints=17980
878.67/878.99	c nbDecision=19000 #constraints=18448
942.75/943.04	c nbDecision=19500 #constraints=18914
1009.03/1009.33	c nbDecision=20000 #constraints=19401
1065.72/1066.04	c nbDecision=20500 #constraints=19881
1132.10/1132.48	c nbDecision=21000 #constraints=20341
1187.89/1188.25	c nbDecision=21500 #constraints=20810
1222.78/1223.18	c nbDecision=22000 #constraints=21244
1282.76/1283.18	c nbDecision=22500 #constraints=21714
1333.96/1334.33	c nbDecision=23000 #constraints=22189
1368.74/1369.13	c nbDecision=23500 #constraints=22639
1426.63/1427.02	c nbDecision=24000 #constraints=23111
1465.82/1466.30	c nbDecision=24500 #constraints=23564
1554.20/1554.67	c nbDecision=25000 #constraints=24054
1632.08/1632.53	c nbDecision=25500 #constraints=24535
1643.27/1643.74	c restart after 25601 decisions
1708.26/1708.77	c nbDecision=26000 #constraints=24972
1795.04/1795.54	c nbDecision=26500 #constraints=25454
1800.04/1800.50	Received signal 15
1800.24/1800.75	
1800.24/1800.75	s UNKNOWN
1800.24/1800.75	
1800.24/1800.75	c user time= 1799.96 s
1800.24/1800.75	c system time= 0.340948 s
1800.24/1800.75	c wall clock time=1800.76

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb
mv /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb.tmp /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node45/watcher-431477-1178006780 -o ROOT/results/node45/solver-431477-1178006780 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 10873
/proc/meminfo: memFree=1785744/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=1468 CPUtime=0
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 155523610 1503232 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 367 176 132 317 0 46 0

[startup+0.101115 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 10873
/proc/meminfo: memFree=1785744/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=1872 CPUtime=0.09
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 290 0 0 0 9 0 0 0 18 0 1 0 155523610 1916928 273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 468 273 139 317 0 147 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1872

[startup+0.201124 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 10873
/proc/meminfo: memFree=1785744/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=2132 CPUtime=0.19
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 351 0 0 0 19 0 0 0 18 0 1 0 155523610 2183168 334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558841 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 533 334 139 317 0 212 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2132

[startup+0.301135 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 10873
/proc/meminfo: memFree=1785744/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=2396 CPUtime=0.29
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 414 0 0 0 29 0 0 0 19 0 1 0 155523610 2453504 397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 599 397 139 317 0 278 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2396

[startup+0.701175 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 10873
/proc/meminfo: memFree=1785744/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=3172 CPUtime=0.69
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 617 0 0 0 69 0 0 0 23 0 1 0 155523610 3248128 600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 793 600 139 317 0 472 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3172

[startup+1.50126 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10874
/proc/meminfo: memFree=1783176/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=4744 CPUtime=1.49
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 992 0 0 0 149 0 0 0 25 0 1 0 155523610 4857856 975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 1186 975 139 317 0 865 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4744

[startup+3.10142 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10874
/proc/meminfo: memFree=1780808/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=7744 CPUtime=3.09
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 1762 0 0 0 309 0 0 0 25 0 1 0 155523610 7929856 1745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 1936 1745 139 317 0 1615 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7744

[startup+6.30174 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10874
/proc/meminfo: memFree=1776328/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=11132 CPUtime=6.29
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 2597 0 0 0 628 1 0 0 25 0 1 0 155523610 11399168 2580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 2783 2580 139 317 0 2462 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11132

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10874
/proc/meminfo: memFree=1772488/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=14572 CPUtime=12.68
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 3405 0 0 0 1267 1 0 0 25 0 1 0 155523610 14921728 3388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 3643 3388 139 317 0 3322 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14572

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10874
/proc/meminfo: memFree=1767432/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=19596 CPUtime=25.48
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 4683 0 0 0 2546 2 0 0 25 0 1 0 155523610 20066304 4666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 4899 4666 170 317 0 4578 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19596

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10874
/proc/meminfo: memFree=1761864/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=25284 CPUtime=51.08
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 6088 0 0 0 5104 4 0 0 25 0 1 0 155523610 25890816 6071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 6321 6071 170 317 0 6000 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25284

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10874
/proc/meminfo: memFree=1755720/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=31692 CPUtime=102.27
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 7604 0 0 0 10221 6 0 0 25 0 1 0 155523610 32452608 7587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 7923 7587 170 317 0 7602 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31692

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10874
/proc/meminfo: memFree=1750216/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=37692 CPUtime=162.24
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 9060 0 0 0 16217 7 0 0 25 0 1 0 155523610 38596608 8986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 9423 8986 170 317 0 9102 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 37692

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10874
/proc/meminfo: memFree=1745608/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=42472 CPUtime=222.24
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 10169 0 0 0 22215 9 0 0 25 0 1 0 155523610 43491328 10095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 10618 10095 170 317 0 10297 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 42472

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1740680/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=47984 CPUtime=282.22
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 11424 0 0 0 28212 10 0 0 25 0 1 0 155523610 49135616 11350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 11996 11350 170 317 0 11675 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 47984

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1737288/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=51212 CPUtime=342.2
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 12239 0 0 0 34209 11 0 0 25 0 1 0 155523610 52441088 12165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 12803 12165 170 317 0 12482 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 51212

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1734600/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=53984 CPUtime=402.19
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 12905 0 0 0 40207 12 0 0 25 0 1 0 155523610 55279616 12831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 13496 12831 170 317 0 13175 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 53984

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1732296/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=56124 CPUtime=462.17
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 13477 0 0 0 46204 13 0 0 25 0 1 0 155523610 57470976 13403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 14031 13403 170 317 0 13710 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 56124

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1729480/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=59048 CPUtime=522.16
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 14184 0 0 0 52202 14 0 0 25 0 1 0 155523610 60465152 14110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 14762 14110 170 317 0 14441 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 59048

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1726856/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=61744 CPUtime=582.14
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 14837 0 0 0 58199 15 0 0 25 0 1 0 155523610 63225856 14763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 15436 14763 170 317 0 15115 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 61744

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1724360/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=64140 CPUtime=642.13
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 15458 0 0 0 64197 16 0 0 25 0 1 0 155523610 65679360 15384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266094 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 16035 15384 170 317 0 15714 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 64140


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

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1713352/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=76600 CPUtime=882.07
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 18307 0 0 0 88187 20 0 0 25 0 1 0 155523610 78438400 18120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 19150 18120 170 317 0 18829 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 76600

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1711752/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=78420 CPUtime=942.05
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 18715 0 0 0 94184 21 0 0 25 0 1 0 155523610 80302080 18528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 19605 18528 170 317 0 19284 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 78420

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1710280/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=80136 CPUtime=1002.03
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 19092 0 0 0 100181 22 0 0 25 0 1 0 155523610 82059264 18905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 20034 18905 170 317 0 19713 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 80136

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1708296/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=82048 CPUtime=1062.02
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 19592 0 0 0 106179 23 0 0 25 0 1 0 155523610 84017152 19405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 20512 19405 170 317 0 20191 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 82048

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1706696/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=83756 CPUtime=1122
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 19976 0 0 0 112176 24 0 0 25 0 1 0 155523610 85766144 19789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 20939 19789 170 317 0 20618 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 83756

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1704904/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=85320 CPUtime=1181.99
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 20439 0 0 0 118174 25 0 0 25 0 1 0 155523610 87367680 20252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 21330 20252 170 317 0 21009 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 85320

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1701320/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=89888 CPUtime=1241.98
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 21312 0 0 0 124172 26 0 0 25 0 1 0 155523610 92045312 21125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 22472 21125 170 317 0 22151 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 89888

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1699400/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=91752 CPUtime=1301.96
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 21797 0 0 0 130169 27 0 0 25 0 1 0 155523610 93954048 21610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 22938 21610 170 317 0 22617 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 91752

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1697160/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=94004 CPUtime=1361.94
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 22379 0 0 0 136166 28 0 0 25 0 1 0 155523610 96260096 22192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 23501 22192 170 317 0 23180 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 94004

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1694984/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=96272 CPUtime=1421.93
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 22993 0 0 0 142164 29 0 0 25 0 1 0 155523610 98582528 22707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 24068 22707 170 317 0 23747 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 96272

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1692680/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=98768 CPUtime=1481.91
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 23639 0 0 0 148161 30 0 0 25 0 1 0 155523610 101138432 23287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 24692 23287 170 317 0 24371 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 98768

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1691400/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=99964 CPUtime=1541.9
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 23962 0 0 0 154159 31 0 0 25 0 1 0 155523610 102363136 23610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 24991 23610 170 317 0 24670 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 99964

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1689928/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=101716 CPUtime=1601.88
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 24312 0 0 0 160157 31 0 0 25 0 1 0 155523610 104157184 23960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 25429 23960 170 317 0 25108 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 101716

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1688648/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=103336 CPUtime=1661.86
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 24677 0 0 0 166154 32 0 0 25 0 1 0 155523610 105816064 24325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 25834 24325 170 317 0 25513 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 103336

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1687368/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=104500 CPUtime=1721.85
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 24982 0 0 0 172152 33 0 0 25 0 1 0 155523610 107008000 24630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 26125 24630 170 317 0 25804 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 104500

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1686216/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=105536 CPUtime=1781.83
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 25261 0 0 0 178150 33 0 0 25 0 1 0 155523610 108068864 24909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 26384 24909 170 317 0 26063 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 105536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10876
/proc/meminfo: memFree=1685768/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=105800 CPUtime=1800.04
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 25360 0 0 0 179970 34 0 0 25 0 1 0 155523610 108339200 25008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 26450 25008 170 317 0 26129 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 105800

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 10877
/proc/meminfo: memFree=1685760/2055920 swapFree=4157808/4192956
[pid=10873] ppid=10871 vsize=105800 CPUtime=1800.24
/proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 25361 0 0 0 179990 34 0 0 25 0 1 0 155523610 108339200 25009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10873/statm: 26450 25009 170 317 0 26129 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 105800

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.32
CPU user time (s): 1799.96
CPU system time (s): 0.357945
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 105800

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

runsolver used 1.56776 second user time and 4.19436 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Tue May  1 08:06:20 UTC 2007

IDJOB= 431477
IDBENCH= 48054
IDSOLVER= 172
FILE ID= node45/431477-1178006780

PBS_JOBID= 4728265

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=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb
COMMAND LINE= oree /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-431477-1178006780 -o ROOT/results/node45/conversion-431477-1178006780 -C 600 -M 1800 /tmp/evaluation/431477-1178006780/substituteSizeProductKeyword /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  74c00e33b4232d137ad873ae982593f6

RANDOM SEED= 157790329

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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:       1786152 kB
Buffers:         38700 kB
Cached:         146596 kB
SwapCached:      14284 kB
Active:          78824 kB
Inactive:       129484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786152 kB
SwapTotal:     4192956 kB
SwapFree:      4157808 kB
Dirty:            1332 kB
Writeback:           0 kB
Mapped:          30032 kB
Slab:            46972 kB
Committed_AS:  1487880 kB
PageTables:       1732 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 node45 on Tue May  1 08:36:22 UTC 2007