Trace number 328522

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.12 601.524

General information on the benchmark

Namecrafted/spence/
hard/s109-100.cnf
MD5SUM11c209576d94e395a78f5a6b8d2ce9b6
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 variables109
Number of clauses228
Sum of the clauses size684
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3228
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=109 nbClause=228
0.00/0.00	c nbVar=109 nbClause=228
0.00/0.00	c complete search running
0.00/0.00	c local search running
0.00/0.00	c flip 0 nbSat=204 maxSat=0
0.00/0.01	c flip 0 nbSat=485 maxSat=226
0.00/0.03	c flip 0 nbSat=819 maxSat=508
0.00/0.04	c flip 0 nbSat=946 maxSat=844
0.18/0.11	c flip 0 nbSat=1745 maxSat=979
0.18/0.18	c flip 0 nbSat=2501 maxSat=1771
0.38/0.20	c flip 0 nbSat=2667 maxSat=2520
0.38/0.21	c flip 0 nbSat=2781 maxSat=2690
0.78/0.42	c flip 0 nbSat=3973 maxSat=2803
0.78/0.46	c flip 0 nbSat=4220 maxSat=3988
0.98/0.51	c flip 0 nbSat=4690 maxSat=4245
0.98/0.54	c flip 0 nbSat=4976 maxSat=4713
0.98/0.58	c flip 0 nbSat=5308 maxSat=5005
1.18/0.62	c flip 0 nbSat=5521 maxSat=5321
1.18/0.68	c flip 0 nbSat=5740 maxSat=5548
1.58/0.84	c flip 0 nbSat=6528 maxSat=5771
1.78/0.90	c flip 0 nbSat=6792 maxSat=6555
2.19/1.16	c flip 0 nbSat=7674 maxSat=6819
2.38/1.21	c flip 0 nbSat=7820 maxSat=7705
2.58/1.35	c flip 0 nbSat=8291 maxSat=7875
2.98/1.55	c nbDecision=10000 #clauses=8929
3.58/1.86	c flip 0 nbSat=9820 maxSat=8315
4.38/2.27	c flip 0 nbSat=11089 maxSat=9835
5.17/2.67	c flip 0 nbSat=12066 maxSat=11110
5.37/2.76	c flip 0 nbSat=12317 maxSat=12091
6.17/3.19	c flip 0 nbSat=13469 maxSat=12345
6.57/3.33	c flip 0 nbSat=13835 maxSat=13496
6.76/3.49	c flip 0 nbSat=14389 maxSat=13865
7.16/3.64	c flip 0 nbSat=14791 maxSat=14415
7.76/3.95	c flip 0 nbSat=15513 maxSat=14870
10.16/5.11	c nbDecision=20000 #clauses=17740
10.76/5.44	c flip 0 nbSat=18246 maxSat=15578
11.15/5.66	c flip 0 nbSat=18743 maxSat=18271
11.55/5.86	c flip 0 nbSat=19157 maxSat=18775
11.75/6.00	c flip 0 nbSat=19445 maxSat=19182
12.55/6.33	c flip 0 nbSat=20061 maxSat=19468
15.15/7.60	c flip 0 nbSat=21991 maxSat=20098
15.35/7.72	c flip 0 nbSat=22186 maxSat=22021
15.54/7.89	c flip 0 nbSat=22340 maxSat=22211
16.15/8.11	c flip 0 nbSat=22724 maxSat=22384
16.35/8.28	c flip 0 nbSat=22970 maxSat=22758
19.55/9.81	c flip 0 nbSat=26189 maxSat=22992
19.55/9.84	c nbDecision=30000 #clauses=26279
19.93/10.07	c flip 0 nbSat=26682 maxSat=26221
20.33/10.25	c flip 0 nbSat=27001 maxSat=26705
23.52/11.89	c flip 0 nbSat=30010 maxSat=27039
24.12/12.19	c flip 0 nbSat=30519 maxSat=30042
24.91/12.51	c flip 0 nbSat=31147 maxSat=30570
25.31/12.76	c flip 0 nbSat=31662 maxSat=31189
25.71/12.97	c flip 0 nbSat=32056 maxSat=31696
29.50/14.84	c nbDecision=40000 #clauses=34854
30.30/15.24	c flip 0 nbSat=35473 maxSat=32080
31.90/16.04	c flip 0 nbSat=36934 maxSat=35504
33.29/16.70	c flip 0 nbSat=37854 maxSat=36965
36.49/18.35	c flip 0 nbSat=40190 maxSat=37875
38.69/19.44	c flip 0 nbSat=41759 maxSat=40224
40.88/20.57	c nbDecision=50000 #clauses=43372
44.47/22.37	c flip 0 nbSat=45105 maxSat=41791
45.88/23.09	c flip 0 nbSat=45836 maxSat=45127
46.67/23.49	c flip 0 nbSat=46237 maxSat=45865
47.67/23.92	c flip 0 nbSat=46659 maxSat=46278
55.24/27.75	c flip 0 nbSat=50101 maxSat=46694
56.04/28.13	c flip 0 nbSat=50446 maxSat=50137
57.84/29.01	c flip 0 nbSat=51293 maxSat=50462
59.43/29.89	c nbDecision=60000 #clauses=52133
60.24/30.20	c flip 0 nbSat=52381 maxSat=51362
63.64/31.93	c flip 0 nbSat=54100 maxSat=52408
64.23/32.28	c flip 0 nbSat=54452 maxSat=54128
74.40/37.34	c flip 0 nbSat=57314 maxSat=54477
76.19/38.24	c flip 0 nbSat=57952 maxSat=57351
77.19/38.75	c flip 0 nbSat=58615 maxSat=58092
81.78/41.07	c nbDecision=70000 #clauses=61040
82.78/41.54	c flip 0 nbSat=61409 maxSat=58659
100.95/50.61	c nbDecision=80000 #clauses=69573
101.14/50.71	c flip 0 nbSat=69615 maxSat=61441
107.13/53.75	c flip 0 nbSat=72092 maxSat=69658
110.31/55.30	c flip 0 nbSat=73068 maxSat=72112
121.28/60.81	c flip 0 nbSat=76888 maxSat=73104
124.28/62.39	c nbDecision=90000 #clauses=78108
125.47/62.95	c flip 0 nbSat=78425 maxSat=76967
129.86/65.14	c flip 0 nbSat=79633 maxSat=78440
131.06/65.73	c flip 0 nbSat=80165 maxSat=79699
132.25/66.39	c flip 0 nbSat=80837 maxSat=80250
147.42/73.92	c flip 0 nbSat=84871 maxSat=80860
153.62/77.03	c nbDecision=100000 #clauses=86684
174.75/87.63	c flip 0 nbSat=92504 maxSat=84901
184.73/92.60	c flip 0 nbSat=95018 maxSat=92536
185.13/92.88	c nbDecision=110000 #clauses=95304
200.70/100.67	c flip 0 nbSat=98941 maxSat=95057
221.24/110.93	c flip 0 nbSat=102827 maxSat=98984
225.64/113.14	c nbDecision=120000 #clauses=103991
235.41/118.03	c flip 0 nbSat=105831 maxSat=102855
244.79/122.75	c flip 0 nbSat=107724 maxSat=105857
253.76/127.26	c flip 0 nbSat=109534 maxSat=107823
265.54/133.14	c flip 0 nbSat=111319 maxSat=109557
272.12/136.41	c flip 0 nbSat=111959 maxSat=111351
277.91/139.38	c nbDecision=130000 #clauses=112546
299.25/150.04	c flip 0 nbSat=115838 maxSat=111991
320.60/160.72	c flip 0 nbSat=119458 maxSat=115861
323.20/162.00	c flip 0 nbSat=119988 maxSat=119494
326.19/163.55	c flip 0 nbSat=120234 maxSat=120031
329.38/165.10	c flip 0 nbSat=120915 maxSat=120436
331.19/166.09	c nbDecision=140000 #clauses=121231
331.78/166.30	c flip 0 nbSat=121242 maxSat=120948
337.97/169.43	c flip 0 nbSat=122209 maxSat=121278
356.52/178.75	c flip 0 nbSat=125475 maxSat=122244
359.92/180.42	c flip 0 nbSat=126184 maxSat=125584
380.67/190.85	c nbDecision=150000 #clauses=129927
380.87/190.99	c flip 0 nbSat=129949 maxSat=126213
398.81/199.92	c flip 0 nbSat=132734 maxSat=129977
416.98/209.05	c flip 0 nbSat=134513 maxSat=132759
437.52/219.36	c nbDecision=160000 #clauses=138471
440.51/220.84	c flip 0 nbSat=139102 maxSat=134551
457.28/229.29	c flip 0 nbSat=142691 maxSat=139126
467.65/234.48	c flip 0 nbSat=144536 maxSat=142710
483.01/242.17	c nbDecision=170000 #clauses=147004
488.60/244.99	c flip 0 nbSat=147826 maxSat=144628
527.91/264.69	c flip 0 nbSat=153208 maxSat=147850
542.67/272.04	c nbDecision=180000 #clauses=155394
560.83/281.10	c flip 0 nbSat=157909 maxSat=153252
598.34/299.98	c nbDecision=190000 #clauses=163495
621.48/311.52	c flip 0 nbSat=166310 maxSat=157948
629.87/315.79	c flip 0 nbSat=167211 maxSat=166347
660.39/331.09	c flip 0 nbSat=170568 maxSat=167260
674.15/337.99	c nbDecision=200000 #clauses=171867
688.93/345.33	c flip 0 nbSat=173205 maxSat=170603
725.63/363.73	c flip 0 nbSat=177062 maxSat=173230
741.80/371.82	c flip 0 nbSat=178577 maxSat=177084
758.15/380.04	c nbDecision=210000 #clauses=180563
768.93/385.41	c flip 0 nbSat=181759 maxSat=178638
808.43/405.27	c flip 0 nbSat=184810 maxSat=181794
812.62/407.33	c flip 0 nbSat=185190 maxSat=184845
852.92/427.54	c flip 0 nbSat=188234 maxSat=185213
856.92/429.53	c nbDecision=220000 #clauses=189010
896.83/449.50	c flip 0 nbSat=192785 maxSat=188267
915.58/458.97	c flip 0 nbSat=194445 maxSat=192814
929.54/465.97	c flip 0 nbSat=195753 maxSat=194485
933.73/468.00	c flip 0 nbSat=195955 maxSat=195788
960.87/481.67	c nbDecision=230000 #clauses=197443
972.44/487.46	c flip 0 nbSat=197944 maxSat=196005
979.43/490.95	c flip 0 nbSat=198488 maxSat=198064
991.80/497.14	c flip 0 nbSat=199434 maxSat=198520
995.39/498.97	c flip 0 nbSat=199766 maxSat=199463
1019.12/510.87	c flip 0 nbSat=204034 maxSat=199841
1035.28/518.93	c nbDecision=240000 #clauses=206097
1050.05/526.39	c flip 0 nbSat=208338 maxSat=204069
1079.98/541.38	c nbDecision=250000 #clauses=214841
1107.51/555.13	c flip 0 nbSat=219671 maxSat=208375
1118.68/560.79	c flip 0 nbSat=221917 maxSat=219976
1126.06/564.42	c nbDecision=260000 #clauses=222814
1138.84/570.83	c flip 0 nbSat=224118 maxSat=221942
1162.79/582.83	c flip 0 nbSat=227073 maxSat=224151
1185.53/594.20	c flip 0 nbSat=229726 maxSat=227134
1192.91/598.00	c nbDecision=270000 #clauses=230814

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/node6/watcher-328522-1173112233 -o ROOT/results/node6/solver-328522-1173112233 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328522-1173112233/ornithorynque /tmp/evaluation/328522-1173112233/instance-328522-1173112233.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.83 1.94 1.90 2/77 10109
/proc/meminfo: memFree=1215288/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=23220 CPUtime=0
/proc/10109/stat : 10109 (ornithorynque) R 10107 10109 9234 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 331177994 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268580197488 0 0 4096 0 0 0 0 17 1 0 0
/proc/10109/statm: 5805 263 218 42 0 45 0

[startup+0.0921069 s]
/proc/loadavg: 1.83 1.94 1.90 2/77 10109
/proc/meminfo: memFree=1215288/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=44952 CPUtime=0.17
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 592 0 0 0 17 0 0 0 18 0 3 0 331177994 46030848 553 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 11238 553 387 42 0 5490 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 44952

[startup+0.101109 s]
/proc/loadavg: 1.83 1.94 1.90 2/77 10109
/proc/meminfo: memFree=1215288/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=44952 CPUtime=0.18
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 596 0 0 0 18 0 0 0 18 0 3 0 331177994 46030848 557 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 11238 557 387 42 0 5490 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 44952

[startup+0.301149 s]
/proc/loadavg: 1.83 1.94 1.90 2/77 10109
/proc/meminfo: memFree=1215288/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=45224 CPUtime=0.58
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 723 0 0 0 58 0 0 0 18 0 3 0 331177994 46309376 684 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 11306 684 387 42 0 5558 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 45224

[startup+0.701229 s]
/proc/loadavg: 1.83 1.94 1.90 2/77 10109
/proc/meminfo: memFree=1215288/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=45656 CPUtime=1.38
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 919 0 0 0 138 0 0 0 18 0 3 0 331177994 46751744 880 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 11414 880 387 42 0 5666 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 45656

[startup+1.50139 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 10112
/proc/meminfo: memFree=1212896/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=47088 CPUtime=2.98
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 1106 0 0 0 298 0 0 0 18 0 3 0 331177994 48218112 1067 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 11772 1067 387 42 0 6024 0
[pid=10109/tid=10111] ppid=10107 vsize=47088 CPUtime=1.48
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 374 0 0 0 148 0 0 0 18 0 3 0 331177995 48218112 1067 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311436 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=47088 CPUtime=1.48
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 232 0 0 0 148 0 0 0 25 0 3 0 331177995 48218112 1067 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241069 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 47088

[startup+3.1027 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 10112
/proc/meminfo: memFree=1211872/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=48756 CPUtime=6.17
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 1433 0 0 0 617 0 0 0 18 0 3 0 331177994 49926144 1394 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 12189 1394 387 42 0 6441 0
[pid=10109/tid=10111] ppid=10107 vsize=48756 CPUtime=3.08
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 572 0 0 0 308 0 0 0 25 0 3 0 331177995 49926144 1394 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312036 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=48756 CPUtime=3.08
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 361 0 0 0 308 0 0 0 25 0 3 0 331177995 49926144 1394 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285948 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 48756

[startup+6.30133 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 10112
/proc/meminfo: memFree=1209824/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=50556 CPUtime=12.55
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 1919 0 0 0 1255 0 0 0 18 0 3 0 331177994 51769344 1814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 12639 1814 387 42 0 6891 0
[pid=10109/tid=10111] ppid=10107 vsize=50556 CPUtime=6.28
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 877 0 0 0 628 0 0 0 23 0 3 0 331177995 51769344 1814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268582687457 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=50556 CPUtime=6.26
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 542 0 0 0 626 0 0 0 25 0 3 0 331177995 51769344 1814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 50556

[startup+12.7016 s]
/proc/loadavg: 1.86 1.94 1.90 3/80 10112
/proc/meminfo: memFree=1206432/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=53356 CPUtime=25.31
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 2682 0 0 0 2530 1 0 0 18 0 3 0 331177994 54636544 2577 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 13339 2577 387 42 0 7591 0
[pid=10109/tid=10111] ppid=10107 vsize=53356 CPUtime=12.68
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 1330 0 0 0 1267 1 0 0 25 0 3 0 331177995 54636544 2577 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=53356 CPUtime=12.62
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 852 0 0 0 1262 0 0 0 25 0 3 0 331177995 54636544 2577 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238068 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 53356

[startup+25.5011 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 10112
/proc/meminfo: memFree=1201952/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=58784 CPUtime=50.85
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 3942 0 0 0 5083 2 0 0 18 0 3 0 331177994 60194816 3641 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 14696 3641 387 42 0 8948 0
[pid=10109/tid=10111] ppid=10107 vsize=58784 CPUtime=25.47
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 2106 0 0 0 2545 2 0 0 25 0 3 0 331177995 60194816 3641 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=58784 CPUtime=25.37
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 1336 0 0 0 2537 0 0 0 25 0 3 0 331177995 60194816 3641 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 58784

[startup+51.1012 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 10112
/proc/meminfo: memFree=1197024/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=66296 CPUtime=101.93
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 5991 0 0 0 10188 5 0 0 18 0 3 0 331177994 67887104 5120 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 16574 5120 387 42 0 10826 0
[pid=10109/tid=10111] ppid=10107 vsize=66296 CPUtime=51.07
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 3210 0 0 0 5103 4 0 0 25 0 3 0 331177995 67887104 5120 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=66296 CPUtime=50.86
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 2281 0 0 0 5085 1 0 0 25 0 3 0 331177995 67887104 5120 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 66296

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 10112
/proc/meminfo: memFree=1188704/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=75132 CPUtime=204.09
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 8445 0 0 0 20401 8 0 0 18 0 3 0 331177994 76935168 6914 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 18783 6914 387 42 0 13035 0
[pid=10109/tid=10111] ppid=10107 vsize=75132 CPUtime=102.25
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 4542 0 0 0 10219 6 0 0 25 0 3 0 331177995 76935168 6914 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=75132 CPUtime=101.82
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 3403 0 0 0 10181 1 0 0 25 0 3 0 331177995 76935168 6914 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 75132

[startup+162.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 10112
/proc/meminfo: memFree=1183840/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=79760 CPUtime=323.79
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 10149 0 0 0 32369 10 0 0 18 0 3 0 331177994 81674240 8159 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 19940 8159 387 42 0 14192 0
[pid=10109/tid=10111] ppid=10107 vsize=79760 CPUtime=162.22
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 5501 0 0 0 16214 8 0 0 25 0 3 0 331177995 81674240 8159 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=79760 CPUtime=161.55
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 4148 0 0 0 16154 1 0 0 25 0 3 0 331177995 81674240 8159 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.79
Current children cumulated vsize (KiB) 79760

[startup+222.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 10112
/proc/meminfo: memFree=1179168/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=87732 CPUtime=443.5
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 12537 0 0 0 44337 13 0 0 18 0 3 0 331177994 89837568 9348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 21933 9348 387 42 0 16185 0
[pid=10109/tid=10111] ppid=10107 vsize=87732 CPUtime=222.2
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 6863 0 0 0 22209 11 0 0 25 0 3 0 331177995 89837568 9348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=87732 CPUtime=221.29
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 5174 0 0 0 22127 2 0 0 25 0 3 0 331177995 89837568 9348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241052 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.5
Current children cumulated vsize (KiB) 87732

[startup+282.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 10112
/proc/meminfo: memFree=1174752/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=93020 CPUtime=563.22
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 14049 0 0 0 56306 16 0 0 18 0 3 0 331177994 95252480 10429 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 23255 10429 387 42 0 17507 0
[pid=10109/tid=10111] ppid=10107 vsize=93020 CPUtime=282.18
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 7628 0 0 0 28205 13 0 0 25 0 3 0 331177995 95252480 10429 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=93020 CPUtime=281.02
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 5921 0 0 0 28100 2 0 0 25 0 3 0 331177995 95252480 10429 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242154 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.22
Current children cumulated vsize (KiB) 93020

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 10112
/proc/meminfo: memFree=1170976/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=96504 CPUtime=682.94
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 15368 0 0 0 68276 18 0 0 18 0 3 0 331177994 98820096 11389 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 24126 11389 387 42 0 18378 0
[pid=10109/tid=10111] ppid=10107 vsize=96504 CPUtime=342.15
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 8494 0 0 0 34201 14 0 0 25 0 3 0 331177995 98820096 11389 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312051 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=96504 CPUtime=340.76
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 6374 0 0 0 34074 2 0 0 25 0 3 0 331177995 98820096 11389 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.94
Current children cumulated vsize (KiB) 96504

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 10112
/proc/meminfo: memFree=1168032/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=101788 CPUtime=802.65
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 16834 0 0 0 80246 19 0 0 18 0 3 0 331177994 104230912 12108 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 25447 12108 387 42 0 19699 0
[pid=10109/tid=10111] ppid=10107 vsize=101788 CPUtime=402.13
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 9108 0 0 0 40197 16 0 0 25 0 3 0 331177995 104230912 12108 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=101788 CPUtime=400.51
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 7226 0 0 0 40048 3 0 0 25 0 3 0 331177995 104230912 12108 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.65
Current children cumulated vsize (KiB) 101788

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 10112
/proc/meminfo: memFree=1165088/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=105072 CPUtime=922.35
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 17877 0 0 0 92214 21 0 0 18 0 3 0 331177994 107593728 12825 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 26268 12825 387 42 0 20520 0
[pid=10109/tid=10111] ppid=10107 vsize=105072 CPUtime=462.1
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 9597 0 0 0 46193 17 0 0 25 0 3 0 331177995 107593728 12825 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=105072 CPUtime=460.23
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 7780 0 0 0 46020 3 0 0 25 0 3 0 331177995 107593728 12825 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.35
Current children cumulated vsize (KiB) 105072

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 10112
/proc/meminfo: memFree=1161760/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=108676 CPUtime=1042.07
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 19230 0 0 0 104185 22 0 0 18 0 3 0 331177994 111284224 13690 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 27169 13690 387 42 0 21421 0
[pid=10109/tid=10111] ppid=10107 vsize=108676 CPUtime=522.08
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 10575 0 0 0 52190 18 0 0 25 0 3 0 331177995 111284224 13690 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=108676 CPUtime=519.97
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 8155 0 0 0 51994 3 0 0 25 0 3 0 331177995 111284224 13690 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240896 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.07
Current children cumulated vsize (KiB) 108676

[startup+582.303 s]
/proc/loadavg: 1.99 1.97 1.91 4/80 10112
/proc/meminfo: memFree=1157088/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=112852 CPUtime=1161.79
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 20485 0 0 0 116154 25 0 0 18 0 3 0 331177994 115560448 14847 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 28213 14847 387 42 0 22465 0
[pid=10109/tid=10111] ppid=10107 vsize=112852 CPUtime=582.07
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 11392 0 0 0 58186 21 0 0 25 0 3 0 331177995 115560448 14847 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311072 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=112852 CPUtime=579.7
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 8593 0 0 0 57967 3 0 0 25 0 3 0 331177995 115560448 14847 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241168 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.79
Current children cumulated vsize (KiB) 112852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 10112
/proc/meminfo: memFree=1155936/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=113492 CPUtime=1200.09
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 20922 0 0 0 119983 26 0 0 18 0 3 0 331177994 116215808 15120 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 28373 15120 387 42 0 22625 0
[pid=10109/tid=10111] ppid=10107 vsize=113492 CPUtime=601.26
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 11630 0 0 0 60105 21 0 0 25 0 3 0 331177995 116215808 15120 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=113492 CPUtime=598.82
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 8792 0 0 0 59878 4 0 0 25 0 3 0 331177995 116215808 15120 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 113492

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: 1.99 1.97 1.91 3/80 10112
/proc/meminfo: memFree=1155936/2055924 swapFree=4156956/4192956
[pid=10109] ppid=10107 vsize=113492 CPUtime=1200.09
/proc/10109/stat : 10109 (ornithorynque) S 10107 10109 9234 0 -1 4194304 20922 0 0 0 119983 26 0 0 18 0 3 0 331177994 116215808 15120 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10109/statm: 28373 15120 387 42 0 22625 0
[pid=10109/tid=10111] ppid=10107 vsize=113492 CPUtime=601.26
/proc/10109/task/10111/stat : 10111 (ornithorynque) R 10107 10109 9234 0 -1 4194368 11630 0 0 0 60105 21 0 0 25 0 3 0 331177995 116215808 15120 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10109/tid=10112] ppid=10107 vsize=113492 CPUtime=598.82
/proc/10109/task/10112/stat : 10112 (ornithorynque) R 10107 10109 9234 0 -1 4194368 8792 0 0 0 59878 4 0 0 25 0 3 0 331177995 116215808 15120 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 113492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.524
CPU time (s): 1200.12
CPU user time (s): 1199.85
CPU system time (s): 0.273958
CPU usage (%): 199.514
Max. virtual memory (cumulated for all children) (KiB): 113492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.85
system time used= 0.273958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20922
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= 18
involuntary context switches= 22656

runsolver used 0.575912 second user time and 1.63775 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Mon Mar  5 16:30:33 UTC 2007

IDJOB= 328522
IDBENCH= 20444
IDSOLVER= 139
FILE ID= node6/328522-1173112233

PBS_JOBID= 4013929

Free space on /tmp= 66434 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  11c209576d94e395a78f5a6b8d2ce9b6

RANDOM SEED= 744422104

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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.277
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.277
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:      2055924 kB
MemFree:       1215760 kB
Buffers:         42872 kB
Cached:         703628 kB
SwapCached:       2520 kB
Active:         178272 kB
Inactive:       592600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1215760 kB
SwapTotal:     4192956 kB
SwapFree:      4156956 kB
Dirty:             280 kB
Writeback:           0 kB
Mapped:          32064 kB
Slab:            54888 kB
Committed_AS:  1226292 kB
PageTables:       1744 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= 66434 MiB

End job on node6 on Mon Mar  5 16:40:36 UTC 2007