Trace number 332887

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
ornithorynque 0.1 alpha? (TO) 1200.18 601.659

General information on the benchmark

Namecrafted/Medium/contest05/pebbling/
unsat-pbl-00250.sat05-1330.reshuffled-07.cnf
MD5SUM922dc9f32281b0c4efd640c112a641b6
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.75373
Satisfiable
(Un)Satisfiability was proved
Number of variables864
Number of clauses32700
Sum of the clauses size256765
Maximum clause length11
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 228
Number of clauses of size 3180
Number of clauses of size 4348
Number of clauses of size 51746
Number of clauses of size over 530396

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
0.09/0.17	c ...done
0.09/0.17	c nbVar=864 nbClause=32700
0.09/0.17	c nbVar=864 nbClause=32700
0.09/0.20	c complete search running
0.09/0.20	c local search running
0.19/0.20	c flip 0 nbSat=32450 maxSat=0
0.19/0.29	c nbDecision=10000 #clauses=33381
0.39/0.35	c nbDecision=20000 #clauses=33974
0.59/0.47	c nbDecision=30000 #clauses=35891
0.99/0.64	c nbDecision=40000 #clauses=38213
1.19/0.76	c flip 10000 nbSat=32687 maxSat=32694
1.80/1.05	c nbDecision=50000 #clauses=42306
2.00/1.19	c flip 0 nbSat=42903 maxSat=32694
2.99/1.65	c nbDecision=60000 #clauses=45997
3.59/1.96	c nbDecision=70000 #clauses=48783
4.58/2.41	c nbDecision=80000 #clauses=51964
5.98/3.13	c nbDecision=90000 #clauses=56123
7.76/4.01	c nbDecision=100000 #clauses=60710
9.77/5.07	c flip 10000 nbSat=43174 maxSat=43176
10.57/5.46	c nbDecision=110000 #clauses=66434
13.95/7.15	c nbDecision=120000 #clauses=71292
15.75/8.03	c flip 0 nbSat=73121 maxSat=43176
16.95/8.66	c nbDecision=130000 #clauses=76135
18.75/9.54	c nbDecision=140000 #clauses=80765
20.74/10.53	c nbDecision=150000 #clauses=85332
22.93/11.62	c nbDecision=160000 #clauses=90632
25.54/12.94	c nbDecision=170000 #clauses=95260
28.13/14.22	c nbDecision=180000 #clauses=99937
31.12/15.70	c nbDecision=190000 #clauses=105066
34.51/17.47	c nbDecision=200000 #clauses=109176
39.10/19.70	c nbDecision=210000 #clauses=113855
40.69/20.54	c nbDecision=220000 #clauses=117924
42.89/21.68	c nbDecision=230000 #clauses=122497
45.09/22.77	c nbDecision=240000 #clauses=126808
47.48/23.91	c nbDecision=250000 #clauses=131262
50.08/25.30	c nbDecision=260000 #clauses=135359
53.27/26.81	c nbDecision=270000 #clauses=139541
56.07/28.28	c nbDecision=280000 #clauses=143920
59.86/30.20	c nbDecision=290000 #clauses=148508
64.84/32.68	c nbDecision=300000 #clauses=153248
70.22/35.32	c nbDecision=310000 #clauses=157766
72.81/36.66	c nbDecision=320000 #clauses=161868
77.41/38.91	c nbDecision=330000 #clauses=166704
81.20/40.87	c nbDecision=340000 #clauses=171042
84.39/42.49	c nbDecision=350000 #clauses=175712
89.18/44.85	c nbDecision=360000 #clauses=180548
96.76/48.67	c nbDecision=370000 #clauses=185230
97.16/48.82	c flip 10000 nbSat=73433 maxSat=73433
104.74/52.61	c nbDecision=380000 #clauses=189942
109.73/55.18	c nbDecision=390000 #clauses=194316
116.12/58.35	c nbDecision=400000 #clauses=198919
122.50/61.58	c nbDecision=410000 #clauses=203668
130.88/65.78	c nbDecision=420000 #clauses=208469
140.06/70.33	c nbDecision=430000 #clauses=212640
152.23/76.45	c nbDecision=440000 #clauses=217590
159.20/79.94	c nbDecision=450000 #clauses=222604
160.01/80.34	c flip 0 nbSat=222188 maxSat=73433
165.79/83.27	c nbDecision=460000 #clauses=227324
169.98/85.37	c nbDecision=470000 #clauses=231817
172.37/86.57	c flip 10000 nbSat=222446 maxSat=222446
179.77/90.27	c flip 0 nbSat=236540 maxSat=222446
180.36/90.53	c nbDecision=480000 #clauses=236991
188.54/94.65	c nbDecision=490000 #clauses=242338
197.71/99.21	c nbDecision=500000 #clauses=247674
210.09/105.45	c nbDecision=510000 #clauses=252569
217.66/109.20	c nbDecision=520000 #clauses=257191
226.05/113.47	c nbDecision=530000 #clauses=261779
232.83/116.82	c nbDecision=540000 #clauses=265943
237.82/119.38	c nbDecision=550000 #clauses=270920
245.01/122.94	c nbDecision=560000 #clauses=276157
260.16/130.59	c nbDecision=570000 #clauses=280751
263.95/132.43	c flip 10000 nbSat=236796 maxSat=236800
275.13/138.03	c nbDecision=580000 #clauses=285412
276.73/138.89	c nbDecision=590000 #clauses=289262
278.72/139.83	c nbDecision=600000 #clauses=293532
279.51/140.21	c flip 0 nbSat=293892 maxSat=236800
281.11/141.00	c nbDecision=610000 #clauses=298345
282.91/141.98	c nbDecision=620000 #clauses=303184
285.30/143.19	c nbDecision=630000 #clauses=307281
287.89/144.41	c nbDecision=640000 #clauses=312040
291.28/146.15	c nbDecision=650000 #clauses=316792
294.47/147.79	c nbDecision=660000 #clauses=321198
298.07/149.51	c nbDecision=670000 #clauses=326034
302.85/151.93	c nbDecision=680000 #clauses=331117
306.45/153.70	c nbDecision=690000 #clauses=335754
312.43/156.79	c nbDecision=700000 #clauses=340954
318.22/159.62	c nbDecision=710000 #clauses=346031
322.62/161.83	c nbDecision=720000 #clauses=351114
328.20/164.66	c nbDecision=730000 #clauses=356044
333.79/167.43	c nbDecision=740000 #clauses=361538
339.37/170.24	c nbDecision=750000 #clauses=366163
344.75/172.98	c nbDecision=760000 #clauses=370916
349.94/175.57	c nbDecision=770000 #clauses=376678
356.33/178.75	c nbDecision=780000 #clauses=382976
362.52/181.85	c nbDecision=790000 #clauses=388567
371.70/186.46	c nbDecision=800000 #clauses=393311
375.67/188.45	c nbDecision=810000 #clauses=397818
378.27/189.73	c nbDecision=820000 #clauses=402328
381.68/191.48	c nbDecision=830000 #clauses=407382
385.26/193.27	c nbDecision=840000 #clauses=412190
388.45/194.84	c nbDecision=850000 #clauses=417504
391.64/196.41	c nbDecision=860000 #clauses=422706
396.84/199.05	c nbDecision=870000 #clauses=427561
404.42/202.89	c nbDecision=880000 #clauses=433007
414.00/207.60	c nbDecision=890000 #clauses=438299
422.98/212.12	c nbDecision=900000 #clauses=443483
427.15/214.25	c nbDecision=910000 #clauses=448535
432.34/216.83	c nbDecision=920000 #clauses=454222
436.14/218.78	c nbDecision=930000 #clauses=459562
441.92/221.62	c nbDecision=940000 #clauses=464087
448.90/225.17	c nbDecision=950000 #clauses=469498
453.90/227.67	c nbDecision=960000 #clauses=475099
459.88/230.67	c nbDecision=970000 #clauses=480898
468.45/234.97	c nbDecision=980000 #clauses=485889
473.65/237.59	c nbDecision=990000 #clauses=491311
482.43/242.00	c nbDecision=1000000 #clauses=496783
492.61/247.00	c nbDecision=1010000 #clauses=501974
497.39/249.42	c nbDecision=1020000 #clauses=507051
501.18/251.39	c nbDecision=1030000 #clauses=511184
509.17/255.35	c nbDecision=1040000 #clauses=516406
516.54/259.01	c nbDecision=1050000 #clauses=521708
525.33/263.45	c nbDecision=1060000 #clauses=527240
530.11/265.90	c nbDecision=1070000 #clauses=533192
537.69/269.64	c nbDecision=1080000 #clauses=538143
544.68/273.14	c nbDecision=1090000 #clauses=543434
550.47/276.01	c nbDecision=1100000 #clauses=548599
559.04/280.31	c nbDecision=1110000 #clauses=553393
566.03/283.87	c nbDecision=1120000 #clauses=557969
573.81/287.74	c nbDecision=1130000 #clauses=563234
582.59/292.15	c nbDecision=1140000 #clauses=568890
590.37/296.05	c nbDecision=1150000 #clauses=574834
597.56/299.67	c nbDecision=1160000 #clauses=580188
603.54/302.61	c nbDecision=1170000 #clauses=585131
608.12/304.95	c nbDecision=1180000 #clauses=590556
614.12/307.96	c nbDecision=1190000 #clauses=595599
624.68/313.24	c nbDecision=1200000 #clauses=601288
633.87/317.87	c nbDecision=1210000 #clauses=606830
644.85/323.34	c nbDecision=1220000 #clauses=612510
655.00/328.41	c nbDecision=1230000 #clauses=617909
664.59/333.22	c nbDecision=1240000 #clauses=623441
669.57/335.74	c nbDecision=1250000 #clauses=628695
679.96/340.96	c nbDecision=1260000 #clauses=634103
686.94/344.43	c nbDecision=1270000 #clauses=640014
693.13/347.50	c nbDecision=1280000 #clauses=645651
703.09/352.60	c nbDecision=1290000 #clauses=651179
713.86/357.93	c nbDecision=1300000 #clauses=657038
727.43/364.74	c nbDecision=1310000 #clauses=662824
742.40/372.21	c nbDecision=1320000 #clauses=668511
755.77/378.94	c nbDecision=1330000 #clauses=674206
769.74/385.95	c nbDecision=1340000 #clauses=679165
783.51/392.88	c nbDecision=1350000 #clauses=685061
793.67/397.91	c nbDecision=1360000 #clauses=689911
803.85/403.05	c nbDecision=1370000 #clauses=695388
815.63/408.94	c nbDecision=1380000 #clauses=701195
827.60/414.97	c nbDecision=1390000 #clauses=706706
839.17/420.77	c nbDecision=1400000 #clauses=712255
853.14/427.71	c nbDecision=1410000 #clauses=717718
873.30/437.83	c nbDecision=1420000 #clauses=723275
894.04/448.27	c nbDecision=1430000 #clauses=728439
905.81/454.18	c nbDecision=1440000 #clauses=734143
917.99/460.25	c nbDecision=1450000 #clauses=739781
933.34/467.94	c nbDecision=1460000 #clauses=744856
942.33/472.45	c nbDecision=1470000 #clauses=749781
954.10/478.30	c nbDecision=1480000 #clauses=754881
961.68/482.18	c nbDecision=1490000 #clauses=759687
968.45/485.51	c nbDecision=1500000 #clauses=764799
974.84/488.74	c nbDecision=1510000 #clauses=769685
980.84/491.76	c nbDecision=1520000 #clauses=774631
1003.38/503.06	c nbDecision=1530000 #clauses=779798
1015.15/508.97	c nbDecision=1540000 #clauses=784786
1024.53/513.61	c nbDecision=1550000 #clauses=789733
1034.30/518.51	c nbDecision=1560000 #clauses=794910
1045.68/524.23	c flip 10000 nbSat=294158 maxSat=294162
1050.47/526.68	c nbDecision=1570000 #clauses=800191
1069.62/536.23	c nbDecision=1580000 #clauses=805423
1089.57/546.22	c nbDecision=1590000 #clauses=810570
1116.11/559.52	c nbDecision=1600000 #clauses=815941
1138.87/570.98	c nbDecision=1610000 #clauses=820676
1165.00/584.05	c nbDecision=1620000 #clauses=826205
1185.95/594.50	c nbDecision=1630000 #clauses=831090
1199.91/601.57	c nbDecision=1640000 #clauses=836147

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-332887-1173494439 -o ROOT/results/node12/solver-332887-1173494439 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/332887-1173494439/ornithorynque /tmp/evaluation/332887-1173494439/instance-332887-1173494439.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 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.88 0.97 1.06 3/77 18747
/proc/meminfo: memFree=1695288/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=23220 CPUtime=0
/proc/18747/stat : 18747 (ornithorynque) R 18745 18747 17897 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 369398369 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252426882321 0 0 4096 0 0 0 0 17 1 0 0
/proc/18747/statm: 5805 266 219 42 0 45 0

[startup+0.026514 s]
/proc/loadavg: 0.88 0.97 1.06 3/77 18747
/proc/meminfo: memFree=1695288/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=23572 CPUtime=0.02
/proc/18747/stat : 18747 (ornithorynque) R 18745 18747 17897 0 -1 4194304 572 0 0 0 2 0 0 0 18 0 1 0 369398369 24137728 533 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 207178153185 0 0 4096 1088 0 0 0 17 1 0 0
/proc/18747/statm: 5893 533 377 42 0 145 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23572

[startup+0.102528 s]
/proc/loadavg: 0.88 0.97 1.06 3/77 18747
/proc/meminfo: memFree=1695288/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=25212 CPUtime=0.09
/proc/18747/stat : 18747 (ornithorynque) R 18745 18747 17897 0 -1 4194304 968 0 0 0 9 0 0 0 18 0 1 0 369398369 25817088 896 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 207178152330 0 0 4096 1088 0 0 0 17 1 0 0
/proc/18747/statm: 6303 896 377 42 0 555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25212

[startup+0.301568 s]
/proc/loadavg: 0.88 0.97 1.06 3/77 18747
/proc/meminfo: memFree=1695288/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=50228 CPUtime=0.39
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 2142 0 0 0 39 0 0 0 19 0 3 0 369398369 51433472 1972 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 12557 1972 387 42 0 6809 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 50228

[startup+0.701637 s]
/proc/loadavg: 0.88 0.97 1.06 3/77 18747
/proc/meminfo: memFree=1695288/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=51144 CPUtime=1.19
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 2396 0 0 0 119 0 0 0 19 0 3 0 369398369 52371456 2226 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 12786 2226 387 42 0 7038 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 51144

[startup+1.50178 s]
/proc/loadavg: 0.88 0.97 1.06 3/80 18750
/proc/meminfo: memFree=1687136/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=55720 CPUtime=2.79
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 3336 0 0 0 278 1 0 0 19 0 3 0 369398369 57057280 3101 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 13930 3101 387 42 0 8182 0
[pid=18747/tid=18749] ppid=18745 vsize=55720 CPUtime=1.29
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 757 0 0 0 129 0 0 0 19 0 3 0 369398389 57057280 3101 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311247 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=55720 CPUtime=1.29
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 627 0 0 0 129 0 0 0 19 0 3 0 369398389 57057280 3101 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240983 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 55720

[startup+3.10107 s]
/proc/loadavg: 0.88 0.97 1.06 3/80 18750
/proc/meminfo: memFree=1683104/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=58092 CPUtime=5.98
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 3925 0 0 0 597 1 0 0 19 0 3 0 369398369 59486208 3690 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 14523 3690 387 42 0 8775 0
[pid=18747/tid=18749] ppid=18745 vsize=58092 CPUtime=2.89
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 1346 0 0 0 289 0 0 0 25 0 3 0 369398389 59486208 3690 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=58092 CPUtime=2.88
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 627 0 0 0 288 0 0 0 25 0 3 0 369398389 59486208 3690 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 58092

[startup+6.30165 s]
/proc/loadavg: 0.97 0.98 1.07 3/80 18750
/proc/meminfo: memFree=1679072/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=61956 CPUtime=12.36
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 4936 0 0 0 1234 2 0 0 19 0 3 0 369398369 63442944 4508 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 15489 4508 387 42 0 9741 0
[pid=18747/tid=18749] ppid=18745 vsize=61956 CPUtime=6.08
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 2357 0 0 0 607 1 0 0 25 0 3 0 369398389 63442944 4508 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311212 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=61956 CPUtime=6.07
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 627 0 0 0 607 0 0 0 25 0 3 0 369398389 63442944 4508 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 61956

[startup+12.7018 s]
/proc/loadavg: 1.05 1.00 1.07 3/80 18750
/proc/meminfo: memFree=1664544/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=77536 CPUtime=25.14
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 8624 0 0 0 2509 5 0 0 19 0 3 0 369398369 79396864 8067 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 19384 8067 387 42 0 13636 0
[pid=18747/tid=18749] ppid=18745 vsize=77536 CPUtime=12.48
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 3862 0 0 0 1246 2 0 0 25 0 3 0 369398389 79396864 8067 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311191 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=77536 CPUtime=12.44
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 2810 0 0 0 1243 1 0 0 25 0 3 0 369398389 79396864 8067 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 77536

[startup+25.5021 s]
/proc/loadavg: 1.26 1.05 1.09 3/80 18750
/proc/meminfo: memFree=1654368/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=88804 CPUtime=50.67
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 11552 0 0 0 5061 6 0 0 19 0 3 0 369398369 90935296 10514 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 22201 10514 387 42 0 16453 0
[pid=18747/tid=18749] ppid=18745 vsize=88804 CPUtime=25.28
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 6790 0 0 0 2524 4 0 0 25 0 3 0 369398389 90935296 10514 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311518 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=88804 CPUtime=25.19
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 2810 0 0 0 2518 1 0 0 25 0 3 0 369398389 90935296 10514 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285856 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 88804

[startup+51.1017 s]
/proc/loadavg: 1.51 1.12 1.11 3/80 18750
/proc/meminfo: memFree=1641824/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=101080 CPUtime=101.75
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 14773 0 0 0 10166 9 0 0 19 0 3 0 369398369 103505920 13636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 25270 13636 387 42 0 19522 0
[pid=18747/tid=18749] ppid=18745 vsize=101080 CPUtime=50.86
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 10011 0 0 0 5080 6 0 0 25 0 3 0 369398389 103505920 13636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=101080 CPUtime=50.67
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 2810 0 0 0 5066 1 0 0 25 0 3 0 369398389 103505920 13636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 101080

[startup+102.306 s]
/proc/loadavg: 1.79 1.26 1.16 3/80 18750
/proc/meminfo: memFree=1592864/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=162752 CPUtime=203.91
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 35879 0 0 0 20372 19 0 0 19 0 3 0 369398369 166658048 25845 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 40688 25845 387 42 0 34940 0
[pid=18747/tid=18749] ppid=18745 vsize=162752 CPUtime=102.04
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 14384 0 0 0 10194 10 0 0 25 0 3 0 369398389 166658048 25845 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=162752 CPUtime=101.65
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 19543 0 0 0 10158 7 0 0 25 0 3 0 369398389 166658048 25845 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 162752

[startup+162.303 s]
/proc/loadavg: 1.92 1.39 1.21 3/80 18750
/proc/meminfo: memFree=1555744/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=209876 CPUtime=323.62
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 50572 0 0 0 32336 26 0 0 19 0 3 0 369398369 214913024 35155 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 52469 35155 387 42 0 46721 0
[pid=18747/tid=18749] ppid=18745 vsize=209876 CPUtime=162.01
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 21957 0 0 0 16185 16 0 0 25 0 3 0 369398389 214913024 35155 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311048 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=209876 CPUtime=161.39
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 26663 0 0 0 16131 8 0 0 25 0 3 0 369398389 214913024 35155 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.62
Current children cumulated vsize (KiB) 209876

[startup+222.301 s]
/proc/loadavg: 1.97 1.50 1.25 3/80 18752
/proc/meminfo: memFree=1525344/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=239524 CPUtime=443.31
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 58501 0 0 0 44299 32 0 0 19 0 3 0 369398369 245272576 42627 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 59881 42627 387 42 0 54133 0
[pid=18747/tid=18749] ppid=18745 vsize=239524 CPUtime=221.98
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 29886 0 0 0 22176 22 0 0 25 0 3 0 369398389 245272576 42627 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=239524 CPUtime=221.12
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 26663 0 0 0 22104 8 0 0 25 0 3 0 369398389 245272576 42627 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.31
Current children cumulated vsize (KiB) 239524

[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.30 3/80 18752
/proc/meminfo: memFree=1499488/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=271512 CPUtime=563.03
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 67283 0 0 0 56261 42 0 0 19 0 3 0 369398369 278028288 49158 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 67878 49158 387 42 0 62130 0
[pid=18747/tid=18749] ppid=18745 vsize=271512 CPUtime=281.96
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 38668 0 0 0 28165 31 0 0 25 0 3 0 369398389 278028288 49158 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=271512 CPUtime=280.86
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 26663 0 0 0 28077 9 0 0 25 0 3 0 369398389 278028288 49158 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242580 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.03
Current children cumulated vsize (KiB) 271512

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.34 3/80 18752
/proc/meminfo: memFree=1477216/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=293756 CPUtime=682.75
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 73404 0 0 0 68227 48 0 0 19 0 3 0 369398369 300806144 54697 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 73439 54697 387 42 0 67691 0
[pid=18747/tid=18749] ppid=18745 vsize=293756 CPUtime=341.95
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 44789 0 0 0 34157 38 0 0 25 0 3 0 369398389 300806144 54697 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=293756 CPUtime=340.6
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 26663 0 0 0 34051 9 0 0 25 0 3 0 369398389 300806144 54697 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.75
Current children cumulated vsize (KiB) 293756

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.38 3/80 18752
/proc/meminfo: memFree=1458016/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=314280 CPUtime=802.46
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 79601 0 0 0 80193 53 0 0 19 0 3 0 369398369 321822720 59506 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 78570 59506 387 42 0 72822 0
[pid=18747/tid=18749] ppid=18745 vsize=314280 CPUtime=401.92
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 50986 0 0 0 40149 43 0 0 25 0 3 0 369398389 321822720 59506 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=314280 CPUtime=400.33
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 26663 0 0 0 40024 9 0 0 25 0 3 0 369398389 321822720 59506 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.46
Current children cumulated vsize (KiB) 314280

[startup+462.303 s]
/proc/loadavg: 1.99 1.77 1.41 3/80 18752
/proc/meminfo: memFree=1444320/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=326904 CPUtime=922.18
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 83004 0 0 0 92161 57 0 0 19 0 3 0 369398369 334749696 62876 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 81726 62876 387 42 0 75978 0
[pid=18747/tid=18749] ppid=18745 vsize=326904 CPUtime=461.89
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 54389 0 0 0 46143 46 0 0 25 0 3 0 369398389 334749696 62876 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=326904 CPUtime=460.07
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 26663 0 0 0 45998 9 0 0 25 0 3 0 369398389 334749696 62876 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.18
Current children cumulated vsize (KiB) 326904

[startup+522.302 s]
/proc/loadavg: 2.05 1.82 1.45 3/80 18752
/proc/meminfo: memFree=1428512/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=342792 CPUtime=1041.89
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 87393 0 0 0 104127 62 0 0 19 0 3 0 369398369 351019008 66845 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 85698 66845 387 42 0 79950 0
[pid=18747/tid=18749] ppid=18745 vsize=342792 CPUtime=521.87
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 58778 0 0 0 52136 51 0 0 25 0 3 0 369398389 351019008 66845 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311191 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=342792 CPUtime=519.81
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 26663 0 0 0 51972 9 0 0 25 0 3 0 369398389 351019008 66845 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.89
Current children cumulated vsize (KiB) 342792

[startup+582.301 s]
/proc/loadavg: 2.02 1.85 1.48 3/80 18752
/proc/meminfo: memFree=1421024/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=349604 CPUtime=1161.6
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 89328 0 0 0 116097 63 0 0 19 0 3 0 369398369 357994496 68682 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 87401 68682 387 42 0 81653 0
[pid=18747/tid=18749] ppid=18745 vsize=349604 CPUtime=581.85
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 60713 0 0 0 58132 53 0 0 25 0 3 0 369398389 357994496 68682 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=349604 CPUtime=579.54
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 26663 0 0 0 57945 9 0 0 25 0 3 0 369398389 357994496 68682 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285268 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.6
Current children cumulated vsize (KiB) 349604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 2.01 1.86 1.49 3/80 18752
/proc/meminfo: memFree=1417376/2055920 swapFree=4156588/4192956
[pid=18747] ppid=18745 vsize=354788 CPUtime=1200.12
/proc/18747/stat : 18747 (ornithorynque) S 18745 18747 17897 0 -1 4194304 90871 0 0 0 119947 65 0 0 19 0 3 0 369398369 363302912 69582 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/18747/statm: 88697 69582 387 42 0 82949 0
[pid=18747/tid=18749] ppid=18745 vsize=354788 CPUtime=601.15
/proc/18747/task/18749/stat : 18749 (ornithorynque) R 18745 18747 17897 0 -1 4194368 62256 0 0 0 60061 54 0 0 25 0 3 0 369398389 363302912 69582 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311542 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=18747/tid=18750] ppid=18745 vsize=354788 CPUtime=598.75
/proc/18747/task/18750/stat : 18750 (ornithorynque) R 18745 18747 17897 0 -1 4194368 26663 0 0 0 59866 9 0 0 25 0 3 0 369398389 363302912 69582 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240907 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 354788

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.659
CPU time (s): 1200.18
CPU user time (s): 1199.49
CPU system time (s): 0.692894
CPU usage (%): 199.479
Max. virtual memory (cumulated for all children) (KiB): 354788

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

runsolver used 0.628904 second user time and 1.58676 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Mar 10 02:40:39 UTC 2007

IDJOB= 332887
IDBENCH= 24590
IDSOLVER= 139
FILE ID= node12/332887-1173494439

PBS_JOBID= 4101096

Free space on /tmp= 66403 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/Medium/contest05/pebbling/unsat-pbl-00250.sat05-1330.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/332887-1173494439/ornithorynque /tmp/evaluation/332887-1173494439/instance-332887-1173494439.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-332887-1173494439 -o ROOT/results/node12/solver-332887-1173494439 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/332887-1173494439/ornithorynque /tmp/evaluation/332887-1173494439/instance-332887-1173494439.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  922dc9f32281b0c4efd640c112a641b6

RANDOM SEED= 364233659

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.285
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.285
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:       1695696 kB
Buffers:         39096 kB
Cached:         247664 kB
SwapCached:      15228 kB
Active:         197844 kB
Inactive:       112088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1695696 kB
SwapTotal:     4192956 kB
SwapFree:      4156588 kB
Dirty:            1692 kB
Writeback:           0 kB
Mapped:          29672 kB
Slab:            35940 kB
Committed_AS:  1617920 kB
PageTables:       1692 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 node12 on Sat Mar 10 02:50:43 UTC 2007