Trace number 328269

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.534

General information on the benchmark

Namerandom/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf
MD5SUMab0e9ac33b65d3d4c4302e45af764ace
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark126.202
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.07/0.08	c ...done
0.07/0.08	c nbVar=7000 nbClause=29400
0.07/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=25611 maxSat=0
0.27/0.20	c flip 10000 nbSat=28248 maxSat=28266
0.27/0.27	c flip 20000 nbSat=28638 maxSat=28641
0.47/0.34	c flip 30000 nbSat=28732 maxSat=28751
0.67/0.41	c flip 40000 nbSat=28771 maxSat=28804
0.67/0.48	c flip 50000 nbSat=28850 maxSat=28893
0.87/0.55	c flip 60000 nbSat=28919 maxSat=28935
1.07/0.61	c flip 70000 nbSat=28886 maxSat=28958
1.07/0.68	c flip 80000 nbSat=28963 maxSat=28992
1.27/0.75	c flip 90000 nbSat=28956 maxSat=28992
1.47/0.81	c flip 100000 nbSat=28913 maxSat=28992
1.47/0.88	c flip 110000 nbSat=28963 maxSat=28992
1.67/0.95	c flip 120000 nbSat=28983 maxSat=29007
1.88/1.02	c flip 130000 nbSat=29003 maxSat=29031
2.08/1.10	c flip 0 nbSat=26636 maxSat=29031
2.27/1.23	c flip 10000 nbSat=29150 maxSat=29177
2.47/1.36	c flip 20000 nbSat=29562 maxSat=29567
2.87/1.50	c flip 30000 nbSat=29671 maxSat=29695
3.07/1.63	c flip 40000 nbSat=29818 maxSat=29835
3.27/1.76	c flip 50000 nbSat=29785 maxSat=29857
3.47/1.89	c flip 60000 nbSat=29859 maxSat=29874
3.87/2.02	c flip 70000 nbSat=29863 maxSat=29904
4.07/2.16	c flip 80000 nbSat=29892 maxSat=29935
4.27/2.29	c flip 90000 nbSat=29886 maxSat=29935
4.66/2.42	c flip 100000 nbSat=29869 maxSat=29935
4.86/2.54	c flip 110000 nbSat=29906 maxSat=29935
5.06/2.68	c flip 120000 nbSat=29892 maxSat=29935
5.46/2.81	c flip 130000 nbSat=29945 maxSat=29958
5.66/2.96	c flip 0 nbSat=28128 maxSat=29976
6.06/3.19	c flip 10000 nbSat=30629 maxSat=30638
6.65/3.44	c flip 20000 nbSat=30986 maxSat=30986
7.05/3.67	c flip 30000 nbSat=31161 maxSat=31170
7.65/3.92	c flip 40000 nbSat=31214 maxSat=31239
8.05/4.17	c flip 50000 nbSat=31225 maxSat=31264
8.66/4.43	c flip 60000 nbSat=31253 maxSat=31276
9.05/4.67	c flip 70000 nbSat=31299 maxSat=31305
9.65/4.91	c flip 80000 nbSat=31251 maxSat=31324
10.05/5.17	c flip 90000 nbSat=31340 maxSat=31359
10.65/5.45	c flip 100000 nbSat=31345 maxSat=31387
11.24/5.72	c flip 110000 nbSat=31353 maxSat=31387
11.85/6.01	c flip 120000 nbSat=31335 maxSat=31401
12.25/6.28	c flip 130000 nbSat=31416 maxSat=31420
12.86/6.60	c flip 0 nbSat=30472 maxSat=31423
13.64/6.99	c flip 10000 nbSat=33060 maxSat=33068
14.64/7.44	c flip 20000 nbSat=33348 maxSat=33349
15.44/7.88	c flip 30000 nbSat=33521 maxSat=33527
16.43/8.35	c flip 40000 nbSat=33528 maxSat=33561
16.43/8.38	c nbDecision=10000 #clauses=35197
17.44/8.86	c flip 50000 nbSat=33615 maxSat=33665
18.43/9.39	c flip 60000 nbSat=33638 maxSat=33707
19.43/9.87	c flip 70000 nbSat=33622 maxSat=33711
20.43/10.35	c flip 80000 nbSat=33643 maxSat=33711
21.43/10.82	c flip 90000 nbSat=33617 maxSat=33711
22.42/11.31	c flip 100000 nbSat=33635 maxSat=33711
23.42/11.83	c flip 110000 nbSat=33665 maxSat=33726
24.42/12.36	c flip 120000 nbSat=33684 maxSat=33726
25.62/12.91	c flip 130000 nbSat=33796 maxSat=33801
26.80/13.51	c flip 0 nbSat=33676 maxSat=33803
28.01/14.20	c flip 10000 nbSat=36286 maxSat=36303
29.60/14.98	c flip 20000 nbSat=36644 maxSat=36644
31.20/15.78	c flip 30000 nbSat=36687 maxSat=36718
32.80/16.59	c flip 40000 nbSat=36761 maxSat=36788
34.79/17.51	c flip 50000 nbSat=36822 maxSat=36867
36.58/18.45	c flip 60000 nbSat=36853 maxSat=36897
38.58/19.41	c flip 70000 nbSat=36866 maxSat=36927
40.37/20.34	c flip 80000 nbSat=36931 maxSat=36955
42.37/21.34	c flip 90000 nbSat=36895 maxSat=36972
44.37/22.33	c flip 100000 nbSat=36923 maxSat=36972
46.16/23.30	c flip 110000 nbSat=36936 maxSat=36972
48.17/24.28	c flip 120000 nbSat=36979 maxSat=37014
50.16/25.25	c flip 130000 nbSat=36960 maxSat=37014
52.36/26.32	c flip 0 nbSat=37606 maxSat=37020
52.95/26.69	c nbDecision=20000 #clauses=41441
54.75/27.54	c flip 10000 nbSat=40121 maxSat=40131
57.74/29.01	c flip 20000 nbSat=40511 maxSat=40513
60.72/30.59	c flip 30000 nbSat=40649 maxSat=40657
64.11/32.29	c flip 40000 nbSat=40692 maxSat=40722
67.92/34.12	c flip 50000 nbSat=40686 maxSat=40743
71.50/35.93	c flip 60000 nbSat=40756 maxSat=40808
74.89/37.61	c flip 70000 nbSat=40798 maxSat=40842
78.29/39.33	c flip 80000 nbSat=40795 maxSat=40858
81.68/41.07	c flip 90000 nbSat=40845 maxSat=40877
85.07/42.78	c flip 100000 nbSat=40905 maxSat=40914
88.66/44.50	c flip 110000 nbSat=40881 maxSat=40915
91.66/46.07	c nbDecision=30000 #clauses=47387
92.25/46.36	c flip 120000 nbSat=40888 maxSat=40915
96.05/48.23	c flip 130000 nbSat=40877 maxSat=40921
99.85/50.17	c flip 0 nbSat=44787 maxSat=40924
105.04/52.79	c flip 10000 nbSat=47321 maxSat=47329
111.42/55.95	c flip 20000 nbSat=47663 maxSat=47693
118.20/59.37	c flip 30000 nbSat=47875 maxSat=47883
125.18/62.83	c flip 40000 nbSat=47921 maxSat=47931
131.58/66.05	c flip 50000 nbSat=47958 maxSat=47993
137.56/69.02	c flip 60000 nbSat=47941 maxSat=48007
144.14/72.36	c flip 70000 nbSat=47919 maxSat=48007
150.92/75.76	c flip 80000 nbSat=48001 maxSat=48007
151.71/76.20	c nbDecision=40000 #clauses=53585
157.91/79.21	c flip 90000 nbSat=48039 maxSat=48043
165.08/82.84	c flip 100000 nbSat=48019 maxSat=48059
172.26/86.42	c flip 110000 nbSat=48021 maxSat=48084
180.05/90.35	c flip 120000 nbSat=48055 maxSat=48096
188.24/94.47	c flip 130000 nbSat=48048 maxSat=48102
196.42/98.59	c flip 0 nbSat=53562 maxSat=48102
206.19/103.45	c flip 10000 nbSat=56135 maxSat=56145
218.56/109.62	c flip 20000 nbSat=56401 maxSat=56409
230.94/115.89	c nbDecision=50000 #clauses=60074
232.73/116.76	c flip 30000 nbSat=56500 maxSat=56521
246.49/123.66	c flip 40000 nbSat=56596 maxSat=56624
261.26/131.03	c flip 50000 nbSat=56659 maxSat=56705
276.83/138.83	c flip 60000 nbSat=56701 maxSat=56725
291.20/146.01	c flip 70000 nbSat=56740 maxSat=56778
306.56/153.76	c flip 80000 nbSat=56705 maxSat=56813
316.34/158.62	c nbDecision=60000 #clauses=66490
320.53/160.73	c flip 90000 nbSat=56733 maxSat=56813
335.50/168.28	c flip 100000 nbSat=56765 maxSat=56813
350.66/175.86	c flip 110000 nbSat=56747 maxSat=56813
365.23/183.11	c flip 120000 nbSat=56730 maxSat=56813
380.60/190.89	c flip 130000 nbSat=56739 maxSat=56813
395.56/198.37	c flip 0 nbSat=68826 maxSat=56817
396.96/199.05	c nbDecision=70000 #clauses=72683
414.32/207.72	c flip 10000 nbSat=71362 maxSat=71381
436.67/218.93	c flip 20000 nbSat=71720 maxSat=71733
464.80/233.03	c flip 30000 nbSat=71843 maxSat=71892
483.16/242.24	c nbDecision=80000 #clauses=78843
491.74/246.54	c flip 40000 nbSat=71999 maxSat=72006
519.28/260.38	c flip 50000 nbSat=72022 maxSat=72035
545.82/273.66	c flip 60000 nbSat=72032 maxSat=72090
570.56/286.05	c flip 70000 nbSat=72056 maxSat=72090
591.91/296.75	c nbDecision=90000 #clauses=85017
595.91/298.75	c flip 80000 nbSat=72088 maxSat=72136
623.63/312.69	c flip 90000 nbSat=72141 maxSat=72170
653.58/327.65	c flip 100000 nbSat=72147 maxSat=72181
681.91/341.82	c flip 110000 nbSat=72106 maxSat=72184
709.64/355.71	c flip 120000 nbSat=72155 maxSat=72184
734.59/368.22	c nbDecision=100000 #clauses=91449
736.58/369.25	c flip 130000 nbSat=72146 maxSat=72184
767.31/384.66	c flip 0 nbSat=88944 maxSat=72184
794.45/398.29	c flip 10000 nbSat=91575 maxSat=91585
828.58/415.30	c flip 20000 nbSat=91876 maxSat=91925
868.68/435.44	c flip 30000 nbSat=92062 maxSat=92086
905.20/453.71	c nbDecision=110000 #clauses=97844
908.20/455.29	c flip 40000 nbSat=92107 maxSat=92158
945.30/473.85	c flip 50000 nbSat=92172 maxSat=92209
981.82/492.18	c flip 60000 nbSat=92210 maxSat=92230
1021.53/512.02	c flip 70000 nbSat=92152 maxSat=92240
1061.44/532.06	c flip 80000 nbSat=92167 maxSat=92240
1097.96/550.38	c nbDecision=120000 #clauses=104248
1109.12/555.93	c flip 90000 nbSat=92164 maxSat=92240
1156.83/579.83	c flip 100000 nbSat=92192 maxSat=92240

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node22/watcher-328269-1173109558 -o ROOT/results/node22/solver-328269-1173109558 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328269-1173109558/ornithorynque /tmp/evaluation/328269-1173109558/instance-328269-1173109558.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.84 1.95 1.97 3/77 15358
/proc/meminfo: memFree=1082088/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=23220 CPUtime=0
/proc/15358/stat : 15358 (ornithorynque) R 15356 15358 14849 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 36925449 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272465169681 0 0 4096 0 0 0 0 17 1 0 0
/proc/15358/statm: 5805 266 219 42 0 45 0

[startup+0.0778321 s]
/proc/loadavg: 1.84 1.95 1.97 3/77 15358
/proc/meminfo: memFree=1082088/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=25812 CPUtime=0.07
/proc/15358/stat : 15358 (ornithorynque) R 15356 15358 14849 0 -1 4194304 1116 0 0 0 7 0 0 0 18 0 1 0 36925449 26431488 1077 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272467661537 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15358/statm: 6453 1077 377 42 0 705 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25812

[startup+0.101833 s]
/proc/loadavg: 1.84 1.95 1.97 3/77 15358
/proc/meminfo: memFree=1082088/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=28464 CPUtime=0.09
/proc/15358/stat : 15358 (ornithorynque) R 15356 15358 14849 0 -1 4194304 1817 0 0 0 9 0 0 0 18 0 1 0 36925449 29147136 1745 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272467661537 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15358/statm: 7116 1745 382 42 0 1368 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28464

[startup+0.301857 s]
/proc/loadavg: 1.84 1.95 1.97 3/77 15358
/proc/meminfo: memFree=1082088/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=49708 CPUtime=0.47
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 1966 0 0 0 47 0 0 0 18 0 3 0 36925449 50900992 1894 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 12427 1894 387 42 0 6679 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 49708

[startup+0.701884 s]
/proc/loadavg: 1.84 1.95 1.97 3/77 15358
/proc/meminfo: memFree=1082088/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=49812 CPUtime=1.27
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 2012 0 0 0 127 0 0 0 18 0 3 0 36925449 51007488 1940 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 12453 1940 387 42 0 6705 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 49812

[startup+1.50194 s]
/proc/loadavg: 1.84 1.95 1.97 3/80 15361
/proc/meminfo: memFree=1075536/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=51640 CPUtime=2.87
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 2330 0 0 0 286 1 0 0 18 0 3 0 36925449 52879360 2258 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 12910 2258 387 42 0 7162 0
[pid=15358/tid=15360] ppid=15356 vsize=51640 CPUtime=1.38
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 196 0 0 0 138 0 0 0 25 0 3 0 36925461 52879360 2258 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=51640 CPUtime=1.37
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 213 0 0 0 137 0 0 0 20 0 3 0 36925461 52879360 2258 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 51640

[startup+3.10106 s]
/proc/loadavg: 1.84 1.95 1.97 3/80 15361
/proc/meminfo: memFree=1073872/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=53720 CPUtime=6.06
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 2902 0 0 0 605 1 0 0 18 0 3 0 36925449 55009280 2830 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 13430 2830 387 42 0 7682 0
[pid=15358/tid=15360] ppid=15356 vsize=53720 CPUtime=2.97
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 399 0 0 0 297 0 0 0 25 0 3 0 36925461 55009280 2830 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4310848 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=53720 CPUtime=2.96
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 582 0 0 0 296 0 0 0 18 0 3 0 36925461 55009280 2830 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241159 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 53720

[startup+6.30229 s]
/proc/loadavg: 1.85 1.95 1.97 3/80 15361
/proc/meminfo: memFree=1070800/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=56024 CPUtime=12.45
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 3334 0 0 0 1243 2 0 0 18 0 3 0 36925449 57368576 3197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 14006 3197 387 42 0 8258 0
[pid=15358/tid=15360] ppid=15356 vsize=56024 CPUtime=6.17
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 831 0 0 0 617 0 0 0 25 0 3 0 36925461 57368576 3197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289862 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=56024 CPUtime=6.15
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 582 0 0 0 615 0 0 0 25 0 3 0 36925461 57368576 3197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242337 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 56024

[startup+12.7018 s]
/proc/loadavg: 1.86 1.95 1.97 3/80 15361
/proc/meminfo: memFree=1065488/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=61408 CPUtime=25.22
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 4661 0 0 0 2519 3 0 0 18 0 3 0 36925449 62881792 4459 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 15352 4459 387 42 0 9604 0
[pid=15358/tid=15360] ppid=15356 vsize=61408 CPUtime=12.57
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 1335 0 0 0 1256 1 0 0 25 0 3 0 36925461 62881792 4459 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=61408 CPUtime=12.52
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 1405 0 0 0 1251 1 0 0 25 0 3 0 36925461 62881792 4459 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 61408

[startup+25.5017 s]
/proc/loadavg: 1.89 1.95 1.97 3/80 15361
/proc/meminfo: memFree=1058832/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=67668 CPUtime=50.75
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 6276 0 0 0 5070 5 0 0 18 0 3 0 36925449 69292032 6074 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 16917 6074 387 42 0 11169 0
[pid=15358/tid=15360] ppid=15356 vsize=67668 CPUtime=25.37
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 2022 0 0 0 2534 3 0 0 25 0 3 0 36925461 69292032 6074 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311466 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=67668 CPUtime=25.26
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 2333 0 0 0 2525 1 0 0 25 0 3 0 36925461 69292032 6074 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 67668

[startup+51.1016 s]
/proc/loadavg: 1.93 1.95 1.97 3/80 15361
/proc/meminfo: memFree=1042768/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=85548 CPUtime=101.84
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 10334 0 0 0 10176 8 0 0 18 0 3 0 36925449 87601152 10132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 21387 10132 387 42 0 15639 0
[pid=15358/tid=15360] ppid=15356 vsize=85548 CPUtime=50.96
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 3310 0 0 0 5091 5 0 0 25 0 3 0 36925461 87601152 10132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=85548 CPUtime=50.75
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 5103 0 0 0 5073 2 0 0 25 0 3 0 36925461 87601152 10132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 85548

[startup+102.305 s]
/proc/loadavg: 1.97 1.96 1.97 3/80 15361
/proc/meminfo: memFree=1026832/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=102220 CPUtime=204.01
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 14249 0 0 0 20389 12 0 0 18 0 3 0 36925449 104673280 14047 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 25555 14047 387 42 0 19807 0
[pid=15358/tid=15360] ppid=15356 vsize=102220 CPUtime=102.15
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 5089 0 0 0 10207 8 0 0 25 0 3 0 36925461 104673280 14047 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=102220 CPUtime=101.73
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 7239 0 0 0 10170 3 0 0 25 0 3 0 36925461 104673280 14047 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242128 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 102220

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.97 3/80 15361
/proc/meminfo: memFree=1019152/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=111152 CPUtime=323.72
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 16357 0 0 0 32356 16 0 0 18 0 3 0 36925449 113819648 15968 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 27788 15968 387 42 0 22040 0
[pid=15358/tid=15360] ppid=15356 vsize=111152 CPUtime=162.13
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 7197 0 0 0 16201 12 0 0 25 0 3 0 36925461 113819648 15968 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=111152 CPUtime=161.47
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 7239 0 0 0 16144 3 0 0 25 0 3 0 36925461 113819648 15968 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241834 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.72
Current children cumulated vsize (KiB) 111152

[startup+222.301 s]
/proc/loadavg: 2.03 1.98 1.97 3/80 15361
/proc/meminfo: memFree=995728/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=138216 CPUtime=443.45
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 22319 0 0 0 44323 22 0 0 18 0 3 0 36925449 141533184 21801 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 34554 21801 387 42 0 28806 0
[pid=15358/tid=15360] ppid=15356 vsize=138216 CPUtime=222.12
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 8850 0 0 0 22196 16 0 0 25 0 3 0 36925461 141533184 21801 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=138216 CPUtime=221.21
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 11548 0 0 0 22116 5 0 0 25 0 3 0 36925461 141533184 21801 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242595 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.45
Current children cumulated vsize (KiB) 138216

[startup+282.301 s]
/proc/loadavg: 2.24 2.05 1.99 3/80 15361
/proc/meminfo: memFree=990864/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=143336 CPUtime=563.18
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 23537 0 0 0 56293 25 0 0 18 0 3 0 36925449 146776064 23019 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 35834 23019 387 42 0 30086 0
[pid=15358/tid=15360] ppid=15356 vsize=143336 CPUtime=282.1
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 10068 0 0 0 28191 19 0 0 25 0 3 0 36925461 146776064 23019 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=143336 CPUtime=280.96
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 11548 0 0 0 28091 5 0 0 25 0 3 0 36925461 146776064 23019 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) 143336

[startup+342.302 s]
/proc/loadavg: 2.08 2.03 1.99 3/80 15361
/proc/meminfo: memFree=986640/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=147432 CPUtime=682.9
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 24577 0 0 0 68262 28 0 0 18 0 3 0 36925449 150970368 24059 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 36858 24059 387 42 0 31110 0
[pid=15358/tid=15360] ppid=15356 vsize=147432 CPUtime=342.09
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 11108 0 0 0 34187 22 0 0 25 0 3 0 36925461 150970368 24059 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311255 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=147432 CPUtime=340.69
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 11548 0 0 0 34064 5 0 0 25 0 3 0 36925461 150970368 24059 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.9
Current children cumulated vsize (KiB) 147432

[startup+402.301 s]
/proc/loadavg: 2.03 2.03 1.99 3/80 15361
/proc/meminfo: memFree=966288/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=171736 CPUtime=802.63
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 29953 0 0 0 80231 32 0 0 18 0 3 0 36925449 175857664 29171 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 42934 29171 387 42 0 37186 0
[pid=15358/tid=15360] ppid=15356 vsize=171736 CPUtime=402.07
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 11973 0 0 0 40183 24 0 0 25 0 3 0 36925461 175857664 29171 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=171736 CPUtime=400.43
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 16059 0 0 0 40036 7 0 0 25 0 3 0 36925461 175857664 29171 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.63
Current children cumulated vsize (KiB) 171736

[startup+462.302 s]
/proc/loadavg: 2.01 2.02 1.99 3/80 15361
/proc/meminfo: memFree=963152/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=174808 CPUtime=922.36
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 30730 0 0 0 92202 34 0 0 18 0 3 0 36925449 179003392 29948 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 43702 29948 387 42 0 37954 0
[pid=15358/tid=15360] ppid=15356 vsize=174808 CPUtime=462.06
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 12750 0 0 0 46180 26 0 0 25 0 3 0 36925461 179003392 29948 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=174808 CPUtime=460.18
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 16059 0 0 0 46011 7 0 0 25 0 3 0 36925461 179003392 29948 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) 174808

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 1.99 3/80 15361
/proc/meminfo: memFree=960080/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=177880 CPUtime=1042.09
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 31504 0 0 0 104173 36 0 0 18 0 3 0 36925449 182149120 30722 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 44470 30722 387 42 0 38722 0
[pid=15358/tid=15360] ppid=15356 vsize=177880 CPUtime=522.05
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 13524 0 0 0 52177 28 0 0 25 0 3 0 36925461 182149120 30722 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=177880 CPUtime=519.92
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 16059 0 0 0 51985 7 0 0 25 0 3 0 36925461 182149120 30722 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) 177880

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/80 15361
/proc/meminfo: memFree=956688/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=180952 CPUtime=1161.81
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 32335 0 0 0 116143 38 0 0 18 0 3 0 36925449 185294848 31553 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 45238 31553 387 42 0 39490 0
[pid=15358/tid=15360] ppid=15356 vsize=180952 CPUtime=582.02
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 14355 0 0 0 58173 29 0 0 25 0 3 0 36925461 185294848 31553 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=180952 CPUtime=579.65
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 16059 0 0 0 57958 7 0 0 25 0 3 0 36925461 185294848 31553 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285227 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.81
Current children cumulated vsize (KiB) 180952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 2.00 2.01 1.99 3/80 15361
/proc/meminfo: memFree=955792/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=181976 CPUtime=1200.12
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 32544 0 0 0 119974 38 0 0 18 0 3 0 36925449 186343424 31762 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 45494 31762 387 42 0 39746 0
[pid=15358/tid=15360] ppid=15356 vsize=181976 CPUtime=601.23
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 14564 0 0 0 60093 30 0 0 25 0 3 0 36925461 186343424 31762 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=181976 CPUtime=598.77
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 16059 0 0 0 59869 8 0 0 25 0 3 0 36925461 186343424 31762 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 181976

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

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

[startup+601.502 s]
/proc/loadavg: 2.00 2.01 1.99 3/80 15361
/proc/meminfo: memFree=955792/2055920 swapFree=4159164/4192956
[pid=15358] ppid=15356 vsize=181976 CPUtime=1200.12
/proc/15358/stat : 15358 (ornithorynque) S 15356 15358 14849 0 -1 4194304 32544 0 0 0 119974 38 0 0 18 0 3 0 36925449 186343424 31762 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 272476696443 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15358/statm: 45494 31762 387 42 0 39746 0
[pid=15358/tid=15360] ppid=15356 vsize=181976 CPUtime=601.23
/proc/15358/task/15360/stat : 15360 (ornithorynque) R 15356 15358 14849 0 -1 4194368 14564 0 0 0 60093 30 0 0 25 0 3 0 36925461 186343424 31762 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15358/tid=15361] ppid=15356 vsize=181976 CPUtime=598.77
/proc/15358/task/15361/stat : 15361 (ornithorynque) R 15356 15358 14849 0 -1 4194368 16059 0 0 0 59869 8 0 0 25 0 3 0 36925461 186343424 31762 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 181976

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.534
CPU time (s): 1200.17
CPU user time (s): 1199.76
CPU system time (s): 0.408937
CPU usage (%): 199.518
Max. virtual memory (cumulated for all children) (KiB): 181976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.76
system time used= 0.408937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32545
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= 47
involuntary context switches= 22563

runsolver used 0.649901 second user time and 1.56676 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Mon Mar  5 15:45:58 UTC 2007

IDJOB= 328269
IDBENCH= 20177
IDSOLVER= 139
FILE ID= node22/328269-1173109558

PBS_JOBID= 4013914

Free space on /tmp= 66537 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  ab0e9ac33b65d3d4c4302e45af764ace

RANDOM SEED= 767155066

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1082432 kB
Buffers:         50372 kB
Cached:         822852 kB
SwapCached:       2752 kB
Active:         204536 kB
Inactive:       691908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1082432 kB
SwapTotal:     4192956 kB
SwapFree:      4159164 kB
Dirty:             796 kB
Writeback:           0 kB
Mapped:          37600 kB
Slab:            62664 kB
Committed_AS:   179604 kB
PageTables:       1656 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66537 MiB

End job on node22 on Mon Mar  5 15:56:01 UTC 2007