Trace number 457727

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) 1800.73 1801.35

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_1_80.opb
MD5SUM8096e07164eab6008a97823c6b00b555
Bench CategorySATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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)74732
Sum of products size (including duplicates)149464
Number of different products37366
Sum of products size74732

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.59/0.60	c ...done
0.59/0.60	c #vars=38366 #constraints=76235 hasObjective=no
0.69/0.74	c res. mode=mod
0.69/0.74	c VSIDS like heuristics
0.69/0.74	c complete search running
1.10/1.17	c restart after 401 decisions
1.19/1.30	c nbDecision=500 #constraints=76238
1.49/1.59	c restart after 801 decisions
1.69/1.79	c nbDecision=1000 #constraints=76239
2.29/2.37	c nbDecision=1500 #constraints=76245
2.39/2.45	c restart after 1601 decisions
2.79/2.87	c nbDecision=2000 #constraints=76249
3.50/3.51	c nbDecision=2500 #constraints=76266
3.99/4.05	c nbDecision=3000 #constraints=76270
4.19/4.28	c restart after 3201 decisions
4.59/4.65	c nbDecision=3500 #constraints=76282
5.19/5.28	c nbDecision=4000 #constraints=76297
5.79/5.87	c nbDecision=4500 #constraints=76303
6.39/6.50	c nbDecision=5000 #constraints=76317
7.09/7.14	c nbDecision=5500 #constraints=76329
7.79/7.89	c nbDecision=6000 #constraints=76347
8.29/8.37	c restart after 6401 decisions
8.49/8.54	c nbDecision=6500 #constraints=76353
9.09/9.16	c nbDecision=7000 #constraints=76361
9.80/9.81	c nbDecision=7500 #constraints=76368
10.49/10.51	c nbDecision=8000 #constraints=76377
11.09/11.14	c nbDecision=8500 #constraints=76384
11.89/11.90	c nbDecision=9000 #constraints=76397
12.49/12.58	c nbDecision=9500 #constraints=76404
13.19/13.21	c nbDecision=10000 #constraints=76408
13.89/13.96	c nbDecision=10500 #constraints=76417
14.69/14.73	c nbDecision=11000 #constraints=76434
15.39/15.49	c nbDecision=11500 #constraints=76448
16.19/16.24	c nbDecision=12000 #constraints=76457
16.99/17.00	c nbDecision=12500 #constraints=76472
17.39/17.44	c restart after 12801 decisions
17.69/17.75	c nbDecision=13000 #constraints=76479
18.49/18.59	c nbDecision=13500 #constraints=76490
19.39/19.44	c nbDecision=14000 #constraints=76508
20.08/20.18	c nbDecision=14500 #constraints=76515
20.99/21.01	c nbDecision=15000 #constraints=76525
21.78/21.85	c nbDecision=15500 #constraints=76539
22.68/22.75	c nbDecision=16000 #constraints=76553
23.58/23.68	c nbDecision=16500 #constraints=76570
24.48/24.52	c nbDecision=17000 #constraints=76579
25.48/25.51	c nbDecision=17500 #constraints=76592
26.29/26.35	c nbDecision=18000 #constraints=76596
27.28/27.35	c nbDecision=18500 #constraints=76605
28.18/28.22	c nbDecision=19000 #constraints=76612
29.18/29.25	c nbDecision=19500 #constraints=76625
30.08/30.15	c nbDecision=20000 #constraints=76637
31.18/31.28	c nbDecision=20500 #constraints=76659
32.08/32.15	c nbDecision=21000 #constraints=76668
33.18/33.21	c nbDecision=21500 #constraints=76674
34.18/34.23	c nbDecision=22000 #constraints=76687
35.28/35.34	c nbDecision=22500 #constraints=76707
36.38/36.42	c nbDecision=23000 #constraints=76717
37.48/37.56	c nbDecision=23500 #constraints=76736
38.49/38.53	c nbDecision=24000 #constraints=76742
39.68/39.70	c nbDecision=24500 #constraints=76755
40.78/40.85	c nbDecision=25000 #constraints=76764
41.88/41.94	c nbDecision=25500 #constraints=76788
42.18/42.24	c restart after 25601 decisions
43.28/43.30	c nbDecision=26000 #constraints=76798
44.38/44.42	c nbDecision=26500 #constraints=76807
45.98/46.06	c nbDecision=27000 #constraints=76824
47.68/47.71	c nbDecision=27500 #constraints=76834
49.08/49.10	c nbDecision=28000 #constraints=76844
50.28/50.32	c nbDecision=28500 #constraints=76851
51.38/51.49	c nbDecision=29000 #constraints=76859
52.68/52.74	c nbDecision=29500 #constraints=76866
53.88/53.90	c nbDecision=30000 #constraints=76872
55.08/55.10	c nbDecision=30500 #constraints=76877
55.98/56.03	c nbDecision=31000 #constraints=76882
56.98/57.09	c nbDecision=31500 #constraints=76887
58.18/58.22	c nbDecision=32000 #constraints=76891
59.38/59.46	c nbDecision=32500 #constraints=76896
60.48/60.55	c nbDecision=33000 #constraints=76900
61.48/61.58	c nbDecision=33500 #constraints=76904
62.47/62.58	c nbDecision=34000 #constraints=76908
63.68/63.73	c nbDecision=34500 #constraints=76912
64.67/64.78	c nbDecision=35000 #constraints=76915
65.77/65.89	c nbDecision=35500 #constraints=76919
66.67/66.75	c nbDecision=36000 #constraints=76922
67.67/67.72	c nbDecision=36500 #constraints=76926
68.77/68.80	c nbDecision=37000 #constraints=76929
69.67/69.75	c nbDecision=37500 #constraints=76933
70.67/70.79	c nbDecision=38000 #constraints=76936
71.77/71.89	c nbDecision=38500 #constraints=76941
72.87/72.91	c nbDecision=39000 #constraints=76954
73.57/73.64	c nbDecision=39500 #constraints=76971
74.27/74.31	c nbDecision=40000 #constraints=76982
75.67/75.79	c nbDecision=40500 #constraints=77004
76.77/76.86	c nbDecision=41000 #constraints=77023
77.77/77.88	c nbDecision=41500 #constraints=77050
79.07/79.11	c nbDecision=42000 #constraints=77077
80.37/80.46	c nbDecision=42500 #constraints=77103
81.57/81.63	c nbDecision=43000 #constraints=77130
83.16/83.22	c nbDecision=43500 #constraints=77159
85.16/85.25	c nbDecision=44000 #constraints=77186
86.87/86.99	c nbDecision=44500 #constraints=77213
88.46/88.58	c nbDecision=45000 #constraints=77242
90.26/90.30	c nbDecision=45500 #constraints=77275
91.86/91.95	c nbDecision=46000 #constraints=77302
93.16/93.30	c nbDecision=46500 #constraints=77347
95.27/95.38	c nbDecision=47000 #constraints=77387
97.87/97.95	c nbDecision=47500 #constraints=77421
100.46/100.53	c nbDecision=48000 #constraints=77456
103.06/103.18	c nbDecision=48500 #constraints=77489
106.26/106.39	c nbDecision=49000 #constraints=77524
109.36/109.40	c nbDecision=49500 #constraints=77570
112.66/112.71	c nbDecision=50000 #constraints=77610
116.56/116.63	c nbDecision=50500 #constraints=77658
121.05/121.12	c nbDecision=51000 #constraints=77683
122.75/122.88	c restart after 51201 decisions
126.05/126.14	c nbDecision=51500 #constraints=77698
130.25/130.34	c nbDecision=52000 #constraints=77721
134.26/134.32	c nbDecision=52500 #constraints=77784
139.66/139.78	c nbDecision=53000 #constraints=77831
145.16/145.25	c nbDecision=53500 #constraints=77867
151.95/152.01	c nbDecision=54000 #constraints=77905
159.74/159.81	c nbDecision=54500 #constraints=77979
172.14/172.27	c nbDecision=55000 #constraints=78052
183.64/183.74	c nbDecision=55500 #constraints=78088
195.54/195.62	c nbDecision=56000 #constraints=78147
209.23/209.36	c nbDecision=56500 #constraints=78468
227.03/227.17	c nbDecision=57000 #constraints=78874
245.42/245.53	c nbDecision=57500 #constraints=79280
254.12/254.22	c nbDecision=58000 #constraints=79394
255.72/255.89	c nbDecision=58500 #constraints=79416
257.62/257.71	c nbDecision=59000 #constraints=79436
260.01/260.11	c nbDecision=59500 #constraints=79482
264.31/264.48	c nbDecision=60000 #constraints=79546
269.01/269.17	c nbDecision=60500 #constraints=79643
274.31/274.48	c nbDecision=61000 #constraints=79687
285.31/285.42	c nbDecision=61500 #constraints=79713
294.41/294.58	c nbDecision=62000 #constraints=79733
303.21/303.34	c nbDecision=62500 #constraints=79750
312.90/313.06	c nbDecision=63000 #constraints=79768
323.20/323.30	c nbDecision=63500 #constraints=79786
333.60/333.75	c nbDecision=64000 #constraints=79804
344.19/344.33	c nbDecision=64500 #constraints=79822
356.69/356.90	c nbDecision=65000 #constraints=79840
370.28/370.41	c nbDecision=65500 #constraints=79857
382.99/383.10	c nbDecision=66000 #constraints=79874
394.88/395.03	c nbDecision=66500 #constraints=79893
407.18/407.32	c nbDecision=67000 #constraints=79911
420.27/420.44	c nbDecision=67500 #constraints=79934
439.37/439.51	c nbDecision=68000 #constraints=80072
466.45/466.61	c nbDecision=68500 #constraints=80312
490.95/491.14	c nbDecision=69000 #constraints=80709
516.64/516.82	c nbDecision=69500 #constraints=81125
542.83/543.09	c nbDecision=70000 #constraints=81543
571.03/571.29	c nbDecision=70500 #constraints=81959
588.52/588.71	c nbDecision=71000 #constraints=82163
591.22/591.41	c nbDecision=71500 #constraints=82180
594.42/594.65	c nbDecision=72000 #constraints=82200
600.12/600.38	c nbDecision=72500 #constraints=82276
603.02/603.26	c nbDecision=73000 #constraints=82371
606.62/606.80	c nbDecision=73500 #constraints=82396
610.22/610.49	c nbDecision=74000 #constraints=82407
616.02/616.29	c nbDecision=74500 #constraints=82415
622.61/622.87	c nbDecision=75000 #constraints=82426
631.61/631.83	c nbDecision=75500 #constraints=82432
639.21/639.46	c nbDecision=76000 #constraints=82440
644.71/644.94	c nbDecision=76500 #constraints=82447
652.60/652.87	c nbDecision=77000 #constraints=82453
660.40/660.62	c nbDecision=77500 #constraints=82460
666.20/666.40	c nbDecision=78000 #constraints=82467
672.90/673.14	c nbDecision=78500 #constraints=82473
680.89/681.18	c nbDecision=79000 #constraints=82479
687.49/687.73	c nbDecision=79500 #constraints=82485
696.30/696.57	c nbDecision=80000 #constraints=82493
704.29/704.54	c nbDecision=80500 #constraints=82500
710.79/711.00	c nbDecision=81000 #constraints=82506
718.39/718.66	c nbDecision=81500 #constraints=82513
726.39/726.69	c nbDecision=82000 #constraints=82519
735.38/735.68	c nbDecision=82500 #constraints=82525
743.18/743.48	c nbDecision=83000 #constraints=82531
748.98/749.21	c nbDecision=83500 #constraints=82539
757.37/757.67	c nbDecision=84000 #constraints=82559
764.17/764.41	c nbDecision=84500 #constraints=82581
770.47/770.79	c nbDecision=85000 #constraints=82625
784.96/785.20	c nbDecision=85500 #constraints=82654
795.67/795.94	c nbDecision=86000 #constraints=82700
811.96/812.26	c nbDecision=86500 #constraints=82743
830.75/831.03	c nbDecision=87000 #constraints=82834
864.71/865.10	c nbDecision=87500 #constraints=82924
901.04/901.43	c nbDecision=88000 #constraints=82965
927.91/928.34	c nbDecision=88500 #constraints=83001
961.81/962.27	c nbDecision=89000 #constraints=83108
1000.30/1000.79	c nbDecision=89500 #constraints=83237
1035.59/1036.09	c nbDecision=90000 #constraints=83521
1079.27/1079.74	c nbDecision=90500 #constraints=83888
1137.65/1138.13	c nbDecision=91000 #constraints=84288
1186.64/1187.17	c nbDecision=91500 #constraints=84647
1242.22/1242.76	c nbDecision=92000 #constraints=85024
1284.01/1284.57	c nbDecision=92500 #constraints=85322
1336.40/1336.93	c nbDecision=93000 #constraints=85674
1393.69/1394.21	c nbDecision=93500 #constraints=86037
1471.86/1472.41	c nbDecision=94000 #constraints=86434
1552.94/1553.51	c nbDecision=94500 #constraints=86837
1617.32/1617.94	c nbDecision=95000 #constraints=87199
1687.60/1688.28	c nbDecision=95500 #constraints=87577
1778.17/1778.85	c nbDecision=96000 #constraints=87975
1800.07/1800.71	Received signal 15
1800.56/1801.27	
1800.56/1801.27	s UNKNOWN
1800.56/1801.27	
1800.56/1801.27	c user time= 1800.17 s
1800.56/1801.27	c system time= 0.488925 s
1800.56/1801.27	c wall clock time=1801.28

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/457727-1178372804/instance-457727-1178372804.opb
mv /tmp/evaluation/457727-1178372804/instance-457727-1178372804.opb.tmp /tmp/evaluation/457727-1178372804/instance-457727-1178372804.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-457727-1178372804 -o ROOT/results/node47/solver-457727-1178372804 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/457727-1178372804/instance-457727-1178372804.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.99 0.97 0.91 3/77 31836
/proc/meminfo: memFree=1439568/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=1468 CPUtime=0
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 192125821 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 367 167 131 317 0 46 0

[startup+0.00926509 s]
/proc/loadavg: 0.99 0.97 0.91 3/77 31836
/proc/meminfo: memFree=1439568/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=1600 CPUtime=0
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 207 0 0 0 0 0 0 0 18 0 1 0 192125821 1638400 190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 400 190 131 317 0 79 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1600

[startup+0.10119 s]
/proc/loadavg: 0.99 0.97 0.91 3/77 31836
/proc/meminfo: memFree=1439568/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=3448 CPUtime=0.1
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 672 0 0 0 10 0 0 0 18 0 1 0 192125821 3530752 655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 862 655 131 317 0 541 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3448

[startup+0.30121 s]
/proc/loadavg: 0.99 0.97 0.91 3/77 31836
/proc/meminfo: memFree=1439568/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=8788 CPUtime=0.29
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 1979 0 0 0 29 0 0 0 19 0 1 0 192125821 8998912 1962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 2197 1962 132 317 0 1876 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8788

[startup+0.701257 s]
/proc/loadavg: 0.99 0.97 0.91 3/77 31836
/proc/meminfo: memFree=1439568/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=30828 CPUtime=0.69
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 7562 0 0 0 67 2 0 0 23 0 1 0 192125821 31567872 7447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 7707 7447 137 317 0 7386 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30828

[startup+1.50134 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1406664/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=36208 CPUtime=1.49
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 8917 0 0 0 146 3 0 0 25 0 1 0 192125821 37076992 8280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 9052 8280 139 317 0 8731 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36208

[startup+3.10151 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1406536/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=36208 CPUtime=3.09
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 8917 0 0 0 306 3 0 0 25 0 1 0 192125821 37076992 8280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 9052 8280 139 317 0 8731 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36208

[startup+6.30186 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1406408/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=36208 CPUtime=6.29
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 8917 0 0 0 626 3 0 0 25 0 1 0 192125821 37076992 8280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716009 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 9052 8280 139 317 0 8731 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36208

[startup+12.7015 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1406344/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=36608 CPUtime=12.69
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 9022 0 0 0 1266 3 0 0 25 0 1 0 192125821 37486592 8385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 9152 8385 139 317 0 8831 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36608

[startup+25.5019 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1402824/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=40064 CPUtime=25.48
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 9886 0 0 0 2545 3 0 0 25 0 1 0 192125821 41025536 9249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 10016 9249 139 317 0 9695 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40064

[startup+51.1017 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1398856/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=43960 CPUtime=51.08
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 10871 0 0 0 5104 4 0 0 25 0 1 0 192125821 45015040 10234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 10990 10234 139 317 0 10669 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43960

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1389704/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=53072 CPUtime=102.27
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 13148 0 0 0 10222 5 0 0 25 0 1 0 192125821 54345728 12511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 13268 12511 139 317 0 12947 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 53072

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1381320/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=62408 CPUtime=162.24
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 15233 0 0 0 16218 6 0 0 25 0 1 0 192125821 63905792 14596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 15602 14596 139 317 0 15281 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 62408

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1367176/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=75760 CPUtime=222.22
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 18786 0 0 0 22214 8 0 0 25 0 1 0 192125821 77578240 18149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 18940 18149 139 317 0 18619 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 75760

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1350344/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=94720 CPUtime=282.22
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 22963 0 0 0 28210 12 0 0 25 0 1 0 192125821 96993280 22326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 23680 22326 139 317 0 23359 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 94720

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1350344/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=94720 CPUtime=342.19
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 22964 0 0 0 34207 12 0 0 25 0 1 0 192125821 96993280 22327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 23680 22327 139 317 0 23359 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 94720

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1350216/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=94720 CPUtime=402.18
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 22986 0 0 0 40205 13 0 0 25 0 1 0 192125821 96993280 22349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 23680 22349 139 317 0 23359 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 94720

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1344264/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=100560 CPUtime=462.16
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 24523 0 0 0 46202 14 0 0 25 0 1 0 192125821 102973440 23886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 25140 23886 139 317 0 24819 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 100560

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1324488/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=119812 CPUtime=522.15
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 29511 0 0 0 52198 17 0 0 25 0 1 0 192125821 122687488 28874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 29953 28874 139 317 0 29632 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 119812

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1302344/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=146928 CPUtime=582.12
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 34989 0 0 0 58192 20 0 0 25 0 1 0 192125821 150454272 34352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 36732 34352 139 317 0 36411 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 146928

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 31837
/proc/meminfo: memFree=1298376/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=151100 CPUtime=642.11
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 35944 0 0 0 64190 21 0 0 25 0 1 0 192125821 154726400 35307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 37775 35307 139 317 0 37454 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 151100


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

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32035
/proc/meminfo: memFree=1287688/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=162732 CPUtime=1001.9
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 38563 0 0 0 100163 27 0 0 25 0 1 0 192125821 166637568 37926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 40683 37926 139 317 0 40362 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 162732

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32035
/proc/meminfo: memFree=1276552/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=173392 CPUtime=1061.87
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 41384 0 0 0 106159 28 0 0 25 0 1 0 192125821 177553408 40747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 43348 40747 139 317 0 43027 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 173392

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32035
/proc/meminfo: memFree=1265288/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=183564 CPUtime=1121.86
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 44196 0 0 0 112155 31 0 0 25 0 1 0 192125821 187969536 43559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284464 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 45891 43559 139 317 0 45570 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 183564

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32035
/proc/meminfo: memFree=1254600/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=193160 CPUtime=1181.85
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 46869 0 0 0 118152 33 0 0 25 0 1 0 192125821 197795840 46232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 48290 46232 139 317 0 47969 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 193160

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32035
/proc/meminfo: memFree=1243848/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=203072 CPUtime=1241.82
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 49536 0 0 0 124147 35 0 0 25 0 1 0 192125821 207945728 48899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 50768 48899 139 317 0 50447 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 203072

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32035
/proc/meminfo: memFree=1233288/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=212360 CPUtime=1301.81
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 52155 0 0 0 130145 36 0 0 25 0 1 0 192125821 217456640 51518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 53090 51518 139 317 0 52769 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 212360

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32035
/proc/meminfo: memFree=1224712/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=220152 CPUtime=1361.79
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 54378 0 0 0 136141 38 0 0 25 0 1 0 192125821 225435648 53741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 55038 53741 139 317 0 54717 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 220152

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32035
/proc/meminfo: memFree=1207816/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=245028 CPUtime=1421.78
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 58549 0 0 0 142138 40 0 0 25 0 1 0 192125821 250908672 57912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272676 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 61257 57912 139 317 0 60936 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 245028

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32037
/proc/meminfo: memFree=1201800/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=254916 CPUtime=1481.76
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 60046 0 0 0 148135 41 0 0 25 0 1 0 192125821 261033984 59409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 63729 59409 139 317 0 63408 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 254916

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32037
/proc/meminfo: memFree=1193864/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=264820 CPUtime=1541.73
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 62029 0 0 0 154132 41 0 0 25 0 1 0 192125821 271175680 61392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270568 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 66205 61392 139 317 0 65884 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 264820

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32037
/proc/meminfo: memFree=1184968/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=276708 CPUtime=1601.72
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 64257 0 0 0 160128 44 0 0 25 0 1 0 192125821 283348992 63620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718334 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 69177 63620 139 317 0 68856 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 276708

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32037
/proc/meminfo: memFree=1177032/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=286336 CPUtime=1661.71
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 66214 0 0 0 166125 46 0 0 25 0 1 0 192125821 293208064 65577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 71584 65577 139 317 0 71263 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 286336

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32037
/proc/meminfo: memFree=1170248/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=293172 CPUtime=1721.69
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 67913 0 0 0 172123 46 0 0 25 0 1 0 192125821 300208128 67276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 73293 67276 139 317 0 72972 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 293172

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32037
/proc/meminfo: memFree=1162504/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=300552 CPUtime=1781.67
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 69831 0 0 0 178119 48 0 0 25 0 1 0 192125821 307765248 69194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 75138 69194 139 317 0 74817 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 300552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.07 0.99 0.91 2/78 32037
/proc/meminfo: memFree=1160072/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=302968 CPUtime=1800.07
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 70424 0 0 0 179959 48 0 0 25 0 1 0 192125821 310239232 69787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 75742 69787 139 317 0 75421 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 302968

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

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

[startup+1801 s]
/proc/loadavg: 1.07 0.99 0.91 2/78 32037
/proc/meminfo: memFree=1160072/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=302968 CPUtime=1800.36
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 70434 0 0 0 179988 48 0 0 25 0 1 0 192125821 310239232 69797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713780 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 75742 69797 139 317 0 75421 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 302968

[startup+1801.2 s]
/proc/loadavg: 1.07 0.99 0.91 2/78 32037
/proc/meminfo: memFree=1160072/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=303084 CPUtime=1800.56
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 70438 0 0 0 180008 48 0 0 25 0 1 0 192125821 310358016 69801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715643 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 75771 69801 139 317 0 75450 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (KiB) 303084

[startup+1801.3 s]
/proc/loadavg: 1.07 0.99 0.91 2/78 32037
/proc/meminfo: memFree=1160072/2055920 swapFree=4157880/4192956
[pid=31836] ppid=31834 vsize=273472 CPUtime=1800.67
/proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 70455 0 0 0 180018 49 0 0 25 0 1 0 192125821 280035328 65309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31836/statm: 68302 65272 166 317 0 67981 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 273472

Child status: 0
Real time (s): 1801.35
CPU time (s): 1800.73
CPU user time (s): 1800.19
CPU system time (s): 0.534918
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 303084

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

runsolver used 1.61975 second user time and 4.50432 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Sat May  5 13:46:44 UTC 2007

IDJOB= 457727
IDBENCH= 48360
IDSOLVER= 172
FILE ID= node47/457727-1178372804

PBS_JOBID= 5189182

Free space on /tmp= 66562 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_60_1_80.opb
COMMAND LINE= oree /tmp/evaluation/457727-1178372804/instance-457727-1178372804.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-457727-1178372804 -o ROOT/results/node47/conversion-457727-1178372804 -C 600 -M 1800 /tmp/evaluation/457727-1178372804/substituteSizeProductKeyword /tmp/evaluation/457727-1178372804/instance-457727-1178372804.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  8096e07164eab6008a97823c6b00b555

RANDOM SEED= 939169659

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1439976 kB
Buffers:         56416 kB
Cached:         444764 kB
SwapCached:       3788 kB
Active:         203048 kB
Inactive:       322908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1439976 kB
SwapTotal:     4192956 kB
SwapFree:      4157880 kB
Dirty:            2356 kB
Writeback:           0 kB
Mapped:          31296 kB
Slab:            75544 kB
Committed_AS:  5493684 kB
PageTables:       1780 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= 66562 MiB

End job on node47 on Sat May  5 14:16:47 UTC 2007