Trace number 420487

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.15 1800.77

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/
pebbling/unsat-pbl-00080.sat05-1325.reshuffled-07.opb
MD5SUMe91355db9a9a4ee2ff3a0a996c75e4aa
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark18.0823
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables288
Total number of constraints11604
Number of constraints which are clauses11604
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 constraint1
Maximum length of a constraint11
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 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 20
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.23	c ...done
0.19/0.23	c #vars=288 #constraints=11604 hasObjective=no
0.19/0.26	c res. mode=mod
0.19/0.26	c VSIDS like heuristics
0.19/0.26	c complete search running
0.49/0.52	c restart after 401 decisions
0.49/0.58	c nbDecision=500 #constraints=11660
0.59/0.68	c restart after 801 decisions
0.69/0.77	c nbDecision=1000 #constraints=11680
0.99/1.08	c nbDecision=1500 #constraints=11748
0.99/1.10	c restart after 1601 decisions
1.69/1.75	c nbDecision=2000 #constraints=11897
2.59/2.63	c nbDecision=2500 #constraints=12097
4.29/4.32	c nbDecision=3000 #constraints=12466
5.08/5.12	c restart after 3201 decisions
5.08/5.19	c nbDecision=3500 #constraints=12644
5.18/5.28	c nbDecision=4000 #constraints=12835
6.99/7.07	c nbDecision=4500 #constraints=13121
7.79/7.89	c nbDecision=5000 #constraints=13293
8.49/8.54	c nbDecision=5500 #constraints=13534
8.89/8.96	c nbDecision=6000 #constraints=13662
9.18/9.24	c restart after 6401 decisions
9.29/9.33	c nbDecision=6500 #constraints=13749
10.48/10.58	c nbDecision=7000 #constraints=13942
12.78/12.80	c nbDecision=7500 #constraints=14282
14.88/14.90	c nbDecision=8000 #constraints=14622
16.78/16.85	c nbDecision=8500 #constraints=14881
18.18/18.24	c nbDecision=9000 #constraints=15159
19.69/19.70	c nbDecision=9500 #constraints=15445
21.38/21.48	c nbDecision=10000 #constraints=15761
23.59/23.63	c nbDecision=10500 #constraints=16121
25.89/25.90	c nbDecision=11000 #constraints=16467
28.68/28.78	c nbDecision=11500 #constraints=16873
31.28/31.36	c nbDecision=12000 #constraints=17221
34.09/34.14	c nbDecision=12500 #constraints=17571
36.19/36.26	c restart after 12801 decisions
36.38/36.42	c nbDecision=13000 #constraints=17822
38.88/38.90	c nbDecision=13500 #constraints=18129
42.08/42.18	c nbDecision=14000 #constraints=18500
44.98/45.06	c nbDecision=14500 #constraints=18808
48.67/48.74	c nbDecision=15000 #constraints=19168
53.77/53.82	c nbDecision=15500 #constraints=19568
58.47/58.54	c nbDecision=16000 #constraints=19942
64.07/64.14	c nbDecision=16500 #constraints=20311
64.47/64.60	c nbDecision=17000 #constraints=20350
65.88/65.92	c nbDecision=17500 #constraints=20484
66.87/66.93	c nbDecision=18000 #constraints=20671
68.07/68.19	c nbDecision=18500 #constraints=20900
69.67/69.78	c nbDecision=19000 #constraints=21161
71.37/71.45	c nbDecision=19500 #constraints=21398
72.76/72.80	c nbDecision=20000 #constraints=21603
74.36/74.46	c nbDecision=20500 #constraints=21858
76.27/76.37	c nbDecision=21000 #constraints=22106
77.98/78.08	c nbDecision=21500 #constraints=22326
79.87/79.93	c nbDecision=22000 #constraints=22535
82.57/82.69	c nbDecision=22500 #constraints=22883
84.17/84.24	c nbDecision=23000 #constraints=23059
85.77/85.84	c nbDecision=23500 #constraints=23206
87.16/87.25	c nbDecision=24000 #constraints=23331
89.66/89.77	c nbDecision=24500 #constraints=23590
91.96/92.03	c nbDecision=25000 #constraints=23798
94.57/94.65	c nbDecision=25500 #constraints=24007
94.96/95.01	c restart after 25601 decisions
96.86/96.90	c nbDecision=26000 #constraints=24157
100.56/100.64	c nbDecision=26500 #constraints=24461
105.36/105.49	c nbDecision=27000 #constraints=24837
109.75/109.83	c nbDecision=27500 #constraints=25092
114.27/114.38	c nbDecision=28000 #constraints=25347
119.96/120.00	c nbDecision=28500 #constraints=25691
124.76/124.80	c nbDecision=29000 #constraints=25931
131.55/131.64	c nbDecision=29500 #constraints=26281
138.25/138.31	c nbDecision=30000 #constraints=26574
142.95/143.07	c nbDecision=30500 #constraints=26795
148.35/148.42	c nbDecision=31000 #constraints=27031
153.35/153.41	c nbDecision=31500 #constraints=27345
161.65/161.76	c nbDecision=32000 #constraints=27737
172.34/172.41	c nbDecision=32500 #constraints=28131
179.03/179.13	c nbDecision=33000 #constraints=28436
184.54/184.67	c nbDecision=33500 #constraints=28691
191.64/191.75	c nbDecision=34000 #constraints=28975
198.74/198.87	c nbDecision=34500 #constraints=29228
207.53/207.60	c nbDecision=35000 #constraints=29566
216.43/216.56	c nbDecision=35500 #constraints=29832
226.02/226.11	c nbDecision=36000 #constraints=30146
233.22/233.33	c nbDecision=36500 #constraints=30390
244.52/244.68	c nbDecision=37000 #constraints=30771
253.02/253.18	c nbDecision=37500 #constraints=31113
261.82/261.95	c nbDecision=38000 #constraints=31389
271.11/271.28	c nbDecision=38500 #constraints=31702
280.11/280.28	c nbDecision=39000 #constraints=32004
288.81/288.91	c nbDecision=39500 #constraints=32248
300.10/300.22	c nbDecision=40000 #constraints=32559
309.50/309.64	c nbDecision=40500 #constraints=32844
323.00/323.12	c nbDecision=41000 #constraints=33192
334.30/334.40	c nbDecision=41500 #constraints=33507
343.59/343.78	c nbDecision=42000 #constraints=33784
356.88/357.02	c nbDecision=42500 #constraints=34112
369.29/369.44	c nbDecision=43000 #constraints=34483
382.88/383.07	c nbDecision=43500 #constraints=34857
401.58/401.70	c nbDecision=44000 #constraints=35309
413.77/413.96	c nbDecision=44500 #constraints=35611
426.27/426.42	c nbDecision=45000 #constraints=35951
438.27/438.41	c nbDecision=45500 #constraints=36219
448.26/448.47	c nbDecision=46000 #constraints=36442
461.36/461.59	c nbDecision=46500 #constraints=36775
476.25/476.42	c nbDecision=47000 #constraints=37082
487.45/487.62	c nbDecision=47500 #constraints=37355
504.84/505.03	c nbDecision=48000 #constraints=37670
519.35/519.50	c nbDecision=48500 #constraints=37981
533.14/533.30	c nbDecision=49000 #constraints=38269
546.54/546.71	c nbDecision=49500 #constraints=38593
557.73/557.90	c nbDecision=50000 #constraints=38870
574.13/574.33	c nbDecision=50500 #constraints=39214
588.82/589.05	c nbDecision=51000 #constraints=39517
596.53/596.77	c restart after 51201 decisions
598.13/598.32	c nbDecision=51500 #constraints=39745
600.43/600.69	c nbDecision=52000 #constraints=39970
604.32/604.56	c nbDecision=52500 #constraints=40235
607.82/608.07	c nbDecision=53000 #constraints=40460
610.72/610.91	c nbDecision=53500 #constraints=40644
615.52/615.79	c nbDecision=54000 #constraints=40921
620.01/620.21	c nbDecision=54500 #constraints=41255
625.11/625.30	c nbDecision=55000 #constraints=41538
630.72/630.98	c nbDecision=55500 #constraints=41902
636.91/637.14	c nbDecision=56000 #constraints=42216
643.61/643.83	c nbDecision=56500 #constraints=42495
649.01/649.22	c nbDecision=57000 #constraints=42806
656.10/656.30	c nbDecision=57500 #constraints=43193
664.81/665.00	c nbDecision=58000 #constraints=43561
671.50/671.71	c nbDecision=58500 #constraints=43867
676.60/676.80	c nbDecision=59000 #constraints=44095
682.10/682.32	c nbDecision=59500 #constraints=44297
689.30/689.57	c nbDecision=60000 #constraints=44584
695.49/695.75	c nbDecision=60500 #constraints=44806
703.79/704.05	c nbDecision=61000 #constraints=45092
710.89/711.19	c nbDecision=61500 #constraints=45348
718.78/719.01	c nbDecision=62000 #constraints=45597
727.79/728.04	c nbDecision=62500 #constraints=45862
732.78/733.04	c nbDecision=63000 #constraints=46031
743.58/743.87	c nbDecision=63500 #constraints=46352
752.27/752.55	c nbDecision=64000 #constraints=46658
760.77/761.08	c nbDecision=64500 #constraints=46922
768.78/769.05	c nbDecision=65000 #constraints=47160
777.87/778.14	c nbDecision=65500 #constraints=47394
787.47/787.74	c nbDecision=66000 #constraints=47642
797.56/797.81	c nbDecision=66500 #constraints=47908
804.56/804.87	c nbDecision=67000 #constraints=48116
812.86/813.13	c nbDecision=67500 #constraints=48390
821.05/821.40	c nbDecision=68000 #constraints=48648
831.86/832.13	c nbDecision=68500 #constraints=48980
844.05/844.35	c nbDecision=69000 #constraints=49306
851.75/852.01	c nbDecision=69500 #constraints=49561
862.45/862.71	c nbDecision=70000 #constraints=49867
870.04/870.30	c nbDecision=70500 #constraints=50043
878.94/879.26	c nbDecision=71000 #constraints=50274
886.84/887.16	c nbDecision=71500 #constraints=50530
896.14/896.48	c nbDecision=72000 #constraints=50792
905.53/905.88	c nbDecision=72500 #constraints=51043
921.83/922.18	c nbDecision=73000 #constraints=51408
929.43/929.75	c nbDecision=73500 #constraints=51600
937.53/937.86	c nbDecision=74000 #constraints=51820
950.32/950.69	c nbDecision=74500 #constraints=52106
959.92/960.25	c nbDecision=75000 #constraints=52347
969.01/969.31	c nbDecision=75500 #constraints=52548
982.92/983.24	c nbDecision=76000 #constraints=52844
993.11/993.44	c nbDecision=76500 #constraints=53071
1005.01/1005.37	c nbDecision=77000 #constraints=53332
1014.80/1015.11	c nbDecision=77500 #constraints=53534
1034.89/1035.23	c nbDecision=78000 #constraints=53917
1045.09/1045.43	c nbDecision=78500 #constraints=54143
1054.89/1055.27	c nbDecision=79000 #constraints=54359
1064.29/1064.64	c nbDecision=79500 #constraints=54591
1069.90/1070.20	c nbDecision=80000 #constraints=54712
1081.59/1081.93	c nbDecision=80500 #constraints=54977
1092.58/1092.93	c nbDecision=81000 #constraints=55223
1100.18/1100.55	c nbDecision=81500 #constraints=55377
1113.48/1113.81	c nbDecision=82000 #constraints=55642
1131.27/1131.67	c nbDecision=82500 #constraints=55985
1143.37/1143.74	c nbDecision=83000 #constraints=56252
1156.47/1156.89	c nbDecision=83500 #constraints=56495
1168.36/1168.77	c nbDecision=84000 #constraints=56715
1181.95/1182.39	c nbDecision=84500 #constraints=56985
1200.55/1200.96	c nbDecision=85000 #constraints=57305
1217.41/1217.81	c nbDecision=85500 #constraints=57567
1231.49/1231.91	c nbDecision=86000 #constraints=57811
1250.75/1251.21	c nbDecision=86500 #constraints=58102
1275.83/1276.38	c nbDecision=87000 #constraints=58467
1306.81/1307.35	c nbDecision=87500 #constraints=58880
1322.52/1323.01	c nbDecision=88000 #constraints=59132
1336.21/1336.72	c nbDecision=88500 #constraints=59379
1350.70/1351.28	c nbDecision=89000 #constraints=59643
1368.00/1368.50	c nbDecision=89500 #constraints=59934
1389.70/1390.25	c nbDecision=90000 #constraints=60297
1406.19/1406.76	c nbDecision=90500 #constraints=60557
1427.48/1428.05	c nbDecision=91000 #constraints=60874
1450.17/1450.72	c nbDecision=91500 #constraints=61230
1468.57/1469.10	c nbDecision=92000 #constraints=61463
1486.77/1487.32	c nbDecision=92500 #constraints=61785
1508.16/1508.72	c nbDecision=93000 #constraints=62053
1527.26/1527.83	c nbDecision=93500 #constraints=62365
1547.75/1548.33	c nbDecision=94000 #constraints=62680
1569.04/1569.69	c nbDecision=94500 #constraints=63003
1583.74/1584.40	c nbDecision=95000 #constraints=63251
1603.73/1604.31	c nbDecision=95500 #constraints=63547
1622.53/1623.12	c nbDecision=96000 #constraints=63817
1634.83/1635.44	c nbDecision=96500 #constraints=64031
1652.52/1653.14	c nbDecision=97000 #constraints=64292
1672.52/1673.18	c nbDecision=97500 #constraints=64609
1689.71/1690.39	c nbDecision=98000 #constraints=64856
1708.61/1709.22	c nbDecision=98500 #constraints=65115
1733.00/1733.63	c nbDecision=99000 #constraints=65421
1754.50/1755.18	c nbDecision=99500 #constraints=65693
1771.68/1772.38	c nbDecision=100000 #constraints=65944
1788.09/1788.72	c nbDecision=100500 #constraints=66169
1800.09/1800.71	Received signal 15
1800.09/1800.74	
1800.09/1800.74	s UNKNOWN
1800.09/1800.74	
1800.09/1800.74	c user time= 1799.76 s
1800.09/1800.74	c system time= 0.371943 s
1800.09/1800.74	c wall clock time=1800.74

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node2/watcher-420487-1177425649 -o ROOT/results/node2/solver-420487-1177425649 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420487-1177425649/instance-420487-1177425649.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.79 0.97 0.98 3/77 11465
/proc/meminfo: memFree=1913968/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=1468 CPUtime=0
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 218602705 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 367 164 130 317 0 46 0

[startup+0.0649519 s]
/proc/loadavg: 0.79 0.97 0.98 3/77 11465
/proc/meminfo: memFree=1913968/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=2656 CPUtime=0.06
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 487 0 0 0 6 0 0 0 18 0 1 0 218602705 2719744 470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 664 470 130 317 0 343 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2656

[startup+0.101954 s]
/proc/loadavg: 0.79 0.97 0.98 3/77 11465
/proc/meminfo: memFree=1913968/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=3464 CPUtime=0.09
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 674 0 0 0 9 0 0 0 18 0 1 0 218602705 3547136 657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 866 657 130 317 0 545 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3464

[startup+0.301976 s]
/proc/loadavg: 0.79 0.97 0.98 3/77 11465
/proc/meminfo: memFree=1913968/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=8612 CPUtime=0.29
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 1960 0 0 0 29 0 0 0 19 0 1 0 218602705 8818688 1863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 2153 1863 139 317 0 1832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8612

[startup+0.702016 s]
/proc/loadavg: 0.79 0.97 0.98 3/77 11465
/proc/meminfo: memFree=1913968/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=8612 CPUtime=0.69
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 1960 0 0 0 69 0 0 0 23 0 1 0 218602705 8818688 1863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 2153 1863 139 317 0 1832 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8612

[startup+1.5011 s]
/proc/loadavg: 0.79 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1906920/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=8612 CPUtime=1.49
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 1960 0 0 0 149 0 0 0 25 0 1 0 218602705 8818688 1863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713818 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 2153 1863 139 317 0 1832 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8612

[startup+3.10127 s]
/proc/loadavg: 0.79 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1906792/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=8744 CPUtime=3.09
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 2000 0 0 0 309 0 0 0 25 0 1 0 218602705 8953856 1903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 2186 1903 139 317 0 1865 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8744

[startup+6.3016 s]
/proc/loadavg: 0.81 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1905896/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=9676 CPUtime=6.29
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 2241 0 0 0 628 1 0 0 25 0 1 0 218602705 9908224 2144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 2419 2144 139 317 0 2098 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9676

[startup+12.7013 s]
/proc/loadavg: 0.82 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1904488/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=11000 CPUtime=12.68
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 2563 0 0 0 1267 1 0 0 25 0 1 0 218602705 11264000 2466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 2750 2466 139 317 0 2429 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11000

[startup+25.5016 s]
/proc/loadavg: 0.86 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1902120/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=13396 CPUtime=25.49
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 3169 0 0 0 2547 2 0 0 25 0 1 0 218602705 13717504 3072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 3349 3072 139 317 0 3028 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13396

[startup+51.1013 s]
/proc/loadavg: 0.91 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1897896/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=17740 CPUtime=51.07
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 4215 0 0 0 5104 3 0 0 25 0 1 0 218602705 18165760 4118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 4435 4118 139 317 0 4114 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17740

[startup+102.306 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1891176/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=25012 CPUtime=102.26
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 6042 0 0 0 10221 5 0 0 25 0 1 0 218602705 25612288 5786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 6253 5786 139 317 0 5932 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25012

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1887464/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=28960 CPUtime=162.24
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 6956 0 0 0 16218 6 0 0 25 0 1 0 218602705 29655040 6700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 7240 6700 139 317 0 6919 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 28960

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1884712/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=31512 CPUtime=222.23
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 7608 0 0 0 22216 7 0 0 25 0 1 0 218602705 32268288 7352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 7878 7352 139 317 0 7557 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 31512

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1882408/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=33788 CPUtime=282.21
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 8172 0 0 0 28213 8 0 0 25 0 1 0 218602705 34598912 7916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 8447 7916 139 317 0 8126 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 33788

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1880168/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=36072 CPUtime=342.19
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 8753 0 0 0 34210 9 0 0 25 0 1 0 218602705 36937728 8464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 9018 8464 139 317 0 8697 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 36072

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1878120/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=38348 CPUtime=402.18
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 9281 0 0 0 40208 10 0 0 25 0 1 0 218602705 39268352 8959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 9587 8959 139 317 0 9266 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 38348

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1876392/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=40088 CPUtime=462.16
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 9722 0 0 0 46205 11 0 0 25 0 1 0 218602705 41050112 9400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 10022 9400 139 317 0 9701 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 40088

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1874920/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=41416 CPUtime=522.15
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 10075 0 0 0 52203 12 0 0 25 0 1 0 218602705 42409984 9753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 10354 9753 139 317 0 10033 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 41416

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1873256/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=43068 CPUtime=582.12
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 10494 0 0 0 58200 12 0 0 25 0 1 0 218602705 44101632 10172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 10767 10172 139 317 0 10446 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 43068

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1867240/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=49464 CPUtime=642.12
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 12074 0 0 0 64198 14 0 0 25 0 1 0 218602705 50651136 11653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 12366 11653 139 317 0 12045 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 49464


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

[startup+882.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1852520/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=65444 CPUtime=882.04
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 16123 0 0 0 88186 18 0 0 25 0 1 0 218602705 67014656 15286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 16361 15286 139 317 0 16040 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 65444

[startup+942.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1849448/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=68564 CPUtime=942.03
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 16929 0 0 0 94183 20 0 0 25 0 1 0 218602705 70209536 16026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 17141 16026 139 317 0 16820 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 68564

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1846504/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=71788 CPUtime=1002.01
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 17724 0 0 0 100180 21 0 0 25 0 1 0 218602705 73510912 16756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 17947 16756 139 317 0 17626 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 71788

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1843816/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=75052 CPUtime=1061.99
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 18481 0 0 0 106178 21 0 0 25 0 1 0 218602705 76853248 17414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 18763 17414 139 317 0 18442 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 75052

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1841448/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=77200 CPUtime=1121.98
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 19035 0 0 0 112175 23 0 0 25 0 1 0 218602705 79052800 17968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 19300 17968 139 317 0 18979 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 77200

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11466
/proc/meminfo: memFree=1839208/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=79184 CPUtime=1181.95
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 19590 0 0 0 118171 24 0 0 25 0 1 0 218602705 81084416 18523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 19796 18523 139 317 0 19475 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 79184

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 11622
/proc/meminfo: memFree=1835824/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=81172 CPUtime=1241.86
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 20075 0 0 0 124160 26 0 0 25 0 1 0 218602705 83120128 19008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 20293 19008 139 317 0 19972 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 81172

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11664
/proc/meminfo: memFree=1834856/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=82872 CPUtime=1301.82
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 20552 0 0 0 130155 27 0 0 25 0 1 0 218602705 84860928 19485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 20718 19485 139 317 0 20397 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 82872

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11664
/proc/meminfo: memFree=1832808/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=85220 CPUtime=1361.81
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 21206 0 0 0 136152 29 0 0 25 0 1 0 218602705 87265280 20008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 21305 20008 139 317 0 20984 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 85220

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11664
/proc/meminfo: memFree=1830632/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=87616 CPUtime=1421.79
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 21810 0 0 0 142149 30 0 0 25 0 1 0 218602705 89718784 20546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 21904 20546 139 317 0 21583 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 87616

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11664
/proc/meminfo: memFree=1828840/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=89412 CPUtime=1481.76
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 22250 0 0 0 148146 30 0 0 25 0 1 0 218602705 91557888 20986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 22353 20986 139 317 0 22032 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 89412

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11664
/proc/meminfo: memFree=1826984/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=91380 CPUtime=1541.75
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 22775 0 0 0 154143 32 0 0 25 0 1 0 218602705 93573120 21446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 22845 21446 139 317 0 22524 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 91380

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11664
/proc/meminfo: memFree=1825448/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=92824 CPUtime=1601.73
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 23166 0 0 0 160141 32 0 0 25 0 1 0 218602705 95051776 21837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 23206 21837 139 317 0 22885 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 92824

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11664
/proc/meminfo: memFree=1823720/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=94784 CPUtime=1661.72
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 23713 0 0 0 166138 34 0 0 25 0 1 0 218602705 97058816 22253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 23696 22253 139 317 0 23375 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 94784

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11664
/proc/meminfo: memFree=1822056/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=96616 CPUtime=1721.7
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 24188 0 0 0 172135 35 0 0 25 0 1 0 218602705 98934784 22663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 24154 22663 139 317 0 23833 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 96616

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11664
/proc/meminfo: memFree=1820456/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=98844 CPUtime=1781.68
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 24758 0 0 0 178132 36 0 0 25 0 1 0 218602705 101216256 23037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 24711 23037 139 317 0 24390 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 98844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11664
/proc/meminfo: memFree=1820008/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=99240 CPUtime=1800.09
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 24864 0 0 0 179972 37 0 0 25 0 1 0 218602705 101621760 23143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 24810 23143 139 317 0 24489 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 99240

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 11664
/proc/meminfo: memFree=1820008/2055920 swapFree=4148972/4192956
[pid=11465] ppid=11463 vsize=99240 CPUtime=1800.09
/proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 24864 0 0 0 179972 37 0 0 25 0 1 0 218602705 101621760 23143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11465/statm: 24810 23143 139 317 0 24489 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 99240

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.15
CPU user time (s): 1799.77
CPU system time (s): 0.386941
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 99240

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

runsolver used 1.44778 second user time and 3.99739 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Tue Apr 24 14:40:49 UTC 2007

IDJOB= 420487
IDBENCH= 47848
IDSOLVER= 172
FILE ID= node2/420487-1177425649

PBS_JOBID= 4675750

Free space on /tmp= 66403 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/unsat-pbl-00080.sat05-1325.reshuffled-07.opb
COMMAND LINE= oree /tmp/evaluation/420487-1177425649/instance-420487-1177425649.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-420487-1177425649 -o ROOT/results/node2/solver-420487-1177425649 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/420487-1177425649/instance-420487-1177425649.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  e91355db9a9a4ee2ff3a0a996c75e4aa

RANDOM SEED= 24681251

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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:       1914440 kB
Buffers:         16768 kB
Cached:          60648 kB
SwapCached:      12752 kB
Active:          65336 kB
Inactive:        35492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1914440 kB
SwapTotal:     4192956 kB
SwapFree:      4148972 kB
Dirty:            2220 kB
Writeback:           0 kB
Mapped:          29916 kB
Slab:            26108 kB
Committed_AS:  8275512 kB
PageTables:       1860 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= 66403 MiB

End job on node2 on Tue Apr 24 15:10:52 UTC 2007