Trace number 328327

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.08 601.631

General information on the benchmark

Namerandom/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf
MD5SUMa9c69ac58ba32eb3b79077be89bd5498
Bench CategoryRANDOM (random 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 variables5496
Number of clauses14684
Sum of the clauses size39647
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24405
Number of clauses of size 310279
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
0.00/0.04	c ...done
0.00/0.04	c nbVar=5500 nbClause=14684
0.00/0.04	c nbVar=5500 nbClause=14684
0.00/0.06	c complete search running
0.00/0.06	c local search running
0.05/0.06	c flip 0 nbSat=12224 maxSat=0
0.13/0.11	c flip 10000 nbSat=14292 maxSat=14301
0.13/0.16	c flip 20000 nbSat=14427 maxSat=14428
0.33/0.21	c flip 30000 nbSat=14450 maxSat=14467
0.33/0.25	c flip 40000 nbSat=14473 maxSat=14484
0.53/0.30	c flip 50000 nbSat=14468 maxSat=14484
0.53/0.35	c flip 60000 nbSat=14468 maxSat=14487
0.53/0.39	c flip 70000 nbSat=14467 maxSat=14495
0.73/0.44	c flip 80000 nbSat=14497 maxSat=14515
0.73/0.49	c flip 90000 nbSat=14511 maxSat=14526
0.93/0.53	c flip 100000 nbSat=14502 maxSat=14530
0.93/0.59	c flip 0 nbSat=13477 maxSat=14530
1.13/0.66	c flip 10000 nbSat=15476 maxSat=15487
1.33/0.74	c flip 20000 nbSat=15582 maxSat=15585
1.53/0.81	c flip 30000 nbSat=15601 maxSat=15637
1.53/0.88	c flip 40000 nbSat=15618 maxSat=15642
1.73/0.95	c flip 50000 nbSat=15637 maxSat=15659
1.93/1.03	c flip 60000 nbSat=15646 maxSat=15667
1.93/1.10	c flip 70000 nbSat=15656 maxSat=15676
2.13/1.18	c flip 80000 nbSat=15684 maxSat=15692
2.32/1.25	c flip 90000 nbSat=15682 maxSat=15700
2.52/1.33	c flip 100000 nbSat=15685 maxSat=15706
2.72/1.41	c flip 0 nbSat=15125 maxSat=15710
2.92/1.53	c flip 10000 nbSat=17091 maxSat=17096
3.12/1.64	c flip 20000 nbSat=17218 maxSat=17233
3.32/1.75	c flip 30000 nbSat=17255 maxSat=17266
3.52/1.86	c flip 40000 nbSat=17253 maxSat=17287
3.72/1.97	c flip 50000 nbSat=17270 maxSat=17287
3.93/2.07	c flip 60000 nbSat=17252 maxSat=17288
4.13/2.19	c flip 70000 nbSat=17254 maxSat=17298
4.53/2.30	c flip 80000 nbSat=17265 maxSat=17298
4.73/2.41	c flip 90000 nbSat=17292 maxSat=17308
4.93/2.51	c flip 100000 nbSat=17295 maxSat=17308
5.13/2.64	c flip 0 nbSat=17053 maxSat=17315
5.53/2.80	c flip 10000 nbSat=19096 maxSat=19101
5.73/2.96	c flip 20000 nbSat=19230 maxSat=19244
6.12/3.13	c flip 30000 nbSat=19295 maxSat=19316
6.12/3.14	c nbDecision=10000 #clauses=20412
6.53/3.31	c flip 40000 nbSat=19310 maxSat=19339
6.72/3.49	c flip 50000 nbSat=19333 maxSat=19357
7.11/3.68	c flip 60000 nbSat=19345 maxSat=19368
7.51/3.89	c flip 70000 nbSat=19349 maxSat=19368
7.91/4.09	c flip 80000 nbSat=19356 maxSat=19377
8.31/4.29	c flip 90000 nbSat=19349 maxSat=19377
8.91/4.51	c flip 100000 nbSat=19349 maxSat=19377
9.31/4.74	c flip 0 nbSat=20455 maxSat=19377
9.91/5.03	c flip 10000 nbSat=22513 maxSat=22515
10.51/5.34	c flip 20000 nbSat=22652 maxSat=22661
11.11/5.65	c flip 30000 nbSat=22721 maxSat=22729
11.71/5.94	c flip 40000 nbSat=22696 maxSat=22736
12.31/6.23	c flip 50000 nbSat=22731 maxSat=22745
12.91/6.54	c flip 60000 nbSat=22751 maxSat=22758
13.50/6.84	c flip 70000 nbSat=22748 maxSat=22767
14.10/7.12	c flip 80000 nbSat=22753 maxSat=22767
14.70/7.41	c flip 90000 nbSat=22744 maxSat=22773
14.90/7.55	c nbDecision=20000 #clauses=26561
15.11/7.70	c flip 100000 nbSat=22758 maxSat=22773
15.90/8.01	c flip 0 nbSat=24633 maxSat=22773
16.70/8.49	c flip 10000 nbSat=26693 maxSat=26697
17.89/9.06	c flip 20000 nbSat=26829 maxSat=26841
19.09/9.66	c flip 30000 nbSat=26873 maxSat=26897
20.28/10.22	c flip 40000 nbSat=26905 maxSat=26913
21.28/10.73	c flip 50000 nbSat=26908 maxSat=26932
22.28/11.27	c flip 60000 nbSat=26913 maxSat=26935
23.48/11.82	c flip 70000 nbSat=26914 maxSat=26935
24.67/12.40	c flip 80000 nbSat=26906 maxSat=26939
25.67/12.99	c flip 90000 nbSat=26909 maxSat=26939
26.87/13.55	c flip 100000 nbSat=26913 maxSat=26939
28.27/14.24	c flip 0 nbSat=30288 maxSat=26939
29.07/14.66	c nbDecision=30000 #clauses=33072
29.87/15.04	c flip 10000 nbSat=32363 maxSat=32370
31.66/15.96	c flip 20000 nbSat=32460 maxSat=32484
33.46/16.88	c flip 30000 nbSat=32512 maxSat=32541
35.25/17.78	c flip 40000 nbSat=32550 maxSat=32573
37.44/18.87	c flip 50000 nbSat=32579 maxSat=32588
39.44/19.86	c flip 60000 nbSat=32585 maxSat=32598
41.24/20.79	c flip 70000 nbSat=32584 maxSat=32611
43.23/21.73	c flip 80000 nbSat=32600 maxSat=32616
45.23/22.72	c flip 90000 nbSat=32580 maxSat=32616
46.03/23.18	c nbDecision=40000 #clauses=39424
47.42/23.87	c flip 100000 nbSat=32608 maxSat=32623
49.81/25.00	c flip 0 nbSat=38300 maxSat=32626
52.41/26.34	c flip 10000 nbSat=40285 maxSat=40320
56.01/28.15	c flip 20000 nbSat=40433 maxSat=40440
59.59/29.99	c flip 30000 nbSat=40457 maxSat=40484
63.58/31.93	c flip 40000 nbSat=40489 maxSat=40514
65.78/33.06	c nbDecision=50000 #clauses=45824
67.56/33.94	c flip 50000 nbSat=40494 maxSat=40523
71.56/35.93	c flip 60000 nbSat=40514 maxSat=40528
75.35/37.81	c flip 70000 nbSat=40508 maxSat=40528
79.34/39.80	c flip 80000 nbSat=40517 maxSat=40546
82.74/41.59	c flip 90000 nbSat=40531 maxSat=40554
86.53/43.42	c flip 100000 nbSat=40544 maxSat=40554
90.12/45.20	c flip 0 nbSat=49594 maxSat=40559
90.32/45.31	c nbDecision=60000 #clauses=52200
94.32/47.35	c flip 10000 nbSat=51681 maxSat=51709
100.30/50.32	c flip 20000 nbSat=51857 maxSat=51866
106.49/53.41	c flip 30000 nbSat=51876 maxSat=51892
112.66/56.54	c flip 40000 nbSat=51915 maxSat=51934
118.65/59.52	c flip 50000 nbSat=51912 maxSat=51938
122.65/61.51	c nbDecision=70000 #clauses=58765
124.84/62.68	c flip 60000 nbSat=51936 maxSat=51953
130.82/65.61	c flip 70000 nbSat=51941 maxSat=51957
137.41/68.92	c flip 80000 nbSat=51946 maxSat=51961
143.59/72.05	c flip 90000 nbSat=51950 maxSat=51961
149.58/75.08	c flip 100000 nbSat=51950 maxSat=51975
155.76/78.19	c nbDecision=80000 #clauses=65161
156.15/78.40	c flip 0 nbSat=62681 maxSat=51976
162.54/81.52	c flip 10000 nbSat=64801 maxSat=64818
169.92/85.23	c flip 20000 nbSat=64914 maxSat=64938
177.31/88.98	c flip 30000 nbSat=64970 maxSat=64988
184.69/92.63	c flip 40000 nbSat=65003 maxSat=65014
192.67/96.63	c flip 50000 nbSat=65004 maxSat=65036
197.67/99.19	c nbDecision=90000 #clauses=71801
200.46/100.51	c flip 60000 nbSat=64996 maxSat=65039
208.45/104.56	c flip 70000 nbSat=65017 maxSat=65039
215.22/107.96	c flip 80000 nbSat=65014 maxSat=65039
221.80/111.28	c flip 90000 nbSat=65035 maxSat=65048
228.98/114.90	c flip 100000 nbSat=65031 maxSat=65048
236.77/118.72	c flip 0 nbSat=74789 maxSat=65048
244.54/122.66	c nbDecision=100000 #clauses=78502
245.34/123.01	c flip 10000 nbSat=76908 maxSat=76909
255.91/128.34	c flip 20000 nbSat=77034 maxSat=77047
268.49/134.66	c flip 30000 nbSat=77077 maxSat=77093
279.46/140.17	c nbDecision=110000 #clauses=84893
280.46/140.62	c flip 40000 nbSat=77105 maxSat=77116
290.84/145.82	c flip 50000 nbSat=77108 maxSat=77124
302.01/151.46	c flip 60000 nbSat=77127 maxSat=77154
312.39/156.66	c flip 70000 nbSat=77145 maxSat=77157
324.77/162.83	c flip 80000 nbSat=77149 maxSat=77157
330.15/165.50	c nbDecision=120000 #clauses=91597
338.72/169.84	c flip 90000 nbSat=77122 maxSat=77163
352.09/176.53	c flip 100000 nbSat=77150 maxSat=77163
365.26/183.12	c flip 0 nbSat=93072 maxSat=77164
376.24/188.69	c flip 10000 nbSat=95183 maxSat=95189
387.01/194.02	c nbDecision=130000 #clauses=98355
392.40/196.71	c flip 20000 nbSat=95288 maxSat=95299
407.57/204.36	c flip 30000 nbSat=95347 maxSat=95377
420.94/211.00	c flip 40000 nbSat=95352 maxSat=95377
438.29/219.76	c flip 50000 nbSat=95391 maxSat=95400
449.26/225.26	c nbDecision=140000 #clauses=104909
454.65/227.95	c flip 60000 nbSat=95411 maxSat=95418
470.22/235.79	c flip 70000 nbSat=95391 maxSat=95419
485.98/243.62	c flip 80000 nbSat=95397 maxSat=95419
501.94/251.67	c flip 90000 nbSat=95392 maxSat=95419
512.33/256.80	c nbDecision=150000 #clauses=111601
518.91/260.11	c flip 100000 nbSat=95398 maxSat=95419
534.47/267.93	c flip 0 nbSat=111760 maxSat=95420
550.64/276.08	c flip 10000 nbSat=113805 maxSat=113828
568.99/285.24	c nbDecision=160000 #clauses=118200
572.99/287.25	c flip 20000 nbSat=113902 maxSat=113940
596.28/298.96	c flip 30000 nbSat=113933 maxSat=113975
619.37/310.55	c flip 40000 nbSat=113982 maxSat=114015
635.93/318.89	c nbDecision=170000 #clauses=124939
644.68/323.28	c flip 50000 nbSat=113999 maxSat=114024
669.21/335.59	c flip 60000 nbSat=114025 maxSat=114048
690.95/346.40	c flip 70000 nbSat=114034 maxSat=114059
712.44/357.28	c nbDecision=180000 #clauses=131663
714.44/358.27	c flip 80000 nbSat=114016 maxSat=114059
740.36/371.26	c flip 90000 nbSat=114042 maxSat=114059
765.45/383.83	c flip 100000 nbSat=114054 maxSat=114071
788.60/395.45	c nbDecision=190000 #clauses=138513
791.79/397.09	c flip 0 nbSat=136242 maxSat=114086
811.94/407.18	c flip 10000 nbSat=138300 maxSat=138309
839.29/420.83	c flip 20000 nbSat=138383 maxSat=138408
870.21/436.30	c flip 30000 nbSat=138403 maxSat=138422
903.33/452.98	c flip 40000 nbSat=138428 maxSat=138451
935.06/468.89	c flip 50000 nbSat=138469 maxSat=138481
960.19/481.49	c nbDecision=200000 #clauses=145454
964.38/483.56	c flip 60000 nbSat=138460 maxSat=138483
994.11/498.40	c flip 70000 nbSat=138489 maxSat=138510
1025.04/513.97	c flip 80000 nbSat=138489 maxSat=138511
1058.76/530.81	c flip 90000 nbSat=138484 maxSat=138511
1063.35/533.18	c nbDecision=210000 #clauses=152357
1092.09/547.54	c flip 100000 nbSat=138481 maxSat=138521
1122.00/562.54	c flip 0 nbSat=153807 maxSat=138521
1143.36/573.25	c flip 10000 nbSat=155831 maxSat=155837
1160.13/581.63	c nbDecision=220000 #clauses=159032
1171.50/587.37	c flip 20000 nbSat=155940 maxSat=155945

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/node43/watcher-328327-1173110163 -o ROOT/results/node43/solver-328327-1173110163 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328327-1173110163/ornithorynque /tmp/evaluation/328327-1173110163/instance-328327-1173110163.cnf 

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


[startup+0 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 23621
/proc/meminfo: memFree=1352648/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=23220 CPUtime=0
/proc/23621/stat : 23621 (ornithorynque) R 23619 23621 23070 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 330972342 23777280 257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216846600917 0 0 4096 0 0 0 0 17 1 0 0
/proc/23621/statm: 5805 260 217 42 0 45 0

[startup+0.0630651 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 23621
/proc/meminfo: memFree=1352648/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=47084 CPUtime=0.05
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 1320 0 0 0 5 0 0 0 18 0 3 0 330972342 48214016 1281 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 11771 1281 387 42 0 6023 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 47084

[startup+0.101076 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 23621
/proc/meminfo: memFree=1352648/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=47236 CPUtime=0.13
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 1331 0 0 0 13 0 0 0 18 0 3 0 330972342 48369664 1292 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 11809 1292 387 42 0 6061 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 47236

[startup+0.301106 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 23621
/proc/meminfo: memFree=1352648/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=47236 CPUtime=0.53
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 1350 0 0 0 53 0 0 0 18 0 3 0 330972342 48369664 1311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 11809 1311 387 42 0 6061 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 47236

[startup+0.701175 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 23621
/proc/meminfo: memFree=1352648/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=48656 CPUtime=1.33
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 1455 0 0 0 133 0 0 0 18 0 3 0 330972342 49823744 1416 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 12164 1416 387 42 0 6416 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 48656

[startup+1.50131 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 23624
/proc/meminfo: memFree=1348144/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=49176 CPUtime=2.92
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 1716 0 0 0 292 0 0 0 18 0 3 0 330972342 50356224 1611 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 12294 1611 387 42 0 6546 0
[pid=23621/tid=23623] ppid=23619 vsize=49176 CPUtime=1.43
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 236 0 0 0 143 0 0 0 17 0 3 0 330972348 50356224 1611 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4310873 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=49176 CPUtime=1.43
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 172 0 0 0 143 0 0 0 25 0 3 0 330972348 50356224 1611 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 49176

[startup+3.10257 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 23624
/proc/meminfo: memFree=1347248/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=50596 CPUtime=6.12
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 2002 0 0 0 611 1 0 0 18 0 3 0 330972342 51810304 1897 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 12649 1897 387 42 0 6901 0
[pid=23621/tid=23623] ppid=23619 vsize=50596 CPUtime=3.03
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 415 0 0 0 303 0 0 0 25 0 3 0 330972348 51810304 1897 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4310975 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=50596 CPUtime=3.02
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 279 0 0 0 302 0 0 0 25 0 3 0 330972348 51810304 1897 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242187 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 50596

[startup+6.3011 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 23624
/proc/meminfo: memFree=1344816/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=52148 CPUtime=12.51
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 2438 0 0 0 1249 2 0 0 18 0 3 0 330972342 53399552 2333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 13037 2333 387 42 0 7289 0
[pid=23621/tid=23623] ppid=23619 vsize=52148 CPUtime=6.22
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 706 0 0 0 622 0 0 0 25 0 3 0 330972348 53399552 2333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311203 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=52148 CPUtime=6.21
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 424 0 0 0 621 0 0 0 25 0 3 0 330972348 53399552 2333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242567 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 52148

[startup+12.7022 s]
/proc/loadavg: 1.86 1.94 1.90 3/67 23624
/proc/meminfo: memFree=1341944/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=54212 CPUtime=25.27
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 3105 0 0 0 2525 2 0 0 18 0 3 0 330972342 55513088 3000 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 13553 3000 387 42 0 7805 0
[pid=23621/tid=23623] ppid=23619 vsize=54212 CPUtime=12.62
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 1168 0 0 0 1261 1 0 0 25 0 3 0 330972348 55513088 3000 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=54212 CPUtime=12.58
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 629 0 0 0 1258 0 0 0 25 0 3 0 330972348 55513088 3000 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240128 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 54212

[startup+25.5013 s]
/proc/loadavg: 1.89 1.94 1.90 3/67 23624
/proc/meminfo: memFree=1337080/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=60304 CPUtime=50.81
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 4412 0 0 0 5077 4 0 0 18 0 3 0 330972342 61751296 4177 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 15076 4177 387 42 0 9328 0
[pid=23621/tid=23623] ppid=23619 vsize=60304 CPUtime=25.43
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 1850 0 0 0 2540 3 0 0 21 0 3 0 330972348 61751296 4177 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289062 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=60304 CPUtime=25.32
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 1254 0 0 0 2532 0 0 0 25 0 3 0 330972348 61751296 4177 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241629 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 60304

[startup+51.1015 s]
/proc/loadavg: 1.93 1.94 1.90 3/67 23624
/proc/meminfo: memFree=1331640/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=65320 CPUtime=101.89
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 5783 0 0 0 10182 7 0 0 18 0 3 0 330972342 66887680 5548 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 16330 5548 387 42 0 10582 0
[pid=23621/tid=23623] ppid=23619 vsize=65320 CPUtime=51.02
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 2727 0 0 0 5097 5 0 0 25 0 3 0 330972348 66887680 5548 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=65320 CPUtime=50.81
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 1748 0 0 0 5080 1 0 0 25 0 3 0 330972348 66887680 5548 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 65320

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 23624
/proc/meminfo: memFree=1324152/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=74028 CPUtime=204.06
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 7785 0 0 0 20396 10 0 0 18 0 3 0 330972342 75804672 7363 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 18507 7363 387 42 0 12759 0
[pid=23621/tid=23623] ppid=23619 vsize=74028 CPUtime=102.19
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 4130 0 0 0 10212 7 0 0 25 0 3 0 330972348 75804672 7363 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=74028 CPUtime=101.78
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 2347 0 0 0 10177 1 0 0 25 0 3 0 330972348 75804672 7363 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242179 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 74028

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/67 23624
/proc/meminfo: memFree=1317048/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=81648 CPUtime=323.77
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 9697 0 0 0 32365 12 0 0 18 0 3 0 330972342 83607552 9146 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 20412 9146 387 42 0 14664 0
[pid=23621/tid=23623] ppid=23619 vsize=81648 CPUtime=162.17
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 5426 0 0 0 16208 9 0 0 25 0 3 0 330972348 83607552 9146 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=81648 CPUtime=161.52
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 2963 0 0 0 16151 1 0 0 25 0 3 0 330972348 83607552 9146 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.77
Current children cumulated vsize (KiB) 81648

[startup+222.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 23624
/proc/meminfo: memFree=1309176/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=89268 CPUtime=443.47
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 11704 0 0 0 44332 15 0 0 18 0 3 0 330972342 91410432 11087 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 22317 11087 387 42 0 16569 0
[pid=23621/tid=23623] ppid=23619 vsize=89268 CPUtime=222.15
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 6449 0 0 0 22203 12 0 0 25 0 3 0 330972348 91410432 11087 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311332 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=89268 CPUtime=221.25
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 3947 0 0 0 22123 2 0 0 25 0 3 0 330972348 91410432 11087 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.47
Current children cumulated vsize (KiB) 89268

[startup+282.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23624
/proc/meminfo: memFree=1301816/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=97700 CPUtime=563.2
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 13811 0 0 0 56302 18 0 0 18 0 3 0 330972342 100044800 12933 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 24425 12933 387 42 0 18677 0
[pid=23621/tid=23623] ppid=23619 vsize=97700 CPUtime=282.13
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 7530 0 0 0 28199 14 0 0 25 0 3 0 330972348 100044800 12933 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=97700 CPUtime=281
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 4973 0 0 0 28097 3 0 0 25 0 3 0 330972348 100044800 12933 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241061 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.2
Current children cumulated vsize (KiB) 97700

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 23746
/proc/meminfo: memFree=1297024/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=100772 CPUtime=682.76
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 14692 0 0 0 68247 29 0 0 18 0 3 0 330972342 103190528 13814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 25193 13814 387 42 0 19445 0
[pid=23621/tid=23623] ppid=23619 vsize=100772 CPUtime=341.97
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 8411 0 0 0 34181 16 0 0 25 0 3 0 330972348 103190528 13814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=100772 CPUtime=340.72
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 4973 0 0 0 34060 12 0 0 25 0 3 0 330972348 103190528 13814 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285268 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.76
Current children cumulated vsize (KiB) 100772

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23822
/proc/meminfo: memFree=1289528/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=113368 CPUtime=802.36
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 17548 0 0 0 80197 39 0 0 18 0 3 0 330972342 116088832 15991 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 28342 15991 387 42 0 22594 0
[pid=23621/tid=23623] ppid=23619 vsize=113368 CPUtime=401.87
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 9529 0 0 0 40169 18 0 0 25 0 3 0 330972348 116088832 15991 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=113368 CPUtime=400.42
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 6711 0 0 0 40022 20 0 0 25 0 3 0 330972348 116088832 15991 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.36
Current children cumulated vsize (KiB) 113368

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23822
/proc/meminfo: memFree=1288376/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=114392 CPUtime=922.09
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 17825 0 0 0 92169 40 0 0 18 0 3 0 330972342 117137408 16268 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 28598 16268 387 42 0 22850 0
[pid=23621/tid=23623] ppid=23619 vsize=114392 CPUtime=461.85
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 9806 0 0 0 46166 19 0 0 25 0 3 0 330972348 117137408 16268 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311264 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=114392 CPUtime=460.17
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 6711 0 0 0 45997 20 0 0 25 0 3 0 330972348 117137408 16268 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.09
Current children cumulated vsize (KiB) 114392

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23822
/proc/meminfo: memFree=1285688/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=116572 CPUtime=1041.8
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 18473 0 0 0 104139 41 0 0 18 0 3 0 330972342 119369728 16916 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 29143 16916 387 42 0 23395 0
[pid=23621/tid=23623] ppid=23619 vsize=116572 CPUtime=521.83
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 10454 0 0 0 52163 20 0 0 25 0 3 0 330972348 119369728 16916 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=116572 CPUtime=519.9
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 6711 0 0 0 51970 20 0 0 25 0 3 0 330972348 119369728 16916 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.8
Current children cumulated vsize (KiB) 116572

[startup+582.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23822
/proc/meminfo: memFree=1280120/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=122740 CPUtime=1161.52
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 20147 0 0 0 116109 43 0 0 18 0 3 0 330972342 125685760 18329 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 30685 18329 387 42 0 24937 0
[pid=23621/tid=23623] ppid=23619 vsize=122740 CPUtime=581.81
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 11087 0 0 0 58160 21 0 0 25 0 3 0 330972348 125685760 18329 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311093 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=122740 CPUtime=579.65
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 7752 0 0 0 57944 21 0 0 25 0 3 0 330972348 125685760 18329 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.52
Current children cumulated vsize (KiB) 122740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.603 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 23822
/proc/meminfo: memFree=1279160/2055920 swapFree=4184040/4192956
[pid=23621] ppid=23619 vsize=123764 CPUtime=1200.04
/proc/23621/stat : 23621 (ornithorynque) S 23619 23621 23070 0 -1 4194304 20360 0 0 0 119961 43 0 0 18 0 3 0 330972342 126734336 18542 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 216858128251 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23621/statm: 30941 18542 387 42 0 25193 0
[pid=23621/tid=23623] ppid=23619 vsize=123764 CPUtime=601.11
/proc/23621/task/23623/stat : 23623 (ornithorynque) R 23619 23621 23070 0 -1 4194368 11300 0 0 0 60090 21 0 0 25 0 3 0 330972348 126734336 18542 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23621/tid=23624] ppid=23619 vsize=123764 CPUtime=598.86
/proc/23621/task/23624/stat : 23624 (ornithorynque) R 23619 23621 23070 0 -1 4194368 7752 0 0 0 59865 21 0 0 25 0 3 0 330972348 126734336 18542 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 123764

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.631
CPU time (s): 1200.08
CPU user time (s): 1199.63
CPU system time (s): 0.450931
CPU usage (%): 199.471
Max. virtual memory (cumulated for all children) (KiB): 123764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.63
system time used= 0.450931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20360
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= 25
involuntary context switches= 9536

runsolver used 0.501923 second user time and 1.71174 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Mon Mar  5 15:56:03 UTC 2007

IDJOB= 328327
IDBENCH= 20237
IDSOLVER= 139
FILE ID= node43/328327-1173110163

PBS_JOBID= 4013915

Free space on /tmp= 66514 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v5500/unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/328327-1173110163/ornithorynque /tmp/evaluation/328327-1173110163/instance-328327-1173110163.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-328327-1173110163 -o ROOT/results/node43/solver-328327-1173110163 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328327-1173110163/ornithorynque /tmp/evaluation/328327-1173110163/instance-328327-1173110163.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  a9c69ac58ba32eb3b79077be89bd5498

RANDOM SEED= 584746859

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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.281
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.281
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:       1353120 kB
Buffers:         26548 kB
Cached:         599268 kB
SwapCached:       2912 kB
Active:          91056 kB
Inactive:       544376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1353120 kB
SwapTotal:     4192956 kB
SwapFree:      4184040 kB
Dirty:             480 kB
Writeback:           0 kB
Mapped:          15612 kB
Slab:            53496 kB
Committed_AS:   785296 kB
PageTables:       1392 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= 66514 MiB

End job on node43 on Mon Mar  5 16:06:07 UTC 2007