Trace number 239859

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
Abscon 109 ACSAT 158.422 158.857

DiagnosticValue
CHECKS167170378
NODES587584

General information on the benchmark

Nameqcp-qwh/QWH-20/
qwh-20-166-7_ext.xml
MD5SUM8b93529d4fb4135ef20d21fb28b0c96b
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.492924
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size20
Number of constraints which are defined in extension7600
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/239859-1168085160/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.45	     nbVariables=400  nbDomainTypes=21  minDomainSize=1  maxDomainSize=20
0.45	       =>  wckTime=0.143  cpuTime=0.12  mem=7M894
0.45	   
0.45	   relations being loaded...
0.46	   
0.46	   constraints being loaded...
0.79	     nbConstraints=5092  nbRelationTypes=22  nbSingletonDomainVariables=234  nbExtensionStructures=41
0.79	     nbSharedExtensionStructures=5051  nbConflictsStructures=41  nbSharedConflictsStructures=5051
0.79	     nbSharedBinaryRepresentations=858  maxDegree=38  maxArity=2
0.79	       =>  wckTime=0.481  cpuTime=0.35  mem=23M497
0.86	   
0.86	   solver IterativeSystematicSolver being built... 
1.03	       =>  wckTime=0.719  cpuTime=0.5  mem=18M172
1.08	   
1.08	   preprocessing
1.08	     nbConstraintChecks=41653  nbPropagations=400  nbRevisions=3914  nbUselessRevisions=1233  nbRemovedValues=2681
1.08	     detectedInconsistency=no
1.08	       =>  wckTime=0.041  cpuTime=0.03  mem=18M172
1.13	   
1.13	   search
1.13	     run=0  nbConstraintChecks=10241  nbPropagations=822  nbRevisions=10763  nbUselessRevisions=7353  nbAssignments=61
1.13	     nbFailedAssignments=5  nbBacktracks=15  nbVisitedNodes=70  nbRestartNogoods=0  mapSize=7  nbInferences=0
1.13	     nbTooLargeKeys=0
1.13	       =>  wckTime=0.1  cpuTime=0.07  mem=18M172
1.16	   
1.16	   search
1.16	     run=1  nbConstraintChecks=19992  nbPropagations=2076  nbRevisions=27856  nbUselessRevisions=20299
1.16	     nbAssignments=138  nbFailedAssignments=10  nbBacktracks=47  nbVisitedNodes=157  nbRestartNogoods=1  mapSize=16
1.16	     nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.127  cpuTime=0.09  mem=18M172
1.19	   
1.19	   search
1.19	     run=2  nbConstraintChecks=33418  nbPropagations=3884  nbRevisions=54119  nbUselessRevisions=41498
1.19	     nbAssignments=226  nbFailedAssignments=17  nbBacktracks=71  nbVisitedNodes=256  nbRestartNogoods=2  mapSize=24
1.19	     nbInferences=0  nbTooLargeKeys=0
1.19	       =>  wckTime=0.156  cpuTime=0.12  mem=19M147
1.21	   
1.21	   search
1.21	     run=3  nbConstraintChecks=42431  nbPropagations=6117  nbRevisions=85918  nbUselessRevisions=67547
1.21	     nbAssignments=306  nbFailedAssignments=26  nbBacktracks=120  nbVisitedNodes=353  nbRestartNogoods=5  mapSize=40
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.179  cpuTime=0.14  mem=19M147
1.24	   
1.24	   search
1.24	     run=4  nbConstraintChecks=56988  nbPropagations=8989  nbRevisions=127260  nbUselessRevisions=102005
1.24	     nbAssignments=414  nbFailedAssignments=36  nbBacktracks=174  nbVisitedNodes=483  nbRestartNogoods=6  mapSize=58
1.24	     nbInferences=0  nbTooLargeKeys=0
1.24	       =>  wckTime=0.21  cpuTime=0.17  mem=19M147
1.29	   
1.29	   search
1.29	     run=5  nbConstraintChecks=72682  nbPropagations=12564  nbRevisions=179030  nbUselessRevisions=145780
1.29	     nbAssignments=561  nbFailedAssignments=46  nbBacktracks=281  nbVisitedNodes=648  nbRestartNogoods=10  mapSize=74
1.29	     nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.253  cpuTime=0.21  mem=19M147
1.34	   
1.34	   search
1.34	     run=6  nbConstraintChecks=95941  nbPropagations=17087  nbRevisions=245880  nbUselessRevisions=202846
1.34	     nbAssignments=736  nbFailedAssignments=62  nbBacktracks=403  nbVisitedNodes=863  nbRestartNogoods=12  mapSize=111
1.34	     nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.305  cpuTime=0.25  mem=19M147
1.40	   
1.40	   search
1.40	     run=7  nbConstraintChecks=127409  nbPropagations=22840  nbRevisions=334444  nbUselessRevisions=279442
1.40	     nbAssignments=987  nbFailedAssignments=87  nbBacktracks=589  nbVisitedNodes=1162  nbRestartNogoods=15  mapSize=158
1.40	     nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.363  cpuTime=0.31  mem=19M147
1.48	   
1.48	   search
1.48	     run=8  nbConstraintChecks=184689  nbPropagations=30545  nbRevisions=462645  nbUselessRevisions=391674
1.48	     nbAssignments=1310  nbFailedAssignments=117  nbBacktracks=855  nbVisitedNodes=1547  nbRestartNogoods=16
1.48	     mapSize=219  nbInferences=0  nbTooLargeKeys=0
1.48	       =>  wckTime=0.447  cpuTime=0.39  mem=19M147
1.60	   
1.60	   search
1.60	     run=9  nbConstraintChecks=231637  nbPropagations=40343  nbRevisions=620079  nbUselessRevisions=529404
1.60	     nbAssignments=1776  nbFailedAssignments=177  nbBacktracks=1241  nbVisitedNodes=2125  nbRestartNogoods=17
1.60	     mapSize=327  nbInferences=0  nbTooLargeKeys=0
1.60	       =>  wckTime=0.566  cpuTime=0.49  mem=20M122
1.78	   
1.78	   search
1.78	     run=10  nbConstraintChecks=350652  nbPropagations=54741  nbRevisions=855652  nbUselessRevisions=735832
1.78	     nbAssignments=2520  nbFailedAssignments=296  nbBacktracks=1817  nbVisitedNodes=3119  nbRestartNogoods=20
1.78	     mapSize=564  nbInferences=1  nbTooLargeKeys=0
1.78	       =>  wckTime=0.745  cpuTime=0.66  mem=20M122
1.99	   
1.99	   search
1.99	     run=11  nbConstraintChecks=503592  nbPropagations=74458  nbRevisions=1197738  nbUselessRevisions=1037938
1.99	     nbAssignments=3529  nbFailedAssignments=393  nbBacktracks=2687  nbVisitedNodes=4336  nbRestartNogoods=24
1.99	     mapSize=768  nbInferences=1  nbTooLargeKeys=0
1.99	       =>  wckTime=0.961  cpuTime=0.87  mem=21M98
2.24	   
2.24	   INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=21M98)
2.32	   
2.32	   search
2.32	     run=12  nbConstraintChecks=762369  nbPropagations=102750  nbRevisions=1717108  nbUselessRevisions=1499178
2.32	     nbAssignments=5027  nbFailedAssignments=539  nbBacktracks=3989  nbVisitedNodes=6151  nbRestartNogoods=28
2.32	       =>  wckTime=1.288  cpuTime=1.19  mem=21M98
2.71	   
2.71	   search
2.71	     run=13  nbConstraintChecks=1072384  nbPropagations=142112  nbRevisions=2451739  nbUselessRevisions=2154184
2.71	     nbAssignments=7262  nbFailedAssignments=760  nbBacktracks=5971  nbVisitedNodes=8836  nbRestartNogoods=33
2.71	       =>  wckTime=1.678  cpuTime=1.58  mem=21M98
3.35	   
3.35	   search
3.35	     run=14  nbConstraintChecks=1631439  nbPropagations=200719  nbRevisions=3566109  nbUselessRevisions=3149005
3.35	     nbAssignments=10553  nbFailedAssignments=1099  nbBacktracks=8892  nbVisitedNodes=12826  nbRestartNogoods=37
3.35	       =>  wckTime=2.318  cpuTime=2.21  mem=21M98
4.50	   
4.50	   search
4.50	     run=15  nbConstraintChecks=2766976  nbPropagations=297932  nbRevisions=5469187  nbUselessRevisions=4852545
4.50	     nbAssignments=15768  nbFailedAssignments=1883  nbBacktracks=13271  nbVisitedNodes=19571  nbRestartNogoods=42
4.50	       =>  wckTime=3.467  cpuTime=3.35  mem=21M98
6.37	   
6.37	   search
6.37	     run=16  nbConstraintChecks=4667935  nbPropagations=458669  nbRevisions=8684540  nbUselessRevisions=7736773
6.37	     nbAssignments=23627  nbFailedAssignments=3144  nbBacktracks=19843  nbVisitedNodes=29943  nbRestartNogoods=48
6.37	       =>  wckTime=5.34  cpuTime=5.2  mem=21M98
9.62	   
9.62	   search
9.62	     run=17  nbConstraintChecks=8149759  nbPropagations=734372  nbRevisions=14336217  nbUselessRevisions=12816942
9.62	     nbAssignments=35700  nbFailedAssignments=5333  nbBacktracks=29697  nbVisitedNodes=46105  nbRestartNogoods=59
9.62	       =>  wckTime=8.586  cpuTime=8.42  mem=21M98
14.31	   
14.31	   search
14.31	     run=18  nbConstraintChecks=13134272  nbPropagations=1180920  nbRevisions=23386430  nbUselessRevisions=20944622
14.31	     nbAssignments=54001  nbFailedAssignments=8813  nbBacktracks=44479  nbVisitedNodes=71565  nbRestartNogoods=66
14.31	       =>  wckTime=13.279  cpuTime=13.07  mem=21M98
21.40	   
21.40	   search
21.40	     run=19  nbConstraintChecks=21006665  nbPropagations=1884297  nbRevisions=37966641  nbUselessRevisions=34061738
21.40	     nbAssignments=81352  nbFailedAssignments=13960  nbBacktracks=66655  nbVisitedNodes=108971  nbRestartNogoods=75
21.40	       =>  wckTime=20.367  cpuTime=20.09  mem=21M98
31.96	   
31.96	   search
31.96	     run=20  nbConstraintChecks=32275142  nbPropagations=2964257  nbRevisions=60337320  nbUselessRevisions=54181735
31.96	     nbAssignments=121721  nbFailedAssignments=21043  nbBacktracks=99930  nbVisitedNodes=163771  nbRestartNogoods=90
31.96	       =>  wckTime=30.926  cpuTime=30.55  mem=21M98
48.05	   
48.05	   search
48.05	     run=21  nbConstraintChecks=49238774  nbPropagations=4615443  nbRevisions=94706807  nbUselessRevisions=85113459
48.05	     nbAssignments=184520  nbFailedAssignments=33923  nbBacktracks=149813  nbVisitedNodes=251328  nbRestartNogoods=96
48.05	       =>  wckTime=47.019  cpuTime=46.61  mem=21M98
73.55	   
73.55	   search
73.55	     run=22  nbConstraintChecks=76579545  nbPropagations=7160549  nbRevisions=148412895  nbUselessRevisions=133531371
73.55	     nbAssignments=276586  nbFailedAssignments=51133  nbBacktracks=224647  nbVisitedNodes=377745  nbRestartNogoods=107
73.55	       =>  wckTime=72.513  cpuTime=72.09  mem=21M98
112.23	   
112.23	   search
112.23	     run=23  nbConstraintChecks=117929337  nbPropagations=11058234  nbRevisions=231148025  nbUselessRevisions=208138430
112.23	     nbAssignments=415114  nbFailedAssignments=77402  nbBacktracks=336880  nbVisitedNodes=567289  nbRestartNogoods=115
112.23	       =>  wckTime=111.201  cpuTime=110.76  mem=21M98
158.84	   
158.84	   search
158.84	     run=24  nbConstraintChecks=167128725  nbPropagations=16565563  nbRevisions=348022838  nbUselessRevisions=313508579
158.84	     nbAssignments=587584  nbFailedAssignments=108714  nbBacktracks=477638  nbVisitedNodes=802930  nbRestartNogoods=124
158.84	       =>  wckTime=157.804  cpuTime=157.31  mem=21M98
158.84	   
158.84	   global
158.84	     nbConstraintChecks=167170378  nbPropagations=16565963  nbRevisions=348026752  nbUselessRevisions=313509812
158.84	     nbRestartNogoods=124  solvingWckTime=157.806  solvingCpuTime=157.31  expiredTime=no  totalExploration=no
158.84	     nbFoundSolutions=1  globalCpuTime=157.85
158.84	       =>  wckTime=158.53  cpuTime=157.81  mem=21M98
158.84	   
158.84	s SATISFIABLE
158.84	v 11 4 17 6 13 15 16 9 18 10 0 1 3 5 8 14 2 12 19 7 18 14 6 3 0 10 5 11 13 8 1 7 9 12 2 19 17 4 16 15 3 7 1 13 12 5 14 19 10 18 11 6 8 4 17 16 0 15 2 9 16 13 5 4 18 11 7 12 1 0 17 14 19 10 9 2 8 6 15 3 4 10 12 7 19 2 8 1 14 6 13 3 0 15 11 5 9 17 18 16 2 11 4 16 1 14 19 5 15 7 3 18 6 17 13 8 12 9 0 10 9 6 7 17 15 4 13 16 11 3 10 8 5 0 14 12 18 19 1 2 7 2 11 1 16 12 0 8 5 14 6 9 10 19 4 15 13 3 17 18 12 3 0 5 7 8 15 14 17 1 4 10 18 2 19 9 16 11 13 6 5 17 14 2 6 7 9 3 19 16 15 13 12 11 10 4 1 18 8 0 19 18 3 14 9 0 2 4 12 13 16 17 11 7 15 1 5 10 6 8 8 16 18 11 2 19 1 0 3 4 12 15 7 9 6 17 14 5 10 13 10 19 16 15 5 17 18 7 0 12 9 2 13 1 3 6 4 8 14 11 1 9 15 8 3 16 4 13 6 19 2 0 17 18 7 10 11 14 12 5 0 8 10 19 11 13 12 6 7 2 18 16 4 14 5 3 15 1 9 17 17 0 19 10 8 9 6 18 2 15 5 11 1 3 12 13 7 16 4 14 14 1 13 12 17 6 10 15 16 9 7 5 2 8 18 11 19 0 3 4 13 15 2 9 14 18 17 10 4 11 8 19 16 6 1 0 3 7 5 12 15 12 9 0 10 3 11 17 8 5 19 4 14 13 16 18 6 2 7 1 6 5 8 18 4 1 3 2 9 17 14 12 15 16 0 7 10 13 11 19 
158.84	d NODES 587584
158.84	d CHECKS 167170378
158.84	   
158.84	   totalWckTime=158.605  totalCpuTime=157.86

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node25/watcher-239859-1168085160 -o ROOT/results/node25/solver-239859-1168085160 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239859-1168085160/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.68 1.93 1.89 2/93 32360
/proc/meminfo: memFree=1029808/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=18540 CPUtime=0
/proc/32359/stat : 32359 (runsolver) R 32357 32359 31759 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156908787 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215781797159 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/32359/statm: 4635 279 244 17 0 2626 0

[startup+0.102449 s]
/proc/loadavg: 1.68 1.93 1.89 2/93 32360
/proc/meminfo: memFree=1029808/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=914852 CPUtime=0.07
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 2925 0 1 0 6 1 0 0 25 0 8 0 156908787 936808448 2671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4205809 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228713 2671 1398 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914852

[startup+0.51501 s]
/proc/loadavg: 1.68 1.93 1.89 2/93 32360
/proc/meminfo: memFree=1029808/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915328 CPUtime=0.48
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 6523 0 1 0 44 4 0 0 25 0 8 0 156908787 937295872 6262 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228832 6262 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33676 s]
/proc/loadavg: 1.68 1.93 1.89 4/100 32367
/proc/meminfo: memFree=993848/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=1.29
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11694 0 1 0 122 7 0 0 25 0 8 0 156908787 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073960312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228919 11432 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 16 0 8 0 156908792 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.25
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 470 0 0 0 24 1 0 0 15 0 8 0 156908795 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) R 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915676

[startup+2.97693 s]
/proc/loadavg: 1.68 1.93 1.89 3/100 32367
/proc/meminfo: memFree=993720/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=2.92
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11710 0 1 0 284 8 0 0 25 0 8 0 156908787 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977230 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228919 11447 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 17 0 8 0 156908792 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.28
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 486 0 0 0 27 1 0 0 15 0 8 0 156908795 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) S 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915676

[startup+6.27549 s]
/proc/loadavg: 1.70 1.93 1.89 3/100 32367
/proc/meminfo: memFree=993720/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=6.18
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11713 0 1 0 610 8 0 0 25 0 8 0 156908787 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074052926 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228919 11449 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.28
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 488 0 0 0 27 1 0 0 17 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) S 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915676

[startup+12.7536 s]
/proc/loadavg: 1.81 1.95 1.90 3/100 32367
/proc/meminfo: memFree=993720/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=12.6
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11713 0 1 0 1252 8 0 0 25 0 8 0 156908787 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997721 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228919 11449 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.28
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 488 0 0 0 27 1 0 0 17 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) S 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915676

[startup+25.6158 s]
/proc/loadavg: 1.85 1.95 1.90 3/100 32367
/proc/meminfo: memFree=993784/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=25.35
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11714 0 1 0 2527 8 0 0 25 0 8 0 156908787 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073961446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228919 11449 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.28
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 488 0 0 0 27 1 0 0 16 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) S 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915676

[startup+51.2191 s]
/proc/loadavg: 1.68 1.90 1.88 2/88 32377
/proc/meminfo: memFree=1603168/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=50.84
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11714 0 1 0 5076 8 0 0 25 0 8 0 156908787 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32359/statm: 228919 11449 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.28
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 488 0 0 0 27 1 0 0 16 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) S 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915676

[startup+102.488 s]
/proc/loadavg: 1.29 1.76 1.83 2/88 32380
/proc/meminfo: memFree=1605280/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=102.09
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11714 0 1 0 10200 9 0 0 25 0 8 0 156908787 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32359/statm: 228919 11449 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.28
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 488 0 0 0 27 1 0 0 16 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) S 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 915676

Child status: 0
Real time (s): 158.857
CPU time (s): 158.422
CPU user time (s): 158.31
CPU system time (s): 0.111982
CPU usage (%): 99.7261
Max. virtual memory (cumulated for all children) (KiB): 915780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.31
system time used= 0.111982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11721
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4586
involuntary context switches= 7001

runsolver used 0.153976 s user time and 0.448931 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Sat Jan  6 12:06:02 UTC 2007


IDJOB= 239859
IDBENCH= 7087
FILE ID= node25/239859-1168085160

PBS_JOBID= 3476230

Free space on /tmp= 66547 MiB

BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239859-1168085160/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-239859-1168085160 -o ROOT/results/node25/solver-239859-1168085160 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239859-1168085160/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8b93529d4fb4135ef20d21fb28b0c96b

RANDOM SEED= 153290824

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.279
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.279
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:       1030480 kB
Buffers:         44868 kB
Cached:         250456 kB
SwapCached:          0 kB
Active:         697932 kB
Inactive:       254856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1030480 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2320 kB
Writeback:           0 kB
Mapped:         686516 kB
Slab:            56176 kB
Committed_AS:  3729572 kB
PageTables:       3540 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= 66547 MiB



End job on node25 on Sat Jan  6 12:08:43 UTC 2007