Trace number 210652

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 156.343 157.185

DiagnosticValue
CHECKS103702834
NODES344459

General information on the benchmark

NamepseudoSeries/fpga/
fpga-12-12.xml
MD5SUMcb3185f95855e469231187fc6a83b09c
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.358945
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables216
Number of constraints180
Maximum constraint arity12
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension180
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/210652-1168075103/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=216  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.43	       =>  wckTime=0.115  cpuTime=0.09  mem=6M951
0.43	   
0.43	   predicates being loaded...
0.44	   
0.44	   constraints being loaded...
0.64	     nbConstraints=180  nbConflictsStructures=4  nbSharedConflictsStructures=176  nbSharedBinaryRepresentations=0
0.64	     nbEvaluationManagers=4  nbSharedEvaluationManagers=176  maxDegree=13  maxArity=12
0.64	       =>  wckTime=0.319  cpuTime=0.23  mem=11M827
0.68	   
0.68	   solver IterativeSystematicSolver being built... 
0.88	       =>  wckTime=0.565  cpuTime=0.39  mem=17M802
0.89	   
0.89	   preprocessing
0.89	     nbConstraintChecks=0  nbPropagations=216  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.89	     detectedInconsistency=no
0.89	       =>  wckTime=0.0090  cpuTime=0.0  mem=17M802
0.99	   
0.99	   search
0.99	     run=0  nbConstraintChecks=4693  nbValidityChecks=234  nbPropagations=436  nbRevisions=415  nbUselessRevisions=188
0.99	     nbAssignments=183  nbFailedAssignments=1  nbBacktracks=116  nbVisitedNodes=186  nbRestartNogoods=0  mapSize=1
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.104  cpuTime=0.08  mem=17M802
1.05	   
1.05	   search
1.05	     run=1  nbConstraintChecks=16505  nbValidityChecks=680  nbPropagations=1141  nbRevisions=1339
1.05	     nbUselessRevisions=597  nbAssignments=380  nbFailedAssignments=3  nbBacktracks=140  nbVisitedNodes=387
1.05	     nbRestartNogoods=1  mapSize=4  nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.17  cpuTime=0.14  mem=17M802
1.10	   
1.10	   search
1.10	     run=2  nbConstraintChecks=24224  nbValidityChecks=1197  nbPropagations=2091  nbRevisions=2847
1.10	     nbUselessRevisions=1333  nbAssignments=479  nbFailedAssignments=4  nbBacktracks=171  nbVisitedNodes=489
1.10	     nbRestartNogoods=2  mapSize=6  nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.212  cpuTime=0.18  mem=17M802
1.15	   
1.15	   search
1.15	     run=3  nbConstraintChecks=39172  nbValidityChecks=1999  nbPropagations=3338  nbRevisions=5154
1.15	     nbUselessRevisions=2545  nbAssignments=589  nbFailedAssignments=6  nbBacktracks=210  nbVisitedNodes=605
1.15	     nbRestartNogoods=3  mapSize=11  nbInferences=1  nbTooLargeKeys=0
1.15	       =>  wckTime=0.265  cpuTime=0.22  mem=17M802
1.23	   
1.23	   search
1.23	     run=4  nbConstraintChecks=63411  nbValidityChecks=3049  nbPropagations=4960  nbRevisions=8452
1.23	     nbUselessRevisions=4335  nbAssignments=760  nbFailedAssignments=9  nbBacktracks=271  nbVisitedNodes=785
1.23	     nbRestartNogoods=4  mapSize=18  nbInferences=3  nbTooLargeKeys=0
1.23	       =>  wckTime=0.347  cpuTime=0.3  mem=17M802
1.31	   
1.31	   search
1.31	     run=5  nbConstraintChecks=85573  nbValidityChecks=3972  nbPropagations=6945  nbRevisions=12602
1.31	     nbUselessRevisions=6566  nbAssignments=951  nbFailedAssignments=12  nbBacktracks=387  nbVisitedNodes=985
1.31	     nbRestartNogoods=6  mapSize=25  nbInferences=4  nbTooLargeKeys=0
1.31	       =>  wckTime=0.426  cpuTime=0.37  mem=17M802
1.41	   
1.41	   search
1.41	     run=6  nbConstraintChecks=111305  nbValidityChecks=5827  nbPropagations=9625  nbRevisions=18322
1.41	     nbUselessRevisions=9656  nbAssignments=1204  nbFailedAssignments=17  nbBacktracks=502  nbVisitedNodes=1258
1.41	     nbRestartNogoods=8  mapSize=41  nbInferences=14  nbTooLargeKeys=0
1.41	       =>  wckTime=0.524  cpuTime=0.47  mem=17M802
1.66	   
1.66	   search
1.66	     run=7  nbConstraintChecks=240424  nbValidityChecks=11150  nbPropagations=13553  nbRevisions=27985
1.66	     nbUselessRevisions=15148  nbAssignments=1495  nbFailedAssignments=43  nbBacktracks=682  nbVisitedNodes=1608
1.66	     nbRestartNogoods=12  mapSize=89  nbInferences=14  nbTooLargeKeys=0
1.66	       =>  wckTime=0.771  cpuTime=0.71  mem=18M777
1.84	   
1.84	   search
1.84	     run=8  nbConstraintChecks=303899  nbValidityChecks=15392  nbPropagations=18544  nbRevisions=41088
1.84	     nbUselessRevisions=22780  nbAssignments=1898  nbFailedAssignments=60  nbBacktracks=942  nbVisitedNodes=2048
1.84	     nbRestartNogoods=14  mapSize=121  nbInferences=14  nbTooLargeKeys=0
1.84	       =>  wckTime=0.952  cpuTime=0.87  mem=18M777
2.19	   
2.19	   search
2.19	     run=9  nbConstraintChecks=485842  nbValidityChecks=25311  nbPropagations=26417  nbRevisions=62674
2.19	     nbUselessRevisions=35046  nbAssignments=2498  nbFailedAssignments=107  nbBacktracks=1342  nbVisitedNodes=2775
2.19	     nbRestartNogoods=19  mapSize=245  nbInferences=14  nbTooLargeKeys=0
2.19	       =>  wckTime=1.306  cpuTime=1.22  mem=18M777
2.68	   
2.68	   search
2.68	     run=10  nbConstraintChecks=749677  nbValidityChecks=33817  nbPropagations=36746  nbRevisions=89382
2.68	     nbUselessRevisions=49345  nbAssignments=3267  nbFailedAssignments=162  nbBacktracks=1924  nbVisitedNodes=3668
2.68	     nbRestartNogoods=22  mapSize=365  nbInferences=14  nbTooLargeKeys=0
2.68	       =>  wckTime=1.796  cpuTime=1.69  mem=18M777
3.44	   
3.44	   search
3.44	     run=11  nbConstraintChecks=1192820  nbValidityChecks=80342  nbPropagations=54283  nbRevisions=160653
3.44	     nbUselessRevisions=94015  nbAssignments=4310  nbFailedAssignments=235  nbBacktracks=2793  nbVisitedNodes=5029
3.44	     nbRestartNogoods=24  mapSize=680  nbInferences=14  nbTooLargeKeys=0
3.44	       =>  wckTime=2.56  cpuTime=2.44  mem=18M777
3.79	   
3.79	   search
3.79	     run=12  nbConstraintChecks=1269635  nbValidityChecks=101599  nbPropagations=78367  nbRevisions=245430
3.79	     nbUselessRevisions=145328  nbAssignments=5918  nbFailedAssignments=428  nbBacktracks=4092  nbVisitedNodes=7130
3.79	     nbRestartNogoods=27  mapSize=1166  nbInferences=14  nbTooLargeKeys=0
3.79	       =>  wckTime=2.908  cpuTime=2.79  mem=19M753
5.02	   
5.02	   search
5.02	     run=13  nbConstraintChecks=1982965  nbValidityChecks=131522  nbPropagations=112473  nbRevisions=347720
5.02	     nbUselessRevisions=202848  nbAssignments=8193  nbFailedAssignments=665  nbBacktracks=6040  nbVisitedNodes=9928
5.02	     nbRestartNogoods=34  mapSize=1685  nbInferences=14  nbTooLargeKeys=0
5.02	       =>  wckTime=4.137  cpuTime=4.0  mem=19M753
5.87	   
5.87	   search
5.87	     run=14  nbConstraintChecks=2312684  nbValidityChecks=172440  nbPropagations=160457  nbRevisions=473781
5.87	     nbUselessRevisions=269332  nbAssignments=11630  nbFailedAssignments=1073  nbBacktracks=8965  nbVisitedNodes=14411
5.87	     nbRestartNogoods=38  mapSize=2726  nbInferences=14  nbTooLargeKeys=0
5.87	       =>  wckTime=4.984  cpuTime=4.84  mem=20M728
6.06	   
6.06	   INFO : Stopping hyperNogood (mapSize=2806, nbTooLargekeys=0, mem=20M728)
7.82	   
7.82	   search
7.82	     run=15  nbConstraintChecks=3582008  nbValidityChecks=216905  nbPropagations=223508  nbRevisions=625531
7.82	     nbUselessRevisions=344261  nbAssignments=16461  nbFailedAssignments=1428  nbBacktracks=13345  nbVisitedNodes=20006
7.82	     nbRestartNogoods=43
7.82	       =>  wckTime=6.936  cpuTime=6.77  mem=20M728
11.14	   
11.14	   search
11.14	     run=16  nbConstraintChecks=5803250  nbValidityChecks=294763  nbPropagations=313014  nbRevisions=821937
11.14	     nbUselessRevisions=433801  nbAssignments=23773  nbFailedAssignments=2066  nbBacktracks=19924  nbVisitedNodes=28674
11.14	     nbRestartNogoods=47
11.14	       =>  wckTime=10.257  cpuTime=10.08  mem=20M728
13.03	   
13.03	   search
13.03	     run=17  nbConstraintChecks=6750789  nbValidityChecks=447724  nbPropagations=453779  nbRevisions=1107443
13.03	     nbUselessRevisions=555748  nbAssignments=35245  nbFailedAssignments=3571  nbBacktracks=29792  nbVisitedNodes=44143
13.03	     nbRestartNogoods=52
13.03	       =>  wckTime=12.144  cpuTime=11.94  mem=20M728
19.80	   
19.80	   search
19.80	     run=18  nbConstraintChecks=11218500  nbValidityChecks=620113  nbPropagations=652941  nbRevisions=1491561
19.80	     nbUselessRevisions=709803  nbAssignments=51487  nbFailedAssignments=4923  nbBacktracks=44585  nbVisitedNodes=63364
19.80	     nbRestartNogoods=55
19.80	       =>  wckTime=18.916  cpuTime=18.68  mem=20M728
27.42	   
27.42	   search
27.42	     run=19  nbConstraintChecks=16116885  nbValidityChecks=852171  nbPropagations=928078  nbRevisions=2009727
27.42	     nbUselessRevisions=905742  nbAssignments=75671  nbFailedAssignments=6825  nbBacktracks=66761  nbVisitedNodes=92024
27.42	     nbRestartNogoods=59
27.42	       =>  wckTime=26.534  cpuTime=26.26  mem=20M728
41.08	   
41.08	   search
41.08	     run=20  nbConstraintChecks=25185415  nbValidityChecks=1205827  nbPropagations=1319284  nbRevisions=2731434
41.08	     nbUselessRevisions=1170300  nbAssignments=111453  nbFailedAssignments=9261  nbBacktracks=100019
41.08	     nbVisitedNodes=133880  nbRestartNogoods=64
41.08	       =>  wckTime=40.194  cpuTime=39.85  mem=20M728
58.63	   
58.63	   search
58.63	     run=21  nbConstraintChecks=36549953  nbValidityChecks=1717577  nbPropagations=1871201  nbRevisions=3751896
58.63	     nbUselessRevisions=1536031  nbAssignments=165046  nbFailedAssignments=12873  nbBacktracks=149897
58.63	     nbVisitedNodes=196284  nbRestartNogoods=67
58.63	       =>  wckTime=57.743  cpuTime=57.32  mem=20M728
97.07	   
97.07	   search
97.07	     run=22  nbConstraintChecks=62433043  nbValidityChecks=2688718  nbPropagations=2746265  nbRevisions=5329332
97.07	     nbUselessRevisions=2093374  nbAssignments=245871  nbFailedAssignments=18774  nbBacktracks=224734
97.07	     nbVisitedNodes=293755  nbRestartNogoods=72
97.07	       =>  wckTime=96.188  cpuTime=95.58  mem=20M728
157.14	   
157.14	   search
157.14	     run=23  nbConstraintChecks=103702834  nbValidityChecks=4090530  nbPropagations=4054295  nbRevisions=7714319
157.14	     nbUselessRevisions=2956887  nbAssignments=344459  nbFailedAssignments=25273  nbBacktracks=316607
157.14	     nbVisitedNodes=413040  nbRestartNogoods=75
157.14	       =>  wckTime=156.257  cpuTime=155.37  mem=20M728
157.14	   
157.14	   global
157.14	     nbConstraintChecks=103702834  nbValidityChecks=4090530  nbPropagations=4054511  nbRevisions=7714319
157.14	     nbUselessRevisions=2956887  nbRestartNogoods=75  solvingWckTime=156.259  solvingCpuTime=155.37  expiredTime=no
157.14	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=155.82
157.14	       =>  wckTime=156.825  cpuTime=155.76  mem=20M728
157.15	   
157.15	s SATISFIABLE
157.15	v 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 
157.15	d NODES 344459
157.15	d CHECKS 103702834
157.15	   
157.15	   totalWckTime=156.908  totalCpuTime=155.82

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/node4/watcher-210652-1168075103 -o ROOT/results/node4/solver-210652-1168075103 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210652-1168075103/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.64 1.80 1.85 3/93 12123
/proc/meminfo: memFree=1048768/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=18540 CPUtime=0
/proc/12122/stat : 12122 (runsolver) R 12120 12122 11997 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155905863 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12122/statm: 4635 279 244 17 0 2626 0

[startup+0.102869 s]
/proc/loadavg: 1.64 1.80 1.85 3/93 12123
/proc/meminfo: memFree=1048768/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=914988 CPUtime=0.08
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 2979 0 1 0 7 1 0 0 20 0 8 0 155905863 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072937049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510908 s]
/proc/loadavg: 1.64 1.80 1.85 3/93 12123
/proc/meminfo: memFree=1048768/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915328 CPUtime=0.49
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 6619 0 1 0 45 4 0 0 19 0 8 0 155905863 937295872 6358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073542825 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228832 6358 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33398 s]
/proc/loadavg: 1.64 1.80 1.85 3/100 12130
/proc/meminfo: memFree=1021960/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=1.3
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 9460 0 1 0 123 7 0 0 24 0 8 0 155905863 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9198 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 155905867 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.22
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 386 0 0 0 21 1 0 0 15 0 8 0 155905871 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.98714 s]
/proc/loadavg: 1.64 1.80 1.85 3/100 12130
/proc/meminfo: memFree=1021320/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=2.94
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 9644 0 1 0 286 8 0 0 25 0 8 0 155905863 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9380 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 17 0 8 0 155905867 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.25
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 400 0 0 0 24 1 0 0 15 0 8 0 155905871 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.27045 s]
/proc/loadavg: 1.67 1.81 1.85 3/100 12130
/proc/meminfo: memFree=1019336/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=6.19
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 10169 0 1 0 611 8 0 0 25 0 8 0 155905863 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073652220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9903 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 155905867 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.25
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155905871 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460

[startup+12.7571 s]
/proc/loadavg: 1.70 1.81 1.86 3/100 12130
/proc/meminfo: memFree=1018888/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=12.62
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 10177 0 1 0 1253 9 0 0 25 0 8 0 155905863 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073680594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9910 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 155905867 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.26
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 403 0 0 0 25 1 0 0 17 0 8 0 155905871 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460

[startup+25.6191 s]
/proc/loadavg: 1.76 1.82 1.86 3/100 12130
/proc/meminfo: memFree=1018824/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=25.43
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 10182 0 1 0 2534 9 0 0 25 0 8 0 155905863 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073651368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9915 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 155905867 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.26
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155905871 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915460

[startup+51.2396 s]
/proc/loadavg: 1.84 1.83 1.86 3/100 12130
/proc/meminfo: memFree=1018824/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=50.92
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 10188 0 1 0 5083 9 0 0 25 0 8 0 155905863 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9921 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 155905867 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.26
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155905871 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915460

[startup+102.478 s]
/proc/loadavg: 1.93 1.85 1.86 3/100 12130
/proc/meminfo: memFree=1018824/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=101.91
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 10194 0 1 0 10182 9 0 0 25 0 8 0 155905863 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073652983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9927 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 155905867 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.26
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155905871 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 157.185
CPU time (s): 156.343
CPU user time (s): 156.233
CPU system time (s): 0.109983
CPU usage (%): 99.4643
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.233
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10289
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= 4377
involuntary context switches= 6615

runsolver used 0.149977 s user time and 0.558915 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan  6 09:18:23 UTC 2007


IDJOB= 210652
IDBENCH= 4636
FILE ID= node4/210652-1168075103

PBS_JOBID= 3475793

Free space on /tmp= 66301 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-12-12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210652-1168075103/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-210652-1168075103 -o ROOT/results/node4/solver-210652-1168075103 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210652-1168075103/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cb3185f95855e469231187fc6a83b09c

RANDOM SEED= 369653117

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.223
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.223
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:       1049248 kB
Buffers:         73832 kB
Cached:         667916 kB
SwapCached:        268 kB
Active:         553172 kB
Inactive:       357464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1049248 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1840 kB
Writeback:           0 kB
Mapped:         197156 kB
Slab:            80428 kB
Committed_AS:  4541428 kB
PageTables:       2676 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= 66301 MiB



End job on node4 on Sat Jan  6 09:21:00 UTC 2007