Trace number 199856

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 AC? (TO) 1800.11 1802.14

General information on the benchmark

Namerandom/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-43_ext.xml
MD5SUM18574578491926a9d3804bbf852f5de6
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark237
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints76
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension76
Number of constraints which are defined in intension0
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=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/199856-1168071659/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.099  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
1.08	   
1.08	   constraints being loaded...
1.36	     nbConstraints=76  nbRelationTypes=76  nbExtensionStructures=76  nbSharedExtensionStructures=0
1.36	     nbConflictsStructures=76  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
1.36	       =>  wckTime=1.039  cpuTime=0.9  mem=50M820
1.48	   
1.48	   solver IterativeSystematicSolver being built... 
1.65	       =>  wckTime=1.325  cpuTime=1.04  mem=34M592
1.66	   
1.66	   preprocessing
1.66	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.66	     detectedInconsistency=no
1.66	       =>  wckTime=0.0030  cpuTime=0.0  mem=34M592
1.79	   
1.79	   search
1.79	     run=0  nbConstraintChecks=39533  nbValidityChecks=76521  nbPropagations=429  nbRevisions=4949
1.79	     nbUselessRevisions=3929  nbAssignments=37  nbFailedAssignments=21  nbBacktracks=10  nbVisitedNodes=66
1.79	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.79	       =>  wckTime=0.135  cpuTime=0.1  mem=35M583
1.91	   
1.91	   search
1.91	     run=1  nbConstraintChecks=110697  nbValidityChecks=219125  nbPropagations=1586  nbRevisions=19173
1.91	     nbUselessRevisions=15153  nbAssignments=106  nbFailedAssignments=68  nbBacktracks=25  nbVisitedNodes=194
1.91	     nbRestartNogoods=3  mapSize=23  nbInferences=0  nbTooLargeKeys=0
1.91	       =>  wckTime=0.26  cpuTime=0.22  mem=35M583
2.02	   
2.02	   search
2.02	     run=2  nbConstraintChecks=169002  nbValidityChecks=339920  nbPropagations=3496  nbRevisions=41436
2.02	     nbUselessRevisions=32682  nbAssignments=175  nbFailedAssignments=108  nbBacktracks=47  nbVisitedNodes=317
2.02	     nbRestartNogoods=7  mapSize=43  nbInferences=0  nbTooLargeKeys=0
2.02	       =>  wckTime=0.37  cpuTime=0.32  mem=35M583
2.16	   
2.16	   search
2.16	     run=3  nbConstraintChecks=262040  nbValidityChecks=524904  nbPropagations=6305  nbRevisions=75543
2.16	     nbUselessRevisions=59778  nbAssignments=260  nbFailedAssignments=152  nbBacktracks=81  nbVisitedNodes=464
2.16	     nbRestartNogoods=12  mapSize=69  nbInferences=0  nbTooLargeKeys=0
2.16	       =>  wckTime=0.513  cpuTime=0.46  mem=35M583
2.41	   
2.41	   search
2.41	     run=4  nbConstraintChecks=406677  nbValidityChecks=820794  nbPropagations=11051  nbRevisions=131132
2.41	     nbUselessRevisions=103554  nbAssignments=407  nbFailedAssignments=243  nbBacktracks=131  nbVisitedNodes=739
2.41	     nbRestartNogoods=17  mapSize=118  nbInferences=0  nbTooLargeKeys=0
2.41	       =>  wckTime=0.753  cpuTime=0.69  mem=35M583
2.70	   
2.70	   search
2.70	     run=5  nbConstraintChecks=597738  nbValidityChecks=1212816  nbPropagations=17721  nbRevisions=212106
2.70	     nbUselessRevisions=167763  nbAssignments=584  nbFailedAssignments=338  nbBacktracks=206  nbVisitedNodes=1055
2.70	     nbRestartNogoods=27  mapSize=179  nbInferences=0  nbTooLargeKeys=0
2.70	       =>  wckTime=1.053  cpuTime=0.98  mem=35M583
3.04	   
3.04	   search
3.04	     run=6  nbConstraintChecks=818763  nbValidityChecks=1636683  nbPropagations=26582  nbRevisions=321322
3.04	     nbUselessRevisions=254405  nbAssignments=813  nbFailedAssignments=448  nbBacktracks=320  nbVisitedNodes=1445
3.04	     nbRestartNogoods=33  mapSize=250  nbInferences=0  nbTooLargeKeys=0
3.04	       =>  wckTime=1.389  cpuTime=1.32  mem=35M583
3.80	   
3.80	   search
3.80	     run=7  nbConstraintChecks=1313024  nbValidityChecks=2620523  nbPropagations=40895  nbRevisions=494364
3.80	     nbUselessRevisions=390613  nbAssignments=1245  nbFailedAssignments=705  nbBacktracks=490  nbVisitedNodes=2266
3.80	     nbRestartNogoods=39  mapSize=415  nbInferences=0  nbTooLargeKeys=0
3.80	       =>  wckTime=2.149  cpuTime=2.06  mem=35M583
4.90	   
4.90	   search
4.90	     run=8  nbConstraintChecks=2044290  nbValidityChecks=4086946  nbPropagations=63320  nbRevisions=769616
4.90	     nbUselessRevisions=607821  nbAssignments=1967  nbFailedAssignments=1165  nbBacktracks=746  nbVisitedNodes=3624
4.90	     nbRestartNogoods=49  mapSize=653  nbInferences=0  nbTooLargeKeys=0
4.90	       =>  wckTime=3.253  cpuTime=3.14  mem=35M583
6.18	   
6.18	   search
6.19	     run=9  nbConstraintChecks=2907347  nbValidityChecks=5855416  nbPropagations=94876  nbRevisions=1165314
6.19	     nbUselessRevisions=921893  nbAssignments=2786  nbFailedAssignments=1593  nbBacktracks=1130  nbVisitedNodes=5097
6.19	     nbRestartNogoods=65  mapSize=958  nbInferences=0  nbTooLargeKeys=0
6.19	       =>  wckTime=4.533  cpuTime=4.4  mem=35M583
6.46	   
6.46	   INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=35M583)
8.65	   
8.65	   search
8.65	     run=10  nbConstraintChecks=4579518  nbValidityChecks=9265864  nbPropagations=147196  nbRevisions=1797471
8.65	     nbUselessRevisions=1419696  nbAssignments=4476  nbFailedAssignments=2702  nbBacktracks=1706  nbVisitedNodes=8342
8.65	     nbRestartNogoods=74
8.65	       =>  wckTime=7.003  cpuTime=6.84  mem=35M583
11.41	   
11.41	   search
11.41	     run=11  nbConstraintChecks=6518702  nbValidityChecks=13127941  nbPropagations=220528  nbRevisions=2694981
11.41	     nbUselessRevisions=2128627  nbAssignments=6352  nbFailedAssignments=3708  nbBacktracks=2573  nbVisitedNodes=11724
11.41	     nbRestartNogoods=84
11.41	       =>  wckTime=9.759  cpuTime=9.56  mem=35M583
15.97	   
15.97	   search
15.97	     run=12  nbConstraintChecks=9658632  nbValidityChecks=19618672  nbPropagations=328996  nbRevisions=4036054
15.97	     nbUselessRevisions=3191557  nbAssignments=9353  nbFailedAssignments=5407  nbBacktracks=3870  nbVisitedNodes=17218
15.97	     nbRestartNogoods=93
15.97	       =>  wckTime=14.314  cpuTime=14.08  mem=35M583
23.84	   
23.85	   search
23.85	     run=13  nbConstraintChecks=15047787  nbValidityChecks=30570858  nbPropagations=497740  nbRevisions=6082486
23.85	     nbUselessRevisions=4802477  nbAssignments=14610  nbFailedAssignments=8711  nbBacktracks=5818  nbVisitedNodes=27135
23.85	     nbRestartNogoods=101
23.85	       =>  wckTime=22.193  cpuTime=21.88  mem=35M583
33.06	   
33.06	   search
33.06	     run=14  nbConstraintChecks=21658041  nbValidityChecks=43970963  nbPropagations=744839  nbRevisions=9091476
33.06	     nbUselessRevisions=7178794  nbAssignments=21351  nbFailedAssignments=12528  nbBacktracks=8737  nbVisitedNodes=39576
33.06	     nbRestartNogoods=115
33.06	       =>  wckTime=31.407  cpuTime=31.05  mem=35M583
53.46	   
53.46	   search
53.46	     run=15  nbConstraintChecks=36814115  nbValidityChecks=73428065  nbPropagations=1143313  nbRevisions=13975374
53.46	     nbUselessRevisions=11022142  nbAssignments=34191  nbFailedAssignments=20985  nbBacktracks=13115
53.46	     nbVisitedNodes=64348  nbRestartNogoods=131
53.46	       =>  wckTime=51.809  cpuTime=51.43  mem=35M583
74.71	   
74.71	   search
74.71	     run=16  nbConstraintChecks=52293737  nbValidityChecks=105332553  nbPropagations=1722532  nbRevisions=21050150
74.71	     nbUselessRevisions=16611640  nbAssignments=49604  nbFailedAssignments=29823  nbBacktracks=19684
74.71	     nbVisitedNodes=92850  nbRestartNogoods=146
74.71	       =>  wckTime=73.054  cpuTime=72.64  mem=35M583
113.06	   
113.07	   search
113.07	     run=17  nbConstraintChecks=80238885  nbValidityChecks=163059818  nbPropagations=2646089  nbRevisions=32108578
113.07	     nbUselessRevisions=25290165  nbAssignments=77472  nbFailedAssignments=47831  nbBacktracks=29536
113.07	     nbVisitedNodes=146225  nbRestartNogoods=165
113.07	       =>  wckTime=111.413  cpuTime=110.97  mem=35M583
159.72	   
159.72	   search
159.72	     run=18  nbConstraintChecks=115023148  nbValidityChecks=233353053  nbPropagations=3959987  nbRevisions=48038591
159.72	     nbUselessRevisions=37850514  nbAssignments=112882  nbFailedAssignments=68456  nbBacktracks=44315
159.72	     nbVisitedNodes=211312  nbRestartNogoods=176
159.72	       =>  wckTime=158.069  cpuTime=157.58  mem=35M583
238.53	   
238.53	   search
238.53	     run=19  nbConstraintChecks=172649798  nbValidityChecks=352358446  nbPropagations=5955794  nbRevisions=72117014
238.53	     nbUselessRevisions=56814966  nbAssignments=170019  nbFailedAssignments=103420  nbBacktracks=66485
238.53	     nbVisitedNodes=319121  nbRestartNogoods=200
238.53	       =>  wckTime=236.88  cpuTime=236.32  mem=35M583
340.70	   
340.71	   search
340.71	     run=20  nbConstraintChecks=249026646  nbValidityChecks=505098480  nbPropagations=8745139  nbRevisions=106542529
340.71	     nbUselessRevisions=84082372  nbAssignments=243865  nbFailedAssignments=144008  nbBacktracks=99737
340.71	     nbVisitedNodes=452301  nbRestartNogoods=218
340.71	       =>  wckTime=339.054  cpuTime=338.38  mem=35M583
519.69	   
519.69	   search
519.69	     run=21  nbConstraintChecks=378602523  nbValidityChecks=768994039  nbPropagations=12950582  nbRevisions=158034594
519.69	     nbUselessRevisions=124794722  nbAssignments=369190  nbFailedAssignments=219450  nbBacktracks=149616
519.69	     nbVisitedNodes=684843  nbRestartNogoods=237
519.69	       =>  wckTime=518.042  cpuTime=517.19  mem=35M583
756.56	   
756.56	   search
756.56	     run=22  nbConstraintChecks=548995765  nbValidityChecks=1119197469  nbPropagations=19002718  nbRevisions=232201429
756.56	     nbUselessRevisions=183532013  nbAssignments=537527  nbFailedAssignments=312962  nbBacktracks=224436
756.56	     nbVisitedNodes=990077  nbRestartNogoods=261
756.56	       =>  wckTime=754.907  cpuTime=753.83  mem=35M583
1130.04	   
1130.04	   search
1130.04	     run=23  nbConstraintChecks=819113162  nbValidityChecks=1668405243  nbPropagations=27899248  nbRevisions=342170601
1130.04	     nbUselessRevisions=270689257  nbAssignments=796635  nbFailedAssignments=459838  nbBacktracks=336664
1130.04	     nbVisitedNodes=1462150  nbRestartNogoods=283
1130.04	       =>  wckTime=1128.39  cpuTime=1126.96  mem=35M583
1691.50	   
1691.50	   search
1691.50	     run=24  nbConstraintChecks=1223175000  nbValidityChecks=2493508431  nbPropagations=41129102  nbRevisions=505732225
1691.50	     nbUselessRevisions=400286491  nbAssignments=1190096  nbFailedAssignments=684956  nbBacktracks=505005
1691.50	     nbVisitedNodes=2181035  nbRestartNogoods=298
1691.50	       =>  wckTime=1689.849  cpuTime=1687.87  mem=35M583

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-199856-1168071659 -o ROOT/results/node47/solver-199856-1168071659 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199856-1168071659/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.88 1.36 1.20 5/80 2002
/proc/meminfo: memFree=1761616/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=18540 CPUtime=0
/proc/2001/stat : 2001 (runsolver) R 1998 2001 1670 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 155565162 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208714923506 0 0 4096 24578 0 0 0 17 1 0 0
/proc/2001/statm: 4635 279 244 17 0 2626 0

[startup+0.107382 s]
/proc/loadavg: 1.88 1.36 1.20 5/80 2002
/proc/meminfo: memFree=1761616/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=913236 CPUtime=0.08
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 2919 0 1 0 7 1 0 0 17 0 8 0 155565162 935153664 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916972 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2001/statm: 228309 2665 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236

[startup+0.515429 s]
/proc/loadavg: 1.88 1.36 1.20 5/80 2002
/proc/meminfo: memFree=1761616/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915328 CPUtime=0.48
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 7430 0 1 0 44 4 0 0 18 0 8 0 155565162 937295872 7169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2001/statm: 228832 7169 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33652 s]
/proc/loadavg: 1.88 1.36 1.20 4/87 2010
/proc/meminfo: memFree=1694488/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915328 CPUtime=1.3
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 19113 0 1 0 120 10 0 0 24 0 8 0 155565162 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2001/statm: 228832 18851 2160 14 0 215302 0
[pid=2001/tid=2003] ppid=1998 vsize=915328 CPUtime=0.04
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 2650 0 0 0 4 0 0 0 17 0 8 0 155565166 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915328 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915328 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155565166 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915328 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915328 CPUtime=0.1
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 155565170 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915328 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915328 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937295872 18851 18446744073709551615 134512640 134570532 4294956480 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) 915328

[startup+2.97369 s]
/proc/loadavg: 1.89 1.37 1.21 3/87 2010
/proc/meminfo: memFree=1677976/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=2.91
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23549 0 1 0 279 12 0 0 25 0 8 0 155565162 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2001/statm: 228855 23284 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155565166 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.2
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 373 0 0 0 20 0 0 0 15 0 8 0 155565170 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915420

[startup+6.17603 s]
/proc/loadavg: 1.89 1.37 1.21 3/87 2010
/proc/meminfo: memFree=1677912/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=6.09
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23567 0 1 0 596 13 0 0 25 0 8 0 155565162 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2001/statm: 228855 23299 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155565166 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.22
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 388 0 0 0 22 0 0 0 17 0 8 0 155565170 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23299 18446744073709551615 134512640 134570532 4294956480 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) 915420

[startup+12.6507 s]
/proc/loadavg: 1.91 1.39 1.21 3/87 2010
/proc/meminfo: memFree=1677984/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=12.5
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23571 0 1 0 1237 13 0 0 25 0 8 0 155565162 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2001/statm: 228855 23302 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155565166 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.23
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 155565170 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915420

[startup+25.5291 s]
/proc/loadavg: 1.92 1.41 1.22 3/87 2010
/proc/meminfo: memFree=1678176/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=25.26
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23571 0 1 0 2513 13 0 0 25 0 8 0 155565162 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2001/statm: 228855 23302 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155565166 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.23
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 155565170 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915420

[startup+51.1528 s]
/proc/loadavg: 2.02 1.48 1.25 3/87 2071
/proc/meminfo: memFree=1613344/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=50.83
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23574 0 1 0 5068 15 0 0 25 0 8 0 155565162 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2001/statm: 228855 23304 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.23
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 915420

[startup+102.408 s]
/proc/loadavg: 2.10 1.59 1.30 3/87 2071
/proc/meminfo: memFree=1613536/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=102.03
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23574 0 1 0 10188 15 0 0 25 0 8 0 155565162 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2001/statm: 228855 23304 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.23
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 915420

[startup+162.409 s]
/proc/loadavg: 2.15 1.71 1.36 3/87 2071
/proc/meminfo: memFree=1613544/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=161.97
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23574 0 1 0 16181 16 0 0 25 0 8 0 155565162 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 1420.8
Current children cumulated vsize (KiB) 915420

[startup+1482.47 s]
/proc/loadavg: 2.15 2.08 1.85 3/87 2071
/proc/meminfo: memFree=1613160/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=1480.75
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23574 0 1 0 148056 19 0 0 25 0 8 0 155565162 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2001/statm: 228855 23304 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.23
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.75
Current children cumulated vsize (KiB) 915420

[startup+1542.48 s]
/proc/loadavg: 2.05 2.06 1.86 3/87 2071
/proc/meminfo: memFree=1613096/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=1540.71
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23574 0 1 0 154052 19 0 0 25 0 8 0 155565162 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2001/statm: 228855 23304 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.23
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.71
Current children cumulated vsize (KiB) 915420

[startup+1602.49 s]
/proc/loadavg: 2.02 2.05 1.87 3/87 2071
/proc/meminfo: memFree=1613160/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=1600.65
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23574 0 1 0 160046 19 0 0 25 0 8 0 155565162 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073760856 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2001/statm: 228855 23304 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.23
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.65
Current children cumulated vsize (KiB) 915420

[startup+1662.49 s]
/proc/loadavg: 2.00 2.04 1.87 3/87 2071
/proc/meminfo: memFree=1613096/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=1660.6
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23574 0 1 0 166041 19 0 0 25 0 8 0 155565162 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2001/statm: 228855 23304 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.23
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.6
Current children cumulated vsize (KiB) 915420

[startup+1722.5 s]
/proc/loadavg: 2.00 2.03 1.88 3/87 2071
/proc/meminfo: memFree=1613096/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=1720.55
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23575 0 1 0 172036 19 0 0 25 0 8 0 155565162 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2001/statm: 228855 23305 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155565166 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.24
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 395 0 0 0 24 0 0 0 16 0 8 0 155565170 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.55
Current children cumulated vsize (KiB) 915420

[startup+1782.5 s]
/proc/loadavg: 2.00 2.02 1.88 3/87 2071
/proc/meminfo: memFree=1613032/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=1780.48
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23575 0 1 0 178029 19 0 0 25 0 8 0 155565162 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2001/statm: 228855 23305 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155565166 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.24
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 395 0 0 0 24 0 0 0 16 0 8 0 155565170 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.48
Current children cumulated vsize (KiB) 915420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.06 s]
/proc/loadavg: 2.00 2.02 1.89 3/87 2071
/proc/meminfo: memFree=1613032/2055920 swapFree=4192812/4192956
[pid=2001] ppid=1998 vsize=915420 CPUtime=1800.03
/proc/2001/stat : 2001 (java) R 1998 2001 1670 0 -1 0 23575 0 1 0 179984 19 0 0 25 0 8 0 155565162 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765693 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2001/statm: 228855 23305 2521 14 0 215325 0
[pid=2001/tid=2003] ppid=1998 vsize=915420 CPUtime=0.16
/proc/2001/task/2003/stat : 2003 (java) S 1998 2001 1670 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155565166 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2004] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2004/stat : 2004 (java) S 1998 2001 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155565166 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2005] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2005/stat : 2005 (java) S 1998 2001 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155565166 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2006] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2006/stat : 2006 (java) S 1998 2001 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155565170 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2007] ppid=1998 vsize=915420 CPUtime=0.24
/proc/2001/task/2007/stat : 2007 (java) S 1998 2001 1670 0 -1 64 395 0 0 0 24 0 0 0 16 0 8 0 155565170 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2001/tid=2009] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2009/stat : 2009 (java) S 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155565170 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2001/tid=2010] ppid=1998 vsize=915420 CPUtime=0
/proc/2001/task/2010/stat : 2010 (java) R 1998 2001 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155565170 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915420

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

Child status: 143
Real time (s): 1802.14
CPU time (s): 1800.11
CPU user time (s): 1799.9
CPU system time (s): 0.208968
CPU usage (%): 99.8874
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.208968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23592
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= 37550
involuntary context switches= 9531

runsolver used 2.35064 s user time and 5.63214 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Sat Jan  6 08:20:59 UTC 2007


IDJOB= 199856
IDBENCH= 3646
FILE ID= node47/199856-1168071659

PBS_JOBID= 3475958

Free space on /tmp= 66529 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199856-1168071659/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-199856-1168071659 -o ROOT/results/node47/solver-199856-1168071659 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199856-1168071659/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  18574578491926a9d3804bbf852f5de6

RANDOM SEED= 451720583

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.240
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.240
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:       1762096 kB
Buffers:         25408 kB
Cached:         152412 kB
SwapCached:          0 kB
Active:          82728 kB
Inactive:       139244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762096 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4588 kB
Writeback:           0 kB
Mapped:          64400 kB
Slab:            57164 kB
Committed_AS:  3577888 kB
PageTables:       1936 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= 66527 MiB



End job on node47 on Sat Jan  6 08:51:01 UTC 2007