Trace number 240276

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 ESACSAT 149.661 150.424

DiagnosticValue
CHECKS157535116
NODES532279

General information on the benchmark

Nameqcp-qwh/QCP-20/
qcp-20-187-3_ext.xml
MD5SUM0fa951e5d7c1dde14756850748c0bfa9
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 benchmark2.98654
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.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=esac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/240276-1168371619/unknown.xml
0.40	   
0.40	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.49	     nbVariables=400  nbDomainTypes=21  minDomainSize=1  maxDomainSize=20
0.49	       =>  wckTime=0.152  cpuTime=0.11  mem=7M894
0.49	   
0.49	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.86	     nbConstraints=5540  nbRelationTypes=22  nbSingletonDomainVariables=213  nbExtensionStructures=41
0.86	     nbSharedExtensionStructures=5499  nbConflictsStructures=41  nbSharedConflictsStructures=5499
0.86	     nbSharedBinaryRepresentations=858  maxDegree=38  maxArity=2
0.86	       =>  wckTime=0.522  cpuTime=0.36  mem=24M505
0.93	   
0.93	   solver IterativeSystematicSolver being built... 
1.13	       =>  wckTime=0.794  cpuTime=0.52  mem=18M513
1.30	   
1.31	   preprocessing
1.31	     nbConstraintChecks=100881  nbPropagations=2691  nbRevisions=22277  nbUselessRevisions=17338  nbSingletonTests=667
1.31	     nbEffectiveSingletonTests=0  nbESACBranches=10  nbRemovedValues=2922  detectedInconsistency=no
1.31	       =>  wckTime=0.17  cpuTime=0.14  mem=18M513
1.37	   
1.37	   search
1.37	     run=0  nbConstraintChecks=4645  nbPropagations=3121  nbRevisions=23720  nbUselessRevisions=18225  nbAssignments=282
1.37	     nbFailedAssignments=4  nbBacktracks=16  nbVisitedNodes=290  nbRestartNogoods=0  mapSize=5  nbInferences=0
1.37	     nbTooLargeKeys=0
1.37	       =>  wckTime=0.24  cpuTime=0.2  mem=19M584
1.43	   
1.43	   search
1.43	     run=1  nbConstraintChecks=14973  nbPropagations=7101  nbRevisions=51638  nbUselessRevisions=39690
1.43	     nbAssignments=615  nbFailedAssignments=6  nbBacktracks=31  nbVisitedNodes=569  nbRestartNogoods=2  mapSize=11
1.43	     nbInferences=0  nbTooLargeKeys=0
1.43	       =>  wckTime=0.297  cpuTime=0.25  mem=19M584
1.49	   
1.49	   search
1.49	     run=2  nbConstraintChecks=24549  nbPropagations=11763  nbRevisions=82974  nbUselessRevisions=63332
1.49	     nbAssignments=919  nbFailedAssignments=17  nbBacktracks=58  nbVisitedNodes=894  nbRestartNogoods=3  mapSize=30
1.49	     nbInferences=0  nbTooLargeKeys=0
1.49	       =>  wckTime=0.355  cpuTime=0.3  mem=19M584
1.57	   
1.57	   search
1.57	     run=3  nbConstraintChecks=37904  nbPropagations=17484  nbRevisions=119704  nbUselessRevisions=91093
1.57	     nbAssignments=1682  nbFailedAssignments=21  nbBacktracks=92  nbVisitedNodes=1200  nbRestartNogoods=5  mapSize=36
1.57	     nbInferences=0  nbTooLargeKeys=0
1.57	       =>  wckTime=0.435  cpuTime=0.37  mem=20M557
1.62	   
1.62	   search
1.62	     run=4  nbConstraintChecks=49622  nbPropagations=24021  nbRevisions=160554  nbUselessRevisions=121454
1.62	     nbAssignments=2005  nbFailedAssignments=35  nbBacktracks=147  nbVisitedNodes=1548  nbRestartNogoods=7  mapSize=59
1.62	     nbInferences=0  nbTooLargeKeys=0
1.62	       =>  wckTime=0.487  cpuTime=0.42  mem=20M557
1.68	   
1.68	   search
1.68	     run=5  nbConstraintChecks=59920  nbPropagations=31404  nbRevisions=205141  nbUselessRevisions=154215
1.68	     nbAssignments=2362  nbFailedAssignments=46  nbBacktracks=222  nbVisitedNodes=1922  nbRestartNogoods=9  mapSize=71
1.68	     nbInferences=0  nbTooLargeKeys=0
1.68	       =>  wckTime=0.546  cpuTime=0.47  mem=20M557
1.77	   
1.77	   search
1.77	     run=6  nbConstraintChecks=97375  nbPropagations=41315  nbRevisions=266124  nbUselessRevisions=199286
1.77	     nbAssignments=2925  nbFailedAssignments=73  nbBacktracks=340  nbVisitedNodes=2366  nbRestartNogoods=14  mapSize=117
1.77	     nbInferences=0  nbTooLargeKeys=0
1.77	       =>  wckTime=0.637  cpuTime=0.56  mem=21M529
1.85	   
1.85	   search
1.85	     run=7  nbConstraintChecks=132469  nbPropagations=53357  nbRevisions=340549  nbUselessRevisions=253106
1.85	     nbAssignments=3413  nbFailedAssignments=108  nbBacktracks=543  nbVisitedNodes=2927  nbRestartNogoods=15
1.85	     mapSize=187  nbInferences=0  nbTooLargeKeys=0
1.85	       =>  wckTime=0.717  cpuTime=0.64  mem=21M529
1.97	   
1.97	   search
1.97	     run=8  nbConstraintChecks=179532  nbPropagations=68372  nbRevisions=433928  nbUselessRevisions=320000
1.97	     nbAssignments=4496  nbFailedAssignments=166  nbBacktracks=826  nbVisitedNodes=3622  nbRestartNogoods=18
1.97	     mapSize=288  nbInferences=0  nbTooLargeKeys=0
1.97	       =>  wckTime=0.836  cpuTime=0.76  mem=21M529
2.09	   
2.09	   search
2.09	     run=9  nbConstraintChecks=246396  nbPropagations=87084  nbRevisions=552679  nbUselessRevisions=403689
2.09	     nbAssignments=5197  nbFailedAssignments=216  nbBacktracks=1218  nbVisitedNodes=4443  nbRestartNogoods=20
2.09	     mapSize=403  nbInferences=0  nbTooLargeKeys=0
2.09	       =>  wckTime=0.959  cpuTime=0.88  mem=22M502
2.25	   
2.25	   search
2.25	     run=10  nbConstraintChecks=320214  nbPropagations=109907  nbRevisions=704423  nbUselessRevisions=511840
2.25	     nbAssignments=6093  nbFailedAssignments=308  nbBacktracks=1796  nbVisitedNodes=5508  nbRestartNogoods=24
2.25	     mapSize=562  nbInferences=0  nbTooLargeKeys=0
2.25	       =>  wckTime=1.113  cpuTime=1.02  mem=23M475
2.55	   
2.55	   search
2.55	     run=11  nbConstraintChecks=534584  nbPropagations=140586  nbRevisions=991847  nbUselessRevisions=739457
2.55	     nbAssignments=7650  nbFailedAssignments=435  nbBacktracks=2661  nbVisitedNodes=6831  nbRestartNogoods=30
2.55	     mapSize=823  nbInferences=0  nbTooLargeKeys=0
2.55	       =>  wckTime=1.42  cpuTime=1.32  mem=23M475
2.75	   
2.75	   INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=24M447)
2.93	   
2.93	   search
2.93	     run=12  nbConstraintChecks=797041  nbPropagations=182568  nbRevisions=1426885  nbUselessRevisions=1092224
2.93	     nbAssignments=9528  nbFailedAssignments=729  nbBacktracks=3961  nbVisitedNodes=9009  nbRestartNogoods=37
2.93	       =>  wckTime=1.801  cpuTime=1.7  mem=24M447
3.38	   
3.38	   search
3.38	     run=13  nbConstraintChecks=1185761  nbPropagations=237683  nbRevisions=2103633  nbUselessRevisions=1656369
3.38	     nbAssignments=11770  nbFailedAssignments=974  nbBacktracks=5909  nbVisitedNodes=11724  nbRestartNogoods=42
3.38	       =>  wckTime=2.246  cpuTime=2.14  mem=24M447
4.11	   
4.11	   search
4.11	     run=14  nbConstraintChecks=1850895  nbPropagations=315184  nbRevisions=3190992  nbUselessRevisions=2579551
4.11	     nbAssignments=15236  nbFailedAssignments=1365  nbBacktracks=8829  nbVisitedNodes=15881  nbRestartNogoods=52
4.11	       =>  wckTime=2.975  cpuTime=2.87  mem=24M447
5.37	   
5.37	   search
5.37	     run=15  nbConstraintChecks=3061460  nbPropagations=434791  nbRevisions=5026781  nbUselessRevisions=4156866
5.37	     nbAssignments=20496  nbFailedAssignments=2137  nbBacktracks=13207  nbVisitedNodes=22653  nbRestartNogoods=59
5.37	       =>  wckTime=4.239  cpuTime=4.12  mem=24M447
7.40	   
7.40	   search
7.40	     run=16  nbConstraintChecks=5012465  nbPropagations=624627  nbRevisions=8016073  nbUselessRevisions=6730508
7.40	     nbAssignments=28970  nbFailedAssignments=3999  nbBacktracks=19778  nbVisitedNodes=34707  nbRestartNogoods=65
7.40	       =>  wckTime=6.269  cpuTime=6.14  mem=24M447
10.82	   
10.82	   search
10.82	     run=17  nbConstraintChecks=8705706  nbPropagations=934320  nbRevisions=13380360  nbUselessRevisions=11400174
10.82	     nbAssignments=41404  nbFailedAssignments=6459  nbBacktracks=29631  nbVisitedNodes=51941  nbRestartNogoods=71
10.82	       =>  wckTime=9.682  cpuTime=9.54  mem=24M447
15.80	   
15.80	   search
15.80	     run=18  nbConstraintChecks=13969535  nbPropagations=1421879  nbRevisions=22173824  nbUselessRevisions=19109375
15.80	     nbAssignments=59842  nbFailedAssignments=10076  nbBacktracks=44409  nbVisitedNodes=77516  nbRestartNogoods=77
15.80	       =>  wckTime=14.663  cpuTime=14.49  mem=24M447
23.34	   
23.34	   search
23.34	     run=19  nbConstraintChecks=21551242  nbPropagations=2179366  nbRevisions=35577544  nbUselessRevisions=30836595
23.34	     nbAssignments=87585  nbFailedAssignments=15633  nbBacktracks=66578  nbVisitedNodes=116522  nbRestartNogoods=86
23.34	       =>  wckTime=22.204  cpuTime=22.0  mem=24M447
35.48	   
35.48	   search
35.48	     run=20  nbConstraintChecks=34273261  nbPropagations=3368410  nbRevisions=56837012  nbUselessRevisions=49426792
35.48	     nbAssignments=130150  nbFailedAssignments=24914  nbBacktracks=99834  nbVisitedNodes=176524  nbRestartNogoods=91
35.48	       =>  wckTime=34.351  cpuTime=34.09  mem=24M447
54.33	   
54.33	   search
54.33	     run=21  nbConstraintChecks=55212360  nbPropagations=5240727  nbRevisions=91706547  nbUselessRevisions=80133997
54.33	     nbAssignments=192981  nbFailedAssignments=37778  nbBacktracks=149713  nbVisitedNodes=264189  nbRestartNogoods=98
54.33	       =>  wckTime=53.197  cpuTime=52.85  mem=24M447
81.16	   
81.16	   search
81.16	     run=22  nbConstraintChecks=84003222  nbPropagations=8081939  nbRevisions=145147962  nbUselessRevisions=127261573
81.16	     nbAssignments=287994  nbFailedAssignments=57940  nbBacktracks=224531  nbVisitedNodes=398148  nbRestartNogoods=114
81.16	       =>  wckTime=80.025  cpuTime=79.54  mem=24M447
119.58	   
119.59	   search
119.59	     run=23  nbConstraintChecks=124634878  nbPropagations=12286001  nbRevisions=224370915  nbUselessRevisions=197088557
119.59	     nbAssignments=425848  nbFailedAssignments=83543  nbBacktracks=336759  nbVisitedNodes=586810  nbRestartNogoods=123
119.59	       =>  wckTime=118.452  cpuTime=117.79  mem=24M447
150.40	   
150.40	   search
150.40	     run=24  nbConstraintChecks=157434235  nbPropagations=17590577  nbRevisions=324481373  nbUselessRevisions=285322949
150.40	     nbAssignments=532279  nbFailedAssignments=105335  nbBacktracks=420998  nbVisitedNodes=734256  nbRestartNogoods=129
150.40	       =>  wckTime=149.267  cpuTime=148.45  mem=24M447
150.40	   
150.40	   global
150.40	     nbConstraintChecks=157535116  nbPropagations=17593268  nbRevisions=324503650  nbUselessRevisions=285340287
150.40	     nbRestartNogoods=129  solvingWckTime=149.268  solvingCpuTime=148.45  expiredTime=no  totalExploration=no
150.40	     nbFoundSolutions=1  globalCpuTime=149.03
150.40	       =>  wckTime=150.067  cpuTime=148.98  mem=24M447
150.41	   
150.41	s SATISFIABLE
150.41	v 5 17 7 16 6 15 10 1 18 9 8 19 14 0 2 13 11 4 12 3 3 12 4 2 17 0 11 16 8 19 13 14 9 1 5 10 18 6 15 7 10 11 1 13 15 18 5 6 0 16 4 7 12 14 8 9 19 17 3 2 7 9 15 19 5 12 16 4 6 8 14 11 10 3 0 17 1 2 18 13 13 7 12 11 10 17 0 2 15 14 18 8 3 5 19 16 4 9 6 1 6 15 2 1 11 3 19 10 14 13 7 9 4 18 12 8 17 16 0 5 2 1 9 5 0 16 8 12 13 4 15 10 18 11 7 6 14 3 17 19 12 16 10 9 4 11 13 18 1 15 2 17 5 7 14 0 3 8 19 6 4 5 0 12 2 7 6 8 11 17 10 13 16 19 3 14 15 1 9 18 14 8 19 17 7 13 3 15 16 2 12 6 1 10 9 18 5 0 11 4 8 2 14 18 16 19 9 3 5 7 6 12 0 13 4 11 10 15 1 17 17 3 18 0 13 1 2 14 19 12 5 4 6 16 15 7 9 11 10 8 18 14 3 8 1 2 7 17 9 11 19 0 13 6 10 4 16 12 5 15 15 0 13 3 14 10 4 5 7 6 11 1 17 9 18 12 2 19 8 16 1 10 8 7 18 6 12 11 17 5 0 15 19 4 16 3 13 14 2 9 19 18 11 14 3 9 1 7 10 0 17 16 15 2 6 5 8 13 4 12 11 19 5 10 12 4 17 0 3 1 9 18 2 8 13 15 6 7 16 14 0 13 6 15 9 14 18 19 4 3 16 2 8 17 11 1 12 5 7 10 9 6 16 4 8 5 15 13 2 18 1 3 7 12 17 19 0 10 14 11 16 4 17 6 19 8 14 9 12 10 3 5 11 15 1 2 7 18 13 0 
150.41	d NODES 532279
150.41	d CHECKS 157535116
150.41	   
150.41	   totalWckTime=150.149  totalCpuTime=149.03

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/node11/watcher-240276-1168371619 -o ROOT/results/node11/solver-240276-1168371619 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240276-1168371619/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.99 1.97 1.92 4/94 20877
/proc/meminfo: memFree=1725648/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=11820 CPUtime=0
/proc/20876/stat : 20876 (java) D 20874 20876 16860 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 185556991 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7979812 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/20876/statm: 2955 510 421 14 0 1602 0

[startup+0.103236 s]
/proc/loadavg: 1.99 1.97 1.92 4/94 20877
/proc/meminfo: memFree=1725648/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=911488 CPUtime=0.06
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 2589 0 1 0 5 1 0 0 20 0 8 0 185556991 933363712 2336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155287757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 227872 2336 1273 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.511319 s]
/proc/loadavg: 1.99 1.97 1.92 4/94 20877
/proc/meminfo: memFree=1725648/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915328 CPUtime=0.47
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 6401 0 1 0 43 4 0 0 18 0 8 0 185556991 937295872 6140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228832 6140 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33448 s]
/proc/loadavg: 1.99 1.97 1.92 4/101 20884
/proc/meminfo: memFree=1688536/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=1.28
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12010 0 1 0 120 8 0 0 23 0 8 0 185556991 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961446 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11748 2523 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185556995 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.26
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 465 0 0 0 25 1 0 0 15 0 8 0 185557001 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915676

[startup+2.98081 s]
/proc/loadavg: 1.99 1.97 1.92 3/101 20884
/proc/meminfo: memFree=1688280/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=2.92
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12035 0 1 0 283 9 0 0 25 0 8 0 185556991 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11772 2524 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 17 0 8 0 185556995 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.32
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 488 0 0 0 30 2 0 0 15 0 8 0 185557001 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915676

[startup+6.27346 s]
/proc/loadavg: 1.99 1.97 1.92 3/101 20884
/proc/meminfo: memFree=1688216/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=6.2
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12038 0 1 0 611 9 0 0 25 0 8 0 185556991 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073964609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11773 2524 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.32
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 490 0 0 0 30 2 0 0 17 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915676

[startup+12.7627 s]
/proc/loadavg: 1.99 1.97 1.92 3/101 20884
/proc/meminfo: memFree=1688216/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=12.65
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12038 0 1 0 1256 9 0 0 25 0 8 0 185556991 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11773 2524 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.32
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 490 0 0 0 30 2 0 0 17 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915676

[startup+25.6223 s]
/proc/loadavg: 1.99 1.97 1.92 3/101 20884
/proc/meminfo: memFree=1688216/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=25.45
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12038 0 1 0 2536 9 0 0 25 0 8 0 185556991 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11773 2524 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.32
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 490 0 0 0 30 2 0 0 17 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915676

[startup+51.2574 s]
/proc/loadavg: 2.07 1.99 1.92 3/101 20884
/proc/meminfo: memFree=1688280/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=50.97
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12038 0 1 0 5087 10 0 0 25 0 8 0 185556991 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11773 2524 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.32
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 490 0 0 0 30 2 0 0 17 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915676

[startup+102.526 s]
/proc/loadavg: 2.08 2.00 1.93 3/101 20884
/proc/meminfo: memFree=1688216/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=101.99
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12038 0 1 0 10189 10 0 0 25 0 8 0 185556991 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11773 2524 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.32
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 490 0 0 0 30 2 0 0 17 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915676

Child status: 0
Real time (s): 150.424
CPU time (s): 149.661
CPU user time (s): 149.544
CPU system time (s): 0.116982
CPU usage (%): 99.493
Max. virtual memory (cumulated for all children) (KiB): 915780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.544
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12050
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= 4425
involuntary context switches= 11440

runsolver used 0.186971 s user time and 0.487925 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Tue Jan  9 19:40:19 UTC 2007


IDJOB= 240276
IDBENCH= 7119
FILE ID= node11/240276-1168371619

PBS_JOBID= 3503791

Free space on /tmp= 66550 MiB

BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240276-1168371619/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-240276-1168371619 -o ROOT/results/node11/solver-240276-1168371619 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240276-1168371619/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0fa951e5d7c1dde14756850748c0bfa9

RANDOM SEED= 221571372

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.261
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	: 5931.00
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.261
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:       1726064 kB
Buffers:         47808 kB
Cached:         151296 kB
SwapCached:          0 kB
Active:         186328 kB
Inactive:        92488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1726064 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2212 kB
Writeback:           0 kB
Mapped:         106300 kB
Slab:            35504 kB
Committed_AS:  6144548 kB
PageTables:       2496 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= 66550 MiB



End job on node11 on Tue Jan  9 19:42:50 UTC 2007