Trace number 456662

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 NameAnswerCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1802.1 1802.76

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
MD5SUMd38f526c1f6f5ee8e5e4d2c41b31df8d
Bench CategorySATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark18.5822
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31340
Sum of products size (including duplicates)62680
Number of different products15670
Sum of products size31340

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.19/0.26	c ...done
0.19/0.26	c #vars=16670 #constraints=32843 hasObjective=no
0.29/0.31	c res. mode=mod
0.29/0.31	c VSIDS like heuristics
0.29/0.31	c complete search running
0.49/0.59	c restart after 401 decisions
0.59/0.65	c nbDecision=500 #constraints=32877
0.69/0.76	c restart after 801 decisions
0.79/0.85	c nbDecision=1000 #constraints=32878
0.99/1.08	c nbDecision=1500 #constraints=32884
1.09/1.11	c restart after 1601 decisions
1.19/1.29	c nbDecision=2000 #constraints=32886
1.49/1.50	c nbDecision=2500 #constraints=32891
1.69/1.78	c nbDecision=3000 #constraints=32905
1.79/1.88	c restart after 3201 decisions
1.99/2.02	c nbDecision=3500 #constraints=32913
2.19/2.29	c nbDecision=4000 #constraints=32927
2.49/2.56	c nbDecision=4500 #constraints=32936
2.79/2.80	c nbDecision=5000 #constraints=32944
2.99/3.09	c nbDecision=5500 #constraints=32950
3.29/3.37	c nbDecision=6000 #constraints=32961
3.49/3.58	c restart after 6401 decisions
3.59/3.64	c nbDecision=6500 #constraints=32965
3.89/3.90	c nbDecision=7000 #constraints=32972
4.19/4.21	c nbDecision=7500 #constraints=32982
4.49/4.54	c nbDecision=8000 #constraints=32999
4.79/4.84	c nbDecision=8500 #constraints=33010
5.09/5.16	c nbDecision=9000 #constraints=33022
5.49/5.50	c nbDecision=9500 #constraints=33031
5.79/5.83	c nbDecision=10000 #constraints=33041
6.09/6.15	c nbDecision=10500 #constraints=33053
6.49/6.54	c nbDecision=11000 #constraints=33067
6.89/6.91	c nbDecision=11500 #constraints=33073
7.19/7.27	c nbDecision=12000 #constraints=33084
7.59/7.64	c nbDecision=12500 #constraints=33092
7.89/7.91	c restart after 12801 decisions
7.99/8.03	c nbDecision=13000 #constraints=33099
8.39/8.45	c nbDecision=13500 #constraints=33119
8.79/8.83	c nbDecision=14000 #constraints=33125
9.19/9.28	c nbDecision=14500 #constraints=33138
9.59/9.66	c nbDecision=15000 #constraints=33147
10.09/10.11	c nbDecision=15500 #constraints=33156
10.49/10.55	c nbDecision=16000 #constraints=33165
10.89/10.91	c nbDecision=16500 #constraints=33173
11.39/11.40	c nbDecision=17000 #constraints=33186
11.88/11.90	c nbDecision=17500 #constraints=33200
12.28/12.33	c nbDecision=18000 #constraints=33208
12.78/12.82	c nbDecision=18500 #constraints=33217
13.28/13.35	c nbDecision=19000 #constraints=33229
13.78/13.82	c nbDecision=19500 #constraints=33242
14.29/14.34	c nbDecision=20000 #constraints=33251
14.78/14.83	c nbDecision=20500 #constraints=33261
15.29/15.35	c nbDecision=21000 #constraints=33274
15.78/15.86	c nbDecision=21500 #constraints=33280
16.39/16.49	c nbDecision=22000 #constraints=33295
16.88/16.99	c nbDecision=22500 #constraints=33307
17.59/17.60	c nbDecision=23000 #constraints=33321
18.08/18.20	c nbDecision=23500 #constraints=33335
18.69/18.76	c nbDecision=24000 #constraints=33344
19.28/19.38	c nbDecision=24500 #constraints=33354
19.98/20.07	c nbDecision=25000 #constraints=33369
20.59/20.66	c nbDecision=25500 #constraints=33377
20.79/20.84	c restart after 25601 decisions
21.29/21.31	c nbDecision=26000 #constraints=33386
21.89/21.99	c nbDecision=26500 #constraints=33399
22.89/22.97	c nbDecision=27000 #constraints=33423
23.79/23.84	c nbDecision=27500 #constraints=33436
24.69/24.72	c nbDecision=28000 #constraints=33446
25.59/25.61	c nbDecision=28500 #constraints=33455
26.39/26.46	c nbDecision=29000 #constraints=33464
27.19/27.24	c nbDecision=29500 #constraints=33472
27.89/27.98	c nbDecision=30000 #constraints=33477
28.69/28.76	c nbDecision=30500 #constraints=33483
29.49/29.56	c nbDecision=31000 #constraints=33488
30.09/30.19	c nbDecision=31500 #constraints=33493
30.79/30.83	c nbDecision=32000 #constraints=33497
31.48/31.58	c nbDecision=32500 #constraints=33502
32.18/32.26	c nbDecision=33000 #constraints=33507
32.68/32.72	c nbDecision=33500 #constraints=33512
33.18/33.28	c nbDecision=34000 #constraints=33516
33.78/33.83	c nbDecision=34500 #constraints=33521
34.38/34.46	c nbDecision=35000 #constraints=33525
34.88/34.96	c nbDecision=35500 #constraints=33529
35.28/35.39	c nbDecision=36000 #constraints=33533
36.38/36.42	c nbDecision=36500 #constraints=33544
37.08/37.12	c nbDecision=37000 #constraints=33553
37.98/38.02	c nbDecision=37500 #constraints=33561
38.98/39.07	c nbDecision=38000 #constraints=33574
39.88/39.92	c nbDecision=38500 #constraints=33586
41.08/41.10	c nbDecision=39000 #constraints=33598
42.28/42.35	c nbDecision=39500 #constraints=33609
43.88/44.00	c nbDecision=40000 #constraints=33625
45.38/45.41	c nbDecision=40500 #constraints=33645
46.98/47.07	c nbDecision=41000 #constraints=33656
48.58/48.67	c nbDecision=41500 #constraints=33667
50.08/50.11	c nbDecision=42000 #constraints=33679
51.58/51.65	c nbDecision=42500 #constraints=33691
52.97/53.08	c nbDecision=43000 #constraints=33707
54.17/54.26	c nbDecision=43500 #constraints=33720
55.57/55.61	c nbDecision=44000 #constraints=33733
57.27/57.32	c nbDecision=44500 #constraints=33758
64.78/64.87	c nbDecision=45000 #constraints=34044
74.96/75.00	c nbDecision=45500 #constraints=34330
79.96/80.03	c nbDecision=46000 #constraints=34405
84.96/85.06	c nbDecision=46500 #constraints=34428
88.96/89.08	c nbDecision=47000 #constraints=34853
94.26/94.39	c nbDecision=47500 #constraints=35299
100.15/100.21	c nbDecision=48000 #constraints=35586
101.75/101.88	c nbDecision=48500 #constraints=35622
104.25/104.32	c nbDecision=49000 #constraints=35636
106.66/106.71	c nbDecision=49500 #constraints=35651
109.96/110.05	c nbDecision=50000 #constraints=35678
112.95/113.07	c nbDecision=50500 #constraints=35683
116.05/116.11	c nbDecision=51000 #constraints=35688
117.25/117.34	c restart after 51201 decisions
118.75/118.82	c nbDecision=51500 #constraints=35694
120.25/120.34	c nbDecision=52000 #constraints=35698
122.15/122.21	c nbDecision=52500 #constraints=35710
124.55/124.62	c nbDecision=53000 #constraints=35717
127.15/127.24	c nbDecision=53500 #constraints=35725
129.05/129.15	c nbDecision=54000 #constraints=35733
131.55/131.69	c nbDecision=54500 #constraints=35741
133.94/134.03	c nbDecision=55000 #constraints=35747
136.44/136.52	c nbDecision=55500 #constraints=35752
138.34/138.43	c nbDecision=56000 #constraints=35760
140.34/140.46	c nbDecision=56500 #constraints=35769
142.74/142.81	c nbDecision=57000 #constraints=35776
144.94/145.02	c nbDecision=57500 #constraints=35781
146.94/147.06	c nbDecision=58000 #constraints=35787
149.24/149.36	c nbDecision=58500 #constraints=35793
151.24/151.38	c nbDecision=59000 #constraints=35798
153.44/153.55	c nbDecision=59500 #constraints=35804
155.74/155.85	c nbDecision=60000 #constraints=35811
158.04/158.20	c nbDecision=60500 #constraints=35816
160.34/160.50	c nbDecision=61000 #constraints=35821
162.64/162.73	c nbDecision=61500 #constraints=35826
164.84/164.98	c nbDecision=62000 #constraints=35832
167.23/167.35	c nbDecision=62500 #constraints=35837
169.43/169.59	c nbDecision=63000 #constraints=35843
171.73/171.84	c nbDecision=63500 #constraints=35849
174.24/174.33	c nbDecision=64000 #constraints=35854
176.74/176.87	c nbDecision=64500 #constraints=35859
179.54/179.64	c nbDecision=65000 #constraints=35866
187.54/187.66	c nbDecision=65500 #constraints=35893
190.83/190.97	c nbDecision=66000 #constraints=35915
192.23/192.35	c nbDecision=66500 #constraints=35946
193.73/193.86	c nbDecision=67000 #constraints=35970
195.23/195.33	c nbDecision=67500 #constraints=35988
196.93/197.02	c nbDecision=68000 #constraints=36021
198.63/198.78	c nbDecision=68500 #constraints=36039
200.63/200.74	c nbDecision=69000 #constraints=36052
202.53/202.64	c nbDecision=69500 #constraints=36092
204.82/204.94	c nbDecision=70000 #constraints=36114
206.73/206.88	c nbDecision=70500 #constraints=36142
209.42/209.57	c nbDecision=71000 #constraints=36180
212.03/212.17	c nbDecision=71500 #constraints=36212
214.83/214.99	c nbDecision=72000 #constraints=36230
217.82/217.99	c nbDecision=72500 #constraints=36250
221.42/221.56	c nbDecision=73000 #constraints=36280
224.52/224.60	c nbDecision=73500 #constraints=36298
228.22/228.33	c nbDecision=74000 #constraints=36318
231.52/231.65	c nbDecision=74500 #constraints=36348
235.01/235.15	c nbDecision=75000 #constraints=36374
239.01/239.18	c nbDecision=75500 #constraints=36403
243.41/243.59	c nbDecision=76000 #constraints=36425
248.01/248.15	c nbDecision=76500 #constraints=36456
253.11/253.26	c nbDecision=77000 #constraints=36487
258.31/258.48	c nbDecision=77500 #constraints=36502
263.11/263.23	c nbDecision=78000 #constraints=36518
268.80/268.97	c nbDecision=78500 #constraints=36552
274.50/274.61	c nbDecision=79000 #constraints=36570
279.90/280.09	c nbDecision=79500 #constraints=36597
285.70/285.88	c nbDecision=80000 #constraints=36608
291.00/291.17	c nbDecision=80500 #constraints=36634
296.70/296.90	c nbDecision=81000 #constraints=36665
304.09/304.26	c nbDecision=81500 #constraints=36700
310.79/310.95	c nbDecision=82000 #constraints=36746
318.59/318.78	c nbDecision=82500 #constraints=36783
327.79/327.98	c nbDecision=83000 #constraints=36819
339.28/339.46	c nbDecision=83500 #constraints=36853
350.68/350.84	c nbDecision=84000 #constraints=36892
362.78/362.97	c nbDecision=84500 #constraints=36919
374.67/374.88	c nbDecision=85000 #constraints=36932
387.46/387.63	c nbDecision=85500 #constraints=36958
398.86/399.00	c nbDecision=86000 #constraints=36976
409.66/409.88	c nbDecision=86500 #constraints=36998
419.85/420.01	c nbDecision=87000 #constraints=37017
429.85/430.03	c nbDecision=87500 #constraints=37035
440.15/440.34	c nbDecision=88000 #constraints=37067
451.64/451.83	c nbDecision=88500 #constraints=37092
464.34/464.57	c nbDecision=89000 #constraints=37142
479.74/479.90	c nbDecision=89500 #constraints=37216
500.93/501.17	c nbDecision=90000 #constraints=37363
521.33/521.55	c nbDecision=90500 #constraints=37594
543.02/543.23	c nbDecision=91000 #constraints=37876
562.31/562.58	c nbDecision=91500 #constraints=37947
575.71/575.94	c nbDecision=92000 #constraints=37982
598.11/598.35	c nbDecision=92500 #constraints=38231
622.19/622.49	c nbDecision=93000 #constraints=38521
648.38/648.64	c nbDecision=93500 #constraints=38919
675.68/675.94	c nbDecision=94000 #constraints=39317
705.67/705.96	c nbDecision=94500 #constraints=39713
752.75/753.08	c nbDecision=95000 #constraints=40135
801.93/802.26	c nbDecision=95500 #constraints=40557
853.02/853.36	c nbDecision=96000 #constraints=40979
905.10/905.43	c nbDecision=96500 #constraints=41401
958.19/958.56	c nbDecision=97000 #constraints=41823
1013.67/1014.05	c nbDecision=97500 #constraints=42245
1070.25/1070.68	c nbDecision=98000 #constraints=42665
1126.24/1126.64	c nbDecision=98500 #constraints=43087
1184.32/1184.74	c nbDecision=99000 #constraints=43509
1244.20/1244.60	c nbDecision=99500 #constraints=43931
1305.00/1305.57	c nbDecision=100000 #constraints=44353
1366.87/1367.43	c nbDecision=100500 #constraints=44773
1430.95/1431.58	c nbDecision=101000 #constraints=45197
1496.03/1496.62	c nbDecision=101500 #constraints=45617
1560.80/1561.50	c nbDecision=102000 #constraints=46039
1614.79/1615.49	c restart after 102401 decisions
1619.18/1619.84	c nbDecision=102500 #constraints=46379
1642.27/1642.92	c nbDecision=103000 #constraints=46466
1672.48/1673.18	c nbDecision=103500 #constraints=46492
1686.47/1687.10	c nbDecision=104000 #constraints=46500
1715.16/1715.82	c nbDecision=104500 #constraints=46514
1723.16/1723.88	c nbDecision=105000 #constraints=46521
1740.25/1740.96	c nbDecision=105500 #constraints=46539
1766.24/1766.92	c nbDecision=106000 #constraints=46557
1784.24/1784.97	c nbDecision=106500 #constraints=46568
1800.04/1800.70	Received signal 15

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/456662-1178361608/instance-456662-1178361608.opb
mv /tmp/evaluation/456662-1178361608/instance-456662-1178361608.opb.tmp /tmp/evaluation/456662-1178361608/instance-456662-1178361608.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node71/watcher-456662-1178361608 -o ROOT/results/node71/solver-456662-1178361608 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/456662-1178361608/instance-456662-1178361608.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.07 0.02 0.00 3/64 9403
/proc/meminfo: memFree=1876344/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=1468 CPUtime=0
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 312150159 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 367 167 131 317 0 46 0

[startup+0.00720393 s]
/proc/loadavg: 0.07 0.02 0.00 3/64 9403
/proc/meminfo: memFree=1876344/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=1600 CPUtime=0
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 197 0 0 0 0 0 0 0 18 0 1 0 312150159 1638400 180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 400 181 131 317 0 79 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1600

[startup+0.101221 s]
/proc/loadavg: 0.07 0.02 0.00 3/64 9403
/proc/meminfo: memFree=1876344/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=3320 CPUtime=0.09
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 625 0 0 0 9 0 0 0 18 0 1 0 312150159 3399680 608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134538372 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 830 608 131 317 0 509 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3320

[startup+0.301243 s]
/proc/loadavg: 0.07 0.02 0.00 3/64 9403
/proc/meminfo: memFree=1876344/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=14012 CPUtime=0.29
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 3321 0 0 0 28 1 0 0 19 0 1 0 312150159 14348288 3271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 3503 3272 137 317 0 3182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14012

[startup+0.701297 s]
/proc/loadavg: 0.07 0.02 0.00 3/64 9403
/proc/meminfo: memFree=1876344/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=16232 CPUtime=0.69
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 3883 0 0 0 68 1 0 0 22 0 1 0 312150159 16621568 3608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604405 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 4058 3608 139 317 0 3737 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16232

[startup+1.50141 s]
/proc/loadavg: 0.07 0.02 0.00 2/65 9404
/proc/meminfo: memFree=1862128/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=16232 CPUtime=1.49
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 3883 0 0 0 148 1 0 0 25 0 1 0 312150159 16621568 3608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 4058 3608 139 317 0 3737 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16232

[startup+3.10162 s]
/proc/loadavg: 0.07 0.02 0.00 2/65 9404
/proc/meminfo: memFree=1861872/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=17040 CPUtime=3.09
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 4071 0 0 0 308 1 0 0 25 0 1 0 312150159 17448960 3796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 4260 3796 139 317 0 3939 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17040

[startup+6.30105 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 9404
/proc/meminfo: memFree=1859760/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=19040 CPUtime=6.29
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 4565 0 0 0 628 1 0 0 25 0 1 0 312150159 19496960 4290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 4760 4290 139 317 0 4439 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19040

[startup+12.7019 s]
/proc/loadavg: 0.21 0.05 0.01 2/65 9404
/proc/meminfo: memFree=1856432/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=21980 CPUtime=12.68
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 5329 0 0 0 1267 1 0 0 25 0 1 0 312150159 22507520 5054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 5495 5054 139 317 0 5174 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21980

[startup+25.5027 s]
/proc/loadavg: 0.39 0.09 0.03 2/65 9404
/proc/meminfo: memFree=1853680/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=24640 CPUtime=25.49
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 5986 0 0 0 2547 2 0 0 25 0 1 0 312150159 25231360 5711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 6160 5711 139 317 0 5839 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24640

[startup+51.1021 s]
/proc/loadavg: 0.60 0.16 0.05 2/65 9404
/proc/meminfo: memFree=1853616/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=24772 CPUtime=51.08
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 6019 0 0 0 5106 2 0 0 25 0 1 0 312150159 25366528 5744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 6193 5744 139 317 0 5872 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24772

[startup+102.305 s]
/proc/loadavg: 0.82 0.29 0.10 2/65 9404
/proc/meminfo: memFree=1800496/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=79820 CPUtime=102.26
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 19264 0 0 0 10219 7 0 0 25 0 1 0 312150159 81735680 18989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 19955 18989 139 317 0 19634 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 79820

[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/65 9404
/proc/meminfo: memFree=1799728/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=80484 CPUtime=162.24
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 19434 0 0 0 16217 7 0 0 25 0 1 0 312150159 82415616 19159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 20121 19159 139 317 0 19800 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 80484

[startup+222.302 s]
/proc/loadavg: 0.97 0.52 0.20 2/65 9404
/proc/meminfo: memFree=1792240/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=88684 CPUtime=222.22
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 21293 0 0 0 22213 9 0 0 25 0 1 0 312150159 90812416 21018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 22171 21018 139 317 0 21850 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 88684

[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.25 2/65 9404
/proc/meminfo: memFree=1787696/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=93124 CPUtime=282.21
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 22418 0 0 0 28211 10 0 0 25 0 1 0 312150159 95358976 22143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 23281 22143 139 317 0 22960 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 93124

[startup+342.303 s]
/proc/loadavg: 0.99 0.67 0.30 2/65 9406
/proc/meminfo: memFree=1783792/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=96772 CPUtime=342.18
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 23393 0 0 0 34208 10 0 0 25 0 1 0 312150159 99094528 23118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 24193 23118 139 317 0 23872 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 96772

[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.34 2/65 9406
/proc/meminfo: memFree=1782640/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=97580 CPUtime=402.16
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 23666 0 0 0 40206 10 0 0 25 0 1 0 312150159 99921920 23391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 24395 23391 139 317 0 24074 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 97580

[startup+462.302 s]
/proc/loadavg: 0.99 0.78 0.38 2/65 9406
/proc/meminfo: memFree=1781104/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=98992 CPUtime=462.14
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 24031 0 0 0 46204 10 0 0 25 0 1 0 312150159 101367808 23756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 24748 23756 139 317 0 24427 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 98992

[startup+522.302 s]
/proc/loadavg: 0.99 0.81 0.41 2/65 9406
/proc/meminfo: memFree=1772528/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=107792 CPUtime=522.13
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 26304 0 0 0 52201 12 0 0 25 0 1 0 312150159 110379008 26029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604492 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 26948 26029 139 317 0 26627 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 107792

[startup+582.301 s]
/proc/loadavg: 0.99 0.85 0.45 2/65 9406
/proc/meminfo: memFree=1765680/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=114048 CPUtime=582.1
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 27898 0 0 0 58197 13 0 0 25 0 1 0 312150159 116785152 27623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 28512 27623 139 317 0 28191 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 114048

[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.48 2/65 9406
/proc/meminfo: memFree=1745648/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=139264 CPUtime=642.09
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 32872 0 0 0 64194 15 0 0 25 0 1 0 312150159 142606336 32597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 34816 32597 139 317 0 34495 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 139264


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

/proc/meminfo: memFree=1661872/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=223980 CPUtime=1061.96
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 53789 0 0 0 106170 26 0 0 25 0 1 0 312150159 229355520 53514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 55995 53514 139 317 0 55674 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 223980

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/65 9406
/proc/meminfo: memFree=1650096/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=242492 CPUtime=1121.93
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 56698 0 0 0 112166 27 0 0 25 0 1 0 312150159 248311808 56423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 60623 56423 139 317 0 60302 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 242492

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.69 2/65 9406
/proc/meminfo: memFree=1640752/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=252944 CPUtime=1181.92
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 59029 0 0 0 118163 29 0 0 25 0 1 0 312150159 259014656 58754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 63236 58754 139 317 0 62915 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 252944

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/65 9406
/proc/meminfo: memFree=1631728/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=264100 CPUtime=1241.89
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 61272 0 0 0 124160 29 0 0 25 0 1 0 312150159 270438400 60997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 66025 60997 139 317 0 65704 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 264100

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/71 9580
/proc/meminfo: memFree=1621232/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=275252 CPUtime=1301.81
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 63525 0 0 0 130150 31 0 0 25 0 1 0 312150159 281858048 63250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 68813 63250 139 317 0 68492 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 275252

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.73 2/65 9604
/proc/meminfo: memFree=1613680/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=283820 CPUtime=1361.76
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 65726 0 0 0 136144 32 0 0 25 0 1 0 312150159 290631680 65451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 70955 65451 139 317 0 70634 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 283820

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.75 2/65 9604
/proc/meminfo: memFree=1605104/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=291308 CPUtime=1421.75
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 67832 0 0 0 142141 34 0 0 25 0 1 0 312150159 298299392 67557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 72827 67557 139 317 0 72506 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 291308

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/65 9604
/proc/meminfo: memFree=1596976/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=298584 CPUtime=1481.73
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 69883 0 0 0 148138 35 0 0 25 0 1 0 312150159 305750016 69608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711188 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 74646 69608 139 317 0 74325 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 298584

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/65 9604
/proc/meminfo: memFree=1588976/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=305844 CPUtime=1541.7
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 71861 0 0 0 154134 36 0 0 25 0 1 0 312150159 313184256 71586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 76461 71586 139 317 0 76140 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 305844

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/65 9604
/proc/meminfo: memFree=1580848/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=312692 CPUtime=1601.69
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 73896 0 0 0 160131 38 0 0 25 0 1 0 312150159 320196608 73621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 78173 73621 139 317 0 77852 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 312692

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/65 9604
/proc/meminfo: memFree=1577392/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=315824 CPUtime=1661.67
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 74746 0 0 0 166129 38 0 0 25 0 1 0 312150159 323403776 74471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 78956 74471 139 317 0 78635 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 315824

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.81 2/65 9604
/proc/meminfo: memFree=1576752/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=316484 CPUtime=1721.66
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 74892 0 0 0 172127 39 0 0 25 0 1 0 312150159 324079616 74617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 79121 74617 139 317 0 78800 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 316484

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 9604
/proc/meminfo: memFree=1576176/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=316884 CPUtime=1781.64
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 75011 0 0 0 178125 39 0 0 25 0 1 0 312150159 324489216 74736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718534 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 79221 74736 139 317 0 78900 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 316884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 9604
/proc/meminfo: memFree=1576048/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=317152 CPUtime=1800.04
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 75049 0 0 0 179965 39 0 0 25 0 1 0 312150159 324763648 74774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 79288 74774 139 317 0 78967 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 317152

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 9604
/proc/meminfo: memFree=1576048/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=317152 CPUtime=1800.73
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 75049 0 0 0 180034 39 0 0 25 0 1 0 312150159 324763648 74774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 79288 74774 139 317 0 78967 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 317152

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 9605
/proc/meminfo: memFree=1575976/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=317152 CPUtime=1801.53
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 75058 0 0 0 180114 39 0 0 25 0 1 0 312150159 324763648 74783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 79288 74783 139 317 0 78967 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 317152

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 9605
/proc/meminfo: memFree=1575976/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=317152 CPUtime=1801.93
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 75058 0 0 0 180154 39 0 0 25 0 1 0 312150159 324763648 74783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 79288 74783 139 317 0 78967 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 317152

[startup+1802.7 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 9605
/proc/meminfo: memFree=1575976/2055920 swapFree=4184264/4192956
[pid=9403] ppid=9401 vsize=317152 CPUtime=1802.03
/proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 75058 0 0 0 180164 39 0 0 25 0 1 0 312150159 324763648 74783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9403/statm: 79288 74783 139 317 0 78967 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 317152

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1802.1
CPU user time (s): 1801.66
CPU system time (s): 0.441932
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 317152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.66
system time used= 0.441932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75058
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= 7
involuntary context switches= 2882

runsolver used 1.43878 second user time and 3.55646 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Sat May  5 10:40:08 UTC 2007

IDJOB= 456662
IDBENCH= 48289
IDSOLVER= 172
FILE ID= node71/456662-1178361608

PBS_JOBID= 5189166

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
COMMAND LINE= oree /tmp/evaluation/456662-1178361608/instance-456662-1178361608.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-456662-1178361608 -o ROOT/results/node71/conversion-456662-1178361608 -C 600 -M 1800 /tmp/evaluation/456662-1178361608/substituteSizeProductKeyword /tmp/evaluation/456662-1178361608/instance-456662-1178361608.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  d38f526c1f6f5ee8e5e4d2c41b31df8d

RANDOM SEED= 209363060

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.234
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.234
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:       1876688 kB
Buffers:         14652 kB
Cached:          76476 kB
SwapCached:       2712 kB
Active:          35552 kB
Inactive:        65024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1876688 kB
SwapTotal:     4192956 kB
SwapFree:      4184264 kB
Dirty:            1968 kB
Writeback:           0 kB
Mapped:          15592 kB
Slab:            64624 kB
Committed_AS:  6942200 kB
PageTables:       1448 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 node71 on Sat May  5 11:10:11 UTC 2007