Trace number 328480

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.17 601.527

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-25.cnf
MD5SUM0acd143a4e60b38309663b5993b5ded9
Bench CategoryINDUST (industrial 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 variables8920
Number of clauses31884
Sum of the clauses size83706
Maximum clause length229
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 215331
Number of clauses of size 314327
Number of clauses of size 41469
Number of clauses of size 5588
Number of clauses of size over 5168

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.07	c ...done
0.03/0.07	c nbVar=8920 nbClause=31884
0.03/0.09	c nbVar=8920 nbClause=31884
0.09/0.11	c complete search running
0.09/0.11	c local search running
0.09/0.11	c flip 0 nbSat=26019 maxSat=0
0.28/0.23	c flip 10000 nbSat=29982 maxSat=29982
0.48/0.39	c flip 20000 nbSat=30290 maxSat=30405
0.88/0.55	c flip 30000 nbSat=30429 maxSat=30503
1.28/0.72	c flip 40000 nbSat=30490 maxSat=30595
1.68/0.90	c flip 50000 nbSat=30608 maxSat=30670
1.89/1.09	c flip 60000 nbSat=30601 maxSat=30718
2.28/1.28	c flip 70000 nbSat=30645 maxSat=30747
2.68/1.47	c flip 80000 nbSat=30709 maxSat=30768
3.08/1.66	c flip 90000 nbSat=30697 maxSat=30795
3.48/1.85	c flip 100000 nbSat=30652 maxSat=30815
3.88/2.04	c flip 110000 nbSat=30649 maxSat=30815
4.29/2.24	c flip 120000 nbSat=30679 maxSat=30833
4.68/2.43	c flip 130000 nbSat=30769 maxSat=30839
5.08/2.62	c flip 140000 nbSat=30740 maxSat=30853
5.47/2.82	c flip 150000 nbSat=30750 maxSat=30880
5.47/2.87	c nbDecision=10000 #clauses=35505
5.87/3.01	c flip 160000 nbSat=30768 maxSat=30880
6.27/3.21	c flip 170000 nbSat=30803 maxSat=30880
6.66/3.40	c flip 0 nbSat=29543 maxSat=30880
7.06/3.69	c flip 10000 nbSat=33547 maxSat=33647
8.06/4.13	c flip 20000 nbSat=33848 maxSat=34020
9.05/4.64	c flip 30000 nbSat=34083 maxSat=34196
10.05/5.14	c flip 40000 nbSat=34147 maxSat=34232
11.04/5.65	c flip 50000 nbSat=34214 maxSat=34278
12.04/6.17	c flip 60000 nbSat=34202 maxSat=34310
13.24/6.72	c flip 70000 nbSat=34381 maxSat=34404
14.24/7.24	c flip 80000 nbSat=34174 maxSat=34406
15.24/7.76	c flip 90000 nbSat=34367 maxSat=34410
16.43/8.31	c flip 100000 nbSat=34276 maxSat=34450
17.44/8.84	c flip 110000 nbSat=34321 maxSat=34477
18.43/9.37	c flip 120000 nbSat=34392 maxSat=34497
19.63/9.93	c flip 130000 nbSat=34355 maxSat=34512
20.42/10.39	c nbDecision=20000 #clauses=40041
20.62/10.49	c flip 140000 nbSat=34326 maxSat=34512
21.83/11.03	c flip 150000 nbSat=34413 maxSat=34512
22.82/11.57	c flip 160000 nbSat=34345 maxSat=34512
24.02/12.11	c flip 170000 nbSat=34307 maxSat=34551
25.02/12.61	c flip 0 nbSat=36302 maxSat=34551
26.41/13.35	c flip 10000 nbSat=40155 maxSat=40196
28.80/14.53	c flip 20000 nbSat=40499 maxSat=40694
31.40/15.80	c flip 30000 nbSat=40764 maxSat=40837
33.59/16.98	c nbDecision=30000 #clauses=44800
33.99/17.11	c flip 40000 nbSat=40789 maxSat=40926
36.79/18.51	c flip 50000 nbSat=40892 maxSat=41007
39.39/19.84	c flip 60000 nbSat=40907 maxSat=41029
41.97/21.18	c flip 70000 nbSat=40936 maxSat=41055
44.77/22.58	c flip 80000 nbSat=40997 maxSat=41080
47.57/23.99	c flip 90000 nbSat=40921 maxSat=41140
50.37/25.34	c flip 100000 nbSat=41025 maxSat=41150
52.95/26.68	c flip 110000 nbSat=40942 maxSat=41166
55.54/27.98	c flip 120000 nbSat=40838 maxSat=41181
58.34/29.32	c flip 130000 nbSat=41142 maxSat=41222
60.93/30.65	c flip 140000 nbSat=41081 maxSat=41222
63.72/32.00	c flip 150000 nbSat=41138 maxSat=41231
66.32/33.39	c flip 160000 nbSat=41149 maxSat=41247
69.11/34.72	c flip 170000 nbSat=41181 maxSat=41273
71.51/35.99	c flip 0 nbSat=41375 maxSat=41286
74.90/37.65	c flip 10000 nbSat=45278 maxSat=45313
79.89/40.15	c flip 20000 nbSat=45705 maxSat=45743
85.28/42.84	c flip 30000 nbSat=45843 maxSat=45999
91.07/45.70	c flip 40000 nbSat=46046 maxSat=46135
96.65/48.53	c flip 50000 nbSat=45997 maxSat=46162
102.63/51.58	c flip 60000 nbSat=46009 maxSat=46163
108.82/54.66	c flip 70000 nbSat=46099 maxSat=46227
115.00/57.70	c flip 80000 nbSat=46193 maxSat=46281
120.99/60.72	c flip 90000 nbSat=46149 maxSat=46296
127.18/63.86	c flip 100000 nbSat=46137 maxSat=46326
133.17/66.89	c flip 110000 nbSat=46243 maxSat=46326
139.55/70.09	c flip 120000 nbSat=46198 maxSat=46326
145.73/73.19	c flip 130000 nbSat=46223 maxSat=46377
151.72/76.19	c flip 140000 nbSat=46266 maxSat=46377
157.91/79.22	c flip 150000 nbSat=45732 maxSat=46393
163.69/82.13	c flip 160000 nbSat=46217 maxSat=46393
169.88/85.24	c flip 170000 nbSat=46209 maxSat=46426
175.07/87.87	c flip 0 nbSat=41425 maxSat=46426
178.46/89.51	c flip 10000 nbSat=45167 maxSat=46426
183.45/92.02	c flip 20000 nbSat=45779 maxSat=46426
188.83/94.77	c flip 30000 nbSat=45938 maxSat=46426
194.62/97.65	c flip 40000 nbSat=45978 maxSat=46426
200.81/100.74	c flip 50000 nbSat=45889 maxSat=46426
206.79/103.78	c flip 60000 nbSat=45797 maxSat=46426
212.98/106.86	c flip 70000 nbSat=46139 maxSat=46426
218.97/109.87	c flip 80000 nbSat=46159 maxSat=46426
225.36/113.01	c flip 90000 nbSat=46039 maxSat=46426
230.94/115.89	c flip 100000 nbSat=46206 maxSat=46426
236.73/118.72	c flip 110000 nbSat=46203 maxSat=46426
242.91/121.81	c flip 120000 nbSat=46165 maxSat=46426
248.90/124.87	c flip 130000 nbSat=46182 maxSat=46426
254.88/127.86	c flip 140000 nbSat=46285 maxSat=46426
260.88/130.85	c flip 150000 nbSat=45985 maxSat=46426
266.86/133.88	c flip 160000 nbSat=46294 maxSat=46426
270.85/135.84	c nbDecision=40000 #clauses=50619
273.05/136.94	c flip 170000 nbSat=46278 maxSat=46426
278.44/139.66	c flip 0 nbSat=46470 maxSat=46426
285.02/142.91	c flip 10000 nbSat=50175 maxSat=50318
295.00/147.95	c flip 20000 nbSat=50731 maxSat=50747
303.17/152.01	c nbDecision=50000 #clauses=56689
305.77/153.37	c flip 30000 nbSat=50819 maxSat=50885
317.35/159.14	c flip 40000 nbSat=50844 maxSat=51010
329.72/165.32	c flip 50000 nbSat=51015 maxSat=51108
341.89/171.40	c flip 60000 nbSat=50987 maxSat=51117
354.06/177.55	c flip 70000 nbSat=51050 maxSat=51175
366.82/183.91	c flip 80000 nbSat=51007 maxSat=51232
378.80/189.95	c flip 90000 nbSat=51122 maxSat=51240
390.77/195.92	c flip 100000 nbSat=51146 maxSat=51255
397.36/199.28	c nbDecision=60000 #clauses=62965
403.15/202.14	c flip 110000 nbSat=51149 maxSat=51301
410.74/205.95	c nbDecision=70000 #clauses=68526
415.52/208.34	c flip 120000 nbSat=51256 maxSat=51316
428.09/214.62	c flip 130000 nbSat=51205 maxSat=51351
429.69/215.47	c nbDecision=80000 #clauses=73930
440.06/220.69	c flip 140000 nbSat=51289 maxSat=51351
452.64/226.93	c flip 150000 nbSat=51188 maxSat=51351
455.03/228.17	c nbDecision=90000 #clauses=80097
465.40/233.35	c flip 160000 nbSat=50976 maxSat=51351
478.18/239.78	c flip 170000 nbSat=51040 maxSat=51360
488.95/245.18	c flip 0 nbSat=75493 maxSat=51362
507.91/254.67	c nbDecision=100000 #clauses=85638
509.90/255.68	c flip 10000 nbSat=79271 maxSat=79350
529.66/265.59	c nbDecision=110000 #clauses=92027
542.23/271.82	c flip 20000 nbSat=79794 maxSat=79848
559.78/280.66	c nbDecision=120000 #clauses=98253
578.15/289.81	c flip 30000 nbSat=79970 maxSat=80073
585.54/293.59	c nbDecision=130000 #clauses=104507
614.47/308.03	c flip 40000 nbSat=79918 maxSat=80134
621.84/311.73	c nbDecision=140000 #clauses=110817
650.79/326.28	c flip 50000 nbSat=79978 maxSat=80175
688.30/345.04	c flip 60000 nbSat=79982 maxSat=80242
727.00/364.42	c flip 70000 nbSat=80171 maxSat=80283
765.52/383.74	c flip 80000 nbSat=80146 maxSat=80288
804.83/403.42	c flip 90000 nbSat=80239 maxSat=80351
843.14/422.65	c flip 100000 nbSat=80132 maxSat=80351
881.05/441.60	c flip 110000 nbSat=80268 maxSat=80351
920.16/461.22	c flip 120000 nbSat=80073 maxSat=80351
957.08/479.77	c flip 130000 nbSat=80383 maxSat=80411
995.59/499.03	c flip 140000 nbSat=80216 maxSat=80453
1034.91/518.72	c flip 150000 nbSat=80396 maxSat=80453
1075.61/539.14	c flip 160000 nbSat=80306 maxSat=80464
1115.32/559.04	c flip 170000 nbSat=80349 maxSat=80464
1149.45/576.18	c flip 0 nbSat=106190 maxSat=80475
1178.97/590.99	c flip 10000 nbSat=109516 maxSat=109561

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/node47/watcher-328480-1173111778 -o ROOT/results/node47/solver-328480-1173111778 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328480-1173111778/ornithorynque /tmp/evaluation/328480-1173111778/instance-328480-1173111778.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/64 16828
/proc/meminfo: memFree=1238672/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=23220 CPUtime=0
/proc/16828/stat : 16828 (ornithorynque) R 16826 16828 15951 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 37153053 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208714888945 0 0 4096 0 0 0 0 17 1 0 0
/proc/16828/statm: 5805 266 219 42 0 45 0

[startup+0.0457031 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 16828
/proc/meminfo: memFree=1238672/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=24912 CPUtime=0.03
/proc/16828/stat : 16828 (ornithorynque) R 16826 16828 15951 0 -1 4194304 910 0 0 0 3 0 0 0 18 0 1 0 37153053 25509888 838 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208717386465 0 0 4096 1088 0 0 0 17 1 0 0
/proc/16828/statm: 6228 838 377 42 0 480 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24912

[startup+0.101708 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 16828
/proc/meminfo: memFree=1238672/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=29440 CPUtime=0.09
/proc/16828/stat : 16828 (ornithorynque) R 16826 16828 15951 0 -1 4194304 2082 0 0 0 9 0 0 0 18 0 1 0 37153053 30146560 1978 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208717386465 0 0 4096 1088 0 0 0 17 1 0 0
/proc/16828/statm: 7360 1978 382 42 0 1612 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29440

[startup+0.301738 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 16828
/proc/meminfo: memFree=1238672/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=50312 CPUtime=0.48
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 2177 0 0 0 48 0 0 0 18 0 3 0 37153053 51519488 2073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 12578 2073 387 42 0 6830 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 50312

[startup+0.701781 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 16828
/proc/meminfo: memFree=1238672/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=50440 CPUtime=1.28
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 2204 0 0 0 128 0 0 0 18 0 3 0 37153053 51650560 2100 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 12610 2100 387 42 0 6862 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 50440

[startup+1.50287 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16831
/proc/meminfo: memFree=1231416/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=51068 CPUtime=2.88
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 2366 0 0 0 287 1 0 0 18 0 3 0 37153053 52293632 2197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 12767 2197 387 42 0 7019 0
[pid=16828/tid=16830] ppid=16826 vsize=51068 CPUtime=1.39
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 235 0 0 0 139 0 0 0 25 0 3 0 37153064 52293632 2197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=51068 CPUtime=1.38
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 2 0 0 0 138 0 0 0 25 0 3 0 37153064 52293632 2197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241172 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 51068

[startup+3.10105 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16831
/proc/meminfo: memFree=1230712/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=51728 CPUtime=6.07
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 2536 0 0 0 606 1 0 0 18 0 3 0 37153053 52969472 2367 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 12932 2367 387 42 0 7184 0
[pid=16828/tid=16830] ppid=16826 vsize=51728 CPUtime=2.98
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 405 0 0 0 298 0 0 0 25 0 3 0 37153064 52969472 2367 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242965 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=51728 CPUtime=2.97
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 2 0 0 0 297 0 0 0 25 0 3 0 37153064 52969472 2367 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242604 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 51728

[startup+6.30138 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16831
/proc/meminfo: memFree=1228664/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=53768 CPUtime=12.44
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 3029 0 0 0 1243 1 0 0 18 0 3 0 37153053 55058432 2795 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 13442 2795 387 42 0 7694 0
[pid=16828/tid=16830] ppid=16826 vsize=53768 CPUtime=6.18
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 429 0 0 0 618 0 0 0 25 0 3 0 37153064 55058432 2795 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311137 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=53768 CPUtime=6.15
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 471 0 0 0 615 0 0 0 25 0 3 0 37153064 55058432 2795 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241165 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 53768

[startup+12.7011 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16831
/proc/meminfo: memFree=1226808/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=58596 CPUtime=25.22
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 4073 0 0 0 2520 2 0 0 18 0 3 0 37153053 60002304 3839 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 14649 3839 387 42 0 8901 0
[pid=16828/tid=16830] ppid=16826 vsize=58596 CPUtime=12.58
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 907 0 0 0 1258 0 0 0 25 0 3 0 37153064 60002304 3839 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311068 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=58596 CPUtime=12.52
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 1037 0 0 0 1252 0 0 0 17 0 3 0 37153064 60002304 3839 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4286106 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 58596

[startup+25.5015 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16831
/proc/meminfo: memFree=1222392/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=60644 CPUtime=50.75
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 4626 0 0 0 5072 3 0 0 18 0 3 0 37153053 62099456 4392 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 15161 4392 387 42 0 9413 0
[pid=16828/tid=16830] ppid=16826 vsize=60644 CPUtime=25.37
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 1460 0 0 0 2536 1 0 0 25 0 3 0 37153064 62099456 4392 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4310956 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=60644 CPUtime=25.26
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 1037 0 0 0 2526 0 0 0 25 0 3 0 37153064 62099456 4392 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241077 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 60644

[startup+51.1012 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16831
/proc/meminfo: memFree=1219384/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=63524 CPUtime=101.83
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 5360 0 0 0 10180 3 0 0 18 0 3 0 37153053 65048576 5126 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 15881 5126 387 42 0 10133 0
[pid=16828/tid=16830] ppid=16826 vsize=63524 CPUtime=50.97
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 1495 0 0 0 5095 2 0 0 25 0 3 0 37153064 65048576 5126 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242794 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=63524 CPUtime=50.75
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 1736 0 0 0 5075 0 0 0 25 0 3 0 37153064 65048576 5126 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241539 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 63524

[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16831
/proc/meminfo: memFree=1219320/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=63524 CPUtime=204
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 5360 0 0 0 20397 3 0 0 18 0 3 0 37153053 65048576 5126 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 15881 5126 387 42 0 10133 0
[pid=16828/tid=16830] ppid=16826 vsize=63524 CPUtime=102.16
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 1495 0 0 0 10214 2 0 0 25 0 3 0 37153064 65048576 5126 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242823 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=63524 CPUtime=101.73
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 1736 0 0 0 10173 0 0 0 25 0 3 0 37153064 65048576 5126 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 63524

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16831
/proc/meminfo: memFree=1208696/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=74096 CPUtime=323.74
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 7994 0 0 0 32367 7 0 0 18 0 3 0 37153053 75874304 7760 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 18524 7760 387 42 0 12776 0
[pid=16828/tid=16830] ppid=16826 vsize=74096 CPUtime=162.13
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 3107 0 0 0 16209 4 0 0 25 0 3 0 37153064 75874304 7760 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242963 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=74096 CPUtime=161.48
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 2758 0 0 0 16147 1 0 0 25 0 3 0 37153064 75874304 7760 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.74
Current children cumulated vsize (KiB) 74096

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 16831
/proc/meminfo: memFree=1199544/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=84336 CPUtime=443.46
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 10466 0 0 0 44335 11 0 0 18 0 3 0 37153053 86360064 10040 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 21084 10040 387 42 0 15336 0
[pid=16828/tid=16830] ppid=16826 vsize=84336 CPUtime=222.11
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 5579 0 0 0 22203 8 0 0 25 0 3 0 37153064 86360064 10040 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=84336 CPUtime=221.22
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 2758 0 0 0 22121 1 0 0 25 0 3 0 37153064 86360064 10040 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241047 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.46
Current children cumulated vsize (KiB) 84336

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 4/67 16831
/proc/meminfo: memFree=1178488/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=107976 CPUtime=563.18
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 15876 0 0 0 56302 16 0 0 18 0 3 0 37153053 110567424 15321 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 26994 15321 387 42 0 21246 0
[pid=16828/tid=16830] ppid=16826 vsize=107976 CPUtime=282.1
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 7658 0 0 0 28198 12 0 0 25 0 3 0 37153064 110567424 15321 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208717385735 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=107976 CPUtime=280.96
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 6089 0 0 0 28094 2 0 0 25 0 3 0 37153064 110567424 15321 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.18
Current children cumulated vsize (KiB) 107976

[startup+342.302 s]
/proc/loadavg: 2.04 1.99 1.91 3/67 16831
/proc/meminfo: memFree=1171384/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=114120 CPUtime=682.91
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 17611 0 0 0 68271 20 0 0 18 0 3 0 37153053 116858880 17056 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 28530 17056 387 42 0 22782 0
[pid=16828/tid=16830] ppid=16826 vsize=114120 CPUtime=342.09
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 9393 0 0 0 34193 16 0 0 25 0 3 0 37153064 116858880 17056 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242957 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=114120 CPUtime=340.7
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 6089 0 0 0 34068 2 0 0 25 0 3 0 37153064 116858880 17056 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241140 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.91
Current children cumulated vsize (KiB) 114120

[startup+402.301 s]
/proc/loadavg: 2.01 1.99 1.91 3/67 16831
/proc/meminfo: memFree=1171256/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=115144 CPUtime=802.64
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 17628 0 0 0 80244 20 0 0 18 0 3 0 37153053 117907456 17073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 28786 17073 387 42 0 23038 0
[pid=16828/tid=16830] ppid=16826 vsize=115144 CPUtime=402.07
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 9410 0 0 0 40191 16 0 0 25 0 3 0 37153064 117907456 17073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242879 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=115144 CPUtime=400.45
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 6089 0 0 0 40042 3 0 0 25 0 3 0 37153064 117907456 17073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.64
Current children cumulated vsize (KiB) 115144

[startup+462.302 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 16831
/proc/meminfo: memFree=1171384/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=115144 CPUtime=922.36
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 17628 0 0 0 92216 20 0 0 18 0 3 0 37153053 117907456 17073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 28786 17073 387 42 0 23038 0
[pid=16828/tid=16830] ppid=16826 vsize=115144 CPUtime=462.05
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 9410 0 0 0 46189 16 0 0 25 0 3 0 37153064 117907456 17073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242970 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=115144 CPUtime=460.19
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 6089 0 0 0 46016 3 0 0 25 0 3 0 37153064 117907456 17073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.36
Current children cumulated vsize (KiB) 115144

[startup+522.302 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 16831
/proc/meminfo: memFree=1171384/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=115144 CPUtime=1042.09
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 17628 0 0 0 104189 20 0 0 18 0 3 0 37153053 117907456 17073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 28786 17073 387 42 0 23038 0
[pid=16828/tid=16830] ppid=16826 vsize=115144 CPUtime=522.03
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 9410 0 0 0 52187 16 0 0 25 0 3 0 37153064 117907456 17073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242954 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=115144 CPUtime=519.94
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 6089 0 0 0 51991 3 0 0 25 0 3 0 37153064 117907456 17073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.09
Current children cumulated vsize (KiB) 115144

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 16831
/proc/meminfo: memFree=1157560/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=130968 CPUtime=1161.81
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 21176 0 0 0 116160 21 0 0 18 0 3 0 37153053 134111232 20548 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 32742 20548 387 42 0 26994 0
[pid=16828/tid=16830] ppid=16826 vsize=130968 CPUtime=582.02
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 9410 0 0 0 58186 16 0 0 25 0 3 0 37153064 134111232 20548 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242963 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=130968 CPUtime=579.68
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 9637 0 0 0 57964 4 0 0 25 0 3 0 37153064 134111232 20548 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.81
Current children cumulated vsize (KiB) 130968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.503 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 16831
/proc/meminfo: memFree=1157496/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=130968 CPUtime=1200.13
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 21176 0 0 0 119992 21 0 0 18 0 3 0 37153053 134111232 20548 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 32742 20548 387 42 0 26994 0
[pid=16828/tid=16830] ppid=16826 vsize=130968 CPUtime=601.22
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 9410 0 0 0 60106 16 0 0 25 0 3 0 37153064 134111232 20548 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242914 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=130968 CPUtime=598.8
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 9637 0 0 0 59876 4 0 0 25 0 3 0 37153064 134111232 20548 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 130968

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

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

[startup+601.503 s]
/proc/loadavg: 2.00 1.99 1.91 3/67 16831
/proc/meminfo: memFree=1157496/2055920 swapFree=4192812/4192956
[pid=16828] ppid=16826 vsize=130968 CPUtime=1200.13
/proc/16828/stat : 16828 (ornithorynque) S 16826 16828 15951 0 -1 4194304 21176 0 0 0 119992 21 0 0 18 0 3 0 37153053 134111232 20548 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208726421371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/16828/statm: 32742 20548 387 42 0 26994 0
[pid=16828/tid=16830] ppid=16826 vsize=130968 CPUtime=601.22
/proc/16828/task/16830/stat : 16830 (ornithorynque) R 16826 16828 15951 0 -1 4194368 9410 0 0 0 60106 16 0 0 25 0 3 0 37153064 134111232 20548 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242914 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=16828/tid=16831] ppid=16826 vsize=130968 CPUtime=598.8
/proc/16828/task/16831/stat : 16831 (ornithorynque) R 16826 16828 15951 0 -1 4194368 9637 0 0 0 59876 4 0 0 25 0 3 0 37153064 134111232 20548 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 130968

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.527
CPU time (s): 1200.17
CPU user time (s): 1199.94
CPU system time (s): 0.229965
CPU usage (%): 199.52
Max. virtual memory (cumulated for all children) (KiB): 130968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.229965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21176
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= 14
involuntary context switches= 9211

runsolver used 0.561914 second user time and 1.64975 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Mon Mar  5 16:22:59 UTC 2007

IDJOB= 328480
IDBENCH= 20402
IDSOLVER= 139
FILE ID= node47/328480-1173111778

PBS_JOBID= 4013889

Free space on /tmp= 66564 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/industrial/fuhs/hard/AProVE07-25.cnf
COMMAND LINE= /tmp/evaluation/328480-1173111778/ornithorynque /tmp/evaluation/328480-1173111778/instance-328480-1173111778.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-328480-1173111778 -o ROOT/results/node47/solver-328480-1173111778 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328480-1173111778/ornithorynque /tmp/evaluation/328480-1173111778/instance-328480-1173111778.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  0acd143a4e60b38309663b5993b5ded9

RANDOM SEED= 14458031

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.225
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.225
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:       1239080 kB
Buffers:         30216 kB
Cached:         707380 kB
SwapCached:          0 kB
Active:          75088 kB
Inactive:       679380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1239080 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             772 kB
Writeback:           0 kB
Mapped:          27004 kB
Slab:            48360 kB
Committed_AS:   120828 kB
PageTables:       1452 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= 66564 MiB

End job on node47 on Mon Mar  5 16:33:03 UTC 2007