Trace number 328276

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.1 601.538

General information on the benchmark

Namerandom/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf
MD5SUMf797b412c0282263cc1dca0746fdda90
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark54.6397
Satisfiable
(Un)Satisfiability was proved
Number of variables7000
Number of clauses29400
Sum of the clauses size88200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 329400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
0.03/0.08	c ...done
0.03/0.08	c nbVar=7000 nbClause=29400
0.03/0.09	c nbVar=7000 nbClause=29400
0.09/0.11	c complete search running
0.09/0.11	c local search running
0.09/0.12	c flip 0 nbSat=25769 maxSat=0
0.28/0.20	c flip 10000 nbSat=28287 maxSat=28297
0.28/0.27	c flip 20000 nbSat=28652 maxSat=28654
0.48/0.34	c flip 30000 nbSat=28763 maxSat=28789
0.68/0.41	c flip 40000 nbSat=28855 maxSat=28878
0.68/0.48	c flip 50000 nbSat=28833 maxSat=28895
0.88/0.54	c flip 60000 nbSat=28866 maxSat=28908
1.08/0.61	c flip 70000 nbSat=28882 maxSat=28937
1.08/0.68	c flip 80000 nbSat=28916 maxSat=28937
1.28/0.74	c flip 90000 nbSat=28906 maxSat=28977
1.48/0.81	c flip 100000 nbSat=28951 maxSat=28991
1.48/0.88	c flip 110000 nbSat=28965 maxSat=28995
1.68/0.94	c flip 120000 nbSat=28951 maxSat=28997
1.88/1.01	c flip 130000 nbSat=28934 maxSat=28997
1.88/1.10	c flip 0 nbSat=26833 maxSat=29005
2.27/1.23	c flip 10000 nbSat=29491 maxSat=29493
2.47/1.38	c flip 20000 nbSat=29807 maxSat=29822
2.87/1.53	c flip 30000 nbSat=29888 maxSat=29922
3.07/1.68	c flip 40000 nbSat=29929 maxSat=29986
3.47/1.83	c flip 50000 nbSat=29945 maxSat=29986
3.67/1.98	c flip 60000 nbSat=29972 maxSat=30041
4.07/2.14	c flip 70000 nbSat=29995 maxSat=30041
4.27/2.29	c flip 80000 nbSat=30001 maxSat=30057
4.66/2.44	c flip 90000 nbSat=29988 maxSat=30057
5.06/2.60	c flip 100000 nbSat=29980 maxSat=30057
5.26/2.75	c flip 110000 nbSat=30002 maxSat=30057
5.66/2.90	c flip 120000 nbSat=30016 maxSat=30071
5.86/3.05	c flip 130000 nbSat=30015 maxSat=30071
6.26/3.24	c flip 0 nbSat=28586 maxSat=30071
6.66/3.47	c flip 10000 nbSat=31103 maxSat=31117
7.26/3.74	c flip 20000 nbSat=31479 maxSat=31518
7.86/4.04	c flip 30000 nbSat=31610 maxSat=31658
8.46/4.35	c flip 40000 nbSat=31723 maxSat=31740
9.05/4.66	c flip 50000 nbSat=31689 maxSat=31764
9.65/4.97	c flip 60000 nbSat=31740 maxSat=31784
10.46/5.31	c flip 70000 nbSat=31778 maxSat=31819
11.05/5.65	c flip 80000 nbSat=31778 maxSat=31841
11.65/5.96	c flip 90000 nbSat=31767 maxSat=31859
12.25/6.28	c flip 100000 nbSat=31813 maxSat=31859
12.86/6.60	c flip 110000 nbSat=31823 maxSat=31865
13.65/6.90	c flip 120000 nbSat=31811 maxSat=31865
14.05/7.18	c nbDecision=10000 #clauses=34918
14.25/7.20	c flip 130000 nbSat=31755 maxSat=31865
14.84/7.56	c flip 0 nbSat=31525 maxSat=31865
15.84/8.01	c flip 10000 nbSat=33996 maxSat=34007
16.83/8.50	c flip 20000 nbSat=34302 maxSat=34336
17.84/9.06	c flip 30000 nbSat=34449 maxSat=34489
19.04/9.60	c flip 40000 nbSat=34494 maxSat=34529
20.03/10.15	c flip 50000 nbSat=34618 maxSat=34644
21.23/10.74	c flip 60000 nbSat=34605 maxSat=34671
22.42/11.32	c flip 70000 nbSat=34641 maxSat=34671
23.42/11.89	c flip 80000 nbSat=34616 maxSat=34694
24.82/12.54	c flip 90000 nbSat=34692 maxSat=34729
26.02/13.15	c flip 100000 nbSat=34730 maxSat=34763
27.21/13.77	c flip 110000 nbSat=34737 maxSat=34781
28.42/14.36	c flip 120000 nbSat=34725 maxSat=34782
29.82/15.01	c flip 130000 nbSat=34695 maxSat=34782
31.01/15.67	c flip 0 nbSat=35218 maxSat=34782
32.41/16.38	c flip 10000 nbSat=37709 maxSat=37731
34.20/17.24	c flip 20000 nbSat=38115 maxSat=38125
35.99/18.17	c flip 30000 nbSat=38203 maxSat=38219
38.19/19.25	c flip 40000 nbSat=38271 maxSat=38303
40.38/20.35	c flip 50000 nbSat=38288 maxSat=38330
42.57/21.46	c flip 60000 nbSat=38343 maxSat=38379
42.77/21.56	c nbDecision=20000 #clauses=41064
44.77/22.58	c flip 70000 nbSat=38324 maxSat=38407
47.16/23.70	c flip 80000 nbSat=38418 maxSat=38424
49.16/24.75	c flip 90000 nbSat=38399 maxSat=38430
51.36/25.85	c flip 100000 nbSat=38405 maxSat=38452
53.75/27.04	c flip 110000 nbSat=38400 maxSat=38452
56.15/28.20	c flip 120000 nbSat=38411 maxSat=38473
58.34/29.33	c flip 130000 nbSat=38451 maxSat=38475
60.73/30.55	c flip 0 nbSat=40979 maxSat=38479
63.92/32.15	c flip 10000 nbSat=43562 maxSat=43596
67.73/34.06	c flip 20000 nbSat=43900 maxSat=43946
71.71/36.08	c flip 30000 nbSat=44037 maxSat=44047
76.30/38.32	c flip 40000 nbSat=44102 maxSat=44127
78.90/39.64	c nbDecision=30000 #clauses=47291
80.69/40.57	c flip 50000 nbSat=44167 maxSat=44202
85.47/42.91	c flip 60000 nbSat=44153 maxSat=44202
89.26/44.85	c flip 70000 nbSat=44182 maxSat=44202
93.65/47.09	c flip 80000 nbSat=44117 maxSat=44205
98.65/49.53	c flip 90000 nbSat=44187 maxSat=44224
103.43/51.91	c flip 100000 nbSat=44192 maxSat=44229
108.43/54.48	c flip 110000 nbSat=44157 maxSat=44229
113.41/56.92	c flip 120000 nbSat=44218 maxSat=44258
118.60/59.55	c flip 130000 nbSat=44230 maxSat=44270
123.59/62.04	c flip 0 nbSat=49361 maxSat=44285
128.17/64.36	c nbDecision=40000 #clauses=53480
130.37/65.46	c flip 10000 nbSat=51872 maxSat=51899
139.35/69.93	c flip 20000 nbSat=52281 maxSat=52292
148.73/74.68	c flip 30000 nbSat=52394 maxSat=52435
158.50/79.55	c flip 40000 nbSat=52439 maxSat=52480
168.49/84.54	c flip 50000 nbSat=52531 maxSat=52548
179.86/90.25	c flip 60000 nbSat=52572 maxSat=52587
191.63/96.16	c flip 70000 nbSat=52525 maxSat=52604
202.41/101.59	c flip 80000 nbSat=52572 maxSat=52604
205.20/102.99	c nbDecision=50000 #clauses=59853
213.78/107.24	c flip 90000 nbSat=52583 maxSat=52604
224.15/112.45	c flip 100000 nbSat=52503 maxSat=52604
234.53/117.64	c flip 110000 nbSat=52552 maxSat=52604
246.49/123.67	c flip 120000 nbSat=52548 maxSat=52604
257.47/129.11	c flip 130000 nbSat=52580 maxSat=52626
269.64/135.26	c flip 0 nbSat=60921 maxSat=52626
283.61/142.21	c flip 10000 nbSat=63435 maxSat=63485
296.38/148.61	c nbDecision=60000 #clauses=66305
300.97/150.92	c flip 20000 nbSat=63802 maxSat=63825
319.72/160.35	c flip 30000 nbSat=63954 maxSat=63978
338.88/169.94	c flip 40000 nbSat=64001 maxSat=64017
359.22/180.12	c flip 50000 nbSat=64025 maxSat=64061
379.98/190.59	c flip 60000 nbSat=64064 maxSat=64117
402.33/201.77	c flip 70000 nbSat=64064 maxSat=64127
405.73/203.47	c nbDecision=70000 #clauses=72901
425.08/213.17	c flip 80000 nbSat=64086 maxSat=64139
447.82/224.59	c flip 90000 nbSat=64069 maxSat=64154
468.97/235.17	c flip 100000 nbSat=64119 maxSat=64154
493.32/247.38	c flip 110000 nbSat=64136 maxSat=64186
517.26/259.32	c flip 120000 nbSat=64152 maxSat=64187
524.64/263.04	c nbDecision=80000 #clauses=79576
542.40/271.90	c flip 130000 nbSat=64191 maxSat=64196
564.55/283.07	c flip 0 nbSat=77740 maxSat=64196
589.69/295.70	c flip 10000 nbSat=80292 maxSat=80301
621.22/311.49	c flip 20000 nbSat=80594 maxSat=80603
648.95/325.39	c nbDecision=90000 #clauses=86011
655.73/328.72	c flip 30000 nbSat=80747 maxSat=80779
690.05/345.96	c flip 40000 nbSat=80826 maxSat=80862
726.17/364.06	c flip 50000 nbSat=80865 maxSat=80884
753.50/377.73	c nbDecision=100000 #clauses=92266
763.28/382.66	c flip 60000 nbSat=80883 maxSat=80916
799.99/401.03	c flip 70000 nbSat=80903 maxSat=80934
839.70/420.96	c flip 80000 nbSat=80921 maxSat=80974
853.87/428.04	c nbDecision=110000 #clauses=98412
878.21/440.21	c flip 90000 nbSat=80913 maxSat=80974
923.10/462.74	c flip 100000 nbSat=80909 maxSat=80974
968.99/485.70	c flip 110000 nbSat=80906 maxSat=80974
972.99/487.76	c nbDecision=120000 #clauses=104510
1012.49/507.51	c flip 120000 nbSat=80967 maxSat=80984
1054.59/528.65	c flip 130000 nbSat=80927 maxSat=81005
1097.09/549.91	c flip 0 nbSat=106597 maxSat=81005
1105.47/554.19	c nbDecision=130000 #clauses=110777
1135.99/569.48	c flip 10000 nbSat=109199 maxSat=109199
1184.68/593.82	c flip 20000 nbSat=109492 maxSat=109543

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/node65/watcher-328276-1173109614 -o ROOT/results/node65/solver-328276-1173109614 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328276-1173109614/ornithorynque /tmp/evaluation/328276-1173109614/instance-328276-1173109614.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: 2.00 2.00 1.91 3/64 9239
/proc/meminfo: memFree=893520/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=23220 CPUtime=0
/proc/9239/stat : 9239 (ornithorynque) R 9237 9239 8730 0 -1 4194304 279 0 0 0 0 0 0 0 18 0 1 0 330918958 23777280 258 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257201077746 0 0 4096 0 0 0 0 17 1 0 0
/proc/9239/statm: 5805 261 218 42 0 45 0

[startup+0.044682 s]
/proc/loadavg: 2.00 2.00 1.91 3/64 9239
/proc/meminfo: memFree=893520/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=24656 CPUtime=0.03
/proc/9239/stat : 9239 (ornithorynque) R 9237 9239 8730 0 -1 4194304 820 0 0 0 3 0 0 0 18 0 1 0 330918958 25247744 781 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257203540705 0 0 4096 1088 0 0 0 17 1 0 0
/proc/9239/statm: 6164 781 377 42 0 416 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24656

[startup+0.10169 s]
/proc/loadavg: 2.00 2.00 1.91 3/64 9239
/proc/meminfo: memFree=893520/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=28464 CPUtime=0.09
/proc/9239/stat : 9239 (ornithorynque) R 9237 9239 8730 0 -1 4194304 1848 0 0 0 8 1 0 0 18 0 1 0 330918958 29147136 1743 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4280453 0 0 4096 1088 0 0 0 17 1 0 0
/proc/9239/statm: 7116 1743 382 42 0 1368 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28464

[startup+0.302732 s]
/proc/loadavg: 2.00 2.00 1.91 3/64 9239
/proc/meminfo: memFree=893520/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=49708 CPUtime=0.48
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 1997 0 0 0 47 1 0 0 18 0 3 0 330918958 50900992 1892 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 12427 1892 387 42 0 6679 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 49708

[startup+0.702797 s]
/proc/loadavg: 2.00 2.00 1.91 3/64 9239
/proc/meminfo: memFree=893520/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=49840 CPUtime=1.28
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 2054 0 0 0 127 1 0 0 18 0 3 0 330918958 51036160 1949 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 12460 1949 387 42 0 6712 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 49840

[startup+1.50193 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 9242
/proc/meminfo: memFree=886904/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=52364 CPUtime=2.87
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 2423 0 0 0 286 1 0 0 18 0 3 0 330918958 53620736 2318 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 13091 2318 387 42 0 7343 0
[pid=9239/tid=9241] ppid=9237 vsize=52364 CPUtime=1.38
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 221 0 0 0 138 0 0 0 25 0 3 0 330918969 53620736 2318 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289482 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=52364 CPUtime=1.37
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 249 0 0 0 137 0 0 0 20 0 3 0 330918969 53620736 2318 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241536 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 52364

[startup+3.10119 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 9242
/proc/meminfo: memFree=885112/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=52364 CPUtime=6.06
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 2622 0 0 0 605 1 0 0 18 0 3 0 330918958 53620736 2517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 13091 2517 387 42 0 7343 0
[pid=9239/tid=9241] ppid=9237 vsize=52364 CPUtime=2.97
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 420 0 0 0 297 0 0 0 25 0 3 0 330918969 53620736 2517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=52364 CPUtime=2.97
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 249 0 0 0 297 0 0 0 25 0 3 0 330918969 53620736 2517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 52364

[startup+6.30171 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 9242
/proc/meminfo: memFree=881976/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=56716 CPUtime=12.45
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 3415 0 0 0 1242 3 0 0 18 0 3 0 330918958 58077184 3245 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 14179 3245 387 42 0 8431 0
[pid=9239/tid=9241] ppid=9237 vsize=56716 CPUtime=6.17
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 811 0 0 0 616 1 0 0 25 0 3 0 330918969 58077184 3245 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=56716 CPUtime=6.15
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 651 0 0 0 615 0 0 0 25 0 3 0 330918969 58077184 3245 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 56716

[startup+12.7018 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 9242
/proc/meminfo: memFree=877256/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=61068 CPUtime=25.22
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 4601 0 0 0 2518 4 0 0 18 0 3 0 330918958 62533632 4366 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 15267 4366 387 42 0 9519 0
[pid=9239/tid=9241] ppid=9237 vsize=61068 CPUtime=12.57
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 1304 0 0 0 1255 2 0 0 25 0 3 0 330918969 62533632 4366 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242974 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=61068 CPUtime=12.52
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 1344 0 0 0 1252 0 0 0 25 0 3 0 330918969 62533632 4366 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241583 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 61068

[startup+25.5029 s]
/proc/loadavg: 2.15 2.03 1.92 3/67 9242
/proc/meminfo: memFree=870472/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=68236 CPUtime=50.76
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 6285 0 0 0 5070 6 0 0 18 0 3 0 330918958 69873664 6050 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 17059 6050 387 42 0 11311 0
[pid=9239/tid=9241] ppid=9237 vsize=68236 CPUtime=25.36
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 2221 0 0 0 2533 3 0 0 25 0 3 0 330918969 69873664 6050 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=68236 CPUtime=25.27
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 2111 0 0 0 2526 1 0 0 25 0 3 0 330918969 69873664 6050 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 68236

[startup+51.1021 s]
/proc/loadavg: 2.29 2.08 1.94 3/67 9242
/proc/meminfo: memFree=860168/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=79500 CPUtime=101.84
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 8885 0 0 0 10176 8 0 0 18 0 3 0 330918958 81408000 8650 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 19875 8650 387 42 0 14127 0
[pid=9239/tid=9241] ppid=9237 vsize=79500 CPUtime=50.95
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 3475 0 0 0 5090 5 0 0 25 0 3 0 330918969 81408000 8650 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=79500 CPUtime=50.76
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 3457 0 0 0 5075 1 0 0 25 0 3 0 330918969 81408000 8650 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 79500

[startup+102.306 s]
/proc/loadavg: 2.21 2.09 1.95 3/67 9242
/proc/meminfo: memFree=844488/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=96112 CPUtime=204.01
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 12795 0 0 0 20388 13 0 0 18 0 3 0 330918958 98418688 12502 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 24028 12502 387 42 0 18280 0
[pid=9239/tid=9241] ppid=9237 vsize=96112 CPUtime=102.14
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 5458 0 0 0 10205 9 0 0 25 0 3 0 330918969 98418688 12502 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=96112 CPUtime=101.73
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 5384 0 0 0 10172 1 0 0 25 0 3 0 330918969 98418688 12502 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242313 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 96112

[startup+162.302 s]
/proc/loadavg: 2.07 2.07 1.95 3/67 9242
/proc/meminfo: memFree=821704/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=123104 CPUtime=323.71
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 18611 0 0 0 32351 20 0 0 18 0 3 0 330918958 126058496 18189 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 30776 18189 387 42 0 25028 0
[pid=9239/tid=9241] ppid=9237 vsize=123104 CPUtime=162.11
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 7647 0 0 0 16196 15 0 0 25 0 3 0 330918969 126058496 18189 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=123104 CPUtime=161.47
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 9011 0 0 0 16144 3 0 0 25 0 3 0 330918969 126058496 18189 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.71
Current children cumulated vsize (KiB) 123104

[startup+222.301 s]
/proc/loadavg: 2.03 2.06 1.95 3/67 9242
/proc/meminfo: memFree=813832/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=131296 CPUtime=443.42
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 20534 0 0 0 44318 24 0 0 18 0 3 0 330918958 134447104 20112 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 32824 20112 387 42 0 27076 0
[pid=9239/tid=9241] ppid=9237 vsize=131296 CPUtime=222.09
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 9570 0 0 0 22190 19 0 0 25 0 3 0 330918969 134447104 20112 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311264 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=131296 CPUtime=221.2
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 9011 0 0 0 22117 3 0 0 25 0 3 0 330918969 134447104 20112 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.42
Current children cumulated vsize (KiB) 131296

[startup+282.302 s]
/proc/loadavg: 2.01 2.04 1.95 3/67 9242
/proc/meminfo: memFree=806728/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=138596 CPUtime=563.15
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 22327 0 0 0 56288 27 0 0 18 0 3 0 330918958 141922304 21905 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 34649 21905 387 42 0 28901 0
[pid=9239/tid=9241] ppid=9237 vsize=138596 CPUtime=282.08
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 11363 0 0 0 28186 22 0 0 25 0 3 0 330918969 141922304 21905 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=138596 CPUtime=280.95
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 9011 0 0 0 28092 3 0 0 25 0 3 0 330918969 141922304 21905 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241401 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.15
Current children cumulated vsize (KiB) 138596

[startup+342.302 s]
/proc/loadavg: 2.00 2.03 1.95 3/67 9242
/proc/meminfo: memFree=774472/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=176492 CPUtime=682.86
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 30622 0 0 0 68253 33 0 0 18 0 3 0 330918958 180727808 29939 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 44123 29939 387 42 0 38375 0
[pid=9239/tid=9241] ppid=9237 vsize=176492 CPUtime=342.06
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 13166 0 0 0 34180 26 0 0 25 0 3 0 330918969 180727808 29939 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311238 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=176492 CPUtime=340.69
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 15503 0 0 0 34063 6 0 0 25 0 3 0 330918969 180727808 29939 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241583 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.86
Current children cumulated vsize (KiB) 176492

[startup+402.302 s]
/proc/loadavg: 2.00 2.02 1.95 3/67 9242
/proc/meminfo: memFree=769288/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=181612 CPUtime=802.58
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 31911 0 0 0 80222 36 0 0 18 0 3 0 330918958 185970688 31228 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 45403 31228 387 42 0 39655 0
[pid=9239/tid=9241] ppid=9237 vsize=181612 CPUtime=402.03
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 14455 0 0 0 40174 29 0 0 25 0 3 0 330918969 185970688 31228 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=181612 CPUtime=400.42
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 15503 0 0 0 40036 6 0 0 25 0 3 0 330918969 185970688 31228 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.58
Current children cumulated vsize (KiB) 181612

[startup+462.302 s]
/proc/loadavg: 2.00 2.02 1.95 3/67 9242
/proc/meminfo: memFree=765064/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=185708 CPUtime=922.3
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 32968 0 0 0 92192 38 0 0 18 0 3 0 330918958 190164992 32285 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 46427 32285 387 42 0 40679 0
[pid=9239/tid=9241] ppid=9237 vsize=185708 CPUtime=462.02
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 15512 0 0 0 46171 31 0 0 25 0 3 0 330918969 190164992 32285 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311229 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=185708 CPUtime=460.16
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 15503 0 0 0 46010 6 0 0 25 0 3 0 330918969 190164992 32285 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.3
Current children cumulated vsize (KiB) 185708

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/67 9242
/proc/meminfo: memFree=760968/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=189804 CPUtime=1042.02
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 34026 0 0 0 104162 40 0 0 18 0 3 0 330918958 194359296 33343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 47451 33343 387 42 0 41703 0
[pid=9239/tid=9241] ppid=9237 vsize=189804 CPUtime=521.99
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 16570 0 0 0 52166 33 0 0 25 0 3 0 330918969 194359296 33343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311537 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=189804 CPUtime=519.91
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 15503 0 0 0 51985 6 0 0 25 0 3 0 330918969 194359296 33343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.02
Current children cumulated vsize (KiB) 189804

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/67 9242
/proc/meminfo: memFree=731976/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=230164 CPUtime=1161.73
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 44801 0 0 0 116126 47 0 0 18 0 3 0 330918958 235687936 40580 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 57541 40580 387 42 0 51793 0
[pid=9239/tid=9241] ppid=9237 vsize=230164 CPUtime=581.97
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 17446 0 0 0 58162 35 0 0 25 0 3 0 330918969 235687936 40580 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=230164 CPUtime=579.62
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 25402 0 0 0 57952 10 0 0 25 0 3 0 330918969 235687936 40580 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.73
Current children cumulated vsize (KiB) 230164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.501 s]
/proc/loadavg: 2.00 2.01 1.95 3/67 9242
/proc/meminfo: memFree=731016/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=231188 CPUtime=1200.05
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 45035 0 0 0 119958 47 0 0 18 0 3 0 330918958 236736512 40814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 57797 40814 387 42 0 52049 0
[pid=9239/tid=9241] ppid=9237 vsize=231188 CPUtime=601.17
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 17680 0 0 0 60082 35 0 0 25 0 3 0 330918969 236736512 40814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=231188 CPUtime=598.75
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 25402 0 0 0 59865 10 0 0 25 0 3 0 330918969 236736512 40814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 231188

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

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

[startup+601.501 s]
/proc/loadavg: 2.00 2.01 1.95 3/67 9242
/proc/meminfo: memFree=731016/2055920 swapFree=4184052/4192956
[pid=9239] ppid=9237 vsize=231188 CPUtime=1200.05
/proc/9239/stat : 9239 (ornithorynque) S 9237 9239 8730 0 -1 4194304 45035 0 0 0 119958 47 0 0 18 0 3 0 330918958 236736512 40814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9239/statm: 57797 40814 387 42 0 52049 0
[pid=9239/tid=9241] ppid=9237 vsize=231188 CPUtime=601.17
/proc/9239/task/9241/stat : 9241 (ornithorynque) R 9237 9239 8730 0 -1 4194368 17680 0 0 0 60082 35 0 0 25 0 3 0 330918969 236736512 40814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9239/tid=9242] ppid=9237 vsize=231188 CPUtime=598.75
/proc/9239/task/9242/stat : 9242 (ornithorynque) R 9237 9239 8730 0 -1 4194368 25402 0 0 0 59865 10 0 0 25 0 3 0 330918969 236736512 40814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 231188

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.538
CPU time (s): 1200.1
CPU user time (s): 1199.6
CPU system time (s): 0.500923
CPU usage (%): 199.505
Max. virtual memory (cumulated for all children) (KiB): 231188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.6
system time used= 0.500923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45035
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= 33
involuntary context switches= 9180

runsolver used 0.432934 second user time and 1.77273 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Mon Mar  5 15:46:54 UTC 2007

IDJOB= 328276
IDBENCH= 20184
IDSOLVER= 139
FILE ID= node65/328276-1173109614

PBS_JOBID= 4013919

Free space on /tmp= 66511 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v7000/unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf
COMMAND LINE= /tmp/evaluation/328276-1173109614/ornithorynque /tmp/evaluation/328276-1173109614/instance-328276-1173109614.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-328276-1173109614 -o ROOT/results/node65/solver-328276-1173109614 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328276-1173109614/ornithorynque /tmp/evaluation/328276-1173109614/instance-328276-1173109614.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  f797b412c0282263cc1dca0746fdda90

RANDOM SEED= 949430094

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.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.259
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.259
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:        893928 kB
Buffers:         46380 kB
Cached:        1019984 kB
SwapCached:       3004 kB
Active:         388820 kB
Inactive:       687272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        893928 kB
SwapTotal:     4192956 kB
SwapFree:      4184052 kB
Dirty:             772 kB
Writeback:           0 kB
Mapped:          15536 kB
Slab:            71876 kB
Committed_AS:   757116 kB
PageTables:       1456 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= 66511 MiB

End job on node65 on Mon Mar  5 15:56:58 UTC 2007