Trace number 328328

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.16 601.629

General information on the benchmark

Namerandom/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf
MD5SUMc45506846595309f339867628e05eb80
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables5492
Number of clauses14684
Sum of the clauses size39647
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24405
Number of clauses of size 310279
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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.03/0.04	c ...done
0.03/0.04	c nbVar=5500 nbClause=14684
0.03/0.04	c nbVar=5500 nbClause=14684
0.03/0.06	c complete search running
0.03/0.06	c local search running
0.03/0.06	c flip 0 nbSat=12392 maxSat=0
0.13/0.11	c flip 10000 nbSat=14319 maxSat=14329
0.13/0.16	c flip 20000 nbSat=14424 maxSat=14437
0.33/0.20	c flip 30000 nbSat=14463 maxSat=14475
0.33/0.25	c flip 40000 nbSat=14496 maxSat=14507
0.53/0.30	c flip 50000 nbSat=14515 maxSat=14524
0.53/0.35	c flip 60000 nbSat=14523 maxSat=14534
0.53/0.39	c flip 70000 nbSat=14530 maxSat=14541
0.73/0.44	c flip 80000 nbSat=14522 maxSat=14543
0.73/0.49	c flip 90000 nbSat=14535 maxSat=14543
0.93/0.54	c flip 100000 nbSat=14525 maxSat=14545
0.93/0.59	c flip 0 nbSat=13368 maxSat=14545
1.13/0.67	c flip 10000 nbSat=15399 maxSat=15414
1.33/0.76	c flip 20000 nbSat=15519 maxSat=15545
1.53/0.84	c flip 30000 nbSat=15587 maxSat=15604
1.73/0.93	c flip 40000 nbSat=15604 maxSat=15615
1.94/1.01	c flip 50000 nbSat=15626 maxSat=15641
1.94/1.10	c flip 60000 nbSat=15641 maxSat=15652
2.13/1.19	c flip 70000 nbSat=15643 maxSat=15662
2.33/1.27	c flip 80000 nbSat=15640 maxSat=15667
2.53/1.36	c flip 90000 nbSat=15655 maxSat=15669
2.73/1.45	c flip 100000 nbSat=15659 maxSat=15671
2.92/1.55	c flip 0 nbSat=15228 maxSat=15677
3.12/1.67	c flip 10000 nbSat=17240 maxSat=17255
3.52/1.81	c flip 20000 nbSat=17335 maxSat=17359
3.72/1.94	c flip 30000 nbSat=17361 maxSat=17381
3.92/2.07	c flip 40000 nbSat=17375 maxSat=17396
4.33/2.21	c flip 50000 nbSat=17359 maxSat=17398
4.52/2.35	c flip 60000 nbSat=17397 maxSat=17409
4.72/2.48	c flip 70000 nbSat=17406 maxSat=17423
5.13/2.63	c flip 80000 nbSat=17401 maxSat=17423
5.33/2.78	c flip 90000 nbSat=17400 maxSat=17423
5.73/2.93	c flip 100000 nbSat=17391 maxSat=17423
5.93/3.09	c flip 0 nbSat=17511 maxSat=17433
6.33/3.29	c flip 10000 nbSat=19489 maxSat=19515
6.92/3.51	c flip 20000 nbSat=19629 maxSat=19649
7.32/3.75	c flip 30000 nbSat=19684 maxSat=19704
7.52/3.81	c nbDecision=10000 #clauses=20937
7.72/3.98	c flip 40000 nbSat=19696 maxSat=19708
8.32/4.21	c flip 50000 nbSat=19711 maxSat=19729
8.72/4.42	c flip 60000 nbSat=19696 maxSat=19729
9.11/4.66	c flip 70000 nbSat=19691 maxSat=19729
9.51/4.89	c flip 80000 nbSat=19707 maxSat=19729
10.11/5.13	c flip 90000 nbSat=19725 maxSat=19743
10.51/5.37	c flip 100000 nbSat=19725 maxSat=19745
11.11/5.65	c flip 0 nbSat=21272 maxSat=19751
11.90/6.00	c flip 10000 nbSat=23333 maxSat=23350
12.70/6.40	c flip 20000 nbSat=23450 maxSat=23462
13.50/6.84	c flip 30000 nbSat=23507 maxSat=23517
14.31/7.29	c flip 40000 nbSat=23525 maxSat=23540
15.31/7.78	c flip 50000 nbSat=23535 maxSat=23553
16.30/8.25	c flip 60000 nbSat=23526 maxSat=23561
17.10/8.66	c nbDecision=20000 #clauses=27284
17.31/8.74	c flip 70000 nbSat=23522 maxSat=23561
18.30/9.22	c flip 80000 nbSat=23544 maxSat=23562
19.30/9.70	c flip 90000 nbSat=23529 maxSat=23564
20.09/10.18	c flip 100000 nbSat=23563 maxSat=23573
21.09/10.68	c flip 0 nbSat=26828 maxSat=23573
22.28/11.27	c flip 10000 nbSat=28864 maxSat=28867
23.68/11.92	c flip 20000 nbSat=29001 maxSat=29026
24.88/12.58	c flip 30000 nbSat=29060 maxSat=29090
26.48/13.35	c flip 40000 nbSat=29054 maxSat=29090
27.88/14.09	c flip 50000 nbSat=29069 maxSat=29099
29.47/14.85	c flip 60000 nbSat=29087 maxSat=29116
30.87/15.57	c flip 70000 nbSat=29116 maxSat=29134
32.07/16.11	c nbDecision=30000 #clauses=33922
32.47/16.36	c flip 80000 nbSat=29115 maxSat=29136
34.26/17.25	c flip 90000 nbSat=29101 maxSat=29136
36.06/18.14	c flip 100000 nbSat=29131 maxSat=29142
37.85/19.00	c flip 0 nbSat=34168 maxSat=29146
39.85/20.07	c flip 10000 nbSat=36242 maxSat=36247
42.44/21.33	c flip 20000 nbSat=36367 maxSat=36383
45.04/22.68	c flip 30000 nbSat=36407 maxSat=36413
46.82/23.56	c nbDecision=40000 #clauses=40252
47.63/23.95	c flip 40000 nbSat=36405 maxSat=36432
50.23/25.30	c flip 50000 nbSat=36435 maxSat=36464
52.82/26.59	c flip 60000 nbSat=36444 maxSat=36464
55.41/27.87	c flip 70000 nbSat=36450 maxSat=36464
57.81/29.09	c flip 80000 nbSat=36460 maxSat=36477
60.60/30.44	c flip 90000 nbSat=36457 maxSat=36477
63.20/31.73	c flip 100000 nbSat=36467 maxSat=36480
65.80/33.09	c flip 0 nbSat=43515 maxSat=36480
69.38/34.81	c flip 10000 nbSat=45643 maxSat=45643
69.58/34.91	c nbDecision=50000 #clauses=46934
73.97/37.17	c flip 20000 nbSat=45765 maxSat=45780
78.76/39.60	c flip 30000 nbSat=45801 maxSat=45810
83.35/41.85	c flip 40000 nbSat=45801 maxSat=45820
87.93/44.18	c flip 50000 nbSat=45833 maxSat=45853
92.72/46.56	c flip 60000 nbSat=45832 maxSat=45862
94.12/47.26	c nbDecision=60000 #clauses=53407
97.31/48.84	c flip 70000 nbSat=45854 maxSat=45865
102.11/51.24	c flip 80000 nbSat=45867 maxSat=45872
106.89/53.70	c flip 90000 nbSat=45869 maxSat=45881
111.48/55.97	c flip 100000 nbSat=45880 maxSat=45886
116.47/58.47	c flip 0 nbSat=55879 maxSat=45886
121.86/61.11	c flip 10000 nbSat=57863 maxSat=57879
123.86/62.18	c nbDecision=70000 #clauses=59725
128.04/64.25	c flip 20000 nbSat=58022 maxSat=58047
135.23/67.87	c flip 30000 nbSat=58077 maxSat=58092
144.00/72.20	c flip 40000 nbSat=58113 maxSat=58128
151.99/76.24	c flip 50000 nbSat=58112 maxSat=58128
160.97/80.70	c flip 60000 nbSat=58125 maxSat=58143
162.76/81.65	c nbDecision=80000 #clauses=66600
169.95/85.24	c flip 70000 nbSat=58108 maxSat=58143
179.52/90.06	c flip 80000 nbSat=58129 maxSat=58143
189.10/94.82	c flip 90000 nbSat=58109 maxSat=58149
198.88/99.73	c flip 100000 nbSat=58117 maxSat=58149
205.47/103.06	c nbDecision=90000 #clauses=73406
208.86/104.78	c flip 0 nbSat=71425 maxSat=58157
216.85/108.76	c flip 10000 nbSat=73474 maxSat=73497
225.43/113.03	c flip 20000 nbSat=73627 maxSat=73648
234.60/117.64	c flip 30000 nbSat=73710 maxSat=73722
244.58/122.65	c flip 40000 nbSat=73739 maxSat=73750
254.16/127.43	c flip 50000 nbSat=73719 maxSat=73762
255.14/127.97	c nbDecision=100000 #clauses=80280
263.72/132.24	c flip 60000 nbSat=73735 maxSat=73763
276.10/138.40	c flip 70000 nbSat=73753 maxSat=73767
287.49/144.14	c flip 80000 nbSat=73760 maxSat=73767
299.65/150.26	c flip 90000 nbSat=73763 maxSat=73772
309.83/155.33	c flip 100000 nbSat=73741 maxSat=73772
312.42/156.62	c nbDecision=110000 #clauses=86971
319.81/160.39	c flip 0 nbSat=85334 maxSat=73772
331.39/166.13	c flip 10000 nbSat=87407 maxSat=87411
346.93/173.97	c flip 20000 nbSat=87505 maxSat=87545
363.90/182.43	c flip 30000 nbSat=87565 maxSat=87612
371.08/186.02	c nbDecision=120000 #clauses=93879
381.47/191.29	c flip 40000 nbSat=87602 maxSat=87636
398.43/199.73	c flip 50000 nbSat=87611 maxSat=87652
415.39/208.21	c flip 60000 nbSat=87649 maxSat=87662
431.55/216.39	c nbDecision=130000 #clauses=100504
432.95/217.05	c flip 70000 nbSat=87639 maxSat=87673
451.50/226.31	c flip 80000 nbSat=87663 maxSat=87686
471.67/236.50	c flip 90000 nbSat=87685 maxSat=87693
488.22/244.70	c nbDecision=140000 #clauses=107179
491.02/246.14	c flip 100000 nbSat=87664 maxSat=87693
509.77/255.50	c flip 0 nbSat=106617 maxSat=87694
525.12/263.26	c flip 10000 nbSat=108580 maxSat=108607
544.89/273.10	c flip 20000 nbSat=108753 maxSat=108759
565.64/283.56	c flip 30000 nbSat=108768 maxSat=108805
565.84/283.61	c nbDecision=150000 #clauses=113883
582.81/292.16	c flip 40000 nbSat=108822 maxSat=108838
602.08/301.89	c flip 50000 nbSat=108816 maxSat=108845
623.21/312.48	c flip 60000 nbSat=108834 maxSat=108857
644.11/322.97	c flip 70000 nbSat=108863 maxSat=108886
647.91/324.85	c nbDecision=160000 #clauses=120693
666.06/333.99	c flip 80000 nbSat=108862 maxSat=108893
692.17/347.09	c flip 90000 nbSat=108856 maxSat=108893
717.48/359.77	c flip 100000 nbSat=108851 maxSat=108893
727.05/364.50	c nbDecision=170000 #clauses=127493
742.60/372.37	c flip 0 nbSat=126189 maxSat=108893
761.75/381.96	c flip 10000 nbSat=128267 maxSat=128282
785.66/393.95	c flip 20000 nbSat=128371 maxSat=128380
809.20/405.70	c flip 30000 nbSat=128417 maxSat=128436
810.60/406.40	c nbDecision=180000 #clauses=134237
833.15/417.79	c flip 40000 nbSat=128445 maxSat=128474
858.70/430.52	c flip 50000 nbSat=128469 maxSat=128490
885.22/443.86	c flip 60000 nbSat=128443 maxSat=128494
908.39/455.48	c nbDecision=190000 #clauses=141104
909.38/455.98	c flip 70000 nbSat=128435 maxSat=128494
939.32/470.93	c flip 80000 nbSat=128502 maxSat=128505
970.24/486.47	c flip 90000 nbSat=128488 maxSat=128507
992.59/497.69	c nbDecision=200000 #clauses=147959
1001.17/501.91	c flip 100000 nbSat=128481 maxSat=128510
1030.51/516.62	c flip 0 nbSat=148005 maxSat=128521
1052.26/527.51	c flip 10000 nbSat=150036 maxSat=150042
1083.99/543.40	c flip 20000 nbSat=150223 maxSat=150225
1104.33/553.63	c nbDecision=210000 #clauses=154733
1115.91/559.47	c flip 30000 nbSat=150260 maxSat=150268
1149.65/576.33	c flip 40000 nbSat=150262 maxSat=150309
1188.14/595.63	c flip 50000 nbSat=150288 maxSat=150309

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/node22/watcher-328328-1173110163 -o ROOT/results/node22/solver-328328-1173110163 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328328-1173110163/ornithorynque /tmp/evaluation/328328-1173110163/instance-328328-1173110163.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: 1.84 1.97 1.98 3/77 15400
/proc/meminfo: memFree=1082024/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=23220 CPUtime=0
/proc/15400/stat : 15400 (ornithorynque) R 15398 15400 14849 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 36985996 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272465171568 0 0 4096 0 0 0 0 17 1 0 0
/proc/15400/statm: 5805 263 218 42 0 45 0

[startup+0.040698 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 15400
/proc/meminfo: memFree=1082024/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=24628 CPUtime=0.03
/proc/15400/stat : 15400 (ornithorynque) R 15398 15400 14849 0 -1 4194304 807 0 0 0 3 0 0 0 18 0 1 0 36985996 25219072 768 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272467661537 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15400/statm: 6157 769 377 42 0 409 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24628

[startup+0.101707 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 15400
/proc/meminfo: memFree=1082024/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=47236 CPUtime=0.13
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 1331 0 0 0 13 0 0 0 18 0 3 0 36985996 48369664 1292 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 11809 1292 387 42 0 6061 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 47236

[startup+0.301719 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 15400
/proc/meminfo: memFree=1082024/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=47236 CPUtime=0.53
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 1351 0 0 0 53 0 0 0 18 0 3 0 36985996 48369664 1312 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 11809 1312 387 42 0 6061 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 47236

[startup+0.702751 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 15400
/proc/meminfo: memFree=1082024/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=48668 CPUtime=1.33
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 1464 0 0 0 133 0 0 0 18 0 3 0 36985996 49836032 1425 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 12167 1425 387 42 0 6419 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 48668

[startup+1.50181 s]
/proc/loadavg: 1.84 1.97 1.98 3/80 15403
/proc/meminfo: memFree=1077520/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=49180 CPUtime=2.92
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 1589 0 0 0 292 0 0 0 18 0 3 0 36985996 50360320 1517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 12295 1517 387 42 0 6547 0
[pid=15400/tid=15402] ppid=15398 vsize=49180 CPUtime=1.43
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 212 0 0 0 143 0 0 0 24 0 3 0 36986002 50360320 1517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=49180 CPUtime=1.43
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 68 0 0 0 143 0 0 0 25 0 3 0 36986002 50360320 1517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241771 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 49180

[startup+3.10193 s]
/proc/loadavg: 1.84 1.97 1.98 3/80 15403
/proc/meminfo: memFree=1076560/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=50732 CPUtime=6.12
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 2028 0 0 0 611 1 0 0 18 0 3 0 36985996 51949568 1923 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 12683 1923 387 42 0 6935 0
[pid=15400/tid=15402] ppid=15398 vsize=50732 CPUtime=3.03
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 354 0 0 0 303 0 0 0 25 0 3 0 36986002 51949568 1923 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311157 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=50732 CPUtime=3.03
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 365 0 0 0 303 0 0 0 17 0 3 0 36986002 51949568 1923 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241172 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 50732

[startup+6.30116 s]
/proc/loadavg: 1.85 1.97 1.98 3/80 15403
/proc/meminfo: memFree=1074704/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=52428 CPUtime=12.5
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 2451 0 0 0 1249 1 0 0 18 0 3 0 36985996 53686272 2346 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 13107 2346 387 42 0 7359 0
[pid=15400/tid=15402] ppid=15398 vsize=52428 CPUtime=6.23
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 598 0 0 0 622 1 0 0 22 0 3 0 36986002 53686272 2346 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242970 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=52428 CPUtime=6.21
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 544 0 0 0 621 0 0 0 22 0 3 0 36986002 53686272 2346 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 52428

[startup+12.7016 s]
/proc/loadavg: 1.86 1.97 1.98 3/80 15403
/proc/meminfo: memFree=1071056/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=54744 CPUtime=25.28
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 3163 0 0 0 2526 2 0 0 18 0 3 0 36985996 56057856 3058 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 13686 3058 387 42 0 7938 0
[pid=15400/tid=15402] ppid=15398 vsize=54744 CPUtime=12.62
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 1043 0 0 0 1261 1 0 0 25 0 3 0 36986002 56057856 3058 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=54744 CPUtime=12.59
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 811 0 0 0 1259 0 0 0 25 0 3 0 36986002 56057856 3058 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 54744

[startup+25.5026 s]
/proc/loadavg: 1.89 1.97 1.98 3/80 15403
/proc/meminfo: memFree=1066832/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=59768 CPUtime=50.82
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 4344 0 0 0 5077 5 0 0 18 0 3 0 36985996 61202432 4109 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 14942 4109 387 42 0 9194 0
[pid=15400/tid=15402] ppid=15398 vsize=59768 CPUtime=25.42
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 1826 0 0 0 2539 3 0 0 25 0 3 0 36986002 61202432 4109 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=59768 CPUtime=25.32
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 1209 0 0 0 2532 0 0 0 25 0 3 0 36986002 61202432 4109 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 59768

[startup+51.1024 s]
/proc/loadavg: 1.93 1.97 1.98 3/80 15403
/proc/meminfo: memFree=1061072/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=64976 CPUtime=101.91
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 5774 0 0 0 10183 8 0 0 18 0 3 0 36985996 66535424 5539 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 16244 5539 387 42 0 10496 0
[pid=15400/tid=15402] ppid=15398 vsize=64976 CPUtime=51.02
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 2731 0 0 0 5096 6 0 0 25 0 3 0 36986002 66535424 5539 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=64976 CPUtime=50.82
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 1734 0 0 0 5081 1 0 0 25 0 3 0 36986002 66535424 5539 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 64976

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.98 3/80 15403
/proc/meminfo: memFree=1053648/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=73132 CPUtime=204.08
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 7766 0 0 0 20396 12 0 0 18 0 3 0 36985996 74887168 7344 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 18283 7344 387 42 0 12535 0
[pid=15400/tid=15402] ppid=15398 vsize=73132 CPUtime=102.2
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 4173 0 0 0 10211 9 0 0 25 0 3 0 36986002 74887168 7344 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=73132 CPUtime=101.8
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 2284 0 0 0 10179 1 0 0 25 0 3 0 36986002 74887168 7344 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 73132

[startup+162.303 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 15403
/proc/meminfo: memFree=1042832/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=84924 CPUtime=323.8
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 10589 0 0 0 32365 15 0 0 18 0 3 0 36985996 86962176 10038 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 21231 10038 387 42 0 15483 0
[pid=15400/tid=15402] ppid=15398 vsize=84924 CPUtime=162.19
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 5332 0 0 0 16207 12 0 0 25 0 3 0 36986002 86962176 10038 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312032 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=84924 CPUtime=161.54
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 3948 0 0 0 16152 2 0 0 25 0 3 0 36986002 86962176 10038 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.8
Current children cumulated vsize (KiB) 84924

[startup+222.303 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 15403
/proc/meminfo: memFree=1038800/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=89416 CPUtime=443.51
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 11577 0 0 0 44335 16 0 0 18 0 3 0 36985996 91561984 11026 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 22354 11026 387 42 0 16606 0
[pid=15400/tid=15402] ppid=15398 vsize=89416 CPUtime=222.17
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 6320 0 0 0 22204 13 0 0 25 0 3 0 36986002 91561984 11026 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=89416 CPUtime=221.28
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 3948 0 0 0 22126 2 0 0 25 0 3 0 36986002 91561984 11026 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.51
Current children cumulated vsize (KiB) 89416

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 15403
/proc/meminfo: memFree=1032208/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=96800 CPUtime=563.25
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 13409 0 0 0 56305 20 0 0 18 0 3 0 36985996 99123200 12726 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 24200 12726 387 42 0 18452 0
[pid=15400/tid=15402] ppid=15398 vsize=96800 CPUtime=282.16
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 7097 0 0 0 28200 16 0 0 25 0 3 0 36986002 99123200 12726 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=96800 CPUtime=281.02
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 5003 0 0 0 28099 3 0 0 25 0 3 0 36986002 99123200 12726 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.25
Current children cumulated vsize (KiB) 96800

[startup+342.303 s]
/proc/loadavg: 1.99 1.97 1.98 3/86 15525
/proc/meminfo: memFree=1027864/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=99436 CPUtime=682.82
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 14238 0 0 0 68246 36 0 0 18 0 3 0 36985996 101822464 13440 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 24859 13440 387 42 0 19111 0
[pid=15400/tid=15402] ppid=15398 vsize=99436 CPUtime=342.03
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 7926 0 0 0 34184 19 0 0 25 0 3 0 36986002 101822464 13440 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=99436 CPUtime=340.72
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 5003 0 0 0 34056 16 0 0 25 0 3 0 36986002 101822464 13440 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.82
Current children cumulated vsize (KiB) 99436

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 15601
/proc/meminfo: memFree=1022416/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=107784 CPUtime=802.42
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 16292 0 0 0 80194 48 0 0 18 0 3 0 36985996 110370816 15084 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 26946 15084 387 42 0 21198 0
[pid=15400/tid=15402] ppid=15398 vsize=107784 CPUtime=401.93
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 8898 0 0 0 40172 21 0 0 25 0 3 0 36986002 110370816 15084 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=107784 CPUtime=400.42
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 6085 0 0 0 40016 26 0 0 25 0 3 0 36986002 110370816 15084 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.42
Current children cumulated vsize (KiB) 107784

[startup+462.303 s]
/proc/loadavg: 2.05 1.99 1.99 3/80 15601
/proc/meminfo: memFree=1019792/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=111116 CPUtime=922.15
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 16983 0 0 0 92165 50 0 0 18 0 3 0 36985996 113782784 15742 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 27779 15742 387 42 0 22031 0
[pid=15400/tid=15402] ppid=15398 vsize=111116 CPUtime=461.92
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 9589 0 0 0 46169 23 0 0 25 0 3 0 36986002 113782784 15742 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289956 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=111116 CPUtime=460.17
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 6085 0 0 0 45991 26 0 0 25 0 3 0 36986002 113782784 15742 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.15
Current children cumulated vsize (KiB) 111116

[startup+522.303 s]
/proc/loadavg: 2.14 2.02 2.00 3/80 15601
/proc/meminfo: memFree=1013072/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=119376 CPUtime=1041.89
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 19305 0 0 0 104136 53 0 0 18 0 3 0 36985996 122241024 17445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 29844 17445 387 42 0 24096 0
[pid=15400/tid=15402] ppid=15398 vsize=119376 CPUtime=521.9
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 10238 0 0 0 52165 25 0 0 25 0 3 0 36986002 122241024 17445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=119376 CPUtime=519.92
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 7758 0 0 0 51965 27 0 0 25 0 3 0 36986002 122241024 17445 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) 119376

[startup+582.302 s]
/proc/loadavg: 2.05 2.01 2.00 3/80 15601
/proc/meminfo: memFree=1010768/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=121424 CPUtime=1161.61
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 19858 0 0 0 116106 55 0 0 18 0 3 0 36985996 124338176 17998 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 30356 17998 387 42 0 24608 0
[pid=15400/tid=15402] ppid=15398 vsize=121424 CPUtime=581.88
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 10791 0 0 0 58162 26 0 0 25 0 3 0 36986002 124338176 17998 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=121424 CPUtime=579.65
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 7758 0 0 0 57938 27 0 0 25 0 3 0 36986002 124338176 17998 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.61
Current children cumulated vsize (KiB) 121424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 2.04 2.01 2.00 3/80 15601
/proc/meminfo: memFree=1010128/2055920 swapFree=4159164/4192956
[pid=15400] ppid=15398 vsize=122448 CPUtime=1200.13
/proc/15400/stat : 15400 (ornithorynque) S 15398 15400 14849 0 -1 4194304 20023 0 0 0 119958 55 0 0 18 0 3 0 36985996 125386752 18163 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15400/statm: 30612 18163 387 42 0 24864 0
[pid=15400/tid=15402] ppid=15398 vsize=122448 CPUtime=601.19
/proc/15400/task/15402/stat : 15402 (ornithorynque) R 15398 15400 14849 0 -1 4194368 10956 0 0 0 60092 27 0 0 25 0 3 0 36986002 125386752 18163 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15400/tid=15403] ppid=15398 vsize=122448 CPUtime=598.87
/proc/15400/task/15403/stat : 15403 (ornithorynque) R 15398 15400 14849 0 -1 4194368 7758 0 0 0 59860 27 0 0 25 0 3 0 36986002 125386752 18163 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 122448

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.629
CPU time (s): 1200.16
CPU user time (s): 1199.59
CPU system time (s): 0.567913
CPU usage (%): 199.486
Max. virtual memory (cumulated for all children) (KiB): 122448

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

runsolver used 0.52192 second user time and 1.68474 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Mon Mar  5 15:56:03 UTC 2007

IDJOB= 328328
IDBENCH= 20238
IDSOLVER= 139
FILE ID= node22/328328-1173110163

PBS_JOBID= 4013914

Free space on /tmp= 66537 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v5500/unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/328328-1173110163/ornithorynque /tmp/evaluation/328328-1173110163/instance-328328-1173110163.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-328328-1173110163 -o ROOT/results/node22/solver-328328-1173110163 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328328-1173110163/ornithorynque /tmp/evaluation/328328-1173110163/instance-328328-1173110163.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  c45506846595309f339867628e05eb80

RANDOM SEED= 161236263

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.214
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.214
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:       1082496 kB
Buffers:         50400 kB
Cached:         822824 kB
SwapCached:       2752 kB
Active:         204296 kB
Inactive:       692148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1082496 kB
SwapTotal:     4192956 kB
SwapFree:      4159164 kB
Dirty:             564 kB
Writeback:           0 kB
Mapped:          37600 kB
Slab:            62612 kB
Committed_AS:   179608 kB
PageTables:       1656 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= 66537 MiB

End job on node22 on Mon Mar  5 16:06:07 UTC 2007