Trace number 357168

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 alphaSAT (TO)72 1800.24 1800.97

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
MD5SUM28425c3b4907da9ba10ee31a4de63042
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 53
Optimality of the best value was proved NO
Number of variables225
Total number of constraints225
Number of constraints which are clauses225
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 225
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 225
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 225
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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=225 #constraints=226 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.00/0.00	c nbDecision=150 #constraints=226
0.00/0.00	c linear search for optimum
0.00/0.00	o 75
0.00/0.01	c nbDecision=171 #constraints=234
0.00/0.01	o 74
0.10/0.11	c restart after 401 decisions
0.10/0.12	c nbDecision=500 #constraints=393
0.19/0.22	c nbDecision=735 #constraints=528
0.19/0.22	o 73
0.19/0.28	c restart after 801 decisions
0.29/0.35	c nbDecision=1000 #constraints=655
0.79/0.82	c nbDecision=1500 #constraints=1052
0.89/0.98	c restart after 1601 decisions
1.29/1.37	c nbDecision=2000 #constraints=1340
1.89/1.97	c nbDecision=2500 #constraints=1663
2.99/3.01	c nbDecision=3000 #constraints=2022
3.69/3.72	c restart after 3201 decisions
4.18/4.30	c nbDecision=3500 #constraints=2319
6.69/6.72	c nbDecision=4000 #constraints=2788
9.09/9.17	c nbDecision=4500 #constraints=3187
11.19/11.22	c nbDecision=5000 #constraints=3523
12.88/12.96	c nbDecision=5500 #constraints=3833
15.09/15.10	c nbDecision=6000 #constraints=4154
17.59/17.60	c restart after 6401 decisions
17.78/17.88	c nbDecision=6500 #constraints=4461
20.98/21.07	c nbDecision=7000 #constraints=4754
24.09/24.17	c nbDecision=7500 #constraints=5048
28.88/29.00	c nbDecision=8000 #constraints=5473
34.48/34.58	c nbDecision=8500 #constraints=5874
41.67/41.77	c nbDecision=9000 #constraints=6300
48.47/48.52	c nbDecision=9500 #constraints=6660
54.17/54.20	c nbDecision=10000 #constraints=7010
63.37/63.43	c nbDecision=10500 #constraints=7452
74.37/74.47	c nbDecision=11000 #constraints=7902
84.36/84.46	c nbDecision=11500 #constraints=8293
91.76/91.85	c nbDecision=12000 #constraints=8657
104.46/104.55	c nbDecision=12500 #constraints=9097
111.55/111.69	c restart after 12801 decisions
114.05/114.14	c nbDecision=13000 #constraints=9398
123.95/124.05	c nbDecision=13500 #constraints=9766
130.74/130.86	c nbDecision=14000 #constraints=10102
137.84/137.92	c nbDecision=14500 #constraints=10446
147.94/148.06	c nbDecision=15000 #constraints=10845
155.33/155.48	c nbDecision=15482 #constraints=11160
155.33/155.48	o 72
155.43/155.59	c nbDecision=15500 #constraints=11173
166.74/166.80	c nbDecision=16000 #constraints=11534
180.43/180.59	c nbDecision=16500 #constraints=11893
194.62/194.80	c nbDecision=17000 #constraints=12219
210.52/210.66	c nbDecision=17500 #constraints=12634
229.31/229.44	c nbDecision=18000 #constraints=13074
251.10/251.24	c nbDecision=18500 #constraints=13519
272.80/272.98	c nbDecision=19000 #constraints=13937
291.09/291.26	c nbDecision=19500 #constraints=14313
315.98/316.12	c nbDecision=20000 #constraints=14776
340.77/340.97	c nbDecision=20500 #constraints=15221
367.46/367.66	c nbDecision=21000 #constraints=15655
385.66/385.88	c nbDecision=21500 #constraints=16018
412.05/412.25	c nbDecision=22000 #constraints=16460
438.44/438.63	c nbDecision=22500 #constraints=16872
462.94/463.11	c nbDecision=23000 #constraints=17248
479.63/479.80	c nbDecision=23500 #constraints=17564
499.22/499.47	c nbDecision=24000 #constraints=17950
519.31/519.56	c nbDecision=24500 #constraints=18279
532.11/532.32	c nbDecision=25000 #constraints=18629
547.60/547.85	c nbDecision=25500 #constraints=18956
550.00/550.27	c restart after 25601 decisions
560.70/560.91	c nbDecision=26000 #constraints=19256
582.48/582.73	c nbDecision=26500 #constraints=19676
602.08/602.32	c nbDecision=27000 #constraints=20031
626.48/626.72	c nbDecision=27500 #constraints=20432
649.06/649.33	c nbDecision=28000 #constraints=20785
673.86/674.14	c nbDecision=28500 #constraints=21134
700.25/700.60	c nbDecision=29000 #constraints=21481
717.44/717.74	c nbDecision=29500 #constraints=21790
737.44/737.77	c nbDecision=30000 #constraints=22086
759.33/759.68	c nbDecision=30500 #constraints=22404
783.92/784.21	c nbDecision=31000 #constraints=22791
812.91/813.24	c nbDecision=31500 #constraints=23242
847.40/847.79	c nbDecision=32000 #constraints=23699
881.19/881.57	c nbDecision=32500 #constraints=24142
910.48/910.90	c nbDecision=33000 #constraints=24498
945.36/945.74	c nbDecision=33500 #constraints=24955
981.76/982.12	c nbDecision=34000 #constraints=25392
1023.33/1023.74	c nbDecision=34500 #constraints=25857
1057.33/1057.70	c nbDecision=35000 #constraints=26248
1096.61/1097.01	c nbDecision=35500 #constraints=26700
1137.90/1138.35	c nbDecision=36000 #constraints=27118
1172.09/1172.55	c nbDecision=36500 #constraints=27463
1194.18/1194.64	c nbDecision=37000 #constraints=27767
1225.66/1226.18	c nbDecision=37500 #constraints=28131
1259.86/1260.39	c nbDecision=38000 #constraints=28457
1297.34/1297.86	c nbDecision=38500 #constraints=28915
1337.63/1338.20	c nbDecision=39000 #constraints=29365
1384.58/1385.18	c nbDecision=39500 #constraints=29815
1431.49/1432.17	c nbDecision=40000 #constraints=30238
1477.17/1477.81	c nbDecision=40500 #constraints=30696
1526.85/1527.56	c nbDecision=41000 #constraints=31128
1575.34/1576.02	c nbDecision=41500 #constraints=31575
1628.32/1629.10	c nbDecision=42000 #constraints=32044
1685.20/1685.93	c nbDecision=42500 #constraints=32520
1727.98/1728.74	c nbDecision=43000 #constraints=32879
1752.18/1752.97	c nbDecision=43500 #constraints=33185
1788.56/1789.31	c nbDecision=44000 #constraints=33537
1800.07/1800.80	Received signal 15
1800.17/1800.94	
1800.17/1800.94	s SATISFIABLE
1800.17/1800.94	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 -x31 -x32
1800.17/1800.94	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58
1800.17/1800.94	v -x59 -x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87
1800.17/1800.94	v -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 x108 x109 x110 x111
1800.17/1800.94	v x112 x113 x114 x115 x116 x117 x118 x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133
1800.17/1800.94	v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 x153 x154
1800.17/1800.94	v x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177
1800.17/1800.94	v -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 x196 x197 x198 -x199
1800.17/1800.94	v -x200 -x201 x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 x219 -x220 -x221
1800.17/1800.94	v -x222 x223 -x224 -x225
1800.17/1800.94	
1800.17/1800.94	c user time= 1799.69 s
1800.17/1800.94	c system time= 0.52292 s
1800.17/1800.94	c wall clock time=1800.94

Verifier Data (download as text)

OK	72

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node38/watcher-357168-1176989884 -o ROOT/results/node38/solver-357168-1176989884 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357168-1176989884/instance-357168-1176989884.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.97 0.97 3/77 30745
/proc/meminfo: memFree=1466640/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=1468 CPUtime=0
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 197 0 0 0 0 0 0 0 18 0 1 0 131155083 1503232 179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602853 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 367 179 137 317 0 46 0

[startup+0.103096 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 30745
/proc/meminfo: memFree=1466640/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=2248 CPUtime=0.1
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 410 0 0 0 10 0 0 0 18 0 1 0 131155083 2301952 392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 562 392 170 317 0 241 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2248

[startup+0.201114 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 30745
/proc/meminfo: memFree=1466640/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=2892 CPUtime=0.19
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 559 0 0 0 19 0 0 0 18 0 1 0 131155083 2961408 541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 723 541 170 317 0 402 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2892

[startup+0.301133 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 30745
/proc/meminfo: memFree=1466640/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=3276 CPUtime=0.29
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 661 0 0 0 29 0 0 0 19 0 1 0 131155083 3354624 643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 819 643 170 317 0 498 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3276

[startup+0.701209 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 30745
/proc/meminfo: memFree=1466640/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=4832 CPUtime=0.69
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 1066 0 0 0 69 0 0 0 22 0 1 0 131155083 4947968 1048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 1208 1048 170 317 0 887 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4832

[startup+1.50237 s]
/proc/loadavg: 0.92 0.97 0.97 2/78 30746
/proc/meminfo: memFree=1462216/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=7128 CPUtime=1.49
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 1586 0 0 0 149 0 0 0 25 0 1 0 131155083 7299072 1568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 1782 1568 170 317 0 1461 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7128

[startup+3.10167 s]
/proc/loadavg: 0.92 0.97 0.97 2/78 30746
/proc/meminfo: memFree=1459464/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=9472 CPUtime=3.09
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 2222 0 0 0 308 1 0 0 25 0 1 0 131155083 9699328 2204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 2368 2204 170 317 0 2047 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9472

[startup+6.30128 s]
/proc/loadavg: 0.93 0.97 0.97 2/78 30746
/proc/meminfo: memFree=1455496/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=13128 CPUtime=6.29
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 3043 0 0 0 627 2 0 0 25 0 1 0 131155083 13443072 3025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 3282 3025 170 317 0 2961 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13128

[startup+12.7015 s]
/proc/loadavg: 0.93 0.97 0.97 2/78 30746
/proc/meminfo: memFree=1451208/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=17028 CPUtime=12.68
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 4099 0 0 0 1265 3 0 0 25 0 1 0 131155083 17436672 4081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 4257 4081 170 317 0 3936 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17028

[startup+25.502 s]
/proc/loadavg: 0.95 0.97 0.97 2/78 30746
/proc/meminfo: memFree=1444232/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=24428 CPUtime=25.48
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 5719 0 0 0 2543 5 0 0 25 0 1 0 131155083 25014272 5701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 6107 5701 170 317 0 5786 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24428

[startup+51.1019 s]
/proc/loadavg: 0.96 0.97 0.97 2/78 30746
/proc/meminfo: memFree=1437512/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=30600 CPUtime=51.07
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 7392 0 0 0 5101 6 0 0 25 0 1 0 131155083 31334400 7374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 7650 7374 170 317 0 7329 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30600

[startup+102.302 s]
/proc/loadavg: 0.98 0.97 0.97 2/78 30746
/proc/meminfo: memFree=1426504/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=43352 CPUtime=102.26
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 10159 0 0 0 10217 9 0 0 25 0 1 0 131155083 44392448 10083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 10838 10083 170 317 0 10517 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 43352

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 30746
/proc/meminfo: memFree=1417224/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=52380 CPUtime=162.24
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 12499 0 0 0 16211 13 0 0 25 0 1 0 131155083 53637120 12423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 13095 12423 170 317 0 12774 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 52380

[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 30746
/proc/meminfo: memFree=1411080/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=58028 CPUtime=222.21
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 14005 0 0 0 22207 14 0 0 25 0 1 0 131155083 59420672 13929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 14507 13929 170 317 0 14186 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 58028

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 30746
/proc/meminfo: memFree=1406216/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=62620 CPUtime=282.19
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 15248 0 0 0 28203 16 0 0 25 0 1 0 131155083 64122880 15172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 15655 15172 170 317 0 15334 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 62620

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 30746
/proc/meminfo: memFree=1401800/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=66716 CPUtime=342.17
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 16356 0 0 0 34199 18 0 0 25 0 1 0 131155083 68317184 16280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 16679 16280 170 317 0 16358 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 66716

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 30746
/proc/meminfo: memFree=1397640/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=70612 CPUtime=402.15
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 17407 0 0 0 40195 20 0 0 25 0 1 0 131155083 72306688 17331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 17653 17331 170 317 0 17332 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 70612

[startup+462.302 s]
/proc/loadavg: 1.03 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1391880/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=82752 CPUtime=462.13
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 19998 0 0 0 46191 22 0 0 25 0 1 0 131155083 84738048 18752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 20688 18752 170 317 0 20367 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 82752

[startup+522.301 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1387464/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=86912 CPUtime=522.1
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 21114 0 0 0 52187 23 0 0 25 0 1 0 131155083 88997888 19868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 21728 19868 170 317 0 21407 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 86912

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1382088/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=91732 CPUtime=582.08
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 22460 0 0 0 58183 25 0 0 25 0 1 0 131155083 93933568 21214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 22933 21214 170 317 0 22612 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 91732

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1378056/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=95628 CPUtime=642.07
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 23488 0 0 0 64180 27 0 0 25 0 1 0 131155083 97923072 22242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 23907 22242 170 317 0 23586 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 95628


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

[startup+882.305 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1363656/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=108884 CPUtime=881.99
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 27087 0 0 0 88166 33 0 0 25 0 1 0 131155083 111497216 25841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 27221 25841 170 317 0 26900 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 108884

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1360456/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=111876 CPUtime=941.96
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 27901 0 0 0 94162 34 0 0 25 0 1 0 131155083 114561024 26655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 27969 26655 170 317 0 27648 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 111876

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1357576/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=114604 CPUtime=1001.94
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 28614 0 0 0 100159 35 0 0 25 0 1 0 131155083 117354496 27368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 28651 27368 170 317 0 28330 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 114604

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1354824/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=117068 CPUtime=1061.92
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 29306 0 0 0 106156 36 0 0 25 0 1 0 131155083 119877632 28060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 29267 28060 170 317 0 28946 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 117068

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1351880/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=119520 CPUtime=1121.91
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 30033 0 0 0 112153 38 0 0 25 0 1 0 131155083 122388480 28787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 29880 28787 170 317 0 29559 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 119520

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1349448/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=121980 CPUtime=1181.89
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 30678 0 0 0 118150 39 0 0 25 0 1 0 131155083 124907520 29432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 30495 29432 170 317 0 30174 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 121980

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1346696/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=124444 CPUtime=1241.87
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 31344 0 0 0 124147 40 0 0 25 0 1 0 131155083 127430656 30098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 31111 30098 170 317 0 30790 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 124444

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1343880/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=127044 CPUtime=1301.84
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 32077 0 0 0 130144 40 0 0 25 0 1 0 131155083 130093056 30831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 31761 30831 170 317 0 31440 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 127044

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30746
/proc/meminfo: memFree=1341320/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=129256 CPUtime=1361.82
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 32716 0 0 0 136141 41 0 0 25 0 1 0 131155083 132358144 31470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 32314 31470 170 317 0 31993 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 129256

[startup+1422.3 s]
/proc/loadavg: 1.08 1.00 0.98 2/84 30920
/proc/meminfo: memFree=1337800/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=131336 CPUtime=1421.71
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 33272 0 0 0 142127 44 0 0 25 0 1 0 131155083 134488064 32026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 32834 32026 170 317 0 32513 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 131336

[startup+1482.3 s]
/proc/loadavg: 1.03 1.00 0.98 2/78 30944
/proc/meminfo: memFree=1336648/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=133536 CPUtime=1481.67
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 33882 0 0 0 148122 45 0 0 25 0 1 0 131155083 136740864 32636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 33384 32636 170 317 0 33063 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 133536

[startup+1542.31 s]
/proc/loadavg: 1.01 1.00 0.98 2/78 30944
/proc/meminfo: memFree=1334408/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=135500 CPUtime=1541.65
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 34435 0 0 0 154119 46 0 0 25 0 1 0 131155083 138752000 33189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 33875 33189 170 317 0 33554 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 135500

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30944
/proc/meminfo: memFree=1332232/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=137728 CPUtime=1601.63
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 35010 0 0 0 160116 47 0 0 25 0 1 0 131155083 141033472 33764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 34432 33764 170 317 0 34111 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 137728

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30944
/proc/meminfo: memFree=1330184/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=139544 CPUtime=1661.61
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 35535 0 0 0 166113 48 0 0 25 0 1 0 131155083 142893056 34289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 34886 34289 170 317 0 34565 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 139544

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30944
/proc/meminfo: memFree=1328136/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=141548 CPUtime=1721.59
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 36088 0 0 0 172110 49 0 0 25 0 1 0 131155083 144945152 34809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 35387 34809 170 317 0 35066 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 141548

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30944
/proc/meminfo: memFree=1323848/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=160980 CPUtime=1781.56
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 40538 0 0 0 178105 51 0 0 25 0 1 0 131155083 164843520 35879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 40245 35879 170 317 0 39924 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 160980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30944
/proc/meminfo: memFree=1322952/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=161628 CPUtime=1800.07
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 40758 0 0 0 179955 52 0 0 25 0 1 0 131155083 165507072 36099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 40407 36099 170 317 0 40086 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 161628

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

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

[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30944
/proc/meminfo: memFree=1322952/2055920 swapFree=4159716/4192956
[pid=30745] ppid=30743 vsize=161628 CPUtime=1800.17
/proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 40759 0 0 0 179965 52 0 0 25 0 1 0 131155083 165507072 36100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30745/statm: 40407 36100 170 317 0 40086 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 161628

Child status: 0
Real time (s): 1800.97
CPU time (s): 1800.24
CPU user time (s): 1799.69
CPU system time (s): 0.545917
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 161628

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

runsolver used 1.9777 second user time and 4.5893 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Thu Apr 19 13:38:04 UTC 2007

IDJOB= 357168
IDBENCH= 2214
IDSOLVER= 172
FILE ID= node38/357168-1176989884

PBS_JOBID= 4630435

Free space on /tmp= 66242 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= oree /tmp/evaluation/357168-1176989884/instance-357168-1176989884.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-357168-1176989884 -o ROOT/results/node38/solver-357168-1176989884 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357168-1176989884/instance-357168-1176989884.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  28425c3b4907da9ba10ee31a4de63042

RANDOM SEED= 174841754

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1467048 kB
Buffers:         46920 kB
Cached:         447128 kB
SwapCached:       3100 kB
Active:          92384 kB
Inactive:       430084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1467048 kB
SwapTotal:     4192956 kB
SwapFree:      4159716 kB
Dirty:            1452 kB
Writeback:           0 kB
Mapped:          36712 kB
Slab:            51628 kB
Committed_AS:  1538996 kB
PageTables:       2060 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= 66242 MiB

End job on node38 on Thu Apr 19 14:08:07 UTC 2007