Trace number 328325

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.23 601.732

General information on the benchmark

Namerandom/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf
MD5SUMebde26cba69a0651179051fde4b21ccb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.315951
Satisfiable
(Un)Satisfiability was proved
Number of variables5500
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.03/0.04	c ...done
0.03/0.04	c nbVar=5500 nbClause=14684
0.03/0.04	c nbVar=5500 nbClause=14684
0.03/0.05	c complete search running
0.03/0.05	c local search running
0.03/0.06	c flip 0 nbSat=12219 maxSat=0
0.13/0.11	c flip 10000 nbSat=14336 maxSat=14367
0.13/0.16	c flip 20000 nbSat=14443 maxSat=14462
0.33/0.21	c flip 30000 nbSat=14501 maxSat=14514
0.33/0.25	c flip 40000 nbSat=14512 maxSat=14525
0.53/0.30	c flip 50000 nbSat=14504 maxSat=14525
0.53/0.35	c flip 60000 nbSat=14507 maxSat=14531
0.53/0.39	c flip 70000 nbSat=14516 maxSat=14534
0.73/0.44	c flip 80000 nbSat=14534 maxSat=14540
0.73/0.49	c flip 90000 nbSat=14522 maxSat=14540
0.93/0.54	c flip 100000 nbSat=14524 maxSat=14541
0.93/0.59	c flip 0 nbSat=13379 maxSat=14541
1.13/0.67	c flip 10000 nbSat=15377 maxSat=15379
1.33/0.75	c flip 20000 nbSat=15469 maxSat=15497
1.53/0.84	c flip 30000 nbSat=15551 maxSat=15569
1.73/0.92	c flip 40000 nbSat=15552 maxSat=15579
1.93/1.01	c flip 50000 nbSat=15554 maxSat=15587
1.93/1.09	c flip 60000 nbSat=15549 maxSat=15590
2.13/1.18	c flip 70000 nbSat=15587 maxSat=15592
2.32/1.26	c flip 80000 nbSat=15590 maxSat=15600
2.52/1.35	c flip 90000 nbSat=15580 maxSat=15600
2.73/1.43	c flip 100000 nbSat=15580 maxSat=15600
2.93/1.53	c flip 0 nbSat=14886 maxSat=15600
3.12/1.67	c flip 10000 nbSat=16913 maxSat=16917
3.52/1.83	c flip 20000 nbSat=17017 maxSat=17044
3.72/1.97	c flip 30000 nbSat=17033 maxSat=17055
4.13/2.11	c flip 40000 nbSat=17077 maxSat=17077
4.33/2.24	c flip 50000 nbSat=17078 maxSat=17098
4.52/2.37	c flip 60000 nbSat=17086 maxSat=17104
4.72/2.49	c flip 70000 nbSat=17089 maxSat=17107
5.12/2.61	c flip 80000 nbSat=17101 maxSat=17116
5.32/2.72	c flip 90000 nbSat=17105 maxSat=17116
5.52/2.83	c flip 100000 nbSat=17098 maxSat=17116
5.71/2.95	c flip 0 nbSat=17154 maxSat=17116
6.12/3.18	c flip 10000 nbSat=19205 maxSat=19226
6.72/3.46	c flip 20000 nbSat=19325 maxSat=19342
7.32/3.71	c flip 30000 nbSat=19346 maxSat=19360
7.52/3.83	c nbDecision=10000 #clauses=20666
7.72/3.94	c flip 40000 nbSat=19377 maxSat=19400
8.12/4.18	c flip 50000 nbSat=19383 maxSat=19400
8.72/4.44	c flip 60000 nbSat=19378 maxSat=19404
9.11/4.66	c flip 70000 nbSat=19406 maxSat=19410
9.51/4.89	c flip 80000 nbSat=19411 maxSat=19421
10.11/5.14	c flip 90000 nbSat=19418 maxSat=19429
10.51/5.39	c flip 100000 nbSat=19424 maxSat=19432
11.11/5.66	c flip 0 nbSat=20439 maxSat=19435
11.91/6.00	c flip 10000 nbSat=22498 maxSat=22498
12.71/6.43	c flip 20000 nbSat=22593 maxSat=22616
13.50/6.88	c flip 30000 nbSat=22634 maxSat=22659
14.50/7.33	c flip 40000 nbSat=22663 maxSat=22687
15.31/7.76	c flip 50000 nbSat=22670 maxSat=22697
16.29/8.22	c flip 60000 nbSat=22690 maxSat=22703
17.30/8.72	c flip 70000 nbSat=22690 maxSat=22706
18.29/9.25	c flip 80000 nbSat=22696 maxSat=22711
19.29/9.70	c flip 90000 nbSat=22702 maxSat=22717
19.49/9.84	c nbDecision=20000 #clauses=26977
20.08/10.18	c flip 100000 nbSat=22706 maxSat=22718
21.08/10.64	c flip 0 nbSat=25223 maxSat=22725
22.68/11.40	c flip 10000 nbSat=27198 maxSat=27231
24.27/12.25	c flip 20000 nbSat=27343 maxSat=27352
26.07/13.11	c flip 30000 nbSat=27379 maxSat=27398
28.06/14.13	c flip 40000 nbSat=27383 maxSat=27416
29.86/15.03	c flip 50000 nbSat=27411 maxSat=27427
31.66/15.95	c flip 60000 nbSat=27419 maxSat=27442
33.65/16.99	c flip 70000 nbSat=27417 maxSat=27454
35.64/17.93	c flip 80000 nbSat=27437 maxSat=27454
36.24/18.30	c nbDecision=30000 #clauses=33549
37.64/18.91	c flip 90000 nbSat=27415 maxSat=27456
39.44/19.84	c flip 100000 nbSat=27410 maxSat=27456
41.43/20.86	c flip 0 nbSat=32631 maxSat=27459
44.42/22.32	c flip 10000 nbSat=34754 maxSat=34761
48.22/24.25	c flip 20000 nbSat=34861 maxSat=34871
51.81/26.04	c flip 30000 nbSat=34890 maxSat=34905
56.00/28.16	c flip 40000 nbSat=34906 maxSat=34915
59.39/29.85	c nbDecision=40000 #clauses=39998
59.99/30.17	c flip 50000 nbSat=34916 maxSat=34924
64.37/32.38	c flip 60000 nbSat=34908 maxSat=34936
68.56/34.41	c flip 70000 nbSat=34933 maxSat=34941
73.15/36.75	c flip 80000 nbSat=34944 maxSat=34949
77.94/39.19	c flip 90000 nbSat=34943 maxSat=34951
82.53/41.46	c nbDecision=50000 #clauses=46216
83.13/41.72	c flip 100000 nbSat=34935 maxSat=34961
88.51/44.43	c flip 0 nbSat=45268 maxSat=34961
94.11/47.26	c flip 10000 nbSat=47286 maxSat=47314
99.89/50.10	c flip 20000 nbSat=47416 maxSat=47434
105.47/52.99	c flip 30000 nbSat=47432 maxSat=47472
107.87/54.15	c nbDecision=60000 #clauses=52406
111.47/55.98	c flip 40000 nbSat=47459 maxSat=47478
117.85/59.12	c flip 50000 nbSat=47473 maxSat=47496
124.22/62.30	c flip 60000 nbSat=47493 maxSat=47504
131.41/65.99	c flip 70000 nbSat=47498 maxSat=47505
132.80/66.65	c nbDecision=70000 #clauses=58563
139.20/69.80	c flip 80000 nbSat=47496 maxSat=47508
145.98/73.25	c flip 90000 nbSat=47489 maxSat=47513
152.96/76.78	c flip 100000 nbSat=47507 maxSat=47514
160.33/80.44	c flip 0 nbSat=62422 maxSat=47518
160.74/80.68	c nbDecision=80000 #clauses=65003
168.93/84.74	c flip 10000 nbSat=64514 maxSat=64531
181.29/90.93	c flip 20000 nbSat=64655 maxSat=64691
194.06/97.32	c nbDecision=90000 #clauses=71422
195.46/98.03	c flip 30000 nbSat=64701 maxSat=64732
209.44/105.06	c flip 40000 nbSat=64705 maxSat=64747
221.99/111.37	c flip 50000 nbSat=64734 maxSat=64750
232.77/116.77	c nbDecision=100000 #clauses=77968
235.17/117.95	c flip 60000 nbSat=64734 maxSat=64759
248.92/124.87	c flip 70000 nbSat=64742 maxSat=64760
262.50/131.60	c flip 80000 nbSat=64741 maxSat=64766
275.27/138.05	c flip 90000 nbSat=64747 maxSat=64766
280.06/140.43	c nbDecision=110000 #clauses=84430
289.04/144.98	c flip 100000 nbSat=64766 maxSat=64775
303.80/152.33	c flip 0 nbSat=85089 maxSat=64792
316.77/158.81	c flip 10000 nbSat=87165 maxSat=87171
318.77/159.85	c nbDecision=120000 #clauses=90535
332.93/166.95	c flip 20000 nbSat=87279 maxSat=87301
349.09/175.05	c flip 30000 nbSat=87290 maxSat=87313
367.25/184.13	c flip 40000 nbSat=87321 maxSat=87342
380.03/190.59	c nbDecision=130000 #clauses=96992
383.02/192.08	c flip 50000 nbSat=87332 maxSat=87361
399.77/200.43	c flip 60000 nbSat=87348 maxSat=87361
415.14/208.14	c flip 70000 nbSat=87350 maxSat=87364
432.49/216.87	c flip 80000 nbSat=87337 maxSat=87370
434.88/218.02	c nbDecision=140000 #clauses=103441
448.85/225.01	c flip 90000 nbSat=87373 maxSat=87390
463.82/232.57	c flip 100000 nbSat=87373 maxSat=87390
480.57/240.92	c flip 0 nbSat=106348 maxSat=87390
497.13/249.23	c flip 10000 nbSat=108430 maxSat=108437
520.47/260.98	c flip 20000 nbSat=108523 maxSat=108556
542.62/272.02	c flip 30000 nbSat=108571 maxSat=108597
563.99/282.74	c flip 40000 nbSat=108613 maxSat=108627
587.12/294.30	c flip 50000 nbSat=108619 maxSat=108637
611.67/306.62	c flip 60000 nbSat=108604 maxSat=108649
635.21/318.46	c flip 70000 nbSat=108611 maxSat=108649
652.08/326.98	c nbDecision=150000 #clauses=110231
659.05/330.43	c flip 80000 nbSat=108628 maxSat=108649
684.15/343.09	c flip 90000 nbSat=108632 maxSat=108649
707.08/354.55	c nbDecision=160000 #clauses=116883
710.27/356.15	c flip 100000 nbSat=108622 maxSat=108650
735.79/368.92	c flip 0 nbSat=117745 maxSat=108663
756.50/379.37	c flip 10000 nbSat=119817 maxSat=119845
764.08/383.10	c nbDecision=170000 #clauses=123335
784.03/393.12	c flip 20000 nbSat=119923 maxSat=119958
813.51/407.99	c flip 30000 nbSat=119965 maxSat=119995
833.06/417.77	c nbDecision=180000 #clauses=130120
845.83/424.18	c flip 40000 nbSat=119992 maxSat=120011
878.55/440.55	c flip 50000 nbSat=119984 maxSat=120027
900.70/451.67	c nbDecision=190000 #clauses=136773
910.07/456.35	c flip 60000 nbSat=120011 maxSat=120030
937.81/470.28	c flip 70000 nbSat=120020 maxSat=120036
966.55/484.63	c flip 80000 nbSat=120008 maxSat=120038
995.67/499.30	c flip 90000 nbSat=120038 maxSat=120058
1027.00/514.96	c flip 100000 nbSat=120041 maxSat=120058
1030.99/516.90	c nbDecision=200000 #clauses=143482
1056.94/529.94	c flip 0 nbSat=142409 maxSat=120058
1083.07/543.01	c flip 10000 nbSat=144510 maxSat=144524
1118.37/560.78	c flip 20000 nbSat=144584 maxSat=144599
1119.17/561.20	c nbDecision=210000 #clauses=150075
1150.31/576.72	c flip 30000 nbSat=144638 maxSat=144659
1183.03/593.18	c flip 40000 nbSat=144677 maxSat=144693
1198.39/600.81	c nbDecision=220000 #clauses=156654

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/node35/watcher-328325-1173110141 -o ROOT/results/node35/solver-328325-1173110141 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328325-1173110141/ornithorynque /tmp/evaluation/328325-1173110141/instance-328325-1173110141.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 22536
/proc/meminfo: memFree=1144872/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=23220 CPUtime=0
/proc/22536/stat : 22536 (ornithorynque) R 22534 22536 21985 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304777834 23777280 257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266131772528 0 0 4096 0 0 0 0 17 1 0 0
/proc/22536/statm: 5805 257 218 42 0 45 0

[startup+0.037758 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 22536
/proc/meminfo: memFree=1144872/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=24524 CPUtime=0.03
/proc/22536/stat : 22536 (ornithorynque) R 22534 22536 21985 0 -1 4194304 783 0 0 0 3 0 0 0 18 0 1 0 304777834 25112576 744 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266134262497 0 0 4096 1088 0 0 0 17 1 0 0
/proc/22536/statm: 6131 744 377 42 0 383 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24524

[startup+0.101776 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 22536
/proc/meminfo: memFree=1144872/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=47264 CPUtime=0.13
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 1331 0 0 0 13 0 0 0 18 0 3 0 304777834 48398336 1292 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 11816 1292 387 42 0 6068 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 47264

[startup+0.301812 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 22536
/proc/meminfo: memFree=1144872/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=47264 CPUtime=0.53
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 1352 0 0 0 53 0 0 0 18 0 3 0 304777834 48398336 1313 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 11816 1313 387 42 0 6068 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 47264

[startup+0.701892 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 22536
/proc/meminfo: memFree=1144872/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=48576 CPUtime=1.33
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 1487 0 0 0 133 0 0 0 18 0 3 0 304777834 49741824 1448 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 12144 1448 387 42 0 6396 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 48576

[startup+1.50105 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 22539
/proc/meminfo: memFree=1140176/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=48704 CPUtime=2.93
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 1638 0 0 0 292 1 0 0 18 0 3 0 304777834 49872896 1566 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 12176 1566 387 42 0 6428 0
[pid=22536/tid=22538] ppid=22534 vsize=48704 CPUtime=1.43
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 248 0 0 0 143 0 0 0 24 0 3 0 304777840 49872896 1566 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266134262439 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=48704 CPUtime=1.43
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 81 0 0 0 143 0 0 0 25 0 3 0 304777840 49872896 1566 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 48704

[startup+3.10137 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 22539
/proc/meminfo: memFree=1139216/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=50880 CPUtime=6.12
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 2079 0 0 0 610 2 0 0 18 0 3 0 304777834 52101120 1974 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 12720 1974 387 42 0 6972 0
[pid=22536/tid=22538] ppid=22534 vsize=50880 CPUtime=3.03
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 410 0 0 0 303 0 0 0 18 0 3 0 304777840 52101120 1974 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=50880 CPUtime=3.02
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 360 0 0 0 302 0 0 0 18 0 3 0 304777840 52101120 1974 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 50880

[startup+6.302 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 22539
/proc/meminfo: memFree=1137488/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=52056 CPUtime=12.51
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 2510 0 0 0 1249 2 0 0 18 0 3 0 304777834 53305344 2405 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 13014 2405 387 42 0 7266 0
[pid=22536/tid=22538] ppid=22534 vsize=52056 CPUtime=6.22
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 644 0 0 0 622 0 0 0 25 0 3 0 304777840 53305344 2405 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=52056 CPUtime=6.21
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 557 0 0 0 621 0 0 0 22 0 3 0 304777840 53305344 2405 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284371 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 52056

[startup+12.7023 s]
/proc/loadavg: 1.86 1.94 1.90 3/67 22539
/proc/meminfo: memFree=1133656/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=55564 CPUtime=25.27
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 3265 0 0 0 2525 2 0 0 18 0 3 0 304777834 56897536 3160 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 13891 3160 387 42 0 8143 0
[pid=22536/tid=22538] ppid=22534 vsize=55564 CPUtime=12.63
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 1112 0 0 0 1262 1 0 0 25 0 3 0 304777840 56897536 3160 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=55564 CPUtime=12.58
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 844 0 0 0 1258 0 0 0 25 0 3 0 304777840 56897536 3160 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241162 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 55564

[startup+25.5018 s]
/proc/loadavg: 1.89 1.94 1.90 3/67 22539
/proc/meminfo: memFree=1128728/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=61232 CPUtime=50.81
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 4576 0 0 0 5077 4 0 0 18 0 3 0 304777834 62701568 4341 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 15308 4341 387 42 0 9560 0
[pid=22536/tid=22538] ppid=22534 vsize=61232 CPUtime=25.43
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 1817 0 0 0 2541 2 0 0 25 0 3 0 304777840 62701568 4341 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311151 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=61232 CPUtime=25.32
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 1450 0 0 0 2531 1 0 0 25 0 3 0 304777840 62701568 4341 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 61232

[startup+51.1018 s]
/proc/loadavg: 1.93 1.94 1.90 3/67 22539
/proc/meminfo: memFree=1122008/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=68088 CPUtime=101.88
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 6256 0 0 0 10182 6 0 0 18 0 3 0 304777834 69722112 6021 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 17022 6021 387 42 0 11274 0
[pid=22536/tid=22538] ppid=22534 vsize=68088 CPUtime=51.01
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 2830 0 0 0 5097 4 0 0 25 0 3 0 304777840 69722112 6021 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=68088 CPUtime=50.8
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 2117 0 0 0 5079 1 0 0 25 0 3 0 304777840 69722112 6021 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241140 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 68088

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 22539
/proc/meminfo: memFree=1109592/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=81072 CPUtime=204.05
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 9500 0 0 0 20395 10 0 0 18 0 3 0 304777834 83017728 9078 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 20268 9078 387 42 0 14520 0
[pid=22536/tid=22538] ppid=22534 vsize=81072 CPUtime=102.19
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 4900 0 0 0 10212 7 0 0 25 0 3 0 304777840 83017728 9078 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=81072 CPUtime=101.79
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 3291 0 0 0 10177 2 0 0 25 0 3 0 304777840 83017728 9078 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284381 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 81072

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/67 22539
/proc/meminfo: memFree=1097368/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=95352 CPUtime=323.75
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 12670 0 0 0 32360 15 0 0 18 0 3 0 304777834 97640448 12119 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 23838 12119 387 42 0 18090 0
[pid=22536/tid=22538] ppid=22534 vsize=95352 CPUtime=162.17
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 6560 0 0 0 16205 12 0 0 25 0 3 0 304777840 97640448 12119 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=95352 CPUtime=161.51
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 4801 0 0 0 16149 2 0 0 25 0 3 0 304777840 97640448 12119 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.75
Current children cumulated vsize (KiB) 95352

[startup+222.302 s]
/proc/loadavg: 2.02 1.97 1.91 3/67 22539
/proc/meminfo: memFree=1093144/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=99448 CPUtime=443.46
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 13715 0 0 0 44328 18 0 0 18 0 3 0 304777834 101834752 13164 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 24862 13164 387 42 0 19114 0
[pid=22536/tid=22538] ppid=22534 vsize=99448 CPUtime=222.14
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 7605 0 0 0 22200 14 0 0 25 0 3 0 304777840 101834752 13164 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311148 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=99448 CPUtime=221.24
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 4801 0 0 0 22122 2 0 0 25 0 3 0 304777840 101834752 13164 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242381 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.46
Current children cumulated vsize (KiB) 99448

[startup+282.301 s]
/proc/loadavg: 2.01 1.97 1.91 3/67 22539
/proc/meminfo: memFree=1086744/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=105776 CPUtime=563.18
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 15411 0 0 0 56298 20 0 0 18 0 3 0 304777834 108314624 14784 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 26444 14784 387 42 0 20696 0
[pid=22536/tid=22538] ppid=22534 vsize=105776 CPUtime=282.13
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 7988 0 0 0 28197 16 0 0 25 0 3 0 304777840 108314624 14784 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242815 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=105776 CPUtime=280.99
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 6114 0 0 0 28096 3 0 0 25 0 3 0 304777840 108314624 14784 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.18
Current children cumulated vsize (KiB) 105776

[startup+342.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/73 22641
/proc/meminfo: memFree=1083456/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=107824 CPUtime=682.76
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 15842 0 0 0 68247 29 0 0 18 0 3 0 304777834 110411776 15215 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 26956 15215 387 42 0 21208 0
[pid=22536/tid=22538] ppid=22534 vsize=107824 CPUtime=342
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 8419 0 0 0 34183 17 0 0 25 0 3 0 304777840 110411776 15215 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=107824 CPUtime=340.69
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 6114 0 0 0 34058 11 0 0 25 0 3 0 304777840 110411776 15215 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242594 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.76
Current children cumulated vsize (KiB) 107824

[startup+402.302 s]
/proc/loadavg: 2.00 1.97 1.91 5/73 22717
/proc/meminfo: memFree=1077080/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=114820 CPUtime=802.36
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 17565 0 0 0 80197 39 0 0 18 0 3 0 304777834 117575680 16823 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 28705 16823 387 42 0 22957 0
[pid=22536/tid=22538] ppid=22534 vsize=114820 CPUtime=401.9
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 9589 0 0 0 40171 19 0 0 25 0 3 0 304777840 117575680 16823 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=114820 CPUtime=400.4
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 6667 0 0 0 40021 19 0 0 25 0 3 0 304777840 117575680 16823 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242342 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.36
Current children cumulated vsize (KiB) 114820

[startup+462.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 22737
/proc/meminfo: memFree=1074456/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=119940 CPUtime=922.05
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 18768 0 0 0 92163 42 0 0 18 0 3 0 304777834 122818560 17769 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 29985 17769 387 42 0 24237 0
[pid=22536/tid=22538] ppid=22534 vsize=119940 CPUtime=461.85
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 10792 0 0 0 46164 21 0 0 25 0 3 0 304777840 122818560 17769 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=119940 CPUtime=460.13
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 6667 0 0 0 45994 19 0 0 25 0 3 0 304777840 122818560 17769 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241750 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.05
Current children cumulated vsize (KiB) 119940

[startup+522.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 22737
/proc/meminfo: memFree=1072536/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=120964 CPUtime=1041.77
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 19252 0 0 0 104134 43 0 0 18 0 3 0 304777834 123867136 18253 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 30241 18253 387 42 0 24493 0
[pid=22536/tid=22538] ppid=22534 vsize=120964 CPUtime=521.83
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 11276 0 0 0 52161 22 0 0 25 0 3 0 304777840 123867136 18253 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=120964 CPUtime=519.86
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 6667 0 0 0 51967 19 0 0 25 0 3 0 304777840 123867136 18253 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.77
Current children cumulated vsize (KiB) 120964

[startup+582.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 22737
/proc/meminfo: memFree=1063960/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=131788 CPUtime=1161.48
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 21730 0 0 0 116103 45 0 0 18 0 3 0 304777834 134950912 20408 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 32947 20408 387 42 0 27199 0
[pid=22536/tid=22538] ppid=22534 vsize=131788 CPUtime=581.81
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 12032 0 0 0 58157 24 0 0 25 0 3 0 304777840 134950912 20408 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=131788 CPUtime=579.61
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 8389 0 0 0 57941 20 0 0 25 0 3 0 304777840 134950912 20408 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.48
Current children cumulated vsize (KiB) 131788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.706 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 22737
/proc/meminfo: memFree=1062744/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=132812 CPUtime=1200.19
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 22031 0 0 0 119974 45 0 0 18 0 3 0 304777834 135999488 20709 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 33203 20709 387 42 0 27455 0
[pid=22536/tid=22538] ppid=22534 vsize=132812 CPUtime=601.21
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 12333 0 0 0 60097 24 0 0 25 0 3 0 304777840 135999488 20709 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=132812 CPUtime=598.91
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 8389 0 0 0 59871 20 0 0 25 0 3 0 304777840 135999488 20709 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 132812

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

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

[startup+601.706 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 22737
/proc/meminfo: memFree=1062744/2055920 swapFree=4183856/4192956
[pid=22536] ppid=22534 vsize=132812 CPUtime=1200.19
/proc/22536/stat : 22536 (ornithorynque) S 22534 22536 21985 0 -1 4194304 22031 0 0 0 119974 45 0 0 18 0 3 0 304777834 135999488 20709 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22536/statm: 33203 20709 387 42 0 27455 0
[pid=22536/tid=22538] ppid=22534 vsize=132812 CPUtime=601.21
/proc/22536/task/22538/stat : 22538 (ornithorynque) R 22534 22536 21985 0 -1 4194368 12333 0 0 0 60097 24 0 0 25 0 3 0 304777840 135999488 20709 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22536/tid=22539] ppid=22534 vsize=132812 CPUtime=598.91
/proc/22536/task/22539/stat : 22539 (ornithorynque) R 22534 22536 21985 0 -1 4194368 8389 0 0 0 59871 20 0 0 25 0 3 0 304777840 135999488 20709 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 132812

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.732
CPU time (s): 1200.23
CPU user time (s): 1199.75
CPU system time (s): 0.472928
CPU usage (%): 199.462
Max. virtual memory (cumulated for all children) (KiB): 132812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.75
system time used= 0.472928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22031
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= 107
involuntary context switches= 9553

runsolver used 0.647901 second user time and 1.56276 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Mon Mar  5 15:55:41 UTC 2007

IDJOB= 328325
IDBENCH= 20235
IDSOLVER= 139
FILE ID= node35/328325-1173110141

PBS_JOBID= 4013901

Free space on /tmp= 66532 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  ebde26cba69a0651179051fde4b21ccb

RANDOM SEED= 363383332

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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.263
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.263
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:       1145344 kB
Buffers:         40076 kB
Cached:         800668 kB
SwapCached:       3000 kB
Active:         240792 kB
Inactive:       609416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1145344 kB
SwapTotal:     4192956 kB
SwapFree:      4183856 kB
Dirty:             484 kB
Writeback:           0 kB
Mapped:          15544 kB
Slab:            46416 kB
Committed_AS:   890736 kB
PageTables:       1412 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= 66532 MiB

End job on node35 on Mon Mar  5 16:05:45 UTC 2007