Trace number 328270

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.18 601.535

General information on the benchmark

Namerandom/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S427890210-10.cnf
MD5SUM44e1b0f761a25d475a1d40bc83b487fd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark38.1612
Satisfiable
(Un)Satisfiability was proved
Number of variables7000
Number of clauses29400
Sum of the clauses size88200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 329400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.01	c This is Ornithorynque version 0.1 alpha
0.00/0.01	c (c) roussel@cril.univ-artois.fr
0.00/0.01	c using unsigned short
0.00/0.01	c parsing...
0.03/0.08	c ...done
0.03/0.08	c nbVar=7000 nbClause=29400
0.03/0.09	c nbVar=7000 nbClause=29400
0.09/0.11	c complete search running
0.09/0.11	c local search running
0.09/0.12	c flip 0 nbSat=25805 maxSat=0
0.27/0.20	c flip 10000 nbSat=28262 maxSat=28273
0.27/0.27	c flip 20000 nbSat=28650 maxSat=28651
0.47/0.34	c flip 30000 nbSat=28720 maxSat=28736
0.67/0.41	c flip 40000 nbSat=28809 maxSat=28845
0.67/0.48	c flip 50000 nbSat=28886 maxSat=28890
0.87/0.55	c flip 60000 nbSat=28917 maxSat=28941
1.07/0.61	c flip 70000 nbSat=28923 maxSat=28943
1.07/0.68	c flip 80000 nbSat=28949 maxSat=28963
1.27/0.74	c flip 90000 nbSat=28950 maxSat=28992
1.47/0.81	c flip 100000 nbSat=28957 maxSat=29000
1.47/0.87	c flip 110000 nbSat=28969 maxSat=29000
1.67/0.94	c flip 120000 nbSat=28945 maxSat=29015
1.87/1.01	c flip 130000 nbSat=28983 maxSat=29015
1.87/1.09	c flip 0 nbSat=26759 maxSat=29030
2.27/1.22	c flip 10000 nbSat=29245 maxSat=29250
2.47/1.35	c flip 20000 nbSat=29549 maxSat=29623
2.67/1.47	c flip 30000 nbSat=29698 maxSat=29762
2.87/1.60	c flip 40000 nbSat=29852 maxSat=29871
3.27/1.73	c flip 50000 nbSat=29910 maxSat=29928
3.47/1.85	c flip 60000 nbSat=29923 maxSat=29967
3.66/1.98	c flip 70000 nbSat=29988 maxSat=29993
4.07/2.11	c flip 80000 nbSat=29990 maxSat=30047
4.28/2.24	c flip 90000 nbSat=29965 maxSat=30047
4.47/2.36	c flip 100000 nbSat=30040 maxSat=30047
4.67/2.49	c flip 110000 nbSat=30035 maxSat=30093
5.07/2.62	c flip 120000 nbSat=30021 maxSat=30093
5.26/2.76	c flip 130000 nbSat=30036 maxSat=30093
5.66/2.93	c flip 0 nbSat=28407 maxSat=30093
6.06/3.15	c flip 10000 nbSat=30971 maxSat=30971
6.65/3.40	c flip 20000 nbSat=31220 maxSat=31262
7.05/3.66	c flip 30000 nbSat=31439 maxSat=31441
7.65/3.91	c flip 40000 nbSat=31469 maxSat=31499
8.05/4.18	c flip 50000 nbSat=31514 maxSat=31519
8.66/4.44	c flip 60000 nbSat=31539 maxSat=31553
9.25/4.73	c flip 70000 nbSat=31565 maxSat=31588
9.65/4.99	c flip 80000 nbSat=31592 maxSat=31624
10.25/5.27	c flip 90000 nbSat=31606 maxSat=31655
10.85/5.56	c flip 100000 nbSat=31644 maxSat=31667
11.44/5.84	c flip 110000 nbSat=31657 maxSat=31679
12.04/6.12	c flip 120000 nbSat=31635 maxSat=31679
12.45/6.39	c flip 130000 nbSat=31660 maxSat=31681
13.24/6.70	c flip 0 nbSat=30973 maxSat=31708
14.04/7.11	c flip 10000 nbSat=33445 maxSat=33445
14.44/7.30	c nbDecision=10000 #clauses=34963
14.84/7.59	c flip 20000 nbSat=33800 maxSat=33811
15.84/8.04	c flip 30000 nbSat=33922 maxSat=33986
16.64/8.49	c flip 40000 nbSat=34037 maxSat=34080
17.63/8.93	c flip 50000 nbSat=34094 maxSat=34117
18.43/9.37	c flip 60000 nbSat=34115 maxSat=34158
19.44/9.86	c flip 70000 nbSat=34167 maxSat=34180
20.43/10.33	c flip 80000 nbSat=34162 maxSat=34201
21.23/10.78	c flip 90000 nbSat=34169 maxSat=34215
22.22/11.28	c flip 100000 nbSat=34151 maxSat=34215
23.23/11.79	c flip 110000 nbSat=34211 maxSat=34233
24.22/12.29	c flip 120000 nbSat=34194 maxSat=34233
25.22/12.78	c flip 130000 nbSat=34182 maxSat=34243
26.42/13.32	c flip 0 nbSat=35295 maxSat=34243
27.82/14.06	c flip 10000 nbSat=37861 maxSat=37866
29.61/14.92	c flip 20000 nbSat=38270 maxSat=38283
31.40/15.85	c flip 30000 nbSat=38353 maxSat=38393
32.81/16.54	c nbDecision=20000 #clauses=41077
33.40/16.83	c flip 40000 nbSat=38414 maxSat=38453
35.19/17.78	c flip 50000 nbSat=38433 maxSat=38482
37.20/18.72	c flip 60000 nbSat=38528 maxSat=38532
38.99/19.66	c flip 70000 nbSat=38519 maxSat=38546
40.98/20.62	c flip 80000 nbSat=38495 maxSat=38546
42.77/21.56	c flip 90000 nbSat=38545 maxSat=38588
44.76/22.59	c flip 100000 nbSat=38543 maxSat=38588
46.75/23.58	c flip 110000 nbSat=38554 maxSat=38588
48.75/24.56	c flip 120000 nbSat=38574 maxSat=38594
50.74/25.58	c flip 130000 nbSat=38558 maxSat=38646
53.15/26.75	c flip 0 nbSat=42599 maxSat=38673
56.53/28.47	c flip 10000 nbSat=45069 maxSat=45095
57.14/28.72	c nbDecision=30000 #clauses=47006
60.13/30.29	c flip 20000 nbSat=45456 maxSat=45474
63.92/32.13	c flip 30000 nbSat=45550 maxSat=45605
67.52/33.96	c flip 40000 nbSat=45703 maxSat=45721
71.70/36.02	c flip 50000 nbSat=45720 maxSat=45761
75.69/38.06	c flip 60000 nbSat=45740 maxSat=45773
79.68/40.08	c flip 70000 nbSat=45751 maxSat=45798
83.67/42.01	c flip 80000 nbSat=45727 maxSat=45798
87.68/44.08	c flip 90000 nbSat=45774 maxSat=45805
91.86/46.18	c flip 100000 nbSat=45811 maxSat=45830
96.06/48.29	c flip 110000 nbSat=45854 maxSat=45872
100.85/50.64	c flip 120000 nbSat=45820 maxSat=45872
105.24/52.88	c flip 130000 nbSat=45809 maxSat=45872
106.43/53.42	c nbDecision=40000 #clauses=53300
110.02/55.24	c flip 0 nbSat=49998 maxSat=45872
116.01/58.29	c flip 10000 nbSat=52522 maxSat=52534
123.59/62.03	c flip 20000 nbSat=52880 maxSat=52922
131.57/66.09	c flip 30000 nbSat=53011 maxSat=53047
138.94/69.78	c flip 40000 nbSat=53044 maxSat=53062
146.93/73.76	c flip 50000 nbSat=53103 maxSat=53117
155.31/77.94	c flip 60000 nbSat=53144 maxSat=53150
162.89/81.76	c flip 70000 nbSat=53175 maxSat=53189
170.48/85.54	c flip 80000 nbSat=53175 maxSat=53189
178.46/89.59	c nbDecision=50000 #clauses=59559
179.06/89.90	c flip 90000 nbSat=53201 maxSat=53216
187.64/94.13	c flip 100000 nbSat=53214 maxSat=53255
195.62/98.12	c flip 110000 nbSat=53175 maxSat=53265
202.80/101.77	c flip 120000 nbSat=53194 maxSat=53265
210.60/105.69	c flip 130000 nbSat=53259 maxSat=53275
218.97/109.81	c flip 0 nbSat=59212 maxSat=53275
229.33/115.07	c flip 10000 nbSat=61862 maxSat=61868
241.32/121.09	c flip 20000 nbSat=62166 maxSat=62181
254.68/127.78	c flip 30000 nbSat=62327 maxSat=62348
255.68/128.29	c nbDecision=60000 #clauses=65725
268.86/134.85	c flip 40000 nbSat=62392 maxSat=62446
282.83/141.83	c flip 50000 nbSat=62371 maxSat=62446
295.60/148.24	c flip 60000 nbSat=62445 maxSat=62464
309.97/155.42	c flip 70000 nbSat=62487 maxSat=62515
325.91/163.43	c flip 80000 nbSat=62486 maxSat=62541
339.09/170.00	c flip 90000 nbSat=62534 maxSat=62570
352.06/176.56	c flip 100000 nbSat=62501 maxSat=62570
363.64/182.34	c nbDecision=70000 #clauses=71977
365.03/183.03	c flip 110000 nbSat=62508 maxSat=62570
379.21/190.15	c flip 120000 nbSat=62482 maxSat=62570
393.57/197.36	c flip 130000 nbSat=62518 maxSat=62570
407.93/204.55	c flip 0 nbSat=70713 maxSat=62575
422.89/212.01	c flip 10000 nbSat=73245 maxSat=73249
441.86/221.53	c flip 20000 nbSat=73558 maxSat=73581
462.41/231.86	c flip 30000 nbSat=73717 maxSat=73733
481.97/241.65	c flip 40000 nbSat=73766 maxSat=73797
498.31/249.83	c nbDecision=80000 #clauses=78548
501.72/251.54	c flip 50000 nbSat=73838 maxSat=73869
522.27/261.89	c flip 60000 nbSat=73824 maxSat=73894
544.62/273.06	c flip 70000 nbSat=73867 maxSat=73894
565.58/283.55	c flip 80000 nbSat=73886 maxSat=73931
586.32/293.94	c flip 90000 nbSat=73886 maxSat=73943
609.07/305.33	c flip 100000 nbSat=73892 maxSat=73945
630.43/316.07	c flip 110000 nbSat=73833 maxSat=73948
640.01/320.86	c nbDecision=90000 #clauses=85171
650.59/326.20	c flip 120000 nbSat=73910 maxSat=73948
672.93/337.36	c flip 130000 nbSat=73944 maxSat=73979
695.68/348.73	c flip 0 nbSat=83466 maxSat=74035
718.63/360.29	c flip 10000 nbSat=86077 maxSat=86077
747.96/374.99	c flip 20000 nbSat=86439 maxSat=86447
780.08/391.02	c flip 30000 nbSat=86484 maxSat=86545
813.41/407.74	c nbDecision=100000 #clauses=91652
815.40/408.72	c flip 40000 nbSat=86589 maxSat=86640
850.33/426.26	c flip 50000 nbSat=86642 maxSat=86646
884.84/443.55	c flip 60000 nbSat=86605 maxSat=86715
915.98/459.16	c flip 70000 nbSat=86660 maxSat=86715
948.89/475.60	c flip 80000 nbSat=86731 maxSat=86757
967.86/485.12	c nbDecision=110000 #clauses=98063
981.82/492.12	c flip 90000 nbSat=86715 maxSat=86757
1016.16/509.38	c flip 100000 nbSat=86733 maxSat=86770
1049.47/526.07	c flip 110000 nbSat=86748 maxSat=86784
1084.20/543.41	c flip 120000 nbSat=86765 maxSat=86785
1119.51/561.15	c flip 130000 nbSat=86714 maxSat=86787
1143.85/573.36	c nbDecision=120000 #clauses=104826
1154.03/578.48	c flip 0 nbSat=101437 maxSat=86787
1184.76/593.88	c flip 10000 nbSat=104011 maxSat=104023

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/node61/watcher-328270-1173109562 -o ROOT/results/node61/solver-328270-1173109562 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328270-1173109562/ornithorynque /tmp/evaluation/328270-1173109562/instance-328270-1173109562.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 31859
/proc/meminfo: memFree=1626592/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=23220 CPUtime=0
/proc/31859/stat : 31859 (ornithorynque) R 31857 31859 31350 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 330913142 23777280 246 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246403861777 0 0 4096 0 0 0 0 17 1 0 0
/proc/31859/statm: 5805 246 211 42 0 45 0

[startup+0.0408441 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 31859
/proc/meminfo: memFree=1626592/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=24508 CPUtime=0.03
/proc/31859/stat : 31859 (ornithorynque) R 31857 31859 31350 0 -1 4194304 780 0 0 0 3 0 0 0 18 0 1 0 330913142 25096192 741 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246406353633 0 0 4096 1088 0 0 0 17 1 0 0
/proc/31859/statm: 6127 742 377 42 0 379 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24508

[startup+0.101849 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 31859
/proc/meminfo: memFree=1626592/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=28448 CPUtime=0.09
/proc/31859/stat : 31859 (ornithorynque) R 31857 31859 31350 0 -1 4194304 1848 0 0 0 9 0 0 0 18 0 1 0 330913142 29130752 1743 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246406359616 0 0 4096 1088 0 0 0 17 1 0 0
/proc/31859/statm: 7112 1743 382 42 0 1364 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28448

[startup+0.301874 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 31859
/proc/meminfo: memFree=1626592/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=49696 CPUtime=0.47
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 1999 0 0 0 47 0 0 0 18 0 3 0 330913142 50888704 1894 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 12424 1894 387 42 0 6676 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 49696

[startup+0.701913 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 31859
/proc/meminfo: memFree=1626592/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=49828 CPUtime=1.27
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 2048 0 0 0 127 0 0 0 18 0 3 0 330913142 51023872 1943 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 12457 1943 387 42 0 6709 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 49828

[startup+1.50299 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 31862
/proc/meminfo: memFree=1619976/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=51772 CPUtime=2.87
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 2341 0 0 0 287 0 0 0 18 0 3 0 330913142 53014528 2236 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 12943 2236 387 42 0 7195 0
[pid=31859/tid=31861] ppid=31857 vsize=51772 CPUtime=1.38
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 203 0 0 0 138 0 0 0 20 0 3 0 330913153 53014528 2236 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=51772 CPUtime=1.37
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 183 0 0 0 137 0 0 0 21 0 3 0 330913153 53014528 2236 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284258 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 51772

[startup+3.10114 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 31862
/proc/meminfo: memFree=1618504/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=54524 CPUtime=6.06
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 2993 0 0 0 605 1 0 0 18 0 3 0 330913142 55832576 2888 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 13631 2888 387 42 0 7883 0
[pid=31859/tid=31861] ppid=31857 vsize=54524 CPUtime=2.97
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 439 0 0 0 297 0 0 0 25 0 3 0 330913153 55832576 2888 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311151 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=54524 CPUtime=2.96
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 599 0 0 0 296 0 0 0 25 0 3 0 330913153 55832576 2888 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240922 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 54524

[startup+6.30145 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 31862
/proc/meminfo: memFree=1615176/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=55804 CPUtime=12.45
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 3404 0 0 0 1243 2 0 0 18 0 3 0 330913142 57143296 3234 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 13951 3234 387 42 0 8203 0
[pid=31859/tid=31861] ppid=31857 vsize=55804 CPUtime=6.17
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 850 0 0 0 616 1 0 0 25 0 3 0 330913153 57143296 3234 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=55804 CPUtime=6.15
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 599 0 0 0 615 0 0 0 25 0 3 0 330913153 57143296 3234 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241162 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 55804

[startup+12.7011 s]
/proc/loadavg: 1.86 1.94 1.90 3/67 31862
/proc/meminfo: memFree=1610320/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=60532 CPUtime=25.22
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 4630 0 0 0 2519 3 0 0 18 0 3 0 330913142 61984768 4395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 15133 4395 387 42 0 9385 0
[pid=31859/tid=31861] ppid=31857 vsize=60532 CPUtime=12.57
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 1441 0 0 0 1255 2 0 0 25 0 3 0 330913153 61984768 4395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246406353575 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=60532 CPUtime=12.52
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 1234 0 0 0 1252 0 0 0 25 0 3 0 330913153 61984768 4395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 60532

[startup+25.5013 s]
/proc/loadavg: 1.89 1.94 1.90 3/67 31862
/proc/meminfo: memFree=1602896/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=68276 CPUtime=50.74
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 6450 0 0 0 5069 5 0 0 18 0 3 0 330913142 69914624 6215 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 17069 6215 387 42 0 11321 0
[pid=31859/tid=31861] ppid=31857 vsize=68276 CPUtime=25.37
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 2410 0 0 0 2533 4 0 0 25 0 3 0 330913153 69914624 6215 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4290239 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=68276 CPUtime=25.25
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 2085 0 0 0 2525 0 0 0 25 0 3 0 330913153 69914624 6215 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 68276

[startup+51.1017 s]
/proc/loadavg: 1.93 1.94 1.90 3/67 31862
/proc/meminfo: memFree=1592848/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=79232 CPUtime=101.84
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 8956 0 0 0 10174 10 0 0 18 0 3 0 330913142 81133568 8721 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 19808 8721 387 42 0 14060 0
[pid=31859/tid=31861] ppid=31857 vsize=79232 CPUtime=50.96
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 3632 0 0 0 5088 8 0 0 25 0 3 0 330913153 81133568 8721 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=79232 CPUtime=50.75
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 3369 0 0 0 5074 1 0 0 25 0 3 0 330913153 81133568 8721 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 79232

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 31862
/proc/meminfo: memFree=1579152/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=93960 CPUtime=204.01
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 12376 0 0 0 20388 13 0 0 18 0 3 0 330913142 96215040 12083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 23490 12083 387 42 0 17742 0
[pid=31859/tid=31861] ppid=31857 vsize=93960 CPUtime=102.15
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 5238 0 0 0 10204 11 0 0 25 0 3 0 330913153 96215040 12083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311221 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=93960 CPUtime=101.74
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 5183 0 0 0 10172 2 0 0 25 0 3 0 330913153 96215040 12083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 93960

[startup+162.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/67 31862
/proc/meminfo: memFree=1565008/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=109284 CPUtime=323.72
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 16027 0 0 0 32356 16 0 0 18 0 3 0 330913142 111906816 15605 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 27321 15605 387 42 0 21573 0
[pid=31859/tid=31861] ppid=31857 vsize=109284 CPUtime=162.13
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 6770 0 0 0 16201 12 0 0 25 0 3 0 330913153 111906816 15605 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=109284 CPUtime=161.47
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 7302 0 0 0 16144 3 0 0 25 0 3 0 330913153 111906816 15605 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.72
Current children cumulated vsize (KiB) 109284

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 31862
/proc/meminfo: memFree=1550672/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=125484 CPUtime=443.45
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 19735 0 0 0 44325 20 0 0 18 0 3 0 330913142 128495616 19184 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 31371 19184 387 42 0 25623 0
[pid=31859/tid=31861] ppid=31857 vsize=125484 CPUtime=222.12
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 7875 0 0 0 22197 15 0 0 25 0 3 0 330913153 128495616 19184 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=125484 CPUtime=221.21
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 9905 0 0 0 22117 4 0 0 25 0 3 0 330913153 128495616 19184 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.45
Current children cumulated vsize (KiB) 125484

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 31862
/proc/meminfo: memFree=1545360/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=130604 CPUtime=563.19
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 21057 0 0 0 56295 24 0 0 18 0 3 0 330913142 133738496 20506 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 32651 20506 387 42 0 26903 0
[pid=31859/tid=31861] ppid=31857 vsize=130604 CPUtime=282.1
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 9197 0 0 0 28191 19 0 0 25 0 3 0 330913153 133738496 20506 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=130604 CPUtime=280.96
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 9905 0 0 0 28092 4 0 0 25 0 3 0 330913153 133738496 20506 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.19
Current children cumulated vsize (KiB) 130604

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 31862
/proc/meminfo: memFree=1540496/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=135724 CPUtime=682.89
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 22258 0 0 0 68263 26 0 0 18 0 3 0 330913142 138981376 21707 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 33931 21707 387 42 0 28183 0
[pid=31859/tid=31861] ppid=31857 vsize=135724 CPUtime=342.08
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 10398 0 0 0 34187 21 0 0 25 0 3 0 330913153 138981376 21707 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=135724 CPUtime=340.68
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 9905 0 0 0 34064 4 0 0 25 0 3 0 330913153 138981376 21707 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.89
Current children cumulated vsize (KiB) 135724

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 31862
/proc/meminfo: memFree=1520080/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=160872 CPUtime=802.63
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 27393 0 0 0 80232 31 0 0 18 0 3 0 330913142 164732928 26809 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 40218 26809 387 42 0 34470 0
[pid=31859/tid=31861] ppid=31857 vsize=160872 CPUtime=402.06
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 11340 0 0 0 40183 23 0 0 25 0 3 0 330913153 164732928 26809 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311221 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=160872 CPUtime=400.43
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 14098 0 0 0 40037 6 0 0 25 0 3 0 330913153 164732928 26809 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.63
Current children cumulated vsize (KiB) 160872

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 31862
/proc/meminfo: memFree=1516240/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=163944 CPUtime=922.36
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 28322 0 0 0 92203 33 0 0 18 0 3 0 330913142 167878656 27738 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 40986 27738 387 42 0 35238 0
[pid=31859/tid=31861] ppid=31857 vsize=163944 CPUtime=462.06
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 12269 0 0 0 46180 26 0 0 25 0 3 0 330913153 167878656 27738 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=163944 CPUtime=460.18
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 14098 0 0 0 46012 6 0 0 25 0 3 0 330913153 167878656 27738 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.36
Current children cumulated vsize (KiB) 163944

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 31862
/proc/meminfo: memFree=1512400/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=168040 CPUtime=1042.08
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 29291 0 0 0 104173 35 0 0 18 0 3 0 330913142 172072960 28707 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 42010 28707 387 42 0 36262 0
[pid=31859/tid=31861] ppid=31857 vsize=168040 CPUtime=522.04
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 13238 0 0 0 52176 28 0 0 25 0 3 0 330913153 172072960 28707 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311635 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=168040 CPUtime=519.92
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 14098 0 0 0 51986 6 0 0 25 0 3 0 330913153 172072960 28707 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.08
Current children cumulated vsize (KiB) 168040

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 31862
/proc/meminfo: memFree=1492944/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=192180 CPUtime=1161.81
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 34914 0 0 0 116143 38 0 0 18 0 3 0 330913142 196792320 33571 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 48045 33571 387 42 0 42297 0
[pid=31859/tid=31861] ppid=31857 vsize=192180 CPUtime=582.02
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 13967 0 0 0 58173 29 0 0 25 0 3 0 330913153 196792320 33571 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311238 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=192180 CPUtime=579.66
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 18992 0 0 0 57958 8 0 0 25 0 3 0 330913153 196792320 33571 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.81
Current children cumulated vsize (KiB) 192180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 31862
/proc/meminfo: memFree=1491984/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=193204 CPUtime=1200.14
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 35138 0 0 0 119975 39 0 0 18 0 3 0 330913142 197840896 33795 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 48301 33795 387 42 0 42553 0
[pid=31859/tid=31861] ppid=31857 vsize=193204 CPUtime=601.23
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 14191 0 0 0 60093 30 0 0 25 0 3 0 330913153 197840896 33795 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=193204 CPUtime=598.79
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 18992 0 0 0 59871 8 0 0 25 0 3 0 330913153 197840896 33795 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 193204

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

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

[startup+601.502 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 31862
/proc/meminfo: memFree=1491984/2055920 swapFree=4183424/4192956
[pid=31859] ppid=31857 vsize=193204 CPUtime=1200.14
/proc/31859/stat : 31859 (ornithorynque) S 31857 31859 31350 0 -1 4194304 35138 0 0 0 119975 39 0 0 18 0 3 0 330913142 197840896 33795 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31859/statm: 48301 33795 387 42 0 42553 0
[pid=31859/tid=31861] ppid=31857 vsize=193204 CPUtime=601.23
/proc/31859/task/31861/stat : 31861 (ornithorynque) R 31857 31859 31350 0 -1 4194368 14191 0 0 0 60093 30 0 0 25 0 3 0 330913153 197840896 33795 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31859/tid=31862] ppid=31857 vsize=193204 CPUtime=598.79
/proc/31859/task/31862/stat : 31862 (ornithorynque) R 31857 31859 31350 0 -1 4194368 18992 0 0 0 59871 8 0 0 25 0 3 0 330913153 197840896 33795 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 193204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.535
CPU time (s): 1200.18
CPU user time (s): 1199.77
CPU system time (s): 0.411937
CPU usage (%): 199.52
Max. virtual memory (cumulated for all children) (KiB): 193204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.77
system time used= 0.411937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35138
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= 20
involuntary context switches= 9236

runsolver used 0.451931 second user time and 1.75973 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Mon Mar  5 15:46:02 UTC 2007

IDJOB= 328270
IDBENCH= 20178
IDSOLVER= 139
FILE ID= node61/328270-1173109562

PBS_JOBID= 4013912

Free space on /tmp= 66528 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  44e1b0f761a25d475a1d40bc83b487fd

RANDOM SEED= 640156758

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.216
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.216
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:       1626936 kB
Buffers:         25012 kB
Cached:         328220 kB
SwapCached:       3496 kB
Active:          47436 kB
Inactive:       315332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1626936 kB
SwapTotal:     4192956 kB
SwapFree:      4183424 kB
Dirty:             772 kB
Writeback:           0 kB
Mapped:          15620 kB
Slab:            52272 kB
Committed_AS:   864076 kB
PageTables:       1388 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= 66528 MiB

End job on node61 on Mon Mar  5 15:56:06 UTC 2007