Trace number 328512

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

General information on the benchmark

Namecrafted/spence/
medium/s81-100.cnf
MD5SUMc54dc2c72b4650fba00496c966a1cea8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark58.6451
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of clauses172
Sum of the clauses size516
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3172
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.00	c ...done
0.00/0.00	c nbVar=81 nbClause=172
0.00/0.00	c nbVar=81 nbClause=172
0.00/0.00	c complete search running
0.00/0.00	c local search running
0.00/0.00	c flip 0 nbSat=155 maxSat=0
0.00/0.01	c flip 0 nbSat=389 maxSat=168
0.00/0.03	c flip 0 nbSat=619 maxSat=406
0.00/0.05	c flip 0 nbSat=827 maxSat=634
0.00/0.05	c flip 0 nbSat=1052 maxSat=855
0.00/0.12	c flip 0 nbSat=1949 maxSat=1073
0.00/0.22	c flip 0 nbSat=2881 maxSat=1975
0.00/0.23	c flip 0 nbSat=3079 maxSat=2899
0.00/0.26	c flip 0 nbSat=3358 maxSat=3104
0.00/0.28	c flip 0 nbSat=3506 maxSat=3387
0.00/0.31	c flip 0 nbSat=3752 maxSat=3535
0.64/0.37	c flip 0 nbSat=4184 maxSat=3793
0.78/0.44	c flip 0 nbSat=4687 maxSat=4216
0.98/0.56	c flip 0 nbSat=5431 maxSat=4712
1.18/0.60	c flip 0 nbSat=5670 maxSat=5459
1.18/0.65	c flip 0 nbSat=5901 maxSat=5694
1.38/0.72	c flip 0 nbSat=6207 maxSat=5925
1.98/1.02	c flip 0 nbSat=7365 maxSat=6223
1.98/1.05	c flip 0 nbSat=7466 maxSat=7382
2.78/1.43	c flip 0 nbSat=8708 maxSat=7508
2.78/1.49	c nbDecision=10000 #clauses=8993
3.38/1.72	c flip 0 nbSat=9882 maxSat=8736
4.78/2.47	c flip 0 nbSat=12460 maxSat=9910
5.97/3.06	c flip 0 nbSat=14145 maxSat=12478
7.57/3.84	c flip 0 nbSat=15991 maxSat=14175
8.57/4.38	c flip 0 nbSat=17130 maxSat=16020
9.18/4.65	c nbDecision=20000 #clauses=17794
9.77/4.94	c flip 0 nbSat=18609 maxSat=17142
10.97/5.53	c flip 0 nbSat=20060 maxSat=18630
12.36/6.23	c flip 0 nbSat=21165 maxSat=20110
12.76/6.44	c flip 0 nbSat=21584 maxSat=21218
14.55/7.39	c flip 0 nbSat=23137 maxSat=21604
14.95/7.58	c flip 0 nbSat=23384 maxSat=23157
15.55/7.81	c flip 0 nbSat=23788 maxSat=23401
15.96/8.06	c flip 0 nbSat=24312 maxSat=23807
19.34/9.70	c flip 0 nbSat=25946 maxSat=24336
19.94/10.06	c flip 0 nbSat=26338 maxSat=25986
20.34/10.22	c flip 0 nbSat=26473 maxSat=26376
20.53/10.35	c nbDecision=30000 #clauses=26658
21.13/10.67	c flip 0 nbSat=27043 maxSat=26526
22.13/11.14	c flip 0 nbSat=27518 maxSat=27086
24.73/12.46	c flip 0 nbSat=28769 maxSat=27537
26.72/13.43	c flip 0 nbSat=29755 maxSat=28795
27.92/14.02	c flip 0 nbSat=30120 maxSat=29768
30.71/15.40	c flip 0 nbSat=31150 maxSat=30139
32.11/16.16	c flip 0 nbSat=31810 maxSat=31172
34.11/17.15	c flip 0 nbSat=32602 maxSat=31865
37.10/18.60	c flip 0 nbSat=34005 maxSat=32633
37.50/18.84	c flip 0 nbSat=34208 maxSat=34027
38.90/19.53	c flip 0 nbSat=34798 maxSat=34227
39.49/19.87	c nbDecision=40000 #clauses=35192
39.69/19.92	c flip 0 nbSat=35242 maxSat=34837
44.88/22.59	c flip 0 nbSat=37712 maxSat=35265
46.87/23.59	c flip 0 nbSat=38661 maxSat=37736
51.26/25.79	c flip 0 nbSat=40212 maxSat=38691
60.25/30.20	c flip 0 nbSat=43586 maxSat=40237
61.05/30.64	c nbDecision=50000 #clauses=43998
76.22/38.29	c flip 0 nbSat=49025 maxSat=43619
78.81/39.58	c flip 0 nbSat=49750 maxSat=49045
81.60/40.95	c flip 0 nbSat=50715 maxSat=49779
82.99/41.67	c flip 0 nbSat=51203 maxSat=50748
88.38/44.33	c flip 0 nbSat=52361 maxSat=51224
89.77/45.01	c flip 0 nbSat=52660 maxSat=52424
89.77/45.08	c nbDecision=60000 #clauses=52767
93.17/46.73	c flip 0 nbSat=53355 maxSat=52723
94.37/47.39	c flip 0 nbSat=53791 maxSat=53538
95.36/47.89	c flip 0 nbSat=54129 maxSat=53814
97.76/49.09	c flip 0 nbSat=54559 maxSat=54158
101.56/50.92	c flip 0 nbSat=55279 maxSat=54611
104.14/52.26	c flip 0 nbSat=55984 maxSat=55316
108.14/54.29	c flip 0 nbSat=56929 maxSat=56024
109.73/55.08	c flip 0 nbSat=57311 maxSat=56955
113.71/57.08	c flip 0 nbSat=58147 maxSat=57324
123.31/61.84	c flip 0 nbSat=59961 maxSat=58168
124.50/62.45	c flip 0 nbSat=60285 maxSat=60000
128.29/64.34	c flip 0 nbSat=60989 maxSat=60312
129.29/64.88	c flip 0 nbSat=61238 maxSat=61051
130.09/65.24	c nbDecision=70000 #clauses=61429
133.48/66.97	c flip 0 nbSat=62110 maxSat=61260
140.26/70.31	c flip 0 nbSat=63322 maxSat=62163
144.46/72.40	c flip 0 nbSat=63848 maxSat=63344
153.63/77.09	c flip 0 nbSat=65695 maxSat=63978
158.02/79.23	c flip 0 nbSat=66484 maxSat=65720
162.02/81.29	c flip 0 nbSat=67024 maxSat=66533
176.37/88.40	c nbDecision=80000 #clauses=70132
178.57/89.57	c flip 0 nbSat=70527 maxSat=67166
193.15/96.80	c flip 0 nbSat=73623 maxSat=70549
205.31/102.96	c flip 0 nbSat=75676 maxSat=73653
220.88/110.73	c flip 0 nbSat=77785 maxSat=75702
230.86/115.75	c nbDecision=90000 #clauses=78917
237.24/118.99	c flip 0 nbSat=79663 maxSat=77801
239.04/119.89	c flip 0 nbSat=79774 maxSat=79701
249.02/124.86	c flip 0 nbSat=81177 maxSat=79886
255.40/128.03	c flip 0 nbSat=82287 maxSat=81197
262.38/131.59	c flip 0 nbSat=83473 maxSat=82335
264.37/132.54	c flip 0 nbSat=83809 maxSat=83515
267.56/134.10	c flip 0 nbSat=84363 maxSat=83828
288.13/144.46	c nbDecision=100000 #clauses=87486
290.52/145.62	c flip 0 nbSat=87809 maxSat=84386
299.69/150.28	c flip 0 nbSat=89254 maxSat=87839
303.09/151.95	c flip 0 nbSat=89576 maxSat=89305
305.08/152.93	c flip 0 nbSat=89673 maxSat=89665
317.85/159.32	c flip 0 nbSat=91748 maxSat=89933
330.23/165.51	c flip 0 nbSat=93425 maxSat=91814
348.79/174.89	c nbDecision=110000 #clauses=96067
352.57/176.73	c flip 0 nbSat=96588 maxSat=93500
377.52/189.28	c flip 0 nbSat=100324 maxSat=96601
394.08/197.54	c flip 0 nbSat=102596 maxSat=100350
406.25/203.69	c nbDecision=120000 #clauses=104664
407.85/204.41	c flip 0 nbSat=104904 maxSat=102636
422.61/211.80	c flip 0 nbSat=107769 maxSat=104930
435.80/218.49	c flip 0 nbSat=110500 maxSat=107868
441.37/221.23	c flip 0 nbSat=111508 maxSat=110536
450.16/225.63	c flip 0 nbSat=112810 maxSat=111554
453.35/227.22	c nbDecision=130000 #clauses=113495
463.53/232.38	c flip 0 nbSat=115037 maxSat=112883
498.04/249.60	c flip 0 nbSat=119931 maxSat=115096
511.21/256.28	c nbDecision=140000 #clauses=122140
527.78/264.54	c flip 0 nbSat=124345 maxSat=119976
549.13/275.22	c flip 0 nbSat=127254 maxSat=124506
558.50/279.96	c flip 0 nbSat=128362 maxSat=127290
583.24/292.37	c flip 0 nbSat=130367 maxSat=128385
585.24/293.37	c flip 0 nbSat=130526 maxSat=130398
588.43/294.90	c nbDecision=150000 #clauses=130752
605.60/303.55	c flip 0 nbSat=131866 maxSat=130546
612.18/306.85	c flip 0 nbSat=132393 maxSat=131898
624.55/313.02	c flip 0 nbSat=133477 maxSat=132420
642.52/322.05	c flip 0 nbSat=134889 maxSat=133504
646.51/324.05	c flip 0 nbSat=134962 maxSat=134913
664.86/333.29	c flip 0 nbSat=136534 maxSat=135172
668.85/335.23	c flip 0 nbSat=136938 maxSat=136599
680.63/341.11	c flip 0 nbSat=138026 maxSat=137077
697.19/349.44	c flip 0 nbSat=139305 maxSat=138049
697.59/349.64	c nbDecision=160000 #clauses=139366
714.75/358.23	c flip 0 nbSat=140835 maxSat=139336
725.12/363.46	c flip 0 nbSat=142450 maxSat=141022
752.46/377.12	c flip 0 nbSat=145489 maxSat=142481
770.62/386.22	c flip 0 nbSat=147150 maxSat=145534
775.22/388.53	c nbDecision=170000 #clauses=147831
800.35/401.16	c flip 0 nbSat=150715 maxSat=147206
813.32/407.64	c flip 0 nbSat=151963 maxSat=150794
833.08/417.57	c flip 0 nbSat=153963 maxSat=151987
852.24/427.11	c flip 0 nbSat=155764 maxSat=154186
854.03/428.05	c flip 0 nbSat=156112 maxSat=155951
857.82/429.93	c nbDecision=180000 #clauses=156507
877.98/440.02	c flip 0 nbSat=158234 maxSat=156130
914.29/458.23	c flip 0 nbSat=162548 maxSat=158261
919.28/460.70	c flip 0 nbSat=163115 maxSat=162573
940.04/471.13	c nbDecision=190000 #clauses=165368
950.41/476.32	c flip 0 nbSat=166211 maxSat=163200
965.38/483.90	c flip 0 nbSat=167695 maxSat=166302
987.52/494.92	c flip 0 nbSat=169634 maxSat=167763
1020.46/511.45	c flip 0 nbSat=172550 maxSat=169699
1034.02/518.23	c nbDecision=200000 #clauses=174033
1052.78/527.64	c flip 0 nbSat=175531 maxSat=172727
1063.55/533.04	c flip 0 nbSat=176935 maxSat=175667
1071.13/536.89	c flip 0 nbSat=177823 maxSat=176988
1092.88/547.71	c flip 0 nbSat=180079 maxSat=177857
1104.85/553.76	c flip 0 nbSat=181294 maxSat=180179
1120.02/561.36	c nbDecision=210000 #clauses=182735
1141.98/572.34	c flip 0 nbSat=185017 maxSat=181319
1168.71/585.74	c flip 0 nbSat=188324 maxSat=185078
1177.69/590.21	c flip 0 nbSat=189732 maxSat=188346
1188.67/595.78	c nbDecision=220000 #clauses=191464

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/node68/watcher-328512-1173112070 -o ROOT/results/node68/solver-328512-1173112070 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328512-1173112070/ornithorynque /tmp/evaluation/328512-1173112070/instance-328512-1173112070.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 20434
/proc/meminfo: memFree=1300512/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=23220 CPUtime=0
/proc/20434/stat : 20434 (ornithorynque) R 20432 20434 19477 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 331164601 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257411814512 0 0 4096 0 0 0 0 17 1 0 0
/proc/20434/statm: 5805 266 219 42 0 45 0

[startup+0.332102 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 20434
/proc/meminfo: memFree=1300512/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=45352 CPUtime=0.64
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 727 0 0 0 64 0 0 0 18 0 3 0 331164601 46440448 688 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 11338 688 387 42 0 5590 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 45352

[startup+0.401109 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 20434
/proc/meminfo: memFree=1300512/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=45536 CPUtime=0.78
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 760 0 0 0 78 0 0 0 18 0 3 0 331164601 46628864 721 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 11384 721 387 42 0 5636 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 45536

[startup+0.501118 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 20434
/proc/meminfo: memFree=1300512/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=45536 CPUtime=0.98
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 796 0 0 0 98 0 0 0 18 0 3 0 331164601 46628864 757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 11384 757 387 42 0 5636 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 45536

[startup+0.701137 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 20434
/proc/meminfo: memFree=1300512/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=45536 CPUtime=1.38
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 879 0 0 0 138 0 0 0 18 0 3 0 331164601 46628864 840 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 11384 840 387 42 0 5636 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 45536

[startup+1.50121 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 20437
/proc/meminfo: memFree=1297992/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=47280 CPUtime=2.98
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 1100 0 0 0 298 0 0 0 18 0 3 0 331164601 48414720 1061 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 11820 1061 387 42 0 6072 0
[pid=20434/tid=20436] ppid=20432 vsize=47280 CPUtime=1.49
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 348 0 0 0 149 0 0 0 25 0 3 0 331164602 48414720 1061 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289728 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=47280 CPUtime=1.48
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 255 0 0 0 148 0 0 0 25 0 3 0 331164602 48414720 1061 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 47280

[startup+3.10136 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 20437
/proc/meminfo: memFree=1296904/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=48264 CPUtime=6.17
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 1386 0 0 0 617 0 0 0 18 0 3 0 331164601 49422336 1347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 12066 1347 387 42 0 6318 0
[pid=20434/tid=20436] ppid=20432 vsize=48264 CPUtime=3.08
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 486 0 0 0 308 0 0 0 21 0 3 0 331164602 49422336 1347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257414304423 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=48264 CPUtime=3.08
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 403 0 0 0 308 0 0 0 25 0 3 0 331164602 49422336 1347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 48264

[startup+6.30165 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 20437
/proc/meminfo: memFree=1294792/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=50308 CPUtime=12.56
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 1884 0 0 0 1255 1 0 0 18 0 3 0 331164601 51515392 1779 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 12577 1779 387 42 0 6829 0
[pid=20434/tid=20436] ppid=20432 vsize=50308 CPUtime=6.28
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 788 0 0 0 628 0 0 0 25 0 3 0 331164602 51515392 1779 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=50308 CPUtime=6.26
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 599 0 0 0 626 0 0 0 25 0 3 0 331164602 51515392 1779 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242181 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 50308

[startup+12.7022 s]
/proc/loadavg: 1.87 1.94 1.90 3/67 20437
/proc/meminfo: memFree=1292816/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=52576 CPUtime=25.32
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 2398 0 0 0 2531 1 0 0 18 0 3 0 331164601 53837824 2293 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 13144 2293 387 42 0 7396 0
[pid=20434/tid=20436] ppid=20432 vsize=52576 CPUtime=12.68
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 1099 0 0 0 1267 1 0 0 25 0 3 0 331164602 53837824 2293 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=52576 CPUtime=12.63
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 802 0 0 0 1263 0 0 0 25 0 3 0 331164602 53837824 2293 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284334 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 52576

[startup+25.5014 s]
/proc/loadavg: 1.89 1.94 1.90 3/67 20437
/proc/meminfo: memFree=1290192/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=55648 CPUtime=50.87
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 3171 0 0 0 5085 2 0 0 18 0 3 0 331164601 56983552 2903 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 13912 2903 387 42 0 8164 0
[pid=20434/tid=20436] ppid=20432 vsize=55648 CPUtime=25.48
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 1653 0 0 0 2547 1 0 0 25 0 3 0 331164602 56983552 2903 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=55648 CPUtime=25.38
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 1021 0 0 0 2538 0 0 0 25 0 3 0 331164602 56983552 2903 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 55648

[startup+51.1017 s]
/proc/loadavg: 1.93 1.94 1.90 3/67 20437
/proc/meminfo: memFree=1286288/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=60008 CPUtime=101.95
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 4236 0 0 0 10191 4 0 0 18 0 3 0 331164601 61448192 3935 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 15002 3935 387 42 0 9254 0
[pid=20434/tid=20436] ppid=20432 vsize=60008 CPUtime=51.07
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 2307 0 0 0 5104 3 0 0 25 0 3 0 331164602 61448192 3935 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=60008 CPUtime=50.86
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 1432 0 0 0 5086 0 0 0 25 0 3 0 331164602 61448192 3935 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 60008

[startup+102.301 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 20437
/proc/meminfo: memFree=1281552/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=65564 CPUtime=204.12
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 5717 0 0 0 20406 6 0 0 18 0 3 0 331164601 67137536 5060 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 16391 5060 387 42 0 10643 0
[pid=20434/tid=20436] ppid=20432 vsize=65564 CPUtime=102.25
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 3258 0 0 0 10221 4 0 0 25 0 3 0 331164602 67137536 5060 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=65564 CPUtime=101.84
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 1962 0 0 0 10184 0 0 0 25 0 3 0 331164602 67137536 5060 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240896 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 65564

[startup+162.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 20437
/proc/meminfo: memFree=1277136/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=70728 CPUtime=323.84
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 6921 0 0 0 32377 7 0 0 18 0 3 0 331164601 72425472 6132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 17682 6132 387 42 0 11934 0
[pid=20434/tid=20436] ppid=20432 vsize=70728 CPUtime=162.24
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 3955 0 0 0 16218 6 0 0 25 0 3 0 331164602 72425472 6132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=70728 CPUtime=161.58
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 2469 0 0 0 16158 0 0 0 25 0 3 0 331164602 72425472 6132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.84
Current children cumulated vsize (KiB) 70728

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 20437
/proc/meminfo: memFree=1272400/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=76292 CPUtime=443.57
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 8612 0 0 0 44348 9 0 0 18 0 3 0 331164601 78123008 7342 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 19073 7342 387 42 0 13325 0
[pid=20434/tid=20436] ppid=20432 vsize=76292 CPUtime=222.22
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 4812 0 0 0 22215 7 0 0 25 0 3 0 331164602 78123008 7342 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311642 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=76292 CPUtime=221.33
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 3303 0 0 0 22132 1 0 0 25 0 3 0 331164602 78123008 7342 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284385 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.57
Current children cumulated vsize (KiB) 76292

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 20437
/proc/meminfo: memFree=1268240/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=80820 CPUtime=563.29
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 9858 0 0 0 56319 10 0 0 18 0 3 0 331164601 82759680 8358 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 20205 8358 387 42 0 14457 0
[pid=20434/tid=20436] ppid=20432 vsize=80820 CPUtime=282.2
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 5464 0 0 0 28212 8 0 0 25 0 3 0 331164602 82759680 8358 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=80820 CPUtime=281.07
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 3897 0 0 0 28106 1 0 0 25 0 3 0 331164602 82759680 8358 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242600 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.29
Current children cumulated vsize (KiB) 80820

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 20437
/proc/meminfo: memFree=1265936/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=85836 CPUtime=683.03
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 11262 0 0 0 68291 12 0 0 18 0 3 0 331164601 87896064 8921 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 21459 8921 387 42 0 15711 0
[pid=20434/tid=20436] ppid=20432 vsize=85836 CPUtime=342.19
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 6339 0 0 0 34210 9 0 0 25 0 3 0 331164602 87896064 8921 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=85836 CPUtime=340.82
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 4426 0 0 0 34080 2 0 0 25 0 3 0 331164602 87896064 8921 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.03
Current children cumulated vsize (KiB) 85836

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 20437
/proc/meminfo: memFree=1263248/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=88408 CPUtime=802.74
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 12223 0 0 0 80261 13 0 0 18 0 3 0 331164601 90529792 9586 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 22102 9586 387 42 0 16354 0
[pid=20434/tid=20436] ppid=20432 vsize=88408 CPUtime=402.17
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 6898 0 0 0 40207 10 0 0 25 0 3 0 331164602 90529792 9586 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311537 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=88408 CPUtime=400.55
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 4828 0 0 0 40053 2 0 0 25 0 3 0 331164602 90529792 9586 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.74
Current children cumulated vsize (KiB) 88408

[startup+462.306 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 20437
/proc/meminfo: memFree=1260176/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=90864 CPUtime=922.49
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 13148 0 0 0 92234 15 0 0 18 0 3 0 331164601 93044736 10347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 22716 10347 387 42 0 16968 0
[pid=20434/tid=20436] ppid=20432 vsize=90864 CPUtime=462.16
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 7492 0 0 0 46205 11 0 0 25 0 3 0 331164602 93044736 10347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=90864 CPUtime=460.3
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 5159 0 0 0 46028 2 0 0 25 0 3 0 331164602 93044736 10347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240942 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.49
Current children cumulated vsize (KiB) 90864

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 20437
/proc/meminfo: memFree=1257744/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=93816 CPUtime=1042.2
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 13899 0 0 0 104204 16 0 0 18 0 3 0 331164601 96067584 10934 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 23454 10934 387 42 0 17706 0
[pid=20434/tid=20436] ppid=20432 vsize=93816 CPUtime=522.14
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 7971 0 0 0 52202 12 0 0 25 0 3 0 331164602 96067584 10934 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=93816 CPUtime=520.04
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 5431 0 0 0 52001 3 0 0 25 0 3 0 331164602 96067584 10934 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.2
Current children cumulated vsize (KiB) 93816

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 20437
/proc/meminfo: memFree=1254992/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=96268 CPUtime=1161.93
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 14728 0 0 0 116176 17 0 0 18 0 3 0 331164601 98578432 11632 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 24067 11632 387 42 0 18319 0
[pid=20434/tid=20436] ppid=20432 vsize=96268 CPUtime=582.13
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 8487 0 0 0 58200 13 0 0 25 0 3 0 331164602 98578432 11632 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=96268 CPUtime=579.78
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 5744 0 0 0 57975 3 0 0 25 0 3 0 331164602 98578432 11632 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238103 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.93
Current children cumulated vsize (KiB) 96268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.402 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 20437
/proc/meminfo: memFree=1253904/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=97936 CPUtime=1200.05
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 15128 0 0 0 119988 17 0 0 18 0 3 0 331164601 100286464 11901 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 24484 11901 387 42 0 18736 0
[pid=20434/tid=20436] ppid=20432 vsize=97936 CPUtime=601.22
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 8691 0 0 0 60109 13 0 0 25 0 3 0 331164602 100286464 11901 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=97936 CPUtime=598.8
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 5940 0 0 0 59877 3 0 0 25 0 3 0 331164602 100286464 11901 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) 97936

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

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

[startup+601.402 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 20437
/proc/meminfo: memFree=1253904/2055920 swapFree=4183224/4192956
[pid=20434] ppid=20432 vsize=97936 CPUtime=1200.05
/proc/20434/stat : 20434 (ornithorynque) S 20432 20434 19477 0 -1 4194304 15128 0 0 0 119988 17 0 0 18 0 3 0 331164601 100286464 11901 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20434/statm: 24484 11901 387 42 0 18736 0
[pid=20434/tid=20436] ppid=20432 vsize=97936 CPUtime=601.22
/proc/20434/task/20436/stat : 20436 (ornithorynque) R 20432 20434 19477 0 -1 4194368 8691 0 0 0 60109 13 0 0 25 0 3 0 331164602 100286464 11901 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20434/tid=20437] ppid=20432 vsize=97936 CPUtime=598.8
/proc/20434/task/20437/stat : 20437 (ornithorynque) R 20432 20434 19477 0 -1 4194368 5940 0 0 0 59877 3 0 0 25 0 3 0 331164602 100286464 11901 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) 97936

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.422
CPU time (s): 1200.08
CPU user time (s): 1199.9
CPU system time (s): 0.181972
CPU usage (%): 199.54
Max. virtual memory (cumulated for all children) (KiB): 97936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.9
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15128
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= 23
involuntary context switches= 9244

runsolver used 0.543917 second user time and 1.66575 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Mon Mar  5 16:27:50 UTC 2007

IDJOB= 328512
IDBENCH= 20434
IDSOLVER= 139
FILE ID= node68/328512-1173112070

PBS_JOBID= 4013910

Free space on /tmp= 66447 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/spence/medium/s81-100.cnf
COMMAND LINE= /tmp/evaluation/328512-1173112070/ornithorynque /tmp/evaluation/328512-1173112070/instance-328512-1173112070.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-328512-1173112070 -o ROOT/results/node68/solver-328512-1173112070 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328512-1173112070/ornithorynque /tmp/evaluation/328512-1173112070/instance-328512-1173112070.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  c54dc2c72b4650fba00496c966a1cea8

RANDOM SEED= 167310262

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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:       1300920 kB
Buffers:         41032 kB
Cached:         622504 kB
SwapCached:       3680 kB
Active:         195076 kB
Inactive:       479388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1300920 kB
SwapTotal:     4192956 kB
SwapFree:      4183224 kB
Dirty:             260 kB
Writeback:           0 kB
Mapped:          17004 kB
Slab:            66636 kB
Committed_AS:   828656 kB
PageTables:       1384 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= 66447 MiB

End job on node68 on Mon Mar  5 16:37:53 UTC 2007