Trace number 432163

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.4 1801

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=71-P1=131-P2=37-P3=29-P4=71-P5=79-P6=47-P7=41-B.opb
MD5SUM3dcbc29326e863fba53ed8c8a10116ce
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.12598
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 variables147
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 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)343
Sum of products size (including duplicates)686
Number of different products343
Sum of products size686

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=490 #constraints=709 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.39/0.43	c restart after 401 decisions
0.49/0.50	c nbDecision=500 #constraints=1118
0.69/0.75	c restart after 801 decisions
0.89/0.95	c nbDecision=1000 #constraints=1525
1.49/1.57	c nbDecision=1500 #constraints=1992
1.69/1.70	c restart after 1601 decisions
2.19/2.29	c nbDecision=2000 #constraints=2425
3.19/3.27	c nbDecision=2500 #constraints=2876
4.69/4.70	c nbDecision=3000 #constraints=3361
5.40/5.50	c restart after 3201 decisions
6.69/6.72	c nbDecision=3500 #constraints=3775
9.89/9.96	c nbDecision=4000 #constraints=4251
13.58/13.61	c nbDecision=4500 #constraints=4701
18.09/18.17	c nbDecision=5000 #constraints=5161
23.78/23.88	c nbDecision=5500 #constraints=5617
29.78/29.84	c nbDecision=6000 #constraints=6072
35.88/35.90	c restart after 6401 decisions
36.18/36.20	c nbDecision=6500 #constraints=6523
47.37/47.46	c nbDecision=7000 #constraints=6977
58.97/59.01	c nbDecision=7500 #constraints=7447
70.37/70.43	c nbDecision=8000 #constraints=7913
85.56/85.62	c nbDecision=8500 #constraints=8391
100.76/100.86	c nbDecision=9000 #constraints=8869
119.15/119.20	c nbDecision=9500 #constraints=9337
134.54/134.61	c nbDecision=10000 #constraints=9783
154.44/154.53	c nbDecision=10500 #constraints=10249
176.63/176.77	c nbDecision=11000 #constraints=10705
194.72/194.86	c nbDecision=11500 #constraints=11146
226.51/226.62	c nbDecision=12000 #constraints=11645
257.21/257.38	c nbDecision=12500 #constraints=12132
277.80/277.93	c restart after 12801 decisions
289.79/289.93	c nbDecision=13000 #constraints=12570
321.08/321.23	c nbDecision=13500 #constraints=13059
355.37/355.52	c nbDecision=14000 #constraints=13529
383.96/384.19	c nbDecision=14500 #constraints=13981
426.35/426.51	c nbDecision=15000 #constraints=14475
464.63/464.85	c nbDecision=15500 #constraints=14953
511.12/511.32	c nbDecision=16000 #constraints=15439
560.01/560.24	c nbDecision=16500 #constraints=15935
610.78/611.06	c nbDecision=17000 #constraints=16422
652.47/652.71	c nbDecision=17500 #constraints=16890
705.85/706.15	c nbDecision=18000 #constraints=17388
756.23/756.57	c nbDecision=18500 #constraints=17868
805.02/805.33	c nbDecision=19000 #constraints=18347
854.20/854.50	c nbDecision=19500 #constraints=18828
911.38/911.75	c nbDecision=20000 #constraints=19312
963.27/963.61	c nbDecision=20500 #constraints=19783
1028.44/1028.88	c nbDecision=21000 #constraints=20269
1085.92/1086.33	c nbDecision=21500 #constraints=20754
1156.20/1156.63	c nbDecision=22000 #constraints=21244
1225.28/1225.75	c nbDecision=22500 #constraints=21741
1293.95/1294.42	c nbDecision=23000 #constraints=22235
1370.83/1371.30	c nbDecision=23500 #constraints=22719
1469.39/1469.91	c nbDecision=24000 #constraints=23211
1565.86/1566.41	c nbDecision=24500 #constraints=23678
1643.84/1644.46	c nbDecision=25000 #constraints=24125
1744.80/1745.40	c nbDecision=25500 #constraints=24623
1763.89/1764.50	c restart after 25601 decisions
1800.10/1800.70	Received signal 15
1800.29/1800.98	
1800.29/1800.98	s UNKNOWN
1800.29/1800.98	
1800.29/1800.98	c user time= 1800.22 s
1800.29/1800.98	c system time= 0.161975 s
1800.29/1800.98	c wall clock time=1800.98

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/432163-1178014443/instance-432163-1178014443.opb
mv /tmp/evaluation/432163-1178014443/instance-432163-1178014443.opb.tmp /tmp/evaluation/432163-1178014443/instance-432163-1178014443.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node67/watcher-432163-1178014443 -o ROOT/results/node67/solver-432163-1178014443 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/432163-1178014443/instance-432163-1178014443.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.97 0.98 3/64 9021
/proc/meminfo: memFree=1813232/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=1468 CPUtime=0
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 277433839 1503232 172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 367 172 132 317 0 46 0

[startup+0.0810071 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 9021
/proc/meminfo: memFree=1813232/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=1864 CPUtime=0.07
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 290 0 0 0 7 0 0 0 18 0 1 0 277433839 1908736 273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710870 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 466 274 139 317 0 145 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1864

[startup+0.10201 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 9021
/proc/meminfo: memFree=1813232/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=1992 CPUtime=0.09
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 302 0 0 0 9 0 0 0 18 0 1 0 277433839 2039808 285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 498 285 139 317 0 177 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1992

[startup+0.301046 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 9021
/proc/meminfo: memFree=1813232/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=2384 CPUtime=0.29
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 402 0 0 0 29 0 0 0 19 0 1 0 277433839 2441216 385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279015 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 596 385 139 317 0 275 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2384

[startup+0.70112 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 9021
/proc/meminfo: memFree=1813232/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=3316 CPUtime=0.69
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 648 0 0 0 69 0 0 0 22 0 1 0 277433839 3395584 631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541612 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 829 631 139 317 0 508 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3316

[startup+1.50127 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1810600/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=5024 CPUtime=1.49
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 1060 0 0 0 149 0 0 0 25 0 1 0 277433839 5144576 1043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 1256 1043 139 317 0 935 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5024

[startup+3.10156 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1808424/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=7468 CPUtime=3.09
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 1702 0 0 0 309 0 0 0 25 0 1 0 277433839 7647232 1685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 1867 1685 170 317 0 1546 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7468

[startup+6.30115 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1804968/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=9848 CPUtime=6.29
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 2306 0 0 0 628 1 0 0 25 0 1 0 277433839 10084352 2289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 2462 2289 170 317 0 2141 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9848

[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1802344/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=12360 CPUtime=12.68
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 2886 0 0 0 1267 1 0 0 25 0 1 0 277433839 12656640 2869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 3090 2869 170 317 0 2769 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12360

[startup+25.5027 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1799016/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=15632 CPUtime=25.48
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 3676 0 0 0 2546 2 0 0 25 0 1 0 277433839 16007168 3659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563776 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 3908 3659 170 317 0 3587 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15632

[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1795496/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=19304 CPUtime=51.07
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 4571 0 0 0 5104 3 0 0 25 0 1 0 277433839 19767296 4554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 4826 4554 170 317 0 4505 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19304

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1790824/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=24112 CPUtime=102.26
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 5777 0 0 0 10221 5 0 0 25 0 1 0 277433839 24690688 5702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 6028 5702 170 317 0 5707 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 24112

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1786472/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=28912 CPUtime=162.24
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 6867 0 0 0 16218 6 0 0 25 0 1 0 277433839 29605888 6792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 7228 6792 170 317 0 6907 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 28912

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1783336/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=32240 CPUtime=222.21
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 7629 0 0 0 22215 6 0 0 25 0 1 0 277433839 33013760 7554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 8060 7554 170 317 0 7739 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 32240

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1780968/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=34724 CPUtime=282.2
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 8213 0 0 0 28213 7 0 0 25 0 1 0 277433839 35557376 8138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 8681 8138 170 317 0 8360 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 34724

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1778536/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=37072 CPUtime=342.17
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 8817 0 0 0 34210 7 0 0 25 0 1 0 277433839 37961728 8742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 9268 8742 170 317 0 8947 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 37072

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1776168/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=39536 CPUtime=402.15
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 9411 0 0 0 40207 8 0 0 25 0 1 0 277433839 40484864 9336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 9884 9336 170 317 0 9563 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 39536

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1774248/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=41436 CPUtime=462.13
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 9891 0 0 0 46204 9 0 0 25 0 1 0 277433839 42430464 9816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 10359 9816 170 317 0 10038 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 41436

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1772648/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=43068 CPUtime=522.11
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 10283 0 0 0 52202 9 0 0 25 0 1 0 277433839 44101632 10208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 10767 10208 170 317 0 10446 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 43068

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1771048/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=44640 CPUtime=582.1
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 10671 0 0 0 58200 10 0 0 25 0 1 0 277433839 45711360 10596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715606 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 11160 10596 170 317 0 10839 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 44640

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1768808/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=47052 CPUtime=642.08
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 11281 0 0 0 64198 10 0 0 25 0 1 0 277433839 48181248 11092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563389 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 11763 11092 170 317 0 11442 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 47052


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1763176/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=53704 CPUtime=881.99
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 12737 0 0 0 88188 11 0 0 25 0 1 0 277433839 54992896 12548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 13426 12548 170 317 0 13105 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 53704

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1761832/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=55144 CPUtime=941.97
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 13062 0 0 0 94186 11 0 0 25 0 1 0 277433839 56467456 12873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 13786 12873 170 317 0 13465 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 55144

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1760296/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=56584 CPUtime=1001.95
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 13436 0 0 0 100183 12 0 0 25 0 1 0 277433839 57942016 13247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 14146 13247 170 317 0 13825 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 56584

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1759144/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=58092 CPUtime=1061.93
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 13714 0 0 0 106181 12 0 0 25 0 1 0 277433839 59486208 13525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 14523 13525 170 317 0 14202 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 58092

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1757928/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=59308 CPUtime=1121.92
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 14016 0 0 0 112179 13 0 0 25 0 1 0 277433839 60731392 13827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 14827 13827 170 317 0 14506 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 59308

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1756904/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=60124 CPUtime=1181.9
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 14275 0 0 0 118177 13 0 0 25 0 1 0 277433839 61566976 14086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 15031 14086 170 317 0 14710 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 60124

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1755624/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=61572 CPUtime=1241.87
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 14617 0 0 0 124174 13 0 0 25 0 1 0 277433839 63049728 14395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 15393 14395 170 317 0 15072 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 61572

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1754600/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=62528 CPUtime=1301.85
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 14884 0 0 0 130172 13 0 0 25 0 1 0 277433839 64028672 14662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 15632 14662 170 317 0 15311 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 62528

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1753512/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=63568 CPUtime=1361.83
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 15195 0 0 0 136169 14 0 0 25 0 1 0 277433839 65093632 14940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 15892 14940 170 317 0 15571 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 63568

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1752936/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=64356 CPUtime=1421.82
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 15368 0 0 0 142168 14 0 0 25 0 1 0 277433839 65900544 15113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 16089 15113 170 317 0 15768 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 64356

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1752104/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=65144 CPUtime=1481.79
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 15575 0 0 0 148165 14 0 0 25 0 1 0 277433839 66707456 15320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 16286 15320 170 317 0 15965 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 65144

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1751272/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=65932 CPUtime=1541.77
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 15762 0 0 0 154163 14 0 0 25 0 1 0 277433839 67514368 15507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 16483 15507 170 317 0 16162 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 65932

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1750440/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=66980 CPUtime=1601.76
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 16002 0 0 0 160161 15 0 0 25 0 1 0 277433839 68587520 15714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 16745 15714 170 317 0 16424 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 66980

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9022
/proc/meminfo: memFree=1749352/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=68152 CPUtime=1661.73
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 16281 0 0 0 166158 15 0 0 25 0 1 0 277433839 69787648 15960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 17038 15960 170 317 0 16717 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 68152

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9024
/proc/meminfo: memFree=1748648/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=68856 CPUtime=1721.71
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 16498 0 0 0 172156 15 0 0 25 0 1 0 277433839 70508544 16144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 17214 16144 170 317 0 16893 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 68856

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9024
/proc/meminfo: memFree=1747560/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=70032 CPUtime=1781.7
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 16799 0 0 0 178154 16 0 0 25 0 1 0 277433839 71712768 16412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 17508 16412 170 317 0 17187 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 70032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9024
/proc/meminfo: memFree=1747304/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=70296 CPUtime=1800.1
/proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 16847 0 0 0 179994 16 0 0 25 0 1 0 277433839 71983104 16460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9021/statm: 17574 16460 170 317 0 17253 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 70296

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 9024
/proc/meminfo: memFree=1747304/2055920 swapFree=4183044/4192956
[pid=9021] ppid=9019 vsize=0 CPUtime=1800.39
/proc/9021/stat : 9021 (oree) D 9019 9021 7198 0 -1 4194308 16864 0 0 0 180022 17 0 0 24 0 1 0 277433839 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 0 0 0
/proc/9021/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801
CPU time (s): 1800.4
CPU user time (s): 1800.22
CPU system time (s): 0.173973
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 70296

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

runsolver used 1.35879 second user time and 3.56646 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Tue May  1 10:14:03 UTC 2007

IDJOB= 432163
IDBENCH= 48103
IDSOLVER= 172
FILE ID= node67/432163-1178014443

PBS_JOBID= 4728287

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=71-P1=131-P2=37-P3=29-P4=71-P5=79-P6=47-P7=41-B.opb
COMMAND LINE= oree /tmp/evaluation/432163-1178014443/instance-432163-1178014443.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node67/convwatcher-432163-1178014443 -o ROOT/results/node67/conversion-432163-1178014443 -C 600 -M 1800 /tmp/evaluation/432163-1178014443/substituteSizeProductKeyword /tmp/evaluation/432163-1178014443/instance-432163-1178014443.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  3dcbc29326e863fba53ed8c8a10116ce

RANDOM SEED= 269977924

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1813704 kB
Buffers:         19316 kB
Cached:         154560 kB
SwapCached:       3808 kB
Active:          46168 kB
Inactive:       137820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1813704 kB
SwapTotal:     4192956 kB
SwapFree:      4183044 kB
Dirty:            1316 kB
Writeback:           0 kB
Mapped:          16056 kB
Slab:            44272 kB
Committed_AS:  1342280 kB
PageTables:       1456 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 node67 on Tue May  1 10:44:06 UTC 2007