Trace number 431043

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.35 1800.92

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=11-P1=71-P2=127-P3=19-P4=89-P5=17-B.opb
MD5SUMd6d70da0465b3d9bf91bd0d1a6292c9e
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.084986
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 variables105
Total number of constraints11
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 constraints11
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)245
Sum of products size (including duplicates)490
Number of different products245
Sum of products size490

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=350 #constraints=507 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.42	c restart after 401 decisions
0.49/0.51	c nbDecision=500 #constraints=947
0.79/0.89	c restart after 801 decisions
1.09/1.14	c nbDecision=1000 #constraints=1389
1.59/1.69	c nbDecision=1500 #constraints=1850
1.79/1.86	c restart after 1601 decisions
2.49/2.51	c nbDecision=2000 #constraints=2290
3.49/3.56	c nbDecision=2500 #constraints=2750
5.49/5.51	c nbDecision=3000 #constraints=3244
6.19/6.21	c restart after 3201 decisions
7.09/7.18	c nbDecision=3500 #constraints=3693
10.38/10.48	c nbDecision=4000 #constraints=4177
14.39/14.50	c nbDecision=4500 #constraints=4643
18.49/18.52	c nbDecision=5000 #constraints=5109
24.18/24.25	c nbDecision=5500 #constraints=5590
31.58/31.65	c nbDecision=6000 #constraints=6041
35.78/35.81	c restart after 6401 decisions
36.08/36.15	c nbDecision=6500 #constraints=6449
40.59/40.66	c nbDecision=7000 #constraints=6930
52.48/52.58	c nbDecision=7500 #constraints=7413
64.88/64.93	c nbDecision=8000 #constraints=7886
77.87/77.94	c nbDecision=8500 #constraints=8345
91.67/91.72	c nbDecision=9000 #constraints=8809
107.86/107.95	c nbDecision=9500 #constraints=9266
128.66/128.76	c nbDecision=10000 #constraints=9761
144.95/145.02	c nbDecision=10500 #constraints=10210
160.45/160.54	c nbDecision=11000 #constraints=10686
180.04/180.17	c nbDecision=11500 #constraints=11145
201.03/201.16	c nbDecision=12000 #constraints=11617
235.83/235.97	c nbDecision=12500 #constraints=12110
255.73/255.81	c restart after 12801 decisions
262.12/262.21	c nbDecision=13000 #constraints=12556
294.11/294.22	c nbDecision=13500 #constraints=13050
328.60/328.73	c nbDecision=14000 #constraints=13533
359.40/359.54	c nbDecision=14500 #constraints=14004
398.59/398.76	c nbDecision=15000 #constraints=14486
435.17/435.38	c nbDecision=15500 #constraints=14939
472.07/472.21	c nbDecision=16000 #constraints=15391
506.76/506.98	c nbDecision=16500 #constraints=15844
557.65/557.88	c nbDecision=17000 #constraints=16343
601.83/602.01	c nbDecision=17500 #constraints=16820
654.23/654.42	c nbDecision=18000 #constraints=17297
709.00/709.24	c nbDecision=18500 #constraints=17779
763.07/763.35	c nbDecision=19000 #constraints=18268
841.77/842.18	c nbDecision=19500 #constraints=18748
924.66/925.05	c nbDecision=20000 #constraints=19246
989.24/989.63	c nbDecision=20500 #constraints=19734
996.33/996.74	c nbDecision=21000 #constraints=20230
1075.01/1075.46	c nbDecision=21500 #constraints=20731
1145.89/1146.36	c nbDecision=22000 #constraints=21225
1226.88/1227.39	c nbDecision=22500 #constraints=21714
1311.26/1311.73	c nbDecision=23000 #constraints=22206
1395.63/1396.13	c nbDecision=23500 #constraints=22691
1465.61/1466.12	c nbDecision=24000 #constraints=23146
1552.19/1552.70	c nbDecision=24500 #constraints=23634
1633.66/1634.28	c nbDecision=25000 #constraints=24122
1719.44/1720.04	c nbDecision=25500 #constraints=24607
1735.44/1736.04	c restart after 25601 decisions
1786.53/1787.13	c nbDecision=26000 #constraints=25068
1800.04/1800.60	Received signal 15
1800.23/1800.89	
1800.23/1800.89	s UNKNOWN
1800.23/1800.89	
1800.23/1800.89	c user time= 1800.12 s
1800.23/1800.89	c system time= 0.211967 s
1800.23/1800.89	c wall clock time=1800.9

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431043-1178002102/instance-431043-1178002102.opb
mv /tmp/evaluation/431043-1178002102/instance-431043-1178002102.opb.tmp /tmp/evaluation/431043-1178002102/instance-431043-1178002102.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node63/watcher-431043-1178002102 -o ROOT/results/node63/solver-431043-1178002102 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431043-1178002102/instance-431043-1178002102.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.92 0.98 0.99 3/64 20428
/proc/meminfo: memFree=1803196/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=1468 CPUtime=0
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 276200125 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 367 174 132 317 0 46 0

[startup+0.0519679 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20428
/proc/meminfo: memFree=1803196/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=1732 CPUtime=0.05
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 255 0 0 0 5 0 0 0 18 0 1 0 276200125 1773568 238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712473 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 433 238 139 317 0 112 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1732

[startup+0.101972 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20428
/proc/meminfo: memFree=1803196/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=1864 CPUtime=0.1
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 281 0 0 0 10 0 0 0 18 0 1 0 276200125 1908736 264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284208 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 466 264 139 317 0 145 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1864

[startup+0.301993 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20428
/proc/meminfo: memFree=1803196/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=2404 CPUtime=0.29
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 405 0 0 0 29 0 0 0 19 0 1 0 276200125 2461696 388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 601 388 139 317 0 280 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2404

[startup+0.701036 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20428
/proc/meminfo: memFree=1803196/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=3064 CPUtime=0.69
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 598 0 0 0 69 0 0 0 22 0 1 0 276200125 3137536 581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 766 581 139 317 0 445 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3064

[startup+1.50112 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1800756/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=4808 CPUtime=1.49
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 1011 0 0 0 149 0 0 0 25 0 1 0 276200125 4923392 994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 1202 994 139 317 0 881 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4808

[startup+3.10129 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1798516/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=7248 CPUtime=3.09
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 1612 0 0 0 308 1 0 0 25 0 1 0 276200125 7421952 1595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 1812 1595 139 317 0 1491 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7248

[startup+6.30163 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1795444/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=9492 CPUtime=6.29
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 2176 0 0 0 628 1 0 0 25 0 1 0 276200125 9719808 2159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 2373 2159 139 317 0 2052 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9492

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1792116/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=12392 CPUtime=12.68
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 2873 0 0 0 1267 1 0 0 25 0 1 0 276200125 12689408 2856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 3098 2856 139 317 0 2777 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12392

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1789108/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=15896 CPUtime=25.48
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 3691 0 0 0 2546 2 0 0 25 0 1 0 276200125 16277504 3674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711106 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 3974 3674 139 317 0 3653 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15896

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1784628/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=20284 CPUtime=51.08
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 4790 0 0 0 5104 4 0 0 25 0 1 0 276200125 20770816 4773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 5071 4773 170 317 0 4750 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20284

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1779956/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=25016 CPUtime=102.27
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 5989 0 0 0 10222 5 0 0 25 0 1 0 276200125 25616384 5914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 6254 5914 170 317 0 5933 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25016

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1775476/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=29964 CPUtime=162.25
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 7117 0 0 0 16219 6 0 0 25 0 1 0 276200125 30683136 7042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 7491 7042 170 317 0 7170 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29964

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1772148/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=33300 CPUtime=222.24
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 7929 0 0 0 22217 7 0 0 25 0 1 0 276200125 34099200 7854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 8325 7854 170 317 0 8004 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 33300

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1769780/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=36028 CPUtime=282.22
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 8537 0 0 0 28215 7 0 0 25 0 1 0 276200125 36892672 8462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 9007 8462 170 317 0 8686 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 36028

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1767412/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=38484 CPUtime=342.2
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 9121 0 0 0 34212 8 0 0 25 0 1 0 276200125 39407616 9046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 9621 9046 170 317 0 9300 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 38484

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1765236/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=40440 CPUtime=402.18
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 9664 0 0 0 40210 8 0 0 25 0 1 0 276200125 41410560 9589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 10110 9589 170 317 0 9789 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 40440

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1763252/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=42600 CPUtime=462.17
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 10153 0 0 0 46208 9 0 0 25 0 1 0 276200125 43622400 10078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 10650 10078 170 317 0 10329 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 42600

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1761332/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=44616 CPUtime=522.16
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 10635 0 0 0 52206 10 0 0 25 0 1 0 276200125 45686784 10560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 11154 10560 170 317 0 10833 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 44616

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1759732/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=46220 CPUtime=582.14
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 11028 0 0 0 58204 10 0 0 25 0 1 0 276200125 47329280 10953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 11555 10953 170 317 0 11234 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 46220

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20429
/proc/meminfo: memFree=1758132/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=48116 CPUtime=642.13
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 11537 0 0 0 64202 11 0 0 25 0 1 0 276200125 49270784 11347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 12029 11347 170 317 0 11708 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 48116


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1751860/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=55016 CPUtime=941.95
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 13022 0 0 0 94181 14 0 0 25 0 1 0 276200125 56336384 12832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 13754 12832 170 317 0 13433 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 55016

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1749364/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=57548 CPUtime=1001.93
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 13639 0 0 0 100179 14 0 0 25 0 1 0 276200125 58929152 13449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715606 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 14387 13449 170 317 0 14066 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 57548

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1748340/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=58684 CPUtime=1061.92
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 13908 0 0 0 106177 15 0 0 25 0 1 0 276200125 60092416 13718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 14671 13718 170 317 0 14350 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 58684

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1747188/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=59636 CPUtime=1121.9
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 14175 0 0 0 112175 15 0 0 25 0 1 0 276200125 61067264 13985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 14909 13985 170 317 0 14588 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 59636

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1746036/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=60812 CPUtime=1181.89
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 14466 0 0 0 118173 16 0 0 25 0 1 0 276200125 62271488 14276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 15203 14276 170 317 0 14882 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 60812

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1745204/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=62040 CPUtime=1241.87
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 14732 0 0 0 124171 16 0 0 25 0 1 0 276200125 63528960 14509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 15510 14509 170 317 0 15189 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 62040

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1744308/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=62956 CPUtime=1301.85
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 14967 0 0 0 130169 16 0 0 25 0 1 0 276200125 64466944 14711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 15739 14711 170 317 0 15418 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 62956

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1743412/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=63876 CPUtime=1361.84
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 15199 0 0 0 136167 17 0 0 25 0 1 0 276200125 65409024 14943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 15969 14943 170 317 0 15648 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 63876

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1742452/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=64656 CPUtime=1421.82
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 15425 0 0 0 142165 17 0 0 25 0 1 0 276200125 66207744 15169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 16164 15169 170 317 0 15843 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 64656

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1740660/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=67108 CPUtime=1481.81
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 15883 0 0 0 148163 18 0 0 25 0 1 0 276200125 68718592 15627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712538 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 16777 15627 170 317 0 16456 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 67108

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1739700/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=68060 CPUtime=1541.8
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 16145 0 0 0 154161 19 0 0 25 0 1 0 276200125 69693440 15856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 17015 15856 170 317 0 16694 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 68060

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1738932/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=68836 CPUtime=1601.77
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 16352 0 0 0 160158 19 0 0 25 0 1 0 276200125 70488064 16063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 17209 16063 170 317 0 16888 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 68836

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1737908/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=69772 CPUtime=1661.77
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 16598 0 0 0 166157 20 0 0 25 0 1 0 276200125 71446528 16309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 17443 16309 170 317 0 17122 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 69772

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1737076/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=70420 CPUtime=1721.74
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 16812 0 0 0 172154 20 0 0 25 0 1 0 276200125 72110080 16523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 17605 16523 170 317 0 17284 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 70420

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1735988/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=71732 CPUtime=1781.73
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 17103 0 0 0 178152 21 0 0 25 0 1 0 276200125 73453568 16781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 17933 16781 170 317 0 17612 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 71732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1735476/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=72384 CPUtime=1800.04
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 17235 0 0 0 179983 21 0 0 25 0 1 0 276200125 74121216 16880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 18096 16880 170 317 0 17775 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 72384

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1735476/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=72384 CPUtime=1800.23
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 17235 0 0 0 180002 21 0 0 25 0 1 0 276200125 74121216 16880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 18096 16880 170 317 0 17775 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 72384

[startup+1800.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20627
/proc/meminfo: memFree=1735476/2055920 swapFree=4182900/4192956
[pid=20428] ppid=20426 vsize=71468 CPUtime=1800.33
/proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 17251 0 0 0 180012 21 0 0 25 0 1 0 276200125 73183232 16723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20428/statm: 17867 16723 186 317 0 17546 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 71468

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.35
CPU user time (s): 1800.13
CPU system time (s): 0.223965
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 72384

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

runsolver used 1.45478 second user time and 3.51946 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Tue May  1 06:48:22 UTC 2007

IDJOB= 431043
IDBENCH= 48023
IDSOLVER= 172
FILE ID= node63/431043-1178002102

PBS_JOBID= 4728232

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=11-P1=71-P2=127-P3=19-P4=89-P5=17-B.opb
COMMAND LINE= oree /tmp/evaluation/431043-1178002102/instance-431043-1178002102.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node63/convwatcher-431043-1178002102 -o ROOT/results/node63/conversion-431043-1178002102 -C 600 -M 1800 /tmp/evaluation/431043-1178002102/substituteSizeProductKeyword /tmp/evaluation/431043-1178002102/instance-431043-1178002102.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  d6d70da0465b3d9bf91bd0d1a6292c9e

RANDOM SEED= 93624112

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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.232
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.232
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:       1803604 kB
Buffers:         16756 kB
Cached:         159108 kB
SwapCached:       3860 kB
Active:          49132 kB
Inactive:       136840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1803604 kB
SwapTotal:     4192956 kB
SwapFree:      4182900 kB
Dirty:            1308 kB
Writeback:           0 kB
Mapped:          16100 kB
Slab:            52388 kB
Committed_AS:  2408772 kB
PageTables:       1460 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 node63 on Tue May  1 07:18:25 UTC 2007