Trace number 432107

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.24 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb
MD5SUM0b0d874eaa404001e586f84b413e6897
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.187971
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 variables120
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 constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)320
Sum of products size (including duplicates)640
Number of different products320
Sum of products size640

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=440 #constraints=657 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.59/0.60	c restart after 401 decisions
0.69/0.78	c nbDecision=500 #constraints=1106
1.29/1.33	c restart after 801 decisions
1.59/1.66	c nbDecision=1000 #constraints=1554
2.59/2.68	c nbDecision=1500 #constraints=2046
2.89/2.91	c restart after 1601 decisions
3.89/3.94	c nbDecision=2000 #constraints=2517
5.59/5.68	c nbDecision=2500 #constraints=3008
7.29/7.32	c nbDecision=3000 #constraints=3482
7.69/7.77	c restart after 3201 decisions
8.89/8.98	c nbDecision=3500 #constraints=3931
10.49/10.57	c nbDecision=4000 #constraints=4382
12.29/12.35	c nbDecision=4500 #constraints=4824
14.59/14.65	c nbDecision=5000 #constraints=5278
17.08/17.18	c nbDecision=5500 #constraints=5763
20.09/20.19	c nbDecision=6000 #constraints=6213
24.98/25.09	c restart after 6401 decisions
25.58/25.61	c nbDecision=6500 #constraints=6679
30.79/30.81	c nbDecision=7000 #constraints=7155
37.78/37.85	c nbDecision=7500 #constraints=7626
47.88/47.98	c nbDecision=8000 #constraints=8113
59.28/59.37	c nbDecision=8500 #constraints=8604
69.37/69.44	c nbDecision=9000 #constraints=9069
81.77/81.89	c nbDecision=9500 #constraints=9554
95.36/95.47	c nbDecision=10000 #constraints=10030
109.86/109.96	c nbDecision=10500 #constraints=10500
128.66/128.79	c nbDecision=11000 #constraints=10979
151.65/151.73	c nbDecision=11500 #constraints=11478
171.14/171.28	c nbDecision=12000 #constraints=11933
194.94/195.00	c nbDecision=12500 #constraints=12423
202.14/202.26	c restart after 12801 decisions
204.33/204.50	c nbDecision=13000 #constraints=12862
240.02/240.12	c nbDecision=13500 #constraints=13280
284.12/284.25	c nbDecision=14000 #constraints=13741
326.20/326.30	c nbDecision=14500 #constraints=14218
352.20/352.39	c nbDecision=15000 #constraints=14699
384.99/385.13	c nbDecision=15500 #constraints=15181
414.48/414.60	c nbDecision=16000 #constraints=15648
437.07/437.29	c nbDecision=16500 #constraints=16122
467.17/467.37	c nbDecision=17000 #constraints=16602
511.65/511.84	c nbDecision=17500 #constraints=17082
563.44/563.62	c nbDecision=18000 #constraints=17558
594.63/594.89	c nbDecision=18500 #constraints=18021
631.32/631.52	c nbDecision=19000 #constraints=18487
663.02/663.22	c nbDecision=19500 #constraints=18968
711.20/711.43	c nbDecision=20000 #constraints=19468
759.69/759.96	c nbDecision=20500 #constraints=19939
807.47/807.70	c nbDecision=21000 #constraints=20407
851.86/852.17	c nbDecision=21500 #constraints=20866
912.14/912.40	c nbDecision=22000 #constraints=21342
970.63/971.00	c nbDecision=22500 #constraints=21828
1022.72/1023.03	c nbDecision=23000 #constraints=22299
1073.51/1073.85	c nbDecision=23500 #constraints=22751
1116.49/1116.81	c nbDecision=24000 #constraints=23201
1167.07/1167.42	c nbDecision=24500 #constraints=23676
1219.16/1219.57	c nbDecision=25000 #constraints=24152
1286.45/1286.87	c nbDecision=25500 #constraints=24645
1299.24/1299.64	c restart after 25601 decisions
1304.24/1304.61	c nbDecision=26000 #constraints=25120
1310.54/1310.98	c nbDecision=26500 #constraints=25609
1385.52/1385.98	c nbDecision=27000 #constraints=26101
1469.70/1470.18	c nbDecision=27500 #constraints=26601
1550.38/1550.81	c nbDecision=28000 #constraints=27096
1620.55/1621.00	c nbDecision=28500 #constraints=27588
1696.43/1696.90	c nbDecision=29000 #constraints=28083
1773.32/1773.87	c nbDecision=29500 #constraints=28560
1800.01/1800.50	Received signal 15
1800.11/1800.69	
1800.11/1800.69	s UNKNOWN
1800.11/1800.69	
1800.11/1800.69	c user time= 1799.84 s
1800.11/1800.69	c system time= 0.377942 s
1800.11/1800.69	c wall clock time=1800.7

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/432107-1178013838/instance-432107-1178013838.opb
mv /tmp/evaluation/432107-1178013838/instance-432107-1178013838.opb.tmp /tmp/evaluation/432107-1178013838/instance-432107-1178013838.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node35/watcher-432107-1178013838 -o ROOT/results/node35/solver-432107-1178013838 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/432107-1178013838/instance-432107-1178013838.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/77 6341
/proc/meminfo: memFree=1822288/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=1468 CPUtime=0
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 249299209 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 367 175 132 317 0 46 0

[startup+0.050483 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6341
/proc/meminfo: memFree=1822288/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=1860 CPUtime=0.04
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 276 0 0 0 4 0 0 0 18 0 1 0 249299209 1904640 259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278945 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 465 259 139 317 0 144 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1860

[startup+0.101488 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6341
/proc/meminfo: memFree=1822288/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=1992 CPUtime=0.09
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 305 0 0 0 9 0 0 0 18 0 1 0 249299209 2039808 288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284237 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 498 288 139 317 0 177 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1992

[startup+0.301511 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6341
/proc/meminfo: memFree=1822288/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=2384 CPUtime=0.29
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 417 0 0 0 29 0 0 0 19 0 1 0 249299209 2441216 400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272945 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 596 400 139 317 0 275 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2384

[startup+0.701559 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6341
/proc/meminfo: memFree=1822288/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=3292 CPUtime=0.69
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 639 0 0 0 69 0 0 0 23 0 1 0 249299209 3371008 622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284121 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 823 622 139 317 0 502 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3292

[startup+1.50165 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1819720/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=5008 CPUtime=1.49
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 1056 0 0 0 149 0 0 0 25 0 1 0 249299209 5128192 1039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 1252 1039 139 317 0 931 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5008

[startup+3.10184 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1817224/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=8036 CPUtime=3.09
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 1813 0 0 0 309 0 0 0 25 0 1 0 249299209 8228864 1796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 2009 1796 139 317 0 1688 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8036

[startup+6.30121 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1812616/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=11692 CPUtime=6.29
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 2716 0 0 0 628 1 0 0 25 0 1 0 249299209 11972608 2699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 2923 2699 139 317 0 2602 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11692

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1804880/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=19276 CPUtime=12.69
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 4624 0 0 0 1266 3 0 0 25 0 1 0 249299209 19738624 4607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 4819 4607 170 317 0 4498 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19276

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1797712/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=26152 CPUtime=25.48
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 6313 0 0 0 2544 4 0 0 25 0 1 0 249299209 26779648 6296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 6538 6296 170 317 0 6217 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26152

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1791440/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=32468 CPUtime=51.08
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 7855 0 0 0 5101 7 0 0 25 0 1 0 249299209 33247232 7838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 8117 7838 170 317 0 7796 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32468

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1783568/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=40864 CPUtime=102.27
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 9874 0 0 0 10218 9 0 0 25 0 1 0 249299209 41844736 9799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 10216 9799 170 317 0 9895 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40864

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1777424/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=47672 CPUtime=162.24
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 11469 0 0 0 16213 11 0 0 25 0 1 0 249299209 48816128 11394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 11918 11394 170 317 0 11597 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 47672

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1771856/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=52920 CPUtime=222.24
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 12784 0 0 0 22211 13 0 0 25 0 1 0 249299209 54190080 12709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 13230 12709 170 317 0 12909 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 52920

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1769424/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=55724 CPUtime=282.22
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 13402 0 0 0 28208 14 0 0 25 0 1 0 249299209 57061376 13327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 13931 13327 170 317 0 13610 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 55724

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1766416/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=59016 CPUtime=342.2
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 14157 0 0 0 34205 15 0 0 25 0 1 0 249299209 60432384 14082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 14754 14082 170 317 0 14433 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 59016

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1762640/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=62860 CPUtime=402.18
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 15109 0 0 0 40202 16 0 0 25 0 1 0 249299209 64368640 15034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 15715 15034 170 317 0 15394 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 62860

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1758288/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=67264 CPUtime=462.16
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 16194 0 0 0 46199 17 0 0 25 0 1 0 249299209 68878336 16119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 16816 16119 170 317 0 16495 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 67264

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1755792/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=70072 CPUtime=522.15
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 16921 0 0 0 52197 18 0 0 25 0 1 0 249299209 71753728 16732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711029 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 17518 16732 170 317 0 17197 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 70072

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1753552/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=72072 CPUtime=582.14
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 17478 0 0 0 58194 20 0 0 25 0 1 0 249299209 73801728 17289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604463 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 18018 17289 170 317 0 17697 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 72072

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1750160/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=75536 CPUtime=642.12
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 18329 0 0 0 64191 21 0 0 25 0 1 0 249299209 77348864 18140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 18884 18140 170 317 0 18563 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 75536


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1738064/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=89132 CPUtime=942.04
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 21356 0 0 0 94178 26 0 0 25 0 1 0 249299209 91271168 21167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 22283 21167 170 317 0 21962 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 89132

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1735888/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=91584 CPUtime=1002.03
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 21897 0 0 0 100176 27 0 0 25 0 1 0 249299209 93782016 21708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 22896 21708 170 317 0 22575 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 91584

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1734032/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=93444 CPUtime=1062
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 22372 0 0 0 106173 27 0 0 25 0 1 0 249299209 95686656 22183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 23361 22183 170 317 0 23040 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 93444

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1731728/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=95820 CPUtime=1121.99
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 22938 0 0 0 112171 28 0 0 25 0 1 0 249299209 98119680 22749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 23955 22749 170 317 0 23634 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 95820

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1729424/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=98232 CPUtime=1181.98
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 23512 0 0 0 118168 30 0 0 25 0 1 0 249299209 100589568 23323 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 24558 23323 170 317 0 24237 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 98232

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1727632/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=100244 CPUtime=1241.96
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 23955 0 0 0 124166 30 0 0 25 0 1 0 249299209 102649856 23766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 25061 23766 170 317 0 24740 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 100244

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6342
/proc/meminfo: memFree=1725328/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=102600 CPUtime=1301.94
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 24513 0 0 0 130163 31 0 0 25 0 1 0 249299209 105062400 24324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 25650 24324 170 317 0 25329 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 102600

[startup+1362.3 s]
/proc/loadavg: 1.04 1.00 0.99 2/78 6342
/proc/meminfo: memFree=1721104/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=107180 CPUtime=1361.93
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 25668 0 0 0 136160 33 0 0 25 0 1 0 249299209 109752320 25380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 26795 25380 170 317 0 26474 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 107180

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 6342
/proc/meminfo: memFree=1719760/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=108544 CPUtime=1421.91
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 26005 0 0 0 142158 33 0 0 25 0 1 0 249299209 111149056 25717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 27136 25717 170 317 0 26815 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 108544

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 6342
/proc/meminfo: memFree=1718288/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=109976 CPUtime=1481.89
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 26401 0 0 0 148155 34 0 0 25 0 1 0 249299209 112615424 26080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 27494 26080 170 317 0 27173 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 109976

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 6342
/proc/meminfo: memFree=1716880/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=111292 CPUtime=1541.87
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 26744 0 0 0 154153 34 0 0 25 0 1 0 249299209 113963008 26423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 27823 26423 170 317 0 27502 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 111292

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 6342
/proc/meminfo: memFree=1715088/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=113136 CPUtime=1601.86
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 27196 0 0 0 160151 35 0 0 25 0 1 0 249299209 115851264 26875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 28284 26875 170 317 0 27963 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 113136

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 6342
/proc/meminfo: memFree=1713552/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=114576 CPUtime=1661.85
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 27570 0 0 0 166149 36 0 0 25 0 1 0 249299209 117325824 27249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 28644 27249 170 317 0 28323 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 114576

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 6342
/proc/meminfo: memFree=1712144/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=115984 CPUtime=1721.83
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 27918 0 0 0 172146 37 0 0 25 0 1 0 249299209 118767616 27597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 28996 27597 170 317 0 28675 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 115984

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 6342
/proc/meminfo: memFree=1710864/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=117428 CPUtime=1781.81
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 28273 0 0 0 178144 37 0 0 25 0 1 0 249299209 120246272 27952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 29357 27952 170 317 0 29036 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 117428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 6342
/proc/meminfo: memFree=1710416/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=117816 CPUtime=1800.01
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 28365 0 0 0 179964 37 0 0 25 0 1 0 249299209 120643584 28044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 29454 28044 170 317 0 29133 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 117816

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 6343
/proc/meminfo: memFree=1710408/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=117816 CPUtime=1800.11
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 28365 0 0 0 179974 37 0 0 25 0 1 0 249299209 120643584 28044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 29454 28044 170 317 0 29133 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 117816

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 6343
/proc/meminfo: memFree=1710408/2055920 swapFree=4151252/4192956
[pid=6341] ppid=6339 vsize=0 CPUtime=1800.22
/proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194308 28381 0 0 0 179984 38 0 0 25 0 1 0 249299209 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6341/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.24
CPU user time (s): 1799.84
CPU system time (s): 0.397939
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 117816

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

runsolver used 1.51477 second user time and 4.16737 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Tue May  1 10:03:58 UTC 2007

IDJOB= 432107
IDBENCH= 48099
IDSOLVER= 172
FILE ID= node35/432107-1178013838

PBS_JOBID= 4728266

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb
COMMAND LINE= oree /tmp/evaluation/432107-1178013838/instance-432107-1178013838.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node35/convwatcher-432107-1178013838 -o ROOT/results/node35/conversion-432107-1178013838 -C 600 -M 1800 /tmp/evaluation/432107-1178013838/substituteSizeProductKeyword /tmp/evaluation/432107-1178013838/instance-432107-1178013838.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  0b0d874eaa404001e586f84b413e6897

RANDOM SEED= 274339074

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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:       1822696 kB
Buffers:         37352 kB
Cached:         106676 kB
SwapCached:       8972 kB
Active:         112380 kB
Inactive:        56164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1822696 kB
SwapTotal:     4192956 kB
SwapFree:      4151252 kB
Dirty:            1408 kB
Writeback:           0 kB
Mapped:          31540 kB
Slab:            49948 kB
Committed_AS:  2783852 kB
PageTables:       2000 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 node35 on Tue May  1 10:34:00 UTC 2007