Trace number 430973

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.26 1800.96

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=7-P0=23-P1=29-P2=43-B.opb
MD5SUM6b89f4f008f41d9515b4e0d45a9d302b
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.038993
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 variables42
Total number of constraints5
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 constraints5
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)98
Sum of products size (including duplicates)196
Number of different products98
Sum of products size196

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=140 #constraints=204 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.30/0.31	c restart after 401 decisions
0.39/0.42	c nbDecision=500 #constraints=607
0.79/0.84	c restart after 801 decisions
1.19/1.21	c nbDecision=1000 #constraints=1075
2.20/2.27	c nbDecision=1500 #constraints=1542
2.59/2.61	c restart after 1601 decisions
3.69/3.71	c nbDecision=2000 #constraints=2002
5.29/5.36	c nbDecision=2500 #constraints=2458
8.59/8.63	c nbDecision=3000 #constraints=2935
9.69/9.74	c restart after 3201 decisions
11.69/11.79	c nbDecision=3500 #constraints=3388
15.48/15.54	c nbDecision=4000 #constraints=3849
19.89/19.91	c nbDecision=4500 #constraints=4296
27.68/27.73	c nbDecision=5000 #constraints=4778
35.08/35.12	c nbDecision=5500 #constraints=5223
42.88/42.91	c nbDecision=6000 #constraints=5667
50.58/50.66	c restart after 6401 decisions
52.97/53.06	c nbDecision=6500 #constraints=6122
63.97/64.02	c nbDecision=7000 #constraints=6570
76.86/76.97	c nbDecision=7500 #constraints=7054
87.76/87.86	c nbDecision=8000 #constraints=7453
98.96/99.09	c nbDecision=8500 #constraints=7860
110.55/110.69	c nbDecision=9000 #constraints=8287
125.55/125.69	c nbDecision=9500 #constraints=8700
144.05/144.17	c nbDecision=10000 #constraints=9131
164.23/164.39	c nbDecision=10500 #constraints=9591
182.23/182.33	c nbDecision=11000 #constraints=10010
199.12/199.29	c nbDecision=11500 #constraints=10447
217.62/217.75	c nbDecision=12000 #constraints=10872
240.10/240.25	c nbDecision=12500 #constraints=11325
254.01/254.18	c restart after 12801 decisions
263.20/263.35	c nbDecision=13000 #constraints=11743
290.19/290.37	c nbDecision=13500 #constraints=12188
321.38/321.55	c nbDecision=14000 #constraints=12643
344.47/344.68	c nbDecision=14500 #constraints=13045
367.06/367.21	c nbDecision=15000 #constraints=13447
391.65/391.82	c nbDecision=15500 #constraints=13837
422.45/422.60	c nbDecision=16000 #constraints=14253
452.44/452.62	c nbDecision=16500 #constraints=14664
482.02/482.25	c nbDecision=17000 #constraints=15081
512.81/513.03	c nbDecision=17500 #constraints=15522
549.40/549.64	c nbDecision=18000 #constraints=15944
584.49/584.73	c nbDecision=18500 #constraints=16368
625.68/625.93	c nbDecision=19000 #constraints=16813
668.66/668.90	c nbDecision=19500 #constraints=17268
707.45/707.74	c nbDecision=20000 #constraints=17664
744.84/745.15	c nbDecision=20500 #constraints=18072
782.62/782.91	c nbDecision=21000 #constraints=18501
825.31/825.63	c nbDecision=21500 #constraints=18923
873.99/874.33	c nbDecision=22000 #constraints=19353
922.07/922.42	c nbDecision=22500 #constraints=19798
971.85/972.28	c nbDecision=23000 #constraints=20216
1027.84/1028.26	c nbDecision=23500 #constraints=20656
1082.82/1083.20	c nbDecision=24000 #constraints=21090
1148.20/1148.67	c nbDecision=24500 #constraints=21520
1223.88/1224.39	c nbDecision=25000 #constraints=21977
1296.25/1296.74	c nbDecision=25500 #constraints=22417
1310.64/1311.14	c restart after 25601 decisions
1344.23/1344.79	c nbDecision=26000 #constraints=22765
1397.01/1397.55	c nbDecision=26500 #constraints=23179
1445.90/1446.41	c nbDecision=27000 #constraints=23578
1495.78/1496.39	c nbDecision=27500 #constraints=23996
1548.99/1549.68	c nbDecision=28000 #constraints=24408
1612.05/1612.79	c nbDecision=28500 #constraints=24843
1680.23/1680.94	c nbDecision=29000 #constraints=25280
1749.70/1750.42	c nbDecision=29500 #constraints=25716
1800.00/1800.70	Received signal 15
1800.19/1800.94	
1800.19/1800.94	s UNKNOWN
1800.19/1800.94	
1800.19/1800.94	c user time= 1800.04 s
1800.19/1800.94	c system time= 0.200969 s
1800.19/1800.94	c wall clock time=1800.95

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430973-1178001347/instance-430973-1178001347.opb
mv /tmp/evaluation/430973-1178001347/instance-430973-1178001347.opb.tmp /tmp/evaluation/430973-1178001347/instance-430973-1178001347.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node59/watcher-430973-1178001347 -o ROOT/results/node59/solver-430973-1178001347 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430973-1178001347/instance-430973-1178001347.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.87 0.97 0.96 3/64 4433
/proc/meminfo: memFree=1767200/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=1468 CPUtime=0
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 248044320 1503232 182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266181 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 367 182 139 317 0 46 0

[startup+0.039481 s]
/proc/loadavg: 0.87 0.97 0.96 3/64 4433
/proc/meminfo: memFree=1767200/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=1732 CPUtime=0.03
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 235 0 0 0 3 0 0 0 18 0 1 0 248044320 1773568 218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134546652 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 433 218 139 317 0 112 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1732

[startup+0.102493 s]
/proc/loadavg: 0.87 0.97 0.96 3/64 4433
/proc/meminfo: memFree=1767200/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=1864 CPUtime=0.1
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 316 0 0 0 10 0 0 0 18 0 1 0 248044320 1908736 299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 466 299 170 317 0 145 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1864

[startup+0.302531 s]
/proc/loadavg: 0.87 0.97 0.96 3/64 4433
/proc/meminfo: memFree=1767200/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=2276 CPUtime=0.3
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 430 0 0 0 30 0 0 0 19 0 1 0 248044320 2330624 413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 569 413 170 317 0 248 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2276

[startup+0.701607 s]
/proc/loadavg: 0.87 0.97 0.96 3/64 4433
/proc/meminfo: memFree=1767200/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=3076 CPUtime=0.69
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 606 0 0 0 69 0 0 0 22 0 1 0 248044320 3149824 589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 769 589 170 317 0 448 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3076

[startup+1.50176 s]
/proc/loadavg: 0.88 0.97 0.96 2/65 4434
/proc/meminfo: memFree=1765016/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=4128 CPUtime=1.49
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 877 0 0 0 149 0 0 0 25 0 1 0 248044320 4227072 860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 1032 860 170 317 0 711 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4128

[startup+3.10106 s]
/proc/loadavg: 0.88 0.97 0.96 2/65 4434
/proc/meminfo: memFree=1763480/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=5728 CPUtime=3.09
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 1267 0 0 0 309 0 0 0 25 0 1 0 248044320 5865472 1250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 1432 1250 170 317 0 1111 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5728

[startup+6.30167 s]
/proc/loadavg: 0.88 0.97 0.96 2/65 4434
/proc/meminfo: memFree=1760856/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=7936 CPUtime=6.29
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 1797 0 0 0 629 0 0 0 25 0 1 0 248044320 8126464 1780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530385 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 1984 1780 170 317 0 1663 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7936

[startup+12.7019 s]
/proc/loadavg: 0.90 0.97 0.96 2/65 4434
/proc/meminfo: memFree=1758656/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=9924 CPUtime=12.69
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 2306 0 0 0 1268 1 0 0 25 0 1 0 248044320 10162176 2289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 2481 2289 170 317 0 2160 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9924

[startup+25.5023 s]
/proc/loadavg: 0.91 0.97 0.96 2/65 4434
/proc/meminfo: memFree=1755584/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=12960 CPUtime=25.48
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 3052 0 0 0 2546 2 0 0 25 0 1 0 248044320 13271040 3035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 3240 3035 170 317 0 2919 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12960

[startup+51.1022 s]
/proc/loadavg: 1.02 0.99 0.97 2/65 4434
/proc/meminfo: memFree=1752192/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=16740 CPUtime=51.08
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 3907 0 0 0 5105 3 0 0 25 0 1 0 248044320 17141760 3890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 4185 3890 170 317 0 3864 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16740

[startup+102.305 s]
/proc/loadavg: 1.08 1.00 0.97 2/65 4434
/proc/meminfo: memFree=1746624/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=22348 CPUtime=102.25
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 5301 0 0 0 10221 4 0 0 25 0 1 0 248044320 22884352 5284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 5587 5284 170 317 0 5266 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 22348

[startup+162.301 s]
/proc/loadavg: 1.10 1.02 0.98 2/65 4434
/proc/meminfo: memFree=1741888/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=27748 CPUtime=162.23
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 6534 0 0 0 16218 5 0 0 25 0 1 0 248044320 28413952 6459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 6937 6459 170 317 0 6616 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 27748

[startup+222.302 s]
/proc/loadavg: 1.10 1.03 0.98 2/65 4434
/proc/meminfo: memFree=1738240/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=31044 CPUtime=222.21
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 7421 0 0 0 22215 6 0 0 25 0 1 0 248044320 31789056 7346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 7761 7346 170 317 0 7440 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 31044

[startup+282.301 s]
/proc/loadavg: 1.03 1.02 0.98 2/65 4434
/proc/meminfo: memFree=1735488/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=33600 CPUtime=282.19
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 8119 0 0 0 28212 7 0 0 25 0 1 0 248044320 34406400 8044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 8400 8044 170 317 0 8079 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 33600

[startup+342.302 s]
/proc/loadavg: 1.01 1.01 0.98 2/65 4434
/proc/meminfo: memFree=1732928/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=36188 CPUtime=342.17
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 8750 0 0 0 34209 8 0 0 25 0 1 0 248044320 37056512 8675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563818 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 9047 8675 170 317 0 8726 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 36188

[startup+402.302 s]
/proc/loadavg: 1.04 1.02 0.99 2/65 4436
/proc/meminfo: memFree=1729664/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=40848 CPUtime=402.16
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 9589 0 0 0 40207 9 0 0 25 0 1 0 248044320 41828352 9514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 10212 9514 170 317 0 9891 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 40848

[startup+462.301 s]
/proc/loadavg: 1.01 1.02 0.99 2/65 4436
/proc/meminfo: memFree=1727424/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=42984 CPUtime=462.13
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 10140 0 0 0 46204 9 0 0 25 0 1 0 248044320 44015616 10065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 10746 10065 170 317 0 10425 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 42984

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 0.99 2/65 4436
/proc/meminfo: memFree=1725248/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=44992 CPUtime=522.11
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 10688 0 0 0 52202 9 0 0 25 0 1 0 248044320 46071808 10613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 11248 10613 170 317 0 10927 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 44992

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 0.99 2/65 4436
/proc/meminfo: memFree=1723456/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=46860 CPUtime=582.09
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 11120 0 0 0 58199 10 0 0 25 0 1 0 248044320 47984640 11045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 11715 11045 170 317 0 11394 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 46860

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4436
/proc/meminfo: memFree=1721728/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=49028 CPUtime=642.07
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 11657 0 0 0 64197 10 0 0 25 0 1 0 248044320 50204672 11468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 12257 11468 170 317 0 11936 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 49028


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4436
/proc/meminfo: memFree=1713856/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=56984 CPUtime=941.97
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 13606 0 0 0 94185 12 0 0 25 0 1 0 248044320 58351616 13417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 14246 13417 170 317 0 13925 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 56984

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4436
/proc/meminfo: memFree=1712640/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=58180 CPUtime=1001.95
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 13914 0 0 0 100182 13 0 0 25 0 1 0 248044320 59576320 13725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 14545 13725 170 317 0 14224 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 58180

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4436
/proc/meminfo: memFree=1711488/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=59292 CPUtime=1061.92
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 14195 0 0 0 106179 13 0 0 25 0 1 0 248044320 60715008 14006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 14823 14006 170 317 0 14502 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 59292

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4436
/proc/meminfo: memFree=1710400/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=60336 CPUtime=1121.91
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 14465 0 0 0 112177 14 0 0 25 0 1 0 248044320 61784064 14276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 15084 14276 170 317 0 14763 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 60336

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4436
/proc/meminfo: memFree=1709504/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=60988 CPUtime=1181.88
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 14682 0 0 0 118174 14 0 0 25 0 1 0 248044320 62451712 14493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 15247 14493 170 317 0 14926 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 60988

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4436
/proc/meminfo: memFree=1708480/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=61908 CPUtime=1241.87
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 14934 0 0 0 124172 15 0 0 25 0 1 0 248044320 63393792 14745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 15477 14745 170 317 0 15156 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 61908

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4436
/proc/meminfo: memFree=1707520/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=62888 CPUtime=1301.85
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 15161 0 0 0 130170 15 0 0 25 0 1 0 248044320 64397312 14972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 15722 14972 170 317 0 15401 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 62888

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4436
/proc/meminfo: memFree=1705856/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=67024 CPUtime=1361.83
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 15970 0 0 0 136167 16 0 0 25 0 1 0 248044320 68632576 15385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 16756 15385 170 317 0 16435 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 67024

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4436
/proc/meminfo: memFree=1704512/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=68976 CPUtime=1421.81
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 16417 0 0 0 142165 16 0 0 25 0 1 0 248044320 70631424 15700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 17244 15700 170 317 0 16923 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 68976

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4436
/proc/meminfo: memFree=1703104/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=70556 CPUtime=1481.78
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 16816 0 0 0 148162 16 0 0 25 0 1 0 248044320 72249344 16033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 17639 16033 170 317 0 17318 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 70556

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/71 4592
/proc/meminfo: memFree=1700664/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=71612 CPUtime=1541.7
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 17122 0 0 0 154152 18 0 0 25 0 1 0 248044320 73330688 16339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 17903 16339 170 317 0 17582 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 71612

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4634
/proc/meminfo: memFree=1700800/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=72796 CPUtime=1601.65
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 17384 0 0 0 160147 18 0 0 25 0 1 0 248044320 74543104 16601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 18199 16601 170 317 0 17878 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 72796

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4634
/proc/meminfo: memFree=1699712/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=73760 CPUtime=1661.64
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 17650 0 0 0 166145 19 0 0 25 0 1 0 248044320 75530240 16867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 18440 16867 170 317 0 18119 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 73760

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4634
/proc/meminfo: memFree=1698624/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=74544 CPUtime=1721.62
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 17914 0 0 0 172143 19 0 0 25 0 1 0 248044320 76333056 17131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 18636 17131 170 317 0 18315 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 74544

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4634
/proc/meminfo: memFree=1697472/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=75628 CPUtime=1781.59
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 18204 0 0 0 178140 19 0 0 25 0 1 0 248044320 77443072 17421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 18907 17421 170 317 0 18586 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 75628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4634
/proc/meminfo: memFree=1697152/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=76028 CPUtime=1800
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 18282 0 0 0 179980 20 0 0 25 0 1 0 248044320 77852672 17499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 19007 17499 170 317 0 18686 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 76028

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4634
/proc/meminfo: memFree=1697152/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=76028 CPUtime=1800.1
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 18282 0 0 0 179990 20 0 0 25 0 1 0 248044320 77852672 17499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 19007 17499 170 317 0 18686 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 76028

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4634
/proc/meminfo: memFree=1697152/2055920 swapFree=4184616/4192956
[pid=4433] ppid=4431 vsize=76028 CPUtime=1800.19
/proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 18283 0 0 0 179999 20 0 0 25 0 1 0 248044320 77852672 17500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4433/statm: 19007 17500 170 317 0 18686 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 76028

Child status: 0
Real time (s): 1800.96
CPU time (s): 1800.26
CPU user time (s): 1800.05
CPU system time (s): 0.213967
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 76028

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

runsolver used 1.40079 second user time and 3.57346 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Tue May  1 06:35:47 UTC 2007

IDJOB= 430973
IDBENCH= 48018
IDSOLVER= 172
FILE ID= node59/430973-1178001347

PBS_JOBID= 4728223

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=7-P0=23-P1=29-P2=43-B.opb
COMMAND LINE= oree /tmp/evaluation/430973-1178001347/instance-430973-1178001347.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-430973-1178001347 -o ROOT/results/node59/conversion-430973-1178001347 -C 600 -M 1800 /tmp/evaluation/430973-1178001347/substituteSizeProductKeyword /tmp/evaluation/430973-1178001347/instance-430973-1178001347.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  6b89f4f008f41d9515b4e0d45a9d302b

RANDOM SEED= 864517952

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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	: 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.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:       1767608 kB
Buffers:         26996 kB
Cached:         182256 kB
SwapCached:       2364 kB
Active:          65320 kB
Inactive:       154088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1767608 kB
SwapTotal:     4192956 kB
SwapFree:      4184616 kB
Dirty:            1488 kB
Writeback:           0 kB
Mapped:          16948 kB
Slab:            54860 kB
Committed_AS:  3242132 kB
PageTables:       1476 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 node59 on Tue May  1 07:05:50 UTC 2007