Trace number 234799

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 176.43 178.139

DiagnosticValue
CHECKS5611030273
NODES702070

General information on the benchmark

Nametaillard/os-taillard-5/
os-taillard-5-100-7.xml
MD5SUMd5081a0ba82d7a928e9ef02f0cd66b7c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.100984
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables25
Number of constraints100
Maximum constraint arity2
Maximum domain size297
Number of constraints which are defined in extension0
Number of constraints which are defined in intension100
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.36	     name=/tmp/evaluation/234799-1168333311/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=25  nbDomainTypes=25  minDomainSize=206  maxDomainSize=297
0.43	       =>  wckTime=0.107  cpuTime=0.08  mem=6M919
0.43	   
0.43	   predicates being loaded...
0.43	   
0.44	   constraints being loaded...
2.33	     nbConstraints=100  nbConvertedConstraints=100  nbConvertConstraintsChecks=6137128  nbExtensionStructures=100
2.33	     nbSharedExtensionStructures=0  nbConflictsStructures=100  nbSharedConflictsStructures=0
2.33	     nbSharedBinaryRepresentations=20357  maxDegree=8  maxArity=2
2.33	       =>  wckTime=2.009  cpuTime=1.92  mem=13M745
2.38	   
2.38	   solver IterativeSystematicSolver being built... 
2.55	       =>  wckTime=2.222  cpuTime=2.04  mem=15M677
2.60	   
2.60	   preprocessing
2.60	     nbConstraintChecks=455491  nbPropagations=477  nbRevisions=1217  nbUselessRevisions=621  nbSingletonTests=46
2.60	     nbEffectiveSingletonTests=1  nbESACBranches=8  nbRemovedValues=1  detectedInconsistency=no
2.60	       =>  wckTime=0.053  cpuTime=0.03  mem=15M677
2.70	   
2.70	   search
2.70	     run=0  nbConstraintChecks=1385994  nbPropagations=2266  nbRevisions=11022  nbUselessRevisions=6689
2.70	     nbAssignments=204  nbFailedAssignments=187  nbBacktracks=10  nbVisitedNodes=401  nbRestartNogoods=0  mapSize=10
2.70	     nbInferences=0  nbTooLargeKeys=0
2.70	       =>  wckTime=0.153  cpuTime=0.11  mem=16M653
3.03	   
3.03	   search
3.03	     run=1  nbConstraintChecks=10926253  nbPropagations=12346  nbRevisions=50147  nbUselessRevisions=28215
3.03	     nbAssignments=1027  nbFailedAssignments=670  nbBacktracks=25  nbVisitedNodes=1400  nbRestartNogoods=43  mapSize=25
3.03	     nbInferences=0  nbTooLargeKeys=0
3.03	       =>  wckTime=0.48  cpuTime=0.42  mem=16M653
3.11	   
3.11	   search
3.11	     run=2  nbConstraintChecks=13059705  nbPropagations=25039  nbRevisions=103386  nbUselessRevisions=58642
3.11	     nbAssignments=1406  nbFailedAssignments=1022  nbBacktracks=47  nbVisitedNodes=2151  nbRestartNogoods=47  mapSize=46
3.11	     nbInferences=0  nbTooLargeKeys=0
3.11	       =>  wckTime=0.565  cpuTime=0.5  mem=16M653
3.45	   
3.45	   search
3.45	     run=3  nbConstraintChecks=22942136  nbPropagations=46300  nbRevisions=186759  nbUselessRevisions=103615
3.45	     nbAssignments=2534  nbFailedAssignments=1976  nbBacktracks=80  nbVisitedNodes=4125  nbRestartNogoods=93  mapSize=78
3.45	     nbInferences=0  nbTooLargeKeys=0
3.45	       =>  wckTime=0.898  cpuTime=0.81  mem=16M653
3.75	   
3.75	   search
3.75	     run=4  nbConstraintChecks=32854708  nbPropagations=74696  nbRevisions=304397  nbUselessRevisions=165830
3.75	     nbAssignments=3543  nbFailedAssignments=2932  nbBacktracks=130  nbVisitedNodes=6131  nbRestartNogoods=114
3.75	     mapSize=125  nbInferences=0  nbTooLargeKeys=0
3.75	       =>  wckTime=1.203  cpuTime=1.11  mem=16M653
4.26	   
4.26	   search
4.26	     run=5  nbConstraintChecks=47883969  nbPropagations=121207  nbRevisions=512587  nbUselessRevisions=278697
4.26	     nbAssignments=5070  nbFailedAssignments=4331  nbBacktracks=205  nbVisitedNodes=9081  nbRestartNogoods=134
4.26	     mapSize=199  nbInferences=0  nbTooLargeKeys=0
4.26	       =>  wckTime=1.715  cpuTime=1.61  mem=16M653
4.81	   
4.81	   search
4.81	     run=6  nbConstraintChecks=64932456  nbPropagations=184708  nbRevisions=821516  nbUselessRevisions=453221
4.81	     nbAssignments=6446  nbFailedAssignments=5472  nbBacktracks=318  nbVisitedNodes=11575  nbRestartNogoods=153
4.81	     mapSize=309  nbInferences=0  nbTooLargeKeys=0
4.81	       =>  wckTime=2.262  cpuTime=2.15  mem=16M653
5.00	   
5.00	   search
5.00	     run=7  nbConstraintChecks=70442841  nbPropagations=257046  nbRevisions=1174048  nbUselessRevisions=656078
5.00	     nbAssignments=7494  nbFailedAssignments=6321  nbBacktracks=489  nbVisitedNodes=13560  nbRestartNogoods=169
5.00	     mapSize=458  nbInferences=0  nbTooLargeKeys=0
5.00	       =>  wckTime=2.449  cpuTime=2.34  mem=16M653
5.71	   
5.71	   search
5.71	     run=8  nbConstraintChecks=92996679  nbPropagations=353362  nbRevisions=1638525  nbUselessRevisions=923094
5.71	     nbAssignments=9539  nbFailedAssignments=7977  nbBacktracks=745  nbVisitedNodes=17332  nbRestartNogoods=192
5.71	     mapSize=696  nbInferences=0  nbTooLargeKeys=0
5.71	       =>  wckTime=3.166  cpuTime=3.05  mem=16M653
8.35	   
8.35	   INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=17M629)
8.61	   
8.61	   search
8.61	     run=9  nbConstraintChecks=195433963  nbPropagations=540805  nbRevisions=2570798  nbUselessRevisions=1467027
8.61	     nbAssignments=20599  nbFailedAssignments=18530  nbBacktracks=1132  nbVisitedNodes=39137  nbRestartNogoods=212
8.61	       =>  wckTime=6.063  cpuTime=5.92  mem=17M629
9.58	   
9.58	   search
9.58	     run=10  nbConstraintChecks=222559648  nbPropagations=778445  nbRevisions=3789958  nbUselessRevisions=2207777
9.58	     nbAssignments=24761  nbFailedAssignments=22101  nbBacktracks=1708  nbVisitedNodes=47301  nbRestartNogoods=270
9.58	       =>  wckTime=7.03  cpuTime=6.87  mem=17M629
12.38	   
12.38	   search
12.38	     run=11  nbConstraintChecks=318130029  nbPropagations=1096884  nbRevisions=5457673  nbUselessRevisions=3211926
12.38	     nbAssignments=32183  nbFailedAssignments=28394  nbBacktracks=2572  nbVisitedNodes=61574  nbRestartNogoods=335
12.38	       =>  wckTime=9.833  cpuTime=9.64  mem=17M629
15.97	   
15.97	   search
15.97	     run=12  nbConstraintChecks=455500232  nbPropagations=1560399  nbRevisions=7893075  nbUselessRevisions=4693998
15.97	     nbAssignments=48657  nbFailedAssignments=43564  nbBacktracks=3870  nbVisitedNodes=94309  nbRestartNogoods=396
15.97	       =>  wckTime=13.421  cpuTime=13.19  mem=17M629
19.60	   
19.60	   search
19.60	     run=13  nbConstraintChecks=571100704  nbPropagations=2193979  nbRevisions=11116021  nbUselessRevisions=6665528
19.60	     nbAssignments=67340  nbFailedAssignments=59792  nbBacktracks=5816  nbVisitedNodes=130379  nbRestartNogoods=517
19.60	       =>  wckTime=17.05  cpuTime=16.78  mem=17M629
28.95	   
28.95	   search
28.95	     run=14  nbConstraintChecks=884774987  nbPropagations=3143446  nbRevisions=15812094  nbUselessRevisions=9478198
28.95	     nbAssignments=106553  nbFailedAssignments=95500  nbBacktracks=8736  nbVisitedNodes=207487  nbRestartNogoods=614
28.95	       =>  wckTime=26.399  cpuTime=26.03  mem=17M629
59.38	   
59.38	   search
59.38	     run=15  nbConstraintChecks=1818228272  nbPropagations=4939878  nbRevisions=24709924  nbUselessRevisions=14480260
59.38	     nbAssignments=217141  nbFailedAssignments=201419  nbBacktracks=13114  nbVisitedNodes=427400  nbRestartNogoods=692
59.38	       =>  wckTime=56.831  cpuTime=56.16  mem=17M629
74.40	   
74.41	   search
74.41	     run=16  nbConstraintChecks=2302640284  nbPropagations=7305525  nbRevisions=36522601  nbUselessRevisions=21245348
74.41	     nbAssignments=316302  nbFailedAssignments=293998  nbBacktracks=19682  nbVisitedNodes=624650  nbRestartNogoods=734
74.41	       =>  wckTime=71.857  cpuTime=71.05  mem=17M629
117.83	   
117.83	   search
117.83	     run=17  nbConstraintChecks=3732327171  nbPropagations=10844009  nbRevisions=54654210  nbUselessRevisions=31505277
117.83	     nbAssignments=458825  nbFailedAssignments=426415  nbBacktracks=29536  nbVisitedNodes=907539  nbRestartNogoods=932
117.83	       =>  wckTime=115.281  cpuTime=114.08  mem=17M629
178.11	   
178.11	   search
178.11	     run=18  nbConstraintChecks=5610574782  nbPropagations=16298917  nbRevisions=83455472  nbUselessRevisions=47996121
178.11	     nbAssignments=702070  nbFailedAssignments=655500  nbBacktracks=43635  nbVisitedNodes=1391263  nbRestartNogoods=957
178.11	       =>  wckTime=175.558  cpuTime=173.82  mem=17M629
178.11	   
178.11	   global
178.11	     nbConstraintChecks=5611030273  nbPropagations=16299394  nbRevisions=83456689  nbUselessRevisions=47996742
178.11	     nbRestartNogoods=957  solvingWckTime=175.559  solvingCpuTime=173.82  expiredTime=no  totalExploration=no
178.11	     nbFoundSolutions=1  globalCpuTime=175.92
178.11	       =>  wckTime=177.784  cpuTime=175.87  mem=17M629
178.11	   
178.11	s SATISFIABLE
178.11	v 0 168 236 92 198 52 0 236 198 134 0 190 80 282 160 286 227 80 158 0 132 246 92 0 70 
178.11	d NODES 702070
178.11	d CHECKS 5611030273
178.11	   
178.11	   totalWckTime=177.867  totalCpuTime=175.92

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/node9/watcher-234799-1168333311 -o ROOT/results/node9/solver-234799-1168333311 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234799-1168333311/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: 2.04 2.03 2.00 4/94 9870
/proc/meminfo: memFree=1548936/2055920 swapFree=4191880/4192956
[pid=9869] ppid=9867 vsize=18540 CPUtime=0
/proc/9869/stat : 9869 (runsolver) R 9867 9869 9533 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 181726250 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9869/statm: 4635 279 244 17 0 2626 0

[startup+0.107724 s]
/proc/loadavg: 2.04 2.03 2.00 4/94 9870
/proc/meminfo: memFree=1548936/2055920 swapFree=4191880/4192956
[pid=9869] ppid=9867 vsize=914988 CPUtime=0.08
/proc/9869/stat : 9869 (java) R 9867 9869 9533 0 -1 0 2972 0 1 0 7 1 0 0 17 0 8 0 181726250 936947712 2718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160642522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9869/statm: 228747 2718 1421 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51577 s]
/proc/loadavg: 2.04 2.03 2.00 4/94 9870
/proc/meminfo: memFree=1548936/2055920 swapFree=4191880/4192956
[pid=9869] ppid=9867 vsize=915460 CPUtime=0.48
/proc/9869/stat : 9869 (java) R 9867 9869 9533 0 -1 0 6514 0 1 0 44 4 0 0 18 0 8 0 181726250 937431040 6253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927925 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9869/statm: 228865 6253 2165 14 0 215335 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915460

[startup+1.33786 s]
/proc/loadavg: 2.12 2.04 2.01 3/101 9877
/proc/meminfo: memFree=1530640/2055920 swapFree=4191880/4192956
[pid=9869] ppid=9867 vsize=915460 CPUtime=1.3
/proc/9869/stat : 9869 (java) R 9867 9869 9533 0 -1 0 7104 0 1 0 125 5 0 0 25 0 8 0 181726250 937431040 6842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073604935 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9869/statm: 228865 6842 2167 14 0 215335 0
[pid=9869/tid=9871] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9871/stat : 9871 (java) S 9867 9869 9533 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181726254 937431040 6842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9872] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9872/stat : 9872 (java) S 9867 9869 9533 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181726255 937431040 6842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9873] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9873/stat : 9873 (java) S 9867 9869 9533 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181726255 937431040 6842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9874] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9874/stat : 9874 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181726258 937431040 6842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9875] ppid=9867 vsize=915460 CPUtime=0.11
/proc/9869/task/9875/stat : 9875 (java) S 9867 9869 9533 0 -1 64 312 0 0 0 10 1 0 0 16 0 8 0 181726258 937431040 6842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9876] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9876/stat : 9876 (java) S 9867 9869 9533 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181726258 937431040 6842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9877] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9877/stat : 9877 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181726258 937431040 6842 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.97805 s]
/proc/loadavg: 2.12 2.04 2.01 3/101 9879
/proc/meminfo: memFree=1527248/2055920 swapFree=4191880/4192956
[pid=9869] ppid=9867 vsize=915460 CPUtime=2.92
/proc/9869/stat : 9869 (java) R 9867 9869 9533 0 -1 0 9032 0 1 0 285 7 0 0 25 0 8 0 181726250 937431040 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734051 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9869/statm: 228865 8769 2541 14 0 215335 0
[pid=9869/tid=9871] ppid=9867 vsize=915460 CPUtime=0.03
/proc/9869/task/9871/stat : 9871 (java) S 9867 9869 9533 0 -1 64 699 0 0 0 3 0 0 0 16 0 8 0 181726254 937431040 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9872] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9872/stat : 9872 (java) S 9867 9869 9533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9873] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9873/stat : 9873 (java) S 9867 9869 9533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9874] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9874/stat : 9874 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181726258 937431040 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9875] ppid=9867 vsize=915460 CPUtime=0.2
/proc/9869/task/9875/stat : 9875 (java) S 9867 9869 9533 0 -1 64 357 0 0 0 19 1 0 0 15 0 8 0 181726258 937431040 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9876] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9876/stat : 9876 (java) S 9867 9869 9533 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181726258 937431040 8769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9877] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9877/stat : 9877 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181726258 937431040 8769 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) 915460

[startup+6.18641 s]
/proc/loadavg: 2.11 2.04 2.01 3/101 9881
/proc/meminfo: memFree=1523024/2055920 swapFree=4191880/4192956
[pid=9869] ppid=9867 vsize=915460 CPUtime=6.09
/proc/9869/stat : 9869 (java) R 9867 9869 9533 0 -1 0 9196 0 1 0 602 7 0 0 25 0 8 0 181726250 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9869/statm: 228865 8931 2541 14 0 215335 0
[pid=9869/tid=9871] ppid=9867 vsize=915460 CPUtime=0.03
/proc/9869/task/9871/stat : 9871 (java) S 9867 9869 9533 0 -1 64 699 0 0 0 3 0 0 0 16 0 8 0 181726254 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9872] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9872/stat : 9872 (java) S 9867 9869 9533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9873] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9873/stat : 9873 (java) S 9867 9869 9533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9874] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9874/stat : 9874 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181726258 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9875] ppid=9867 vsize=915460 CPUtime=0.23
/proc/9869/task/9875/stat : 9875 (java) S 9867 9869 9533 0 -1 64 372 0 0 0 22 1 0 0 16 0 8 0 181726258 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9876] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9876/stat : 9876 (java) S 9867 9869 9533 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181726258 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9877] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9877/stat : 9877 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181726258 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915460

[startup+12.6591 s]
/proc/loadavg: 2.10 2.04 2.00 3/101 9885
/proc/meminfo: memFree=1522704/2055920 swapFree=4191880/4192956
[pid=9869] ppid=9867 vsize=915460 CPUtime=12.51
/proc/9869/stat : 9869 (java) R 9867 9869 9533 0 -1 0 9264 0 1 0 1243 8 0 0 25 0 8 0 181726250 937431040 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9869/statm: 228865 8998 2541 14 0 215335 0
[pid=9869/tid=9871] ppid=9867 vsize=915460 CPUtime=0.03
/proc/9869/task/9871/stat : 9871 (java) S 9867 9869 9533 0 -1 64 699 0 0 0 3 0 0 0 16 0 8 0 181726254 937431040 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9872] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9872/stat : 9872 (java) S 9867 9869 9533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9873] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9873/stat : 9873 (java) S 9867 9869 9533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9874] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9874/stat : 9874 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181726258 937431040 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9875] ppid=9867 vsize=915460 CPUtime=0.24
/proc/9869/task/9875/stat : 9875 (java) S 9867 9869 9533 0 -1 64 378 0 0 0 23 1 0 0 15 0 8 0 181726258 937431040 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9876] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9876/stat : 9876 (java) S 9867 9869 9533 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181726258 937431040 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9877] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9877/stat : 9877 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181726258 937431040 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915460

[startup+25.5296 s]
/proc/loadavg: 2.08 2.04 2.00 3/101 9899
/proc/meminfo: memFree=1522896/2055920 swapFree=4191880/4192956
[pid=9869] ppid=9867 vsize=915460 CPUtime=25.24
/proc/9869/stat : 9869 (java) R 9867 9869 9533 0 -1 0 9275 0 1 0 2516 8 0 0 25 0 8 0 181726250 937431040 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9869/statm: 228865 9008 2541 14 0 215335 0
[pid=9869/tid=9871] ppid=9867 vsize=915460 CPUtime=0.03
/proc/9869/task/9871/stat : 9871 (java) S 9867 9869 9533 0 -1 64 699 0 0 0 3 0 0 0 16 0 8 0 181726254 937431040 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9872] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9872/stat : 9872 (java) S 9867 9869 9533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9873] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9873/stat : 9873 (java) S 9867 9869 9533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9874] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9874/stat : 9874 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181726258 937431040 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9875] ppid=9867 vsize=915460 CPUtime=0.24
/proc/9869/task/9875/stat : 9875 (java) S 9867 9869 9533 0 -1 64 379 0 0 0 23 1 0 0 16 0 8 0 181726258 937431040 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9876] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9876/stat : 9876 (java) S 9867 9869 9533 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181726258 937431040 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9877] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9877/stat : 9877 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181726258 937431040 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915460

[startup+51.1495 s]
/proc/loadavg: 2.05 2.03 2.00 3/95 9930
/proc/meminfo: memFree=1523832/2055920 swapFree=4191880/4192956
[pid=9869] ppid=9867 vsize=915460 CPUtime=50.6
/proc/9869/stat : 9869 (java) R 9867 9869 9533 0 -1 0 9280 0 1 0 5052 8 0 0 25 0 8 0 181726250 937431040 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9869/statm: 228865 9012 2541 14 0 215335 0
[pid=9869/tid=9871] ppid=9867 vsize=915460 CPUtime=0.03
/proc/9869/task/9871/stat : 9871 (java) S 9867 9869 9533 0 -1 64 699 0 0 0 3 0 0 0 16 0 8 0 181726254 937431040 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9872] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9872/stat : 9872 (java) S 9867 9869 9533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9873] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9873/stat : 9873 (java) S 9867 9869 9533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9874] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9874/stat : 9874 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181726258 937431040 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9875] ppid=9867 vsize=915460 CPUtime=0.24
/proc/9869/task/9875/stat : 9875 (java) S 9867 9869 9533 0 -1 64 379 0 0 0 23 1 0 0 16 0 8 0 181726258 937431040 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9876] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9876/stat : 9876 (java) S 9867 9869 9533 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181726258 937431040 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9877] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9877/stat : 9877 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181726258 937431040 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 915460

[startup+102.365 s]
/proc/loadavg: 2.02 2.03 2.00 3/96 9931
/proc/meminfo: memFree=1523888/2055920 swapFree=4191880/4192956
[pid=9869] ppid=9867 vsize=915460 CPUtime=101.35
/proc/9869/stat : 9869 (java) R 9867 9869 9533 0 -1 0 9288 0 1 0 10127 8 0 0 25 0 8 0 181726250 937431040 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9869/statm: 228865 9020 2541 14 0 215335 0
[pid=9869/tid=9871] ppid=9867 vsize=915460 CPUtime=0.03
/proc/9869/task/9871/stat : 9871 (java) S 9867 9869 9533 0 -1 64 699 0 0 0 3 0 0 0 16 0 8 0 181726254 937431040 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9872] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9872/stat : 9872 (java) S 9867 9869 9533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9873] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9873/stat : 9873 (java) S 9867 9869 9533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9874] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9874/stat : 9874 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181726258 937431040 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9875] ppid=9867 vsize=915460 CPUtime=0.24
/proc/9869/task/9875/stat : 9875 (java) S 9867 9869 9533 0 -1 64 379 0 0 0 23 1 0 0 16 0 8 0 181726258 937431040 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9876] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9876/stat : 9876 (java) S 9867 9869 9533 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181726258 937431040 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9877] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9877/stat : 9877 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181726258 937431040 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 915460

[startup+162.421 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 9931
/proc/meminfo: memFree=1523952/2055920 swapFree=4191880/4192956
[pid=9869] ppid=9867 vsize=915460 CPUtime=160.86
/proc/9869/stat : 9869 (java) R 9867 9869 9533 0 -1 0 9291 0 1 0 16078 8 0 0 25 0 8 0 181726250 937431040 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9869/statm: 228865 9023 2541 14 0 215335 0
[pid=9869/tid=9871] ppid=9867 vsize=915460 CPUtime=0.03
/proc/9869/task/9871/stat : 9871 (java) S 9867 9869 9533 0 -1 64 699 0 0 0 3 0 0 0 16 0 8 0 181726254 937431040 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9872] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9872/stat : 9872 (java) S 9867 9869 9533 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9873] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9873/stat : 9873 (java) S 9867 9869 9533 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181726255 937431040 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9874] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9874/stat : 9874 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181726258 937431040 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9875] ppid=9867 vsize=915460 CPUtime=0.24
/proc/9869/task/9875/stat : 9875 (java) S 9867 9869 9533 0 -1 64 379 0 0 0 23 1 0 0 16 0 8 0 181726258 937431040 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9876] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9876/stat : 9876 (java) S 9867 9869 9533 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181726258 937431040 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9869/tid=9877] ppid=9867 vsize=915460 CPUtime=0
/proc/9869/task/9877/stat : 9877 (java) S 9867 9869 9533 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181726258 937431040 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 178.139
CPU time (s): 176.43
CPU user time (s): 176.334
CPU system time (s): 0.095985
CPU usage (%): 99.0406
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.334
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9383
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= 4710
involuntary context switches= 11008

runsolver used 0.214967 s user time and 0.59091 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue Jan  9 09:01:51 UTC 2007


IDJOB= 234799
IDBENCH= 6713
FILE ID= node9/234799-1168333311

PBS_JOBID= 3503063

Free space on /tmp= 66546 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-5/os-taillard-5-100-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234799-1168333311/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-234799-1168333311 -o ROOT/results/node9/solver-234799-1168333311 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234799-1168333311/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d5081a0ba82d7a928e9ef02f0cd66b7c

RANDOM SEED= 687375469

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.231
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.231
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:       1549416 kB
Buffers:         58416 kB
Cached:         333192 kB
SwapCached:        276 kB
Active:         233668 kB
Inactive:       212656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1549416 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1720 kB
Writeback:           0 kB
Mapped:          68108 kB
Slab:            44656 kB
Committed_AS:  5419160 kB
PageTables:       2516 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= 66546 MiB



End job on node9 on Tue Jan  9 09:04:50 UTC 2007