Trace number 429867

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.08 1800.57

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb
MD5SUMe79e2db14e141163591dbcfdfed7384a
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.132979
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 variables108
Total number of constraints9
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

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=432 #constraints=662 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.69/0.78	c restart after 401 decisions
0.89/0.95	c nbDecision=500 #constraints=1090
1.79/1.89	c restart after 801 decisions
2.49/2.53	c nbDecision=1000 #constraints=1564
5.29/5.32	c nbDecision=1500 #constraints=2067
5.99/6.01	c restart after 1601 decisions
9.69/9.75	c nbDecision=2000 #constraints=2537
13.89/13.99	c nbDecision=2500 #constraints=3024
15.78/15.86	c nbDecision=3000 #constraints=3524
16.89/16.93	c restart after 3201 decisions
20.09/20.12	c nbDecision=3500 #constraints=3982
22.19/22.29	c nbDecision=4000 #constraints=4461
27.18/27.24	c nbDecision=4500 #constraints=4966
33.88/33.93	c nbDecision=5000 #constraints=5464
39.48/39.60	c nbDecision=5500 #constraints=5937
45.98/46.01	c nbDecision=6000 #constraints=6413
53.37/53.48	c restart after 6401 decisions
54.27/54.30	c nbDecision=6500 #constraints=6852
65.18/65.20	c nbDecision=7000 #constraints=7335
79.37/79.43	c nbDecision=7500 #constraints=7810
96.96/97.09	c nbDecision=8000 #constraints=8303
110.66/110.72	c nbDecision=8500 #constraints=8779
123.96/124.02	c nbDecision=9000 #constraints=9228
147.16/147.25	c nbDecision=9500 #constraints=9727
171.24/171.38	c nbDecision=10000 #constraints=10227
190.34/190.47	c nbDecision=10500 #constraints=10708
218.84/218.98	c nbDecision=11000 #constraints=11185
243.03/243.13	c nbDecision=11500 #constraints=11657
277.62/277.76	c nbDecision=12000 #constraints=12159
314.00/314.11	c nbDecision=12500 #constraints=12655
333.41/333.55	c restart after 12801 decisions
349.90/350.04	c nbDecision=13000 #constraints=13104
391.59/391.76	c nbDecision=13500 #constraints=13581
441.57/441.78	c nbDecision=14000 #constraints=14071
490.47/490.65	c nbDecision=14500 #constraints=14549
537.65/537.87	c nbDecision=15000 #constraints=15039
578.14/578.31	c nbDecision=15500 #constraints=15525
627.52/627.75	c nbDecision=16000 #constraints=16001
679.71/679.99	c nbDecision=16500 #constraints=16483
733.50/733.77	c nbDecision=17000 #constraints=16983
794.47/794.73	c nbDecision=17500 #constraints=17470
840.27/840.52	c nbDecision=18000 #constraints=17945
896.35/896.68	c nbDecision=18500 #constraints=18420
952.13/952.48	c nbDecision=19000 #constraints=18922
1013.32/1013.66	c nbDecision=19500 #constraints=19383
1088.50/1088.89	c nbDecision=20000 #constraints=19886
1159.98/1160.30	c nbDecision=20500 #constraints=20378
1231.26/1231.62	c nbDecision=21000 #constraints=20864
1290.34/1290.74	c nbDecision=21500 #constraints=21322
1347.63/1348.08	c nbDecision=22000 #constraints=21793
1386.82/1387.22	c nbDecision=22500 #constraints=22224
1464.89/1465.32	c nbDecision=23000 #constraints=22725
1517.88/1518.35	c nbDecision=23500 #constraints=23181
1566.98/1567.44	c nbDecision=24000 #constraints=23620
1634.95/1635.40	c nbDecision=24500 #constraints=24113
1696.44/1696.96	c nbDecision=25000 #constraints=24598
1773.61/1774.12	c nbDecision=25500 #constraints=25094
1783.31/1783.85	c restart after 25601 decisions
1794.01/1794.53	c nbDecision=26000 #constraints=25542
1800.01/1800.50	Received signal 15
1800.01/1800.54	
1800.01/1800.54	s UNKNOWN
1800.01/1800.54	
1800.01/1800.54	c user time= 1799.68 s
1800.01/1800.54	c system time= 0.373943 s
1800.01/1800.54	c wall clock time=1800.54

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429867-1177989054/instance-429867-1177989054.opb
mv /tmp/evaluation/429867-1177989054/instance-429867-1177989054.opb.tmp /tmp/evaluation/429867-1177989054/instance-429867-1177989054.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-429867-1177989054 -o ROOT/results/node11/solver-429867-1177989054 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429867-1177989054/instance-429867-1177989054.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.91 0.95 0.90 3/77 19146
/proc/meminfo: memFree=1842344/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=1468 CPUtime=0
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 239954345 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 367 175 132 317 0 46 0

[startup+0.044372 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 19146
/proc/meminfo: memFree=1842344/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=1860 CPUtime=0.04
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 267 0 0 0 4 0 0 0 18 0 1 0 239954345 1904640 250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554627 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 465 250 139 317 0 144 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1860

[startup+0.10238 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 19146
/proc/meminfo: memFree=1842344/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=1860 CPUtime=0.1
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 295 0 0 0 10 0 0 0 18 0 1 0 239954345 1904640 278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272617 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 465 278 139 317 0 144 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1860

[startup+0.301403 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 19146
/proc/meminfo: memFree=1842344/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=2248 CPUtime=0.29
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 392 0 0 0 29 0 0 0 19 0 1 0 239954345 2301952 375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 562 375 139 317 0 241 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2248

[startup+0.70245 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 19146
/proc/meminfo: memFree=1842344/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=3164 CPUtime=0.69
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 622 0 0 0 69 0 0 0 22 0 1 0 239954345 3239936 605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 791 605 139 317 0 470 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3164

[startup+1.50154 s]
/proc/loadavg: 0.91 0.95 0.90 2/78 19147
/proc/meminfo: memFree=1839904/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=4480 CPUtime=1.49
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 946 0 0 0 149 0 0 0 25 0 1 0 239954345 4587520 929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 1120 929 139 317 0 799 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4480

[startup+3.10173 s]
/proc/loadavg: 0.91 0.95 0.90 2/78 19147
/proc/meminfo: memFree=1838176/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=6320 CPUtime=3.09
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 1402 0 0 0 308 1 0 0 25 0 1 0 239954345 6471680 1385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 1580 1385 139 317 0 1259 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6320

[startup+6.30111 s]
/proc/loadavg: 0.92 0.95 0.90 2/78 19147
/proc/meminfo: memFree=1835168/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=8664 CPUtime=6.29
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 1989 0 0 0 628 1 0 0 25 0 1 0 239954345 8871936 1972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 2166 1972 139 317 0 1845 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8664

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.90 2/78 19147
/proc/meminfo: memFree=1832288/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=11472 CPUtime=12.69
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 2641 0 0 0 1266 3 0 0 25 0 1 0 239954345 11747328 2624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711181 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 2868 2624 139 317 0 2547 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11472

[startup+25.5014 s]
/proc/loadavg: 0.94 0.96 0.91 2/78 19147
/proc/meminfo: memFree=1822816/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=20916 CPUtime=25.48
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 4972 0 0 0 2544 4 0 0 25 0 1 0 239954345 21417984 4955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 5229 4955 139 317 0 4908 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20916

[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.91 3/78 19147
/proc/meminfo: memFree=1814048/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=30140 CPUtime=51.07
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 7180 0 0 0 5101 6 0 0 25 0 1 0 239954345 30863360 7163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 7535 7163 170 317 0 7214 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30140

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.91 2/78 19147
/proc/meminfo: memFree=1805344/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=39352 CPUtime=102.27
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 9380 0 0 0 10219 8 0 0 25 0 1 0 239954345 40296448 9305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 9838 9305 170 317 0 9517 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39352

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1798816/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=45676 CPUtime=162.25
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 10996 0 0 0 16215 10 0 0 25 0 1 0 239954345 46772224 10921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 11419 10921 170 317 0 11098 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 45676

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1793376/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=51444 CPUtime=222.23
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 12336 0 0 0 22211 12 0 0 25 0 1 0 239954345 52678656 12261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 12861 12261 170 317 0 12540 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 51444

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1789280/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=55708 CPUtime=282.21
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 13377 0 0 0 28208 13 0 0 25 0 1 0 239954345 57044992 13302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 13927 13302 170 317 0 13606 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 55708

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1785696/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=59468 CPUtime=342.2
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 14239 0 0 0 34205 15 0 0 25 0 1 0 239954345 60895232 14164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 14867 14164 170 317 0 14546 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 59468

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1782048/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=63780 CPUtime=402.18
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 15144 0 0 0 40202 16 0 0 25 0 1 0 239954345 65310720 15069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 15945 15069 170 317 0 15624 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 63780

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1779552/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=66456 CPUtime=462.17
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 15790 0 0 0 46200 17 0 0 25 0 1 0 239954345 68050944 15715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 16614 15715 170 317 0 16293 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 66456

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1776736/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=69152 CPUtime=522.15
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 16489 0 0 0 52198 17 0 0 25 0 1 0 239954345 70811648 16414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 17288 16414 170 317 0 16967 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 69152

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1773728/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=71984 CPUtime=582.14
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 17231 0 0 0 58195 19 0 0 25 0 1 0 239954345 73711616 17156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 17996 17156 170 317 0 17675 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 71984

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1771168/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=74492 CPUtime=642.12
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 17864 0 0 0 64193 19 0 0 25 0 1 0 239954345 76279808 17789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 18623 17789 170 317 0 18302 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 74492


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

[startup+882.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1761440/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=85528 CPUtime=882.05
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 20373 0 0 0 88183 22 0 0 25 0 1 0 239954345 87580672 20184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 21382 20184 170 317 0 21061 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 85528

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1759200/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=87660 CPUtime=942.04
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 20931 0 0 0 94180 24 0 0 25 0 1 0 239954345 89763840 20742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 21915 20742 170 317 0 21594 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 87660

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1757216/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=90356 CPUtime=1002.02
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 21473 0 0 0 100177 25 0 0 25 0 1 0 239954345 92524544 21284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 22589 21284 170 317 0 22268 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 90356

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1755360/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=92320 CPUtime=1062
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 21934 0 0 0 106175 25 0 0 25 0 1 0 239954345 94535680 21745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 23080 21745 170 317 0 22759 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 92320

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1753504/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=93900 CPUtime=1121.99
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 22388 0 0 0 112173 26 0 0 25 0 1 0 239954345 96153600 22199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 23475 22199 170 317 0 23154 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 93900

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1751648/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=95872 CPUtime=1181.97
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 22874 0 0 0 118170 27 0 0 25 0 1 0 239954345 98172928 22652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 23968 22652 170 317 0 23647 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 95872

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 19147
/proc/meminfo: memFree=1749920/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=98112 CPUtime=1241.96
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 23430 0 0 0 124168 28 0 0 25 0 1 0 239954345 100466688 23076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 24528 23076 170 317 0 24207 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 98112

[startup+1302.3 s]
/proc/loadavg: 1.03 0.99 0.91 2/78 19147
/proc/meminfo: memFree=1747808/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=100476 CPUtime=1301.94
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 24025 0 0 0 130166 28 0 0 25 0 1 0 239954345 102887424 23605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 25119 23605 170 317 0 24798 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 100476

[startup+1362.3 s]
/proc/loadavg: 1.01 0.99 0.91 2/78 19147
/proc/meminfo: memFree=1745376/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=102832 CPUtime=1361.92
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 24665 0 0 0 136163 29 0 0 25 0 1 0 239954345 105299968 24245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 25708 24245 170 317 0 25387 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 102832

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19147
/proc/meminfo: memFree=1742880/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=105476 CPUtime=1421.91
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 25330 0 0 0 142160 31 0 0 25 0 1 0 239954345 108007424 24811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 26369 24811 170 317 0 26048 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 105476

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19147
/proc/meminfo: memFree=1741088/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=107580 CPUtime=1481.89
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 25788 0 0 0 148158 31 0 0 25 0 1 0 239954345 110161920 25269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 26895 25269 170 317 0 26574 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 107580

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19147
/proc/meminfo: memFree=1738784/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=109708 CPUtime=1541.87
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 26336 0 0 0 154155 32 0 0 25 0 1 0 239954345 112340992 25817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 27427 25817 170 317 0 27106 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 109708

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19147
/proc/meminfo: memFree=1736928/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=111532 CPUtime=1601.86
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 26802 0 0 0 160153 33 0 0 25 0 1 0 239954345 114208768 26283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 27883 26283 170 317 0 27562 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 111532

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19147
/proc/meminfo: memFree=1734816/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=113536 CPUtime=1661.84
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 27333 0 0 0 166150 34 0 0 25 0 1 0 239954345 116260864 26814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 28384 26814 170 317 0 28063 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 113536

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19147
/proc/meminfo: memFree=1733024/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=115368 CPUtime=1721.82
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 27790 0 0 0 172147 35 0 0 25 0 1 0 239954345 118136832 27271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 28842 27271 170 317 0 28521 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 115368

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19147
/proc/meminfo: memFree=1731104/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=117640 CPUtime=1781.81
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 28252 0 0 0 178145 36 0 0 25 0 1 0 239954345 120463360 27733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 29410 27733 170 317 0 29089 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 117640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19147
/proc/meminfo: memFree=1729248/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=119512 CPUtime=1800.01
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 28712 0 0 0 179964 37 0 0 25 0 1 0 239954345 122380288 28193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 29878 28193 170 317 0 29557 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 119512

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 19147
/proc/meminfo: memFree=1729248/2055920 swapFree=4147120/4192956
[pid=19146] ppid=19144 vsize=119512 CPUtime=1800.01
/proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 28712 0 0 0 179964 37 0 0 25 0 1 0 239954345 122380288 28193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19146/statm: 29878 28193 170 317 0 29557 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 119512

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.08
CPU user time (s): 1799.69
CPU system time (s): 0.39294
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 119512

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

runsolver used 1.40179 second user time and 4.15837 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Tue May  1 03:10:54 UTC 2007

IDJOB= 429867
IDBENCH= 47939
IDSOLVER= 172
FILE ID= node11/429867-1177989054

PBS_JOBID= 4728098

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=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb
COMMAND LINE= oree /tmp/evaluation/429867-1177989054/instance-429867-1177989054.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-429867-1177989054 -o ROOT/results/node11/conversion-429867-1177989054 -C 600 -M 1800 /tmp/evaluation/429867-1177989054/substituteSizeProductKeyword /tmp/evaluation/429867-1177989054/instance-429867-1177989054.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  e79e2db14e141163591dbcfdfed7384a

RANDOM SEED= 702859218

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1842688 kB
Buffers:         32852 kB
Cached:          90448 kB
SwapCached:      14128 kB
Active:          37936 kB
Inactive:       108812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1842688 kB
SwapTotal:     4192956 kB
SwapFree:      4147120 kB
Dirty:            1336 kB
Writeback:           0 kB
Mapped:          30456 kB
Slab:            51820 kB
Committed_AS:  6481980 kB
PageTables:       1852 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 node11 on Tue May  1 03:40:57 UTC 2007