Trace number 337423

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.11 601.547

General information on the benchmark

Namecrafted/Hard/contest03/others/
bqwh.60.1080.sat05-436.reshuffled-07.cnf
MD5SUM55013aff92da670c8aded0070c1f7bbe
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables6283
Number of clauses53810
Sum of the clauses size120037
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 250644
Number of clauses of size 3222
Number of clauses of size 4438
Number of clauses of size 5649
Number of clauses of size over 51857

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.09/0.11	c ...done
0.09/0.11	c nbVar=6283 nbClause=53810
0.09/0.13	c nbVar=6283 nbClause=53810
0.09/0.16	c complete search running
0.09/0.16	c local search running
0.09/0.17	c flip 0 nbSat=40820 maxSat=0
0.23/0.27	c flip 10000 nbSat=53065 maxSat=53067
0.43/0.35	c flip 20000 nbSat=53195 maxSat=53203
0.63/0.44	c flip 30000 nbSat=53238 maxSat=53244
0.83/0.53	c flip 40000 nbSat=53273 maxSat=53291
1.03/0.62	c flip 50000 nbSat=53289 maxSat=53311
1.23/0.70	c flip 60000 nbSat=53218 maxSat=53311
1.23/0.79	c flip 70000 nbSat=53288 maxSat=53311
1.43/0.88	c flip 80000 nbSat=53293 maxSat=53325
1.63/0.96	c flip 90000 nbSat=53282 maxSat=53325
1.83/1.06	c flip 100000 nbSat=53296 maxSat=53337
2.03/1.14	c flip 110000 nbSat=53274 maxSat=53337
2.22/1.23	c flip 120000 nbSat=53308 maxSat=53343
2.42/1.30	c flip 0 nbSat=41896 maxSat=53343
2.62/1.45	c flip 10000 nbSat=53918 maxSat=53918
2.82/1.59	c flip 20000 nbSat=54083 maxSat=54096
3.22/1.73	c flip 30000 nbSat=54095 maxSat=54127
3.42/1.86	c flip 40000 nbSat=54157 maxSat=54162
3.62/1.99	c flip 50000 nbSat=54128 maxSat=54182
4.02/2.14	c flip 60000 nbSat=54169 maxSat=54183
4.22/2.28	c flip 70000 nbSat=54157 maxSat=54203
4.61/2.41	c flip 80000 nbSat=54126 maxSat=54203
4.81/2.55	c flip 90000 nbSat=54124 maxSat=54203
5.01/2.68	c flip 100000 nbSat=54124 maxSat=54203
5.41/2.82	c flip 110000 nbSat=54136 maxSat=54203
5.61/2.95	c flip 120000 nbSat=54160 maxSat=54203
5.81/3.05	c flip 0 nbSat=43102 maxSat=54207
6.42/3.33	c flip 10000 nbSat=55278 maxSat=55296
6.81/3.58	c flip 20000 nbSat=55363 maxSat=55390
7.41/3.84	c flip 30000 nbSat=55395 maxSat=55420
7.81/4.09	c flip 40000 nbSat=55447 maxSat=55465
8.41/4.34	c flip 50000 nbSat=55440 maxSat=55503
8.81/4.57	c flip 60000 nbSat=55466 maxSat=55503
9.41/4.82	c flip 70000 nbSat=55441 maxSat=55503
9.81/5.07	c flip 80000 nbSat=55464 maxSat=55503
10.41/5.31	c flip 90000 nbSat=55448 maxSat=55514
10.81/5.55	c flip 100000 nbSat=55468 maxSat=55524
11.21/5.79	c flip 110000 nbSat=55474 maxSat=55524
11.80/6.04	c flip 120000 nbSat=55484 maxSat=55524
12.20/6.20	c flip 0 nbSat=45645 maxSat=55532
12.80/6.60	c flip 10000 nbSat=57379 maxSat=57391
13.59/6.96	c flip 20000 nbSat=57413 maxSat=57453
14.39/7.39	c flip 30000 nbSat=57427 maxSat=57479
15.19/7.74	c nbDecision=10000 #clauses=59022
15.38/7.82	c flip 40000 nbSat=57492 maxSat=57507
16.18/8.24	c flip 50000 nbSat=57494 maxSat=57537
16.98/8.62	c flip 60000 nbSat=57574 maxSat=57586
17.77/9.04	c flip 70000 nbSat=57589 maxSat=57598
18.57/9.49	c flip 80000 nbSat=57574 maxSat=57598
19.38/9.90	c flip 90000 nbSat=57534 maxSat=57598
20.37/10.30	c flip 100000 nbSat=57541 maxSat=57598
20.97/10.67	c flip 110000 nbSat=57591 maxSat=57605
21.77/11.05	c flip 120000 nbSat=57567 maxSat=57607
22.37/11.32	c flip 0 nbSat=48019 maxSat=57627
23.77/12.09	c flip 10000 nbSat=60138 maxSat=60144
25.36/12.83	c flip 20000 nbSat=60240 maxSat=60242
26.75/13.50	c flip 30000 nbSat=60309 maxSat=60309
28.16/14.28	c flip 40000 nbSat=60308 maxSat=60325
29.75/15.06	c flip 50000 nbSat=60336 maxSat=60343
31.35/15.82	c flip 60000 nbSat=60324 maxSat=60379
32.94/16.62	c flip 70000 nbSat=60340 maxSat=60379
34.34/17.30	c flip 80000 nbSat=60361 maxSat=60382
35.54/18.00	c flip 90000 nbSat=60359 maxSat=60401
36.94/18.61	c flip 100000 nbSat=60385 maxSat=60401
38.14/19.22	c flip 110000 nbSat=60402 maxSat=60434
39.34/19.88	c flip 120000 nbSat=60371 maxSat=60434
40.33/20.31	c flip 0 nbSat=51792 maxSat=60434
42.93/21.60	c flip 10000 nbSat=63660 maxSat=63666
45.51/22.99	c flip 20000 nbSat=63815 maxSat=63832
47.91/24.18	c flip 30000 nbSat=63819 maxSat=63850
50.11/25.21	c nbDecision=20000 #clauses=66113
50.31/25.37	c flip 40000 nbSat=63840 maxSat=63865
52.89/26.68	c flip 50000 nbSat=63883 maxSat=63917
55.28/27.88	c flip 60000 nbSat=63909 maxSat=63941
57.69/29.02	c flip 70000 nbSat=63925 maxSat=63954
59.88/30.14	c flip 80000 nbSat=63918 maxSat=63954
61.87/31.18	c flip 90000 nbSat=63985 maxSat=63991
64.27/32.35	c flip 100000 nbSat=63954 maxSat=63991
66.86/33.64	c flip 110000 nbSat=63988 maxSat=64019
69.46/34.92	c flip 120000 nbSat=63938 maxSat=64019
70.85/35.66	c flip 0 nbSat=56064 maxSat=64019
75.24/37.82	c flip 10000 nbSat=68087 maxSat=68095
79.83/40.13	c flip 20000 nbSat=68271 maxSat=68275
84.42/42.42	c flip 30000 nbSat=68240 maxSat=68309
88.61/44.57	c flip 40000 nbSat=68232 maxSat=68309
93.41/46.93	c flip 50000 nbSat=68218 maxSat=68309
98.40/49.43	c flip 60000 nbSat=68256 maxSat=68309
103.39/51.97	c flip 70000 nbSat=68286 maxSat=68318
108.17/54.38	c flip 80000 nbSat=68317 maxSat=68343
112.75/56.61	c flip 90000 nbSat=68329 maxSat=68365
116.34/58.41	c flip 100000 nbSat=68301 maxSat=68381
119.94/60.27	c flip 110000 nbSat=68338 maxSat=68381
123.73/62.19	c flip 120000 nbSat=68334 maxSat=68387
126.53/63.53	c flip 0 nbSat=60930 maxSat=68396
127.32/63.90	c nbDecision=30000 #clauses=73807
134.11/67.30	c flip 10000 nbSat=72872 maxSat=72896
140.88/70.74	c flip 20000 nbSat=73036 maxSat=73047
148.28/74.40	c flip 30000 nbSat=73051 maxSat=73109
154.46/77.59	c flip 40000 nbSat=73137 maxSat=73141
160.45/80.54	c flip 50000 nbSat=73093 maxSat=73148
167.03/83.84	c flip 60000 nbSat=73115 maxSat=73148
172.82/86.79	c flip 70000 nbSat=73113 maxSat=73153
179.82/90.25	c flip 80000 nbSat=73118 maxSat=73153
185.99/93.35	c flip 90000 nbSat=73122 maxSat=73154
192.18/96.48	c flip 100000 nbSat=73187 maxSat=73197
199.75/100.25	c flip 110000 nbSat=73157 maxSat=73217
206.94/103.88	c flip 120000 nbSat=73161 maxSat=73221
211.33/106.09	c flip 0 nbSat=67991 maxSat=73221
223.90/112.36	c flip 10000 nbSat=79731 maxSat=79742
230.48/115.60	c nbDecision=40000 #clauses=81418
237.46/119.13	c flip 20000 nbSat=79843 maxSat=79850
251.03/125.97	c flip 30000 nbSat=79889 maxSat=79900
263.81/132.32	c flip 40000 nbSat=79849 maxSat=79917
276.38/138.61	c flip 50000 nbSat=79862 maxSat=79923
288.55/144.75	c flip 60000 nbSat=79901 maxSat=79923
301.92/151.47	c flip 70000 nbSat=79868 maxSat=79930
314.90/157.98	c flip 80000 nbSat=79952 maxSat=79963
325.06/163.06	c flip 90000 nbSat=79945 maxSat=79974
335.64/168.37	c flip 100000 nbSat=79875 maxSat=79974
344.62/172.82	c nbDecision=50000 #clauses=89166
348.02/174.51	c flip 110000 nbSat=79888 maxSat=79974
362.18/181.60	c flip 120000 nbSat=79921 maxSat=79979
371.36/186.23	c flip 0 nbSat=78603 maxSat=79992
394.92/198.08	c flip 10000 nbSat=90292 maxSat=90303
417.05/209.11	c flip 20000 nbSat=90455 maxSat=90477
435.82/218.55	c flip 30000 nbSat=90473 maxSat=90500
457.56/229.45	c flip 40000 nbSat=90451 maxSat=90507
471.13/236.20	c nbDecision=60000 #clauses=96834
479.90/240.64	c flip 50000 nbSat=90470 maxSat=90542
502.66/252.08	c flip 60000 nbSat=90489 maxSat=90558
525.40/263.49	c flip 70000 nbSat=90501 maxSat=90558
550.15/275.87	c flip 80000 nbSat=90494 maxSat=90558
572.50/287.02	c flip 90000 nbSat=90435 maxSat=90558
595.05/298.37	c flip 100000 nbSat=90516 maxSat=90558
617.19/309.46	c flip 110000 nbSat=90488 maxSat=90558
622.58/312.15	c nbDecision=70000 #clauses=104661
641.34/321.54	c flip 120000 nbSat=90469 maxSat=90558
655.50/328.62	c flip 0 nbSat=93160 maxSat=90558
690.82/346.38	c flip 10000 nbSat=105571 maxSat=105591
729.33/365.67	c flip 20000 nbSat=105683 maxSat=105708
768.24/385.16	c flip 30000 nbSat=105687 maxSat=105709
791.19/396.61	c nbDecision=80000 #clauses=112512
807.16/404.67	c flip 40000 nbSat=105686 maxSat=105709
847.46/424.89	c flip 50000 nbSat=105685 maxSat=105730
891.55/446.96	c flip 60000 nbSat=105723 maxSat=105749
930.86/466.64	c flip 70000 nbSat=105732 maxSat=105780
973.17/487.83	c flip 80000 nbSat=105786 maxSat=105811
1017.67/510.10	c flip 90000 nbSat=105767 maxSat=105826
1064.96/533.85	c flip 100000 nbSat=105771 maxSat=105826
1106.46/554.61	c flip 110000 nbSat=105768 maxSat=105826
1142.58/572.73	c nbDecision=90000 #clauses=120599
1148.17/575.53	c flip 120000 nbSat=105755 maxSat=105826
1169.53/586.28	c flip 0 nbSat=108688 maxSat=105826

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/node58/watcher-337423-1173666846 -o ROOT/results/node58/solver-337423-1173666846 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/337423-1173666846/ornithorynque /tmp/evaluation/337423-1173666846/instance-337423-1173666846.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: 0.91 0.97 0.98 3/64 14130
/proc/meminfo: memFree=1856024/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=23220 CPUtime=0
/proc/14130/stat : 14130 (ornithorynque) R 14128 14130 12947 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 386641296 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226235550993 0 0 4096 0 0 0 0 17 1 0 0
/proc/14130/statm: 5805 266 219 42 0 45 0

[startup+0.055022 s]
/proc/loadavg: 0.91 0.97 0.98 3/64 14130
/proc/meminfo: memFree=1856024/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=25420 CPUtime=0.04
/proc/14130/stat : 14130 (ornithorynque) R 14128 14130 12947 0 -1 4194304 1054 0 0 0 4 0 0 0 18 0 1 0 386641296 26030080 982 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226238042849 0 0 4096 1088 0 0 0 17 1 0 0
/proc/14130/statm: 6355 982 377 42 0 607 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25420

[startup+0.101027 s]
/proc/loadavg: 0.91 0.97 0.98 3/64 14130
/proc/meminfo: memFree=1856024/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=27524 CPUtime=0.09
/proc/14130/stat : 14130 (ornithorynque) R 14128 14130 12947 0 -1 4194304 1625 0 0 0 8 1 0 0 18 0 1 0 386641296 28184576 1488 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226238042849 0 0 4096 1088 0 0 0 17 1 0 0
/proc/14130/statm: 6881 1488 377 42 0 1133 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27524

[startup+0.301057 s]
/proc/loadavg: 0.91 0.97 0.98 3/64 14130
/proc/meminfo: memFree=1856024/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=52724 CPUtime=0.43
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 2881 0 0 0 42 1 0 0 18 0 3 0 386641296 53989376 2594 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 13181 2594 387 42 0 7433 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 52724

[startup+0.7011 s]
/proc/loadavg: 0.91 0.97 0.98 3/64 14130
/proc/meminfo: memFree=1856024/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=52724 CPUtime=1.23
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 2897 0 0 0 122 1 0 0 18 0 3 0 386641296 53989376 2610 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 13181 2610 387 42 0 7433 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 52724

[startup+1.50119 s]
/proc/loadavg: 0.91 0.97 0.98 3/67 14133
/proc/meminfo: memFree=1846784/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=54092 CPUtime=2.82
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 3091 0 0 0 281 1 0 0 18 0 3 0 386641296 55390208 2804 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 13523 2804 387 42 0 7775 0
[pid=14130/tid=14132] ppid=14128 vsize=54092 CPUtime=1.33
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 118 0 0 0 133 0 0 0 25 0 3 0 386641312 55390208 2804 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=54092 CPUtime=1.33
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 159 0 0 0 133 0 0 0 18 0 3 0 386641312 55390208 2804 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241756 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 54092

[startup+3.10236 s]
/proc/loadavg: 1.00 0.98 0.99 3/67 14133
/proc/meminfo: memFree=1845760/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=55940 CPUtime=6.01
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 3544 0 0 0 600 1 0 0 18 0 3 0 386641296 57282560 3257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 13985 3257 387 42 0 8237 0
[pid=14130/tid=14132] ppid=14128 vsize=55940 CPUtime=2.93
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 245 0 0 0 293 0 0 0 25 0 3 0 386641312 57282560 3257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4313832 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=55940 CPUtime=2.92
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 485 0 0 0 292 0 0 0 17 0 3 0 386641312 57282560 3257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240961 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 55940

[startup+6.30171 s]
/proc/loadavg: 1.00 0.98 0.99 3/67 14133
/proc/meminfo: memFree=1843584/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=59936 CPUtime=12.4
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 4288 0 0 0 1238 2 0 0 18 0 3 0 386641296 61374464 4001 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 14984 4001 387 42 0 9236 0
[pid=14130/tid=14132] ppid=14128 vsize=59936 CPUtime=6.13
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 465 0 0 0 613 0 0 0 17 0 3 0 386641312 61374464 4001 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=59936 CPUtime=6.1
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 1009 0 0 0 610 0 0 0 17 0 3 0 386641312 61374464 4001 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 59936

[startup+12.7024 s]
/proc/loadavg: 1.08 1.00 0.99 3/67 14133
/proc/meminfo: memFree=1835520/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=66080 CPUtime=25.16
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 5735 0 0 0 2513 3 0 0 18 0 3 0 386641296 67665920 5448 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 16520 5448 387 42 0 10772 0
[pid=14130/tid=14132] ppid=14128 vsize=66080 CPUtime=12.53
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 986 0 0 0 1252 1 0 0 25 0 3 0 386641312 67665920 5448 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=66080 CPUtime=12.46
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 1935 0 0 0 1246 0 0 0 25 0 3 0 386641312 67665920 5448 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 66080

[startup+25.5018 s]
/proc/loadavg: 1.28 1.05 1.01 3/67 14133
/proc/meminfo: memFree=1826944/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=73760 CPUtime=50.7
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 7980 0 0 0 5064 6 0 0 18 0 3 0 386641296 75530240 7564 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 18440 7564 387 42 0 12692 0
[pid=14130/tid=14132] ppid=14128 vsize=73760 CPUtime=25.32
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 2098 0 0 0 2529 3 0 0 25 0 3 0 386641312 75530240 7564 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=73760 CPUtime=25.2
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 3068 0 0 0 2519 1 0 0 25 0 3 0 386641312 75530240 7564 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 73760

[startup+51.1016 s]
/proc/loadavg: 1.53 1.12 1.03 3/67 14133
/proc/meminfo: memFree=1814464/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=88608 CPUtime=101.79
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 11194 0 0 0 10169 10 0 0 18 0 3 0 386641296 90734592 10649 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 22152 10649 387 42 0 16404 0
[pid=14130/tid=14132] ppid=14128 vsize=88608 CPUtime=50.91
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 3552 0 0 0 5086 5 0 0 25 0 3 0 386641312 90734592 10649 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=88608 CPUtime=50.7
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 4828 0 0 0 5068 2 0 0 25 0 3 0 386641312 90734592 10649 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283791 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 88608

[startup+102.305 s]
/proc/loadavg: 1.81 1.27 1.09 3/67 14133
/proc/meminfo: memFree=1795776/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=108064 CPUtime=203.95
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 15839 0 0 0 20380 15 0 0 18 0 3 0 386641296 110657536 15294 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 27016 15294 387 42 0 21268 0
[pid=14130/tid=14132] ppid=14128 vsize=108064 CPUtime=102.1
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 6119 0 0 0 10201 9 0 0 25 0 3 0 386641312 110657536 15294 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=108064 CPUtime=101.68
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 6906 0 0 0 10164 4 0 0 25 0 3 0 386641312 110657536 15294 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 108064

[startup+162.302 s]
/proc/loadavg: 1.92 1.39 1.14 3/67 14133
/proc/meminfo: memFree=1773888/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=132632 CPUtime=323.67
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 21322 0 0 0 32346 21 0 0 18 0 3 0 386641296 135815168 20777 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 33158 20777 387 42 0 27410 0
[pid=14130/tid=14132] ppid=14128 vsize=132632 CPUtime=162.08
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 8354 0 0 0 16195 13 0 0 25 0 3 0 386641312 135815168 20777 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=132632 CPUtime=161.42
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 10154 0 0 0 16136 6 0 0 25 0 3 0 386641312 135815168 20777 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241026 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.67
Current children cumulated vsize (KiB) 132632

[startup+222.301 s]
/proc/loadavg: 1.97 1.51 1.19 3/67 14133
/proc/meminfo: memFree=1745856/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=164264 CPUtime=443.39
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 28281 0 0 0 44313 26 0 0 18 0 3 0 386641296 168206336 27736 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 41066 27736 387 42 0 35318 0
[pid=14130/tid=14132] ppid=14128 vsize=164264 CPUtime=222.06
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 10650 0 0 0 22190 16 0 0 25 0 3 0 386641312 168206336 27736 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=164264 CPUtime=221.16
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 14817 0 0 0 22109 7 0 0 25 0 3 0 386641312 168206336 27736 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.39
Current children cumulated vsize (KiB) 164264

[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.24 3/67 14133
/proc/meminfo: memFree=1737472/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=173480 CPUtime=563.12
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 30397 0 0 0 56282 30 0 0 18 0 3 0 386641296 177643520 29852 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 43370 29852 387 42 0 37622 0
[pid=14130/tid=14132] ppid=14128 vsize=173480 CPUtime=282.04
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 12766 0 0 0 28184 20 0 0 25 0 3 0 386641312 177643520 29852 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311518 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=173480 CPUtime=280.89
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 14817 0 0 0 28082 7 0 0 25 0 3 0 386641312 177643520 29852 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241600 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.12
Current children cumulated vsize (KiB) 173480

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.28 3/67 14133
/proc/meminfo: memFree=1695616/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=224332 CPUtime=682.84
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 40930 0 0 0 68247 37 0 0 18 0 3 0 386641296 229715968 40279 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 56083 40279 387 42 0 50335 0
[pid=14130/tid=14132] ppid=14128 vsize=224332 CPUtime=342.03
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 15021 0 0 0 34179 24 0 0 25 0 3 0 386641312 229715968 40279 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=224332 CPUtime=340.64
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 23095 0 0 0 34053 11 0 0 25 0 3 0 386641312 229715968 40279 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.84
Current children cumulated vsize (KiB) 224332

[startup+402.301 s]
/proc/loadavg: 1.99 1.72 1.32 3/67 14133
/proc/meminfo: memFree=1687808/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=232524 CPUtime=802.57
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 42885 0 0 0 80215 42 0 0 18 0 3 0 386641296 238104576 42234 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 58131 42234 387 42 0 52383 0
[pid=14130/tid=14132] ppid=14128 vsize=232524 CPUtime=402.01
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 16976 0 0 0 40173 28 0 0 25 0 3 0 386641312 238104576 42234 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=232524 CPUtime=400.39
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 23095 0 0 0 40027 12 0 0 25 0 3 0 386641312 238104576 42234 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.57
Current children cumulated vsize (KiB) 232524

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.36 3/67 14133
/proc/meminfo: memFree=1683264/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=236620 CPUtime=922.28
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 43975 0 0 0 92184 44 0 0 18 0 3 0 386641296 242298880 43324 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 59155 43324 387 42 0 53407 0
[pid=14130/tid=14132] ppid=14128 vsize=236620 CPUtime=461.99
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 18066 0 0 0 46168 31 0 0 25 0 3 0 386641312 242298880 43324 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242939 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=236620 CPUtime=460.13
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 23095 0 0 0 46001 12 0 0 25 0 3 0 386641312 242298880 43324 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241825 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.28
Current children cumulated vsize (KiB) 236620

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.40 3/67 14133
/proc/meminfo: memFree=1680960/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=238668 CPUtime=1042.02
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 44590 0 0 0 104156 46 0 0 18 0 3 0 386641296 244396032 43939 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 59667 43939 387 42 0 53919 0
[pid=14130/tid=14132] ppid=14128 vsize=238668 CPUtime=521.97
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 18681 0 0 0 52165 32 0 0 25 0 3 0 386641312 244396032 43939 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=238668 CPUtime=519.87
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 23095 0 0 0 51975 12 0 0 25 0 3 0 386641312 244396032 43939 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) 238668

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.43 3/67 14133
/proc/meminfo: memFree=1673728/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=245836 CPUtime=1161.74
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 46347 0 0 0 116125 49 0 0 18 0 3 0 386641296 251736064 45696 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 61459 45696 387 42 0 55711 0
[pid=14130/tid=14132] ppid=14128 vsize=245836 CPUtime=581.96
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 20438 0 0 0 58161 35 0 0 25 0 3 0 386641312 251736064 45696 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=245836 CPUtime=579.61
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 23095 0 0 0 57949 12 0 0 25 0 3 0 386641312 251736064 45696 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242439 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.74
Current children cumulated vsize (KiB) 245836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.501 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 14135
/proc/meminfo: memFree=1633600/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=294348 CPUtime=1200.05
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 56528 0 0 0 119951 54 0 0 18 0 3 0 386641296 301412352 55693 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 73587 55693 387 42 0 67839 0
[pid=14130/tid=14132] ppid=14128 vsize=294348 CPUtime=601.15
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 20725 0 0 0 60079 36 0 0 25 0 3 0 386641312 301412352 55693 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242995 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=294348 CPUtime=598.73
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 32989 0 0 0 59857 16 0 0 25 0 3 0 386641312 301412352 55693 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 294348

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: 1.99 1.85 1.45 3/67 14135
/proc/meminfo: memFree=1633600/2055920 swapFree=4170388/4192956
[pid=14130] ppid=14128 vsize=294348 CPUtime=1200.05
/proc/14130/stat : 14130 (ornithorynque) S 14128 14130 12947 0 -1 4194304 56528 0 0 0 119951 54 0 0 18 0 3 0 386641296 301412352 55693 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226247077755 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14130/statm: 73587 55693 387 42 0 67839 0
[pid=14130/tid=14132] ppid=14128 vsize=294348 CPUtime=601.15
/proc/14130/task/14132/stat : 14132 (ornithorynque) R 14128 14130 12947 0 -1 4194368 20725 0 0 0 60079 36 0 0 25 0 3 0 386641312 301412352 55693 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242995 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14130/tid=14133] ppid=14128 vsize=294348 CPUtime=598.73
/proc/14130/task/14133/stat : 14133 (ornithorynque) R 14128 14130 12947 0 -1 4194368 32989 0 0 0 59857 16 0 0 25 0 3 0 386641312 301412352 55693 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 294348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.547
CPU time (s): 1200.11
CPU user time (s): 1199.53
CPU system time (s): 0.578911
CPU usage (%): 199.504
Max. virtual memory (cumulated for all children) (KiB): 294348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.53
system time used= 0.578911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56528
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= 74
involuntary context switches= 9182

runsolver used 0.476927 second user time and 1.73974 second system time

The end

Launcher Data (download as text)

Begin job on node58 on Mon Mar 12 02:34:06 UTC 2007

IDJOB= 337423
IDBENCH= 24698
IDSOLVER= 139
FILE ID= node58/337423-1173666846

PBS_JOBID= 4101423

Free space on /tmp= 66508 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest03/others/bqwh.60.1080.sat05-436.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/337423-1173666846/ornithorynque /tmp/evaluation/337423-1173666846/instance-337423-1173666846.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-337423-1173666846 -o ROOT/results/node58/solver-337423-1173666846 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/337423-1173666846/ornithorynque /tmp/evaluation/337423-1173666846/instance-337423-1173666846.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  55013aff92da670c8aded0070c1f7bbe

RANDOM SEED= 872507690

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node58.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.234
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.234
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:       1856432 kB
Buffers:         22088 kB
Cached:         127456 kB
SwapCached:      16784 kB
Active:          77596 kB
Inactive:        94908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1856432 kB
SwapTotal:     4192956 kB
SwapFree:      4170388 kB
Dirty:             976 kB
Writeback:           0 kB
Mapped:          15476 kB
Slab:            13028 kB
Committed_AS:   807520 kB
PageTables:       1380 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= 66508 MiB

End job on node58 on Mon Mar 12 02:44:10 UTC 2007