Trace number 328520

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.23 601.525

General information on the benchmark

Namecrafted/spence/
hard/s113-100.cnf
MD5SUM346cb413e25976ab9ce2952e1d53c865
Bench CategoryCRAFTED (crafted 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 variables113
Number of clauses236
Sum of the clauses size708
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3236
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.00/0.00	c ...done
0.00/0.00	c nbVar=113 nbClause=236
0.00/0.00	c nbVar=113 nbClause=236
0.00/0.00	c complete search running
0.00/0.00	c local search running
0.00/0.00	c flip 0 nbSat=216 maxSat=0
0.02/0.01	c flip 0 nbSat=509 maxSat=233
0.02/0.02	c flip 0 nbSat=728 maxSat=527
0.02/0.03	c flip 0 nbSat=959 maxSat=766
0.02/0.05	c flip 0 nbSat=1136 maxSat=987
0.02/0.07	c flip 0 nbSat=1577 maxSat=1156
0.02/0.09	c flip 0 nbSat=1780 maxSat=1601
0.18/0.14	c flip 0 nbSat=2306 maxSat=1809
0.18/0.17	c flip 0 nbSat=2583 maxSat=2330
0.18/0.20	c flip 0 nbSat=2826 maxSat=2631
0.38/0.23	c flip 0 nbSat=3055 maxSat=2859
0.38/0.26	c flip 0 nbSat=3320 maxSat=3110
0.38/0.30	c flip 0 nbSat=3635 maxSat=3349
0.58/0.33	c flip 0 nbSat=3914 maxSat=3663
0.58/0.37	c flip 0 nbSat=4125 maxSat=3944
0.78/0.47	c flip 0 nbSat=4683 maxSat=4158
0.98/0.50	c flip 0 nbSat=4838 maxSat=4714
0.98/0.59	c flip 0 nbSat=5193 maxSat=4868
1.18/0.63	c flip 0 nbSat=5393 maxSat=5220
1.57/0.88	c flip 0 nbSat=6584 maxSat=5419
2.18/1.13	c flip 0 nbSat=7618 maxSat=6625
2.18/1.18	c flip 0 nbSat=7870 maxSat=7648
2.37/1.26	c flip 0 nbSat=8190 maxSat=7897
2.77/1.45	c nbDecision=10000 #clauses=8838
2.77/1.46	c flip 0 nbSat=8850 maxSat=8217
3.56/1.83	c flip 0 nbSat=9927 maxSat=8873
3.76/1.93	c flip 0 nbSat=10239 maxSat=9951
3.76/1.99	c flip 0 nbSat=10406 maxSat=10261
3.96/2.07	c flip 0 nbSat=10645 maxSat=10453
4.17/2.18	c flip 0 nbSat=10976 maxSat=10673
4.37/2.24	c flip 0 nbSat=11254 maxSat=11020
5.16/2.66	c flip 0 nbSat=12842 maxSat=11282
5.76/2.92	c flip 0 nbSat=13517 maxSat=12865
6.16/3.16	c flip 0 nbSat=14112 maxSat=13535
6.75/3.40	c flip 0 nbSat=14567 maxSat=14137
7.55/3.86	c flip 0 nbSat=15597 maxSat=14598
7.75/3.99	c flip 0 nbSat=16095 maxSat=15625
8.56/4.40	c nbDecision=20000 #clauses=17272
8.76/4.47	c flip 0 nbSat=17373 maxSat=16122
9.96/5.05	c flip 0 nbSat=18568 maxSat=17402
10.76/5.44	c flip 0 nbSat=19088 maxSat=18589
10.96/5.57	c flip 0 nbSat=19301 maxSat=19112
11.95/6.06	c flip 0 nbSat=20117 maxSat=19333
12.96/6.58	c flip 0 nbSat=21437 maxSat=20156
13.35/6.72	c flip 0 nbSat=21656 maxSat=21467
13.55/6.84	c flip 0 nbSat=21884 maxSat=21729
14.94/7.59	c flip 0 nbSat=23309 maxSat=21907
16.94/8.52	c flip 0 nbSat=24670 maxSat=23349
18.33/9.29	c nbDecision=30000 #clauses=25832
20.72/10.46	c flip 0 nbSat=27385 maxSat=24696
23.92/12.03	c flip 0 nbSat=30096 maxSat=27417
24.32/12.25	c flip 0 nbSat=30395 maxSat=30125
26.71/13.42	c flip 0 nbSat=32038 maxSat=30474
29.51/14.84	c flip 0 nbSat=34104 maxSat=32066
30.11/15.12	c nbDecision=40000 #clauses=34578
34.10/17.12	c flip 0 nbSat=37750 maxSat=34159
34.70/17.48	c flip 0 nbSat=38530 maxSat=37779
42.88/21.50	c nbDecision=50000 #clauses=43264
43.28/21.73	c flip 0 nbSat=43411 maxSat=38561
49.06/24.70	c flip 0 nbSat=45936 maxSat=43431
50.06/25.19	c flip 0 nbSat=46295 maxSat=45955
56.85/28.57	c flip 0 nbSat=48509 maxSat=46328
68.41/34.37	c nbDecision=60000 #clauses=52019
68.81/34.58	c flip 0 nbSat=52144 maxSat=48557
69.81/35.05	c flip 0 nbSat=52540 maxSat=52179
75.40/37.86	c flip 0 nbSat=54162 maxSat=52567
89.57/44.95	c flip 0 nbSat=57499 maxSat=54197
100.14/50.22	c flip 0 nbSat=59371 maxSat=57527
108.72/54.57	c nbDecision=70000 #clauses=60696
118.69/59.59	c flip 0 nbSat=62308 maxSat=59407
127.29/63.88	c flip 0 nbSat=64940 maxSat=62356
141.24/70.84	c flip 0 nbSat=67641 maxSat=64967
144.44/72.50	c flip 0 nbSat=68253 maxSat=67667
145.83/73.17	c flip 0 nbSat=68378 maxSat=68287
149.82/75.16	c flip 0 nbSat=68909 maxSat=68438
152.62/76.57	c nbDecision=80000 #clauses=69368
154.61/77.59	c flip 0 nbSat=69583 maxSat=68943
163.79/82.13	c flip 0 nbSat=71196 maxSat=69603
165.19/82.80	c flip 0 nbSat=71401 maxSat=71232
185.34/92.95	c flip 0 nbSat=74697 maxSat=71434
197.92/99.21	c flip 0 nbSat=76883 maxSat=74724
200.71/100.60	c flip 0 nbSat=77375 maxSat=76939
203.70/102.12	c flip 0 nbSat=77843 maxSat=77404
203.91/102.24	c nbDecision=90000 #clauses=77929
205.30/102.98	c flip 0 nbSat=78242 maxSat=77890
216.88/108.70	c flip 0 nbSat=81727 maxSat=78303
230.25/115.44	c flip 0 nbSat=84949 maxSat=81756
235.83/118.29	c nbDecision=100000 #clauses=86459
259.37/130.00	c flip 0 nbSat=89811 maxSat=84971
261.77/131.30	c flip 0 nbSat=90109 maxSat=89845
277.72/139.24	c flip 0 nbSat=93397 maxSat=90131
282.32/141.52	c nbDecision=110000 #clauses=95003
297.88/149.39	c flip 0 nbSat=97761 maxSat=93474
309.27/155.07	c flip 0 nbSat=99030 maxSat=97790
316.05/158.45	c flip 0 nbSat=99688 maxSat=99057
317.64/159.27	c flip 0 nbSat=100110 maxSat=99888
326.62/163.76	c flip 0 nbSat=101791 maxSat=100148
336.79/168.83	c nbDecision=120000 #clauses=103659
338.19/169.50	c flip 0 nbSat=103803 maxSat=101849
361.94/181.42	c flip 0 nbSat=106776 maxSat=103830
382.89/191.93	c flip 0 nbSat=109417 maxSat=106799
400.05/200.58	c flip 0 nbSat=111432 maxSat=109468
406.22/203.64	c nbDecision=130000 #clauses=112257
414.01/207.58	c flip 0 nbSat=113197 maxSat=111562
431.58/216.35	c flip 0 nbSat=117206 maxSat=113224
443.54/222.35	c flip 0 nbSat=119123 maxSat=117285
445.94/223.50	c flip 0 nbSat=119378 maxSat=119152
448.93/225.07	c flip 0 nbSat=119818 maxSat=119443
454.33/227.73	c flip 0 nbSat=120737 maxSat=119870
454.33/227.79	c nbDecision=140000 #clauses=120819
483.85/242.55	c flip 0 nbSat=125373 maxSat=120779
487.25/244.29	c flip 0 nbSat=126352 maxSat=125395
490.04/245.64	c flip 0 nbSat=126765 maxSat=126384
492.63/246.92	c flip 0 nbSat=127147 maxSat=126787
496.61/248.94	c flip 0 nbSat=127710 maxSat=127210
504.60/252.91	c nbDecision=150000 #clauses=129321
523.96/262.69	c flip 0 nbSat=132121 maxSat=127734
544.12/272.79	c flip 0 nbSat=135856 maxSat=132190
550.30/275.89	c flip 0 nbSat=137649 maxSat=135886
551.69/276.54	c nbDecision=160000 #clauses=138050
589.01/295.20	c nbDecision=170000 #clauses=146723
609.16/305.31	c flip 0 nbSat=150803 maxSat=137686
631.71/316.61	c nbDecision=180000 #clauses=155342
632.30/316.99	c flip 0 nbSat=155513 maxSat=150830
660.65/331.13	c flip 0 nbSat=159796 maxSat=155545
686.78/344.23	c nbDecision=190000 #clauses=164202
691.38/346.52	c flip 0 nbSat=165014 maxSat=159832
693.76/347.71	c flip 0 nbSat=165374 maxSat=165040
713.92/357.87	c flip 0 nbSat=168552 maxSat=165415
728.69/365.27	c flip 0 nbSat=170080 maxSat=168591
749.44/375.64	c nbDecision=200000 #clauses=173075
772.58/387.25	c flip 0 nbSat=176338 maxSat=170102
775.57/388.79	c flip 0 nbSat=176822 maxSat=176379
813.70/407.89	c nbDecision=210000 #clauses=181894
822.47/412.25	c flip 0 nbSat=182268 maxSat=176863
868.76/435.41	c flip 0 nbSat=188266 maxSat=182823
890.71/446.48	c nbDecision=220000 #clauses=190649
905.47/453.83	c flip 0 nbSat=192519 maxSat=188299
943.98/473.16	c flip 0 nbSat=197000 maxSat=192566
960.55/481.44	c nbDecision=230000 #clauses=199287
994.08/498.22	c flip 0 nbSat=203441 maxSat=197044
1023.80/513.14	c nbDecision=240000 #clauses=207834
1034.37/518.44	c flip 0 nbSat=209345 maxSat=203464
1048.54/525.59	c flip 0 nbSat=211130 maxSat=209377
1052.94/527.77	c flip 0 nbSat=211633 maxSat=211246
1056.32/529.45	c flip 0 nbSat=212072 maxSat=211691
1073.68/538.18	c flip 0 nbSat=213532 maxSat=212088
1094.24/548.44	c flip 0 nbSat=215130 maxSat=213574
1107.80/555.22	c nbDecision=250000 #clauses=216707
1139.14/570.91	c flip 0 nbSat=221868 maxSat=215165
1162.28/582.57	c nbDecision=260000 #clauses=225189
1175.65/589.23	c flip 0 nbSat=226837 maxSat=221902
1179.84/591.34	c flip 0 nbSat=227271 maxSat=226871

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/node11/watcher-328520-1173112221 -o ROOT/results/node11/solver-328520-1173112221 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328520-1173112221/ornithorynque /tmp/evaluation/328520-1173112221/instance-328520-1173112221.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.99 1.97 1.91 3/77 9369
/proc/meminfo: memFree=1242736/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=23220 CPUtime=0
/proc/9369/stat : 9369 (ornithorynque) R 9367 9369 8494 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 331176684 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262907393674 0 0 4096 0 0 0 0 17 1 0 0
/proc/9369/statm: 5805 264 218 42 0 45 0

[startup+0.0170219 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 9369
/proc/meminfo: memFree=1242736/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=43796 CPUtime=0.02
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 520 0 0 0 2 0 0 0 18 0 3 0 331176684 44847104 481 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 10949 481 387 42 0 5201 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 43796

[startup+0.100912 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 9369
/proc/meminfo: memFree=1242736/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=45084 CPUtime=0.18
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 618 0 0 0 18 0 0 0 18 0 3 0 331176684 46166016 579 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 11271 579 387 42 0 5523 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 45084

[startup+0.301937 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 9369
/proc/meminfo: memFree=1242736/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=45220 CPUtime=0.58
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 751 0 0 0 58 0 0 0 18 0 3 0 331176684 46305280 712 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 11305 712 387 42 0 5557 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 45220

[startup+0.701984 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 9369
/proc/meminfo: memFree=1242736/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=45540 CPUtime=1.38
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 884 0 0 0 138 0 0 0 18 0 3 0 331176684 46632960 845 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 11385 845 387 42 0 5637 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 45540

[startup+1.50108 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9372
/proc/meminfo: memFree=1240408/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=47152 CPUtime=2.97
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 1126 0 0 0 297 0 0 0 18 0 3 0 331176684 48283648 1087 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 11788 1087 387 42 0 6040 0
[pid=9369/tid=9371] ppid=9367 vsize=47152 CPUtime=1.48
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 378 0 0 0 148 0 0 0 25 0 3 0 331176685 48283648 1087 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4290001 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=47152 CPUtime=1.48
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 247 0 0 0 148 0 0 0 25 0 3 0 331176685 48283648 1087 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241077 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 47152

[startup+3.10127 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9372
/proc/meminfo: memFree=1239128/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=48676 CPUtime=6.16
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 1435 0 0 0 616 0 0 0 18 0 3 0 331176684 49844224 1396 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 12169 1396 387 42 0 6421 0
[pid=9369/tid=9371] ppid=9367 vsize=48676 CPUtime=3.07
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 568 0 0 0 307 0 0 0 25 0 3 0 331176685 49844224 1396 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311163 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=48676 CPUtime=3.07
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 366 0 0 0 307 0 0 0 25 0 3 0 331176685 49844224 1396 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242583 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 48676

[startup+6.30165 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9372
/proc/meminfo: memFree=1236888/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=50896 CPUtime=12.55
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 1937 0 0 0 1254 1 0 0 18 0 3 0 331176684 52117504 1865 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 12724 1865 387 42 0 6976 0
[pid=9369/tid=9371] ppid=9367 vsize=50896 CPUtime=6.26
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 878 0 0 0 626 0 0 0 25 0 3 0 331176685 52117504 1865 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=50896 CPUtime=6.27
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 558 0 0 0 627 0 0 0 25 0 3 0 331176685 52117504 1865 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238103 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 50896

[startup+12.7024 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9372
/proc/meminfo: memFree=1234200/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=53316 CPUtime=25.32
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 2655 0 0 0 2531 1 0 0 18 0 3 0 331176684 54595584 2583 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 13329 2583 387 42 0 7581 0
[pid=9369/tid=9371] ppid=9367 vsize=53316 CPUtime=12.63
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 1292 0 0 0 1262 1 0 0 25 0 3 0 331176685 54595584 2583 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311137 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=53316 CPUtime=12.67
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 862 0 0 0 1267 0 0 0 25 0 3 0 331176685 54595584 2583 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241140 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 53316

[startup+25.5019 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9372
/proc/meminfo: memFree=1229784/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=57844 CPUtime=50.86
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 3843 0 0 0 5083 3 0 0 18 0 3 0 331176684 59232256 3542 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 14461 3542 387 42 0 8713 0
[pid=9369/tid=9371] ppid=9367 vsize=57844 CPUtime=25.38
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 2016 0 0 0 2536 2 0 0 25 0 3 0 331176685 59232256 3542 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=57844 CPUtime=25.45
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 1326 0 0 0 2545 0 0 0 25 0 3 0 331176685 59232256 3542 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 57844

[startup+51.1019 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9372
/proc/meminfo: memFree=1226456/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=61972 CPUtime=101.94
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 4821 0 0 0 10190 4 0 0 18 0 3 0 331176684 63459328 4388 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 15493 4388 387 42 0 9745 0
[pid=9369/tid=9371] ppid=9367 vsize=61972 CPUtime=50.88
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 2549 0 0 0 5085 3 0 0 25 0 3 0 331176685 63459328 4388 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=61972 CPUtime=51.03
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 1771 0 0 0 5103 0 0 0 25 0 3 0 331176685 63459328 4388 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241104 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 61972

[startup+102.307 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9372
/proc/meminfo: memFree=1221336/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=68428 CPUtime=204.11
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 6522 0 0 0 20405 6 0 0 18 0 3 0 331176684 70070272 5667 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 17107 5667 387 42 0 11359 0
[pid=9369/tid=9371] ppid=9367 vsize=68428 CPUtime=101.88
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 3601 0 0 0 10183 5 0 0 25 0 3 0 331176685 70070272 5667 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=68428 CPUtime=102.21
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 2420 0 0 0 10220 1 0 0 25 0 3 0 331176685 70070272 5667 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242179 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 68428

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9372
/proc/meminfo: memFree=1215128/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=74920 CPUtime=323.82
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 8450 0 0 0 32374 8 0 0 18 0 3 0 331176684 76718080 7154 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 18730 7154 387 42 0 12982 0
[pid=9369/tid=9371] ppid=9367 vsize=74920 CPUtime=161.64
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 4630 0 0 0 16158 6 0 0 25 0 3 0 331176685 76718080 7154 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=74920 CPUtime=162.16
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 3319 0 0 0 16215 1 0 0 25 0 3 0 331176685 76718080 7154 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.82
Current children cumulated vsize (KiB) 74920

[startup+222.301 s]
/proc/loadavg: 2.07 1.99 1.91 3/80 9372
/proc/meminfo: memFree=1210776/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=81276 CPUtime=443.54
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 10111 0 0 0 44344 10 0 0 18 0 3 0 331176684 83226624 8260 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 20319 8260 387 42 0 14571 0
[pid=9369/tid=9371] ppid=9367 vsize=81276 CPUtime=221.41
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 5469 0 0 0 22133 8 0 0 25 0 3 0 331176685 83226624 8260 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=81276 CPUtime=222.12
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 4141 0 0 0 22211 1 0 0 25 0 3 0 331176685 83226624 8260 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.54
Current children cumulated vsize (KiB) 81276

[startup+282.301 s]
/proc/loadavg: 2.03 1.99 1.91 3/80 9372
/proc/meminfo: memFree=1205528/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=88748 CPUtime=563.27
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 12385 0 0 0 56314 13 0 0 18 0 3 0 331176684 90877952 9594 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 22187 9594 387 42 0 16439 0
[pid=9369/tid=9371] ppid=9367 vsize=88748 CPUtime=281.17
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 6770 0 0 0 28107 10 0 0 25 0 3 0 331176685 90877952 9594 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=88748 CPUtime=282.08
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 5114 0 0 0 28206 2 0 0 25 0 3 0 331176685 90877952 9594 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.27
Current children cumulated vsize (KiB) 88748

[startup+342.301 s]
/proc/loadavg: 2.01 1.99 1.91 3/80 9372
/proc/meminfo: memFree=1200024/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=95240 CPUtime=682.99
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 14250 0 0 0 68283 16 0 0 18 0 3 0 331176684 97525760 10939 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 23810 10939 387 42 0 18062 0
[pid=9369/tid=9371] ppid=9367 vsize=95240 CPUtime=340.93
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 7584 0 0 0 34081 12 0 0 25 0 3 0 331176685 97525760 10939 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=95240 CPUtime=342.03
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 6165 0 0 0 34200 3 0 0 25 0 3 0 331176685 97525760 10939 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.99
Current children cumulated vsize (KiB) 95240

[startup+402.301 s]
/proc/loadavg: 2.04 2.00 1.92 3/80 9372
/proc/meminfo: memFree=1195544/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=100064 CPUtime=802.72
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 15823 0 0 0 80254 18 0 0 18 0 3 0 331176684 102465536 12087 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 25016 12087 387 42 0 19268 0
[pid=9369/tid=9371] ppid=9367 vsize=100064 CPUtime=400.7
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 8399 0 0 0 40056 14 0 0 25 0 3 0 331176685 102465536 12087 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=100064 CPUtime=402
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 6923 0 0 0 40197 3 0 0 25 0 3 0 331176685 102465536 12087 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241162 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.72
Current children cumulated vsize (KiB) 100064

[startup+462.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/80 9372
/proc/meminfo: memFree=1191512/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=105104 CPUtime=922.44
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 17301 0 0 0 92224 20 0 0 18 0 3 0 331176684 107626496 13083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 26276 13083 387 42 0 20528 0
[pid=9369/tid=9371] ppid=9367 vsize=105104 CPUtime=460.46
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 9055 0 0 0 46031 15 0 0 25 0 3 0 331176685 107626496 13083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=105104 CPUtime=461.96
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 7745 0 0 0 46192 4 0 0 25 0 3 0 331176685 107626496 13083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.44
Current children cumulated vsize (KiB) 105104

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 9372
/proc/meminfo: memFree=1187288/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=108836 CPUtime=1042.15
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 18870 0 0 0 104194 21 0 0 18 0 3 0 331176684 111448064 14165 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 27209 14165 387 42 0 21461 0
[pid=9369/tid=9371] ppid=9367 vsize=108836 CPUtime=520.23
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 10008 0 0 0 52006 17 0 0 25 0 3 0 331176685 111448064 14165 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=108836 CPUtime=521.91
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 8361 0 0 0 52187 4 0 0 25 0 3 0 331176685 111448064 14165 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.15
Current children cumulated vsize (KiB) 108836

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 9372
/proc/meminfo: memFree=1183960/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=113328 CPUtime=1161.88
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 20195 0 0 0 116165 23 0 0 18 0 3 0 331176684 116047872 14970 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 28332 14970 387 42 0 22584 0
[pid=9369/tid=9371] ppid=9367 vsize=113328 CPUtime=579.99
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 10602 0 0 0 57981 18 0 0 25 0 3 0 331176685 116047872 14970 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311255 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=113328 CPUtime=581.87
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 9092 0 0 0 58183 4 0 0 25 0 3 0 331176685 116047872 14970 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241016 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.88
Current children cumulated vsize (KiB) 113328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 9372
/proc/meminfo: memFree=1182744/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=115892 CPUtime=1200.2
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 20818 0 0 0 119996 24 0 0 18 0 3 0 331176684 118673408 15237 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 28973 15237 387 42 0 23225 0
[pid=9369/tid=9371] ppid=9367 vsize=115892 CPUtime=599.12
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 10782 0 0 0 59893 19 0 0 25 0 3 0 331176685 118673408 15237 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=115892 CPUtime=601.06
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 9535 0 0 0 60102 4 0 0 25 0 3 0 331176685 118673408 15237 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283791 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (KiB) 115892

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

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

[startup+601.502 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 9372
/proc/meminfo: memFree=1182744/2055920 swapFree=4169972/4192956
[pid=9369] ppid=9367 vsize=115892 CPUtime=1200.2
/proc/9369/stat : 9369 (ornithorynque) S 9367 9369 8494 0 -1 4194304 20818 0 0 0 119996 24 0 0 18 0 3 0 331176684 118673408 15237 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9369/statm: 28973 15237 387 42 0 23225 0
[pid=9369/tid=9371] ppid=9367 vsize=115892 CPUtime=599.12
/proc/9369/task/9371/stat : 9371 (ornithorynque) R 9367 9369 8494 0 -1 4194368 10782 0 0 0 59893 19 0 0 25 0 3 0 331176685 118673408 15237 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9369/tid=9372] ppid=9367 vsize=115892 CPUtime=601.06
/proc/9369/task/9372/stat : 9372 (ornithorynque) R 9367 9369 8494 0 -1 4194368 9535 0 0 0 60102 4 0 0 25 0 3 0 331176685 118673408 15237 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283791 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (KiB) 115892

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.525
CPU time (s): 1200.23
CPU user time (s): 1199.97
CPU system time (s): 0.254961
CPU usage (%): 199.531
Max. virtual memory (cumulated for all children) (KiB): 115892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.97
system time used= 0.254961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20818
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= 25
involuntary context switches= 22823

runsolver used 0.557915 second user time and 1.65375 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Mon Mar  5 16:30:21 UTC 2007

IDJOB= 328520
IDBENCH= 20442
IDSOLVER= 139
FILE ID= node11/328520-1173112221

PBS_JOBID= 4013927

Free space on /tmp= 66544 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/spence/hard/s113-100.cnf
COMMAND LINE= /tmp/evaluation/328520-1173112221/ornithorynque /tmp/evaluation/328520-1173112221/instance-328520-1173112221.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-328520-1173112221 -o ROOT/results/node11/solver-328520-1173112221 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328520-1173112221/ornithorynque /tmp/evaluation/328520-1173112221/instance-328520-1173112221.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  346cb413e25976ab9ce2952e1d53c865

RANDOM SEED= 874455037

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.243
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.243
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:       1243208 kB
Buffers:         48664 kB
Cached:         671116 kB
SwapCached:       2788 kB
Active:         238060 kB
Inactive:       506376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1243208 kB
SwapTotal:     4192956 kB
SwapFree:      4169972 kB
Dirty:             268 kB
Writeback:           0 kB
Mapped:          32092 kB
Slab:            53856 kB
Committed_AS:  1089520 kB
PageTables:       1756 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= 66544 MiB

End job on node11 on Mon Mar  5 16:40:25 UTC 2007