Trace number 420501

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.09 1800.68

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/
pebbling/unsat-pbl-00090.sat05-1326.reshuffled-07.opb
MD5SUM1fa4aa951d8770010592e805fb299bf0
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 benchmark22.7465
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables322
Total number of constraints9322
Number of constraints which are clauses9322
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 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 18
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.09/0.19	c ...done
0.09/0.19	c #vars=322 #constraints=9322 hasObjective=no
0.19/0.21	c res. mode=mod
0.19/0.21	c VSIDS like heuristics
0.19/0.21	c complete search running
0.29/0.33	c restart after 401 decisions
0.29/0.37	c nbDecision=500 #constraints=9340
0.39/0.43	c restart after 801 decisions
0.49/0.52	c nbDecision=1000 #constraints=9370
0.69/0.79	c nbDecision=1500 #constraints=9471
0.79/0.82	c restart after 1601 decisions
1.39/1.50	c nbDecision=2000 #constraints=9707
2.59/2.66	c nbDecision=2500 #constraints=10069
2.89/2.97	c nbDecision=3000 #constraints=10149
2.99/3.05	c restart after 3201 decisions
3.49/3.59	c nbDecision=3500 #constraints=10359
4.79/4.81	c nbDecision=4000 #constraints=10698
5.99/6.04	c nbDecision=4500 #constraints=11037
7.59/7.65	c nbDecision=5000 #constraints=11435
9.08/9.19	c nbDecision=5500 #constraints=11760
10.49/10.58	c nbDecision=6000 #constraints=12044
11.79/11.87	c restart after 6401 decisions
11.89/11.92	c nbDecision=6500 #constraints=12327
12.39/12.43	c nbDecision=7000 #constraints=12510
13.49/13.52	c nbDecision=7500 #constraints=12819
14.49/14.54	c nbDecision=8000 #constraints=13064
15.98/16.09	c nbDecision=8500 #constraints=13355
17.68/17.78	c nbDecision=9000 #constraints=13700
18.09/18.15	c nbDecision=9500 #constraints=13951
18.39/18.45	c nbDecision=10000 #constraints=14206
18.79/18.88	c nbDecision=10500 #constraints=14467
19.29/19.34	c nbDecision=11000 #constraints=14704
19.79/19.86	c nbDecision=11500 #constraints=14937
20.68/20.73	c nbDecision=12000 #constraints=15269
21.38/21.47	c nbDecision=12500 #constraints=15531
22.08/22.15	c restart after 12801 decisions
22.18/22.28	c nbDecision=13000 #constraints=15776
23.58/23.67	c nbDecision=13500 #constraints=16019
26.58/26.60	c nbDecision=14000 #constraints=16378
29.19/29.23	c nbDecision=14500 #constraints=16720
31.99/32.07	c nbDecision=15000 #constraints=17071
35.08/35.19	c nbDecision=15500 #constraints=17424
38.28/38.35	c nbDecision=16000 #constraints=17740
42.08/42.11	c nbDecision=16500 #constraints=18079
45.68/45.75	c nbDecision=17000 #constraints=18405
49.27/49.37	c nbDecision=17500 #constraints=18700
53.27/53.35	c nbDecision=18000 #constraints=19017
57.57/57.68	c nbDecision=18500 #constraints=19349
60.87/60.93	c nbDecision=19000 #constraints=19595
65.07/65.13	c nbDecision=19500 #constraints=19901
70.18/70.28	c nbDecision=20000 #constraints=20253
75.27/75.39	c nbDecision=20500 #constraints=20563
80.67/80.71	c nbDecision=21000 #constraints=20889
86.37/86.47	c nbDecision=21500 #constraints=21241
92.67/92.73	c nbDecision=22000 #constraints=21576
99.56/99.62	c nbDecision=22500 #constraints=21902
107.86/107.93	c nbDecision=23000 #constraints=22196
108.96/109.03	c nbDecision=23500 #constraints=22330
111.76/111.82	c nbDecision=24000 #constraints=22646
116.56/116.68	c nbDecision=24500 #constraints=23043
120.56/120.64	c nbDecision=25000 #constraints=23398
125.36/125.44	c nbDecision=25500 #constraints=23790
125.45/125.52	c restart after 25601 decisions
127.65/127.74	c nbDecision=26000 #constraints=23910
134.26/134.32	c nbDecision=26500 #constraints=24241
136.26/136.39	c nbDecision=27000 #constraints=24388
136.96/137.05	c nbDecision=27500 #constraints=24549
138.66/138.79	c nbDecision=28000 #constraints=24856
140.66/140.79	c nbDecision=28500 #constraints=25137
142.55/142.61	c nbDecision=29000 #constraints=25363
144.15/144.26	c nbDecision=29500 #constraints=25566
146.35/146.45	c nbDecision=30000 #constraints=25823
148.55/148.68	c nbDecision=30500 #constraints=26064
150.75/150.81	c nbDecision=31000 #constraints=26283
153.35/153.49	c nbDecision=31500 #constraints=26568
155.94/156.04	c nbDecision=32000 #constraints=26827
158.44/158.58	c nbDecision=32500 #constraints=27057
161.85/161.93	c nbDecision=33000 #constraints=27350
165.65/165.72	c nbDecision=33500 #constraints=27660
169.44/169.51	c nbDecision=34000 #constraints=27949
174.04/174.19	c nbDecision=34500 #constraints=28278
177.24/177.36	c nbDecision=35000 #constraints=28475
180.74/180.89	c nbDecision=35500 #constraints=28684
186.64/186.74	c nbDecision=36000 #constraints=29010
193.14/193.23	c nbDecision=36500 #constraints=29335
201.34/201.48	c nbDecision=37000 #constraints=29705
210.43/210.51	c nbDecision=37500 #constraints=30126
220.33/220.41	c nbDecision=38000 #constraints=30551
223.03/223.19	c nbDecision=38500 #constraints=30694
228.13/228.22	c nbDecision=39000 #constraints=30952
233.03/233.10	c nbDecision=39500 #constraints=31207
236.93/237.00	c nbDecision=40000 #constraints=31414
245.42/245.53	c nbDecision=40500 #constraints=31779
253.22/253.30	c nbDecision=41000 #constraints=32157
257.22/257.37	c nbDecision=41500 #constraints=32371
263.01/263.13	c nbDecision=42000 #constraints=32648
270.12/270.30	c nbDecision=42500 #constraints=32964
275.42/275.57	c nbDecision=43000 #constraints=33203
281.22/281.36	c nbDecision=43500 #constraints=33504
289.11/289.25	c nbDecision=44000 #constraints=33832
298.11/298.28	c nbDecision=44500 #constraints=34160
305.80/305.94	c nbDecision=45000 #constraints=34441
313.90/314.06	c nbDecision=45500 #constraints=34732
321.10/321.28	c nbDecision=46000 #constraints=35009
325.80/325.93	c nbDecision=46500 #constraints=35257
333.60/333.77	c nbDecision=47000 #constraints=35515
341.40/341.52	c nbDecision=47500 #constraints=35759
350.59/350.78	c nbDecision=48000 #constraints=36065
360.39/360.53	c nbDecision=48500 #constraints=36405
365.90/366.05	c nbDecision=49000 #constraints=36592
372.70/372.87	c nbDecision=49500 #constraints=36887
379.89/380.02	c nbDecision=50000 #constraints=37129
385.99/386.12	c nbDecision=50500 #constraints=37350
395.38/395.50	c nbDecision=51000 #constraints=37597
398.68/398.88	c restart after 51201 decisions
400.58/400.71	c nbDecision=51500 #constraints=37698
408.88/409.00	c nbDecision=52000 #constraints=38097
418.18/418.39	c nbDecision=52500 #constraints=38500
427.97/428.15	c nbDecision=53000 #constraints=38932
434.37/434.53	c nbDecision=53500 #constraints=39153
447.66/447.89	c nbDecision=54000 #constraints=39447
458.96/459.14	c nbDecision=54500 #constraints=39714
471.46/471.62	c nbDecision=55000 #constraints=39974
484.46/484.65	c nbDecision=55500 #constraints=40266
496.65/496.86	c nbDecision=56000 #constraints=40555
508.85/509.10	c nbDecision=56500 #constraints=40856
521.55/521.73	c nbDecision=57000 #constraints=41117
531.84/532.07	c nbDecision=57500 #constraints=41395
542.24/542.45	c nbDecision=58000 #constraints=41685
555.04/555.24	c nbDecision=58500 #constraints=41974
566.73/566.96	c nbDecision=59000 #constraints=42206
580.63/580.84	c nbDecision=59500 #constraints=42460
598.32/598.59	c nbDecision=60000 #constraints=42810
612.72/612.91	c nbDecision=60500 #constraints=43099
630.21/630.43	c nbDecision=61000 #constraints=43439
650.62/650.81	c nbDecision=61500 #constraints=43759
670.51/670.73	c nbDecision=62000 #constraints=44048
693.60/693.81	c nbDecision=62500 #constraints=44369
715.99/716.25	c nbDecision=63000 #constraints=44723
730.19/730.43	c nbDecision=63500 #constraints=45001
745.59/745.85	c nbDecision=64000 #constraints=45294
759.18/759.48	c nbDecision=64500 #constraints=45579
773.48/773.74	c nbDecision=65000 #constraints=45874
786.78/787.01	c nbDecision=65500 #constraints=46115
805.98/806.25	c nbDecision=66000 #constraints=46447
820.87/821.18	c nbDecision=66500 #constraints=46678
836.57/836.88	c nbDecision=67000 #constraints=46972
854.56/854.84	c nbDecision=67500 #constraints=47235
874.46/874.80	c nbDecision=68000 #constraints=47546
892.95/893.27	c nbDecision=68500 #constraints=47852
908.54/908.84	c nbDecision=69000 #constraints=48142
923.43/923.76	c nbDecision=69500 #constraints=48405
942.88/943.25	c nbDecision=70000 #constraints=48759
959.75/960.16	c nbDecision=70500 #constraints=49049
979.63/980.03	c nbDecision=71000 #constraints=49374
1001.42/1001.85	c nbDecision=71500 #constraints=49728
1023.72/1024.13	c nbDecision=72000 #constraints=50056
1040.61/1041.04	c nbDecision=72500 #constraints=50295
1055.80/1056.25	c nbDecision=73000 #constraints=50538
1075.90/1076.39	c nbDecision=73500 #constraints=50832
1094.80/1095.22	c nbDecision=74000 #constraints=51100
1113.99/1114.41	c nbDecision=74500 #constraints=51458
1130.09/1130.59	c nbDecision=75000 #constraints=51705
1147.68/1148.13	c nbDecision=75500 #constraints=51990
1167.87/1168.34	c nbDecision=76000 #constraints=52253
1187.57/1188.04	c nbDecision=76500 #constraints=52530
1207.96/1208.46	c nbDecision=77000 #constraints=52823
1231.26/1231.71	c nbDecision=77500 #constraints=53108
1234.95/1235.49	c nbDecision=78000 #constraints=53274
1242.56/1243.04	c nbDecision=78500 #constraints=53567
1253.26/1253.70	c nbDecision=79000 #constraints=53916
1265.15/1265.62	c nbDecision=79500 #constraints=54269
1274.95/1275.45	c nbDecision=80000 #constraints=54609
1285.64/1286.16	c nbDecision=80500 #constraints=55010
1296.54/1297.05	c nbDecision=81000 #constraints=55401
1306.74/1307.28	c nbDecision=81500 #constraints=55679
1320.24/1320.76	c nbDecision=82000 #constraints=55995
1337.63/1338.18	c nbDecision=82500 #constraints=56362
1350.43/1350.94	c nbDecision=83000 #constraints=56651
1365.02/1365.54	c nbDecision=83500 #constraints=56966
1381.71/1382.22	c nbDecision=84000 #constraints=57327
1394.22/1394.70	c nbDecision=84500 #constraints=57614
1405.62/1406.18	c nbDecision=85000 #constraints=57873
1419.52/1420.00	c nbDecision=85500 #constraints=58186
1428.51/1429.00	c nbDecision=86000 #constraints=58343
1437.21/1437.77	c nbDecision=86500 #constraints=58512
1448.30/1448.87	c nbDecision=87000 #constraints=58777
1463.60/1464.14	c nbDecision=87500 #constraints=59054
1480.10/1480.62	c nbDecision=88000 #constraints=59313
1495.49/1496.08	c nbDecision=88500 #constraints=59646
1508.19/1508.74	c nbDecision=89000 #constraints=59886
1517.78/1518.34	c nbDecision=89500 #constraints=60101
1527.78/1528.35	c nbDecision=90000 #constraints=60310
1539.98/1540.50	c nbDecision=90500 #constraints=60543
1552.68/1553.25	c nbDecision=91000 #constraints=60797
1563.67/1564.28	c nbDecision=91500 #constraints=61052
1577.16/1577.74	c nbDecision=92000 #constraints=61299
1582.77/1583.34	c nbDecision=92500 #constraints=61421
1596.67/1597.29	c nbDecision=93000 #constraints=61739
1606.96/1607.58	c nbDecision=93500 #constraints=61962
1622.06/1622.68	c nbDecision=94000 #constraints=62254
1633.55/1634.12	c nbDecision=94500 #constraints=62494
1647.15/1647.78	c nbDecision=95000 #constraints=62850
1663.04/1663.69	c nbDecision=95500 #constraints=63218
1681.63/1682.24	c nbDecision=96000 #constraints=63541
1701.34/1701.91	c nbDecision=96500 #constraints=63805
1709.03/1709.66	c nbDecision=97000 #constraints=64025
1720.52/1721.14	c nbDecision=97500 #constraints=64304
1729.92/1730.57	c nbDecision=98000 #constraints=64517
1745.82/1746.48	c nbDecision=98500 #constraints=64796
1760.22/1760.80	c nbDecision=99000 #constraints=65078
1772.91/1773.55	c nbDecision=99500 #constraints=65356
1787.21/1787.87	c nbDecision=100000 #constraints=65562
1800.01/1800.60	Received signal 15
1800.01/1800.65	
1800.01/1800.65	s UNKNOWN
1800.01/1800.65	
1800.01/1800.65	c user time= 1799.81 s
1800.01/1800.65	c system time= 0.254961 s
1800.01/1800.65	c wall clock time=1800.65

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/node62/watcher-420501-1177425938 -o ROOT/results/node62/solver-420501-1177425938 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420501-1177425938/instance-420501-1177425938.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.78 0.95 0.98 3/64 9072
/proc/meminfo: memFree=1863008/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=1468 CPUtime=0
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 61169845 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134986605 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 367 162 130 317 0 46 0

[startup+0.0312031 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 9072
/proc/meminfo: memFree=1863008/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=1996 CPUtime=0.03
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 313 0 0 0 3 0 0 0 18 0 1 0 61169845 2043904 296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 499 296 130 317 0 178 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1996

[startup+0.101211 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 9072
/proc/meminfo: memFree=1863008/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=3452 CPUtime=0.09
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 662 0 0 0 9 0 0 0 18 0 1 0 61169845 3534848 645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 863 645 130 317 0 542 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3452

[startup+0.301233 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 9072
/proc/meminfo: memFree=1863008/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=7292 CPUtime=0.29
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 1621 0 0 0 29 0 0 0 19 0 1 0 61169845 7467008 1540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711032 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 1823 1540 139 317 0 1502 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7292

[startup+0.701279 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 9072
/proc/meminfo: memFree=1863008/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=7292 CPUtime=0.69
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 1621 0 0 0 69 0 0 0 23 0 1 0 61169845 7467008 1540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 1823 1540 139 317 0 1502 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7292

[startup+1.50238 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 9073
/proc/meminfo: memFree=1857184/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=7292 CPUtime=1.49
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 1623 0 0 0 149 0 0 0 25 0 1 0 61169845 7467008 1542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 1823 1542 139 317 0 1502 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7292

[startup+3.10156 s]
/proc/loadavg: 0.80 0.95 0.98 2/65 9073
/proc/meminfo: memFree=1857056/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=7552 CPUtime=3.09
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 1690 0 0 0 309 0 0 0 25 0 1 0 61169845 7733248 1609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 1888 1609 139 317 0 1567 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7552

[startup+6.30194 s]
/proc/loadavg: 0.80 0.95 0.98 2/65 9073
/proc/meminfo: memFree=1856224/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=8352 CPUtime=6.29
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 1904 0 0 0 629 0 0 0 25 0 1 0 61169845 8552448 1823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716129 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 2088 1823 139 317 0 1767 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8352

[startup+12.7017 s]
/proc/loadavg: 0.83 0.95 0.98 2/65 9073
/proc/meminfo: memFree=1855008/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=9556 CPUtime=12.69
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 2204 0 0 0 1268 1 0 0 25 0 1 0 61169845 9785344 2123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 2389 2123 139 317 0 2068 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9556

[startup+25.5012 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 9073
/proc/meminfo: memFree=1849952/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=14456 CPUtime=25.48
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 3443 0 0 0 2546 2 0 0 25 0 1 0 61169845 14802944 3362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 3614 3362 139 317 0 3293 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14456

[startup+51.1012 s]
/proc/loadavg: 0.90 0.96 0.98 2/65 9073
/proc/meminfo: memFree=1846560/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=18212 CPUtime=51.07
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 4361 0 0 0 5104 3 0 0 25 0 1 0 61169845 18649088 4153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 4553 4153 139 317 0 4232 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18212

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 9073
/proc/meminfo: memFree=1843168/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=21884 CPUtime=102.26
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 5257 0 0 0 10222 4 0 0 25 0 1 0 61169845 22409216 5049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 5471 5049 139 317 0 5150 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21884

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/65 9073
/proc/meminfo: memFree=1834784/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=30512 CPUtime=162.25
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 7357 0 0 0 16218 7 0 0 25 0 1 0 61169845 31244288 7149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 7628 7149 139 317 0 7307 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 30512

[startup+222.301 s]
/proc/loadavg: 1.04 0.99 0.99 2/65 9073
/proc/meminfo: memFree=1827360/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=38276 CPUtime=222.23
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 9189 0 0 0 22214 9 0 0 25 0 1 0 61169845 39194624 8981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 9569 8981 139 317 0 9248 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 38276

[startup+282.301 s]
/proc/loadavg: 1.01 0.99 0.99 2/65 9073
/proc/meminfo: memFree=1821600/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=44312 CPUtime=282.21
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 10664 0 0 0 28211 10 0 0 25 0 1 0 61169845 45375488 10423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 11078 10423 139 317 0 10757 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 44312

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9073
/proc/meminfo: memFree=1816928/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=49112 CPUtime=342.2
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 11845 0 0 0 34209 11 0 0 25 0 1 0 61169845 50290688 11571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 12278 11571 139 317 0 11957 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49112

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9073
/proc/meminfo: memFree=1812832/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=54476 CPUtime=402.18
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 13115 0 0 0 40206 12 0 0 25 0 1 0 61169845 55783424 12587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 13619 12587 139 317 0 13298 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 54476

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9075
/proc/meminfo: memFree=1810976/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=56196 CPUtime=462.17
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 13570 0 0 0 46204 13 0 0 25 0 1 0 61169845 57544704 13009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 14049 13009 139 317 0 13728 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 56196

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9075
/proc/meminfo: memFree=1809888/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=57228 CPUtime=522.15
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 13842 0 0 0 52202 13 0 0 25 0 1 0 61169845 58601472 13281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 14307 13281 139 317 0 13986 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 57228

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9075
/proc/meminfo: memFree=1808736/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=58568 CPUtime=582.13
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 14143 0 0 0 58200 13 0 0 25 0 1 0 61169845 59973632 13582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 14642 13582 139 317 0 14321 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 58568

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9075
/proc/meminfo: memFree=1807776/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=59352 CPUtime=642.12
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 14385 0 0 0 64198 14 0 0 25 0 1 0 61169845 60776448 13824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 14838 13824 139 317 0 14517 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 59352


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

[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9075
/proc/meminfo: memFree=1805024/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=62396 CPUtime=822.07
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 15068 0 0 0 82192 15 0 0 25 0 1 0 61169845 63893504 14507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 15599 14507 139 317 0 15278 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 62396

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9075
/proc/meminfo: memFree=1804192/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=63068 CPUtime=882.05
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 15278 0 0 0 88190 15 0 0 25 0 1 0 61169845 64581632 14717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533520 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 15767 14717 139 317 0 15446 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 63068

[startup+942.303 s]
/proc/loadavg: 1.00 0.99 0.99 2/71 9191
/proc/meminfo: memFree=1801768/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=64132 CPUtime=941.98
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 15544 0 0 0 94183 15 0 0 25 0 1 0 61169845 65671168 14950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 16033 14950 139 317 0 15712 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 64132

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1802080/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=65200 CPUtime=1001.92
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 15792 0 0 0 100176 16 0 0 25 0 1 0 61169845 66764800 15165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 16300 15165 139 317 0 15979 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 65200

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1801376/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=65856 CPUtime=1061.9
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 15968 0 0 0 106174 16 0 0 25 0 1 0 61169845 67436544 15341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 16464 15341 139 317 0 16143 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 65856

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1800480/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=66832 CPUtime=1121.89
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 16184 0 0 0 112172 17 0 0 25 0 1 0 61169845 68435968 15557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270583 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 16708 15557 139 317 0 16387 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 66832

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1799712/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=67664 CPUtime=1181.87
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 16380 0 0 0 118170 17 0 0 25 0 1 0 61169845 69287936 15753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 16916 15753 139 317 0 16595 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 67664

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1798560/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=68756 CPUtime=1241.85
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 16669 0 0 0 124168 17 0 0 25 0 1 0 61169845 70406144 16042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 17189 16042 139 317 0 16868 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 68756

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1794976/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=72372 CPUtime=1301.84
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 17591 0 0 0 130166 18 0 0 25 0 1 0 61169845 74108928 16931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 18093 16931 139 317 0 17772 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 72372

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1792032/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=75400 CPUtime=1361.82
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 18392 0 0 0 136163 19 0 0 25 0 1 0 61169845 77209600 17666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 18850 17666 139 317 0 18529 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 75400

[startup+1422.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1789216/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=78156 CPUtime=1421.81
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 19127 0 0 0 142161 20 0 0 25 0 1 0 61169845 80031744 18368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 19539 18368 139 317 0 19218 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 78156

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1786976/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=80432 CPUtime=1481.79
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 19755 0 0 0 148158 21 0 0 25 0 1 0 61169845 82362368 18930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 20108 18930 139 317 0 19787 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 80432

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1784544/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=82832 CPUtime=1541.78
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 20355 0 0 0 154156 22 0 0 25 0 1 0 61169845 84819968 19530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 20708 19530 139 317 0 20387 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 82832

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1782432/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=84840 CPUtime=1601.76
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 20909 0 0 0 160153 23 0 0 25 0 1 0 61169845 86876160 20051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 21210 20051 139 317 0 20889 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 84840

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1780064/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=87616 CPUtime=1661.74
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 21610 0 0 0 166151 23 0 0 25 0 1 0 61169845 89718784 20653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 21904 20653 139 317 0 21583 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 87616

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1778016/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=90224 CPUtime=1721.72
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 22252 0 0 0 172148 24 0 0 25 0 1 0 61169845 92389376 21163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 22556 21163 139 317 0 22235 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 90224

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1775520/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=92736 CPUtime=1781.71
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 22926 0 0 0 178146 25 0 0 25 0 1 0 61169845 94961664 21771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 23184 21771 139 317 0 22863 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 92736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9273
/proc/meminfo: memFree=1774944/2055920 swapFree=4184584/4192956
[pid=9072] ppid=9070 vsize=93644 CPUtime=1800.01
/proc/9072/stat : 9072 (oree) R 9070 9072 9013 0 -1 4194304 23146 0 0 0 179976 25 0 0 25 0 1 0 61169845 95891456 21926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9072/statm: 23411 21926 139 317 0 23090 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 93644

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

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

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.09
CPU user time (s): 1799.82
CPU system time (s): 0.269958
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 93644

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

runsolver used 1.47378 second user time and 3.50747 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Tue Apr 24 14:45:39 UTC 2007

IDJOB= 420501
IDBENCH= 47849
IDSOLVER= 172
FILE ID= node62/420501-1177425938

PBS_JOBID= 4675760

Free space on /tmp= 66497 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-00090.sat05-1326.reshuffled-07.opb
COMMAND LINE= oree /tmp/evaluation/420501-1177425938/instance-420501-1177425938.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-420501-1177425938 -o ROOT/results/node62/solver-420501-1177425938 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/420501-1177425938/instance-420501-1177425938.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1fa4aa951d8770010592e805fb299bf0

RANDOM SEED= 711507

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.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.216
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.216
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:       1863488 kB
Buffers:          8964 kB
Cached:         122320 kB
SwapCached:       2268 kB
Active:          67472 kB
Inactive:        73156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1863488 kB
SwapTotal:     4192956 kB
SwapFree:      4184584 kB
Dirty:            1968 kB
Writeback:           0 kB
Mapped:          15988 kB
Slab:            37820 kB
Committed_AS:  1143600 kB
PageTables:       1460 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= 66497 MiB

End job on node62 on Tue Apr 24 15:15:41 UTC 2007