Trace number 217817

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 ESACUNSAT 1439.19 1453.71

DiagnosticValue
CHECKS5166269351
NODES184057

General information on the benchmark

NamegolombRuler/golombRulerArity3/
ruler-67-12-a3.xml
MD5SUM901737356712bb227c2d9ca62b34a56a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark498.493
SatisfiableNO
(Un)Satisfiability was proved
Number of variables78
Number of constraints2277
Maximum constraint arity3
Maximum domain size68
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2277
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/217817-1168249102/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.41	     nbVariables=78  nbDomainTypes=2  minDomainSize=67  maxDomainSize=68
0.41	       =>  wckTime=0.105  cpuTime=0.09  mem=6M951
0.41	   
0.41	   predicates being loaded...
0.41	   
0.41	   constraints being loaded...
0.89	     nbConstraints=2277  nbConvertedConstraints=2211  nbConvertConstraintsChecks=9113  nbExtensionStructures=2
0.89	     nbSharedExtensionStructures=2209  nbConflictsStructures=2  nbSharedConflictsStructures=2209
0.89	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=69  nbEvaluationManagers=1
0.89	     nbSharedEvaluationManagers=65  maxDegree=66  maxArity=3
0.89	       =>  wckTime=0.59  cpuTime=0.45  mem=15M728
0.95	   
0.95	   solver IterativeSystematicSolver being built... 
1.12	       =>  wckTime=0.82  cpuTime=0.59  mem=16M428
44.83	   
44.83	   INFO : Stopping ESAC
44.83	   
44.83	   preprocessing
44.83	     nbConstraintChecks=153707199  nbValidityChecks=2299397  nbPropagations=8738  nbRevisions=99080
44.83	     nbUselessRevisions=68789  nbSingletonTests=130  nbEffectiveSingletonTests=3  nbESACBranches=41  nbRemovedValues=575
44.83	     detectedInconsistency=no
44.83	       =>  wckTime=43.703  cpuTime=43.23  mem=16M428
46.19	   
46.19	   search
46.19	     run=0  nbConstraintChecks=4698761  nbValidityChecks=180589  nbPropagations=10766  nbRevisions=117183
46.19	     nbUselessRevisions=81916  nbAssignments=26  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=46
46.19	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
46.19	       =>  wckTime=45.062  cpuTime=44.57  mem=16M428
47.71	   
47.71	   search
47.71	     run=1  nbConstraintChecks=9973497  nbValidityChecks=504169  nbPropagations=25163  nbRevisions=270255
47.71	     nbUselessRevisions=189616  nbAssignments=75  nbFailedAssignments=37  nbBacktracks=26  nbVisitedNodes=139
47.71	     nbRestartNogoods=3  mapSize=26  nbInferences=0  nbTooLargeKeys=0
47.71	       =>  wckTime=46.582  cpuTime=46.06  mem=16M428
48.93	   
48.93	   search
48.93	     run=2  nbConstraintChecks=14132461  nbValidityChecks=754689  nbPropagations=44229  nbRevisions=463927
48.93	     nbUselessRevisions=327334  nbAssignments=141  nbFailedAssignments=75  nbBacktracks=48  nbVisitedNodes=265
48.93	     nbRestartNogoods=9  mapSize=48  nbInferences=0  nbTooLargeKeys=0
48.93	       =>  wckTime=47.804  cpuTime=47.28  mem=16M428
51.54	   
51.54	   search
51.54	     run=3  nbConstraintChecks=23151907  nbValidityChecks=1255597  nbPropagations=70786  nbRevisions=727781
51.54	     nbUselessRevisions=516781  nbAssignments=238  nbFailedAssignments=133  nbBacktracks=81  nbVisitedNodes=453
51.54	     nbRestartNogoods=12  mapSize=81  nbInferences=0  nbTooLargeKeys=0
51.54	       =>  wckTime=50.41  cpuTime=49.86  mem=16M428
68.04	   
68.04	   search
68.04	     run=4  nbConstraintChecks=83071071  nbValidityChecks=2674735  nbPropagations=110009  nbRevisions=1107192
68.04	     nbUselessRevisions=792524  nbAssignments=410  nbFailedAssignments=203  nbBacktracks=131  nbVisitedNodes=697
68.04	     nbRestartNogoods=26  mapSize=131  nbInferences=0  nbTooLargeKeys=0
68.04	       =>  wckTime=66.917  cpuTime=66.18  mem=16M428
71.37	   
71.37	   search
71.37	     run=5  nbConstraintChecks=94398819  nbValidityChecks=3402234  nbPropagations=161686  nbRevisions=1604433
71.37	     nbUselessRevisions=1155956  nbAssignments=600  nbFailedAssignments=313  nbBacktracks=207  nbVisitedNodes=1066
71.37	     nbRestartNogoods=28  mapSize=202  nbInferences=0  nbTooLargeKeys=0
71.37	       =>  wckTime=70.247  cpuTime=69.47  mem=16M428
96.82	   
96.82	   search
96.82	     run=6  nbConstraintChecks=186933274  nbValidityChecks=6062629  nbPropagations=233033  nbRevisions=2298391
96.82	     nbUselessRevisions=1662310  nbAssignments=926  nbFailedAssignments=458  nbBacktracks=325  nbVisitedNodes=1518
96.82	     nbRestartNogoods=41  mapSize=245  nbInferences=0  nbTooLargeKeys=0
96.82	       =>  wckTime=95.695  cpuTime=94.69  mem=17M403
116.20	   
116.20	   search
116.20	     run=7  nbConstraintChecks=257011219  nbValidityChecks=8095242  nbPropagations=328493  nbRevisions=3212054
116.20	     nbUselessRevisions=2329785  nbAssignments=1357  nbFailedAssignments=636  nbBacktracks=497  nbVisitedNodes=2117
116.20	     nbRestartNogoods=60  mapSize=309  nbInferences=0  nbTooLargeKeys=0
116.20	       =>  wckTime=115.078  cpuTime=113.87  mem=17M403
123.74	   
123.74	   search
123.74	     run=8  nbConstraintChecks=284601301  nbValidityChecks=9514071  nbPropagations=438565  nbRevisions=4273447
123.74	     nbUselessRevisions=3096320  nbAssignments=1803  nbFailedAssignments=789  nbBacktracks=757  nbVisitedNodes=2772
123.74	     nbRestartNogoods=66  mapSize=410  nbInferences=0  nbTooLargeKeys=0
123.74	       =>  wckTime=122.61  cpuTime=121.31  mem=17M403
128.30	   
128.30	   search
128.30	     run=9  nbConstraintChecks=299379018  nbValidityChecks=10587729  nbPropagations=583714  nbRevisions=5618609
128.30	     nbUselessRevisions=4071507  nbAssignments=2528  nbFailedAssignments=1111  nbBacktracks=1149  nbVisitedNodes=3984
128.30	     nbRestartNogoods=80  mapSize=598  nbInferences=0  nbTooLargeKeys=0
128.30	       =>  wckTime=127.172  cpuTime=125.83  mem=17M403
149.21	   
149.21	   search
149.21	     run=10  nbConstraintChecks=376096184  nbValidityChecks=14092032  nbPropagations=764702  nbRevisions=7296938
149.21	     nbUselessRevisions=5265264  nbAssignments=3473  nbFailedAssignments=1461  nbBacktracks=1726  nbVisitedNodes=5472
149.21	     nbRestartNogoods=98  mapSize=862  nbInferences=0  nbTooLargeKeys=0
149.21	       =>  wckTime=148.083  cpuTime=146.52  mem=18M378
158.09	   
158.09	   INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=18M378)
165.14	   
165.14	   search
165.14	     run=11  nbConstraintChecks=433910805  nbValidityChecks=16852935  nbPropagations=983273  nbRevisions=9342967
165.14	     nbUselessRevisions=6699248  nbAssignments=4684  nbFailedAssignments=1794  nbBacktracks=2600  nbVisitedNodes=7215
165.14	     nbRestartNogoods=105
165.14	       =>  wckTime=164.018  cpuTime=162.29  mem=18M378
194.64	   
194.64	   search
194.64	     run=12  nbConstraintChecks=540539704  nbValidityChecks=21293963  nbPropagations=1269409  nbRevisions=11998270
194.64	     nbUselessRevisions=8528997  nbAssignments=6584  nbFailedAssignments=2376  nbBacktracks=3900  nbVisitedNodes=10039
194.64	     nbRestartNogoods=112
194.64	       =>  wckTime=193.518  cpuTime=191.5  mem=18M378
226.02	   
226.02	   search
226.02	     run=13  nbConstraintChecks=651123423  nbValidityChecks=26607748  nbPropagations=1663353  nbRevisions=15519156
226.02	     nbUselessRevisions=10931279  nbAssignments=9509  nbFailedAssignments=3342  nbBacktracks=5853  nbVisitedNodes=14462
226.02	     nbRestartNogoods=122
226.02	       =>  wckTime=224.898  cpuTime=222.58  mem=18M378
273.74	   
273.74	   search
273.74	     run=14  nbConstraintChecks=817365800  nbValidityChecks=35264612  nbPropagations=2254555  nbRevisions=20611144
273.74	     nbUselessRevisions=14362753  nbAssignments=14130  nbFailedAssignments=5035  nbBacktracks=8774  nbVisitedNodes=21729
273.74	     nbRestartNogoods=132
273.74	       =>  wckTime=272.613  cpuTime=269.83  mem=18M378
351.65	   
351.65	   search
351.65	     run=15  nbConstraintChecks=1088640664  nbValidityChecks=51276896  nbPropagations=3239215  nbRevisions=29190467
351.65	     nbUselessRevisions=20098414  nbAssignments=21839  nbFailedAssignments=8359  nbBacktracks=13152
351.65	     nbVisitedNodes=34769  nbRestartNogoods=146
351.65	       =>  wckTime=350.525  cpuTime=346.97  mem=18M378
506.61	   
506.61	   search
506.61	     run=16  nbConstraintChecks=1657812959  nbValidityChecks=82227190  nbPropagations=4825843  nbRevisions=45069756
506.61	     nbUselessRevisions=30648831  nbAssignments=33994  nbFailedAssignments=13940  nbBacktracks=19720
506.61	     nbVisitedNodes=55673  nbRestartNogoods=163
506.61	       =>  wckTime=505.482  cpuTime=500.39  mem=18M378
688.30	   
688.30	   search
688.30	     run=17  nbConstraintChecks=2323430835  nbValidityChecks=127673516  nbPropagations=7457160  nbRevisions=74463086
688.30	     nbUselessRevisions=50512391  nbAssignments=54623  nbFailedAssignments=24710  nbBacktracks=29572
688.30	     nbVisitedNodes=92553  nbRestartNogoods=179
688.30	       =>  wckTime=687.181  cpuTime=680.28  mem=18M378
916.98	   
916.98	   search
916.98	     run=18  nbConstraintChecks=3134845985  nbValidityChecks=195507401  nbPropagations=11849100  nbRevisions=125607523
916.98	     nbUselessRevisions=85733093  nbAssignments=87432  nbFailedAssignments=42722  nbBacktracks=44351
916.98	     nbVisitedNodes=152429  nbRestartNogoods=197
916.98	       =>  wckTime=915.856  cpuTime=906.69  mem=18M378
1234.75	   
1234.75	   search
1234.75	     run=19  nbConstraintChecks=4249703247  nbValidityChecks=294368365  nbPropagations=18880109  nbRevisions=208679674
1234.75	     nbUselessRevisions=143516700  nbAssignments=140927  nbFailedAssignments=74027  nbBacktracks=66522
1234.75	     nbVisitedNodes=250812  nbRestartNogoods=213
1234.75	       =>  wckTime=1233.623  cpuTime=1221.29  mem=18M378
1453.68	   
1453.68	   search
1453.68	     run=20  nbConstraintChecks=5012562152  nbValidityChecks=365006073  nbPropagations=28003490  nbRevisions=316369098
1453.68	     nbUselessRevisions=218895641  nbAssignments=184057  nbFailedAssignments=100360  nbBacktracks=83320
1453.68	     nbVisitedNodes=330067  nbRestartNogoods=228
1453.68	       =>  wckTime=1452.559  cpuTime=1437.96  mem=18M378
1453.69	   
1453.69	   global
1453.69	     nbConstraintChecks=5166269351  nbValidityChecks=367305470  nbPropagations=28012228  nbRevisions=316468178
1453.69	     nbUselessRevisions=218964430  nbRestartNogoods=228  solvingWckTime=1452.56  solvingCpuTime=1437.96  expiredTime=no
1453.69	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=1438.6
1453.69	       =>  wckTime=1453.384  cpuTime=1438.55  mem=18M378
1453.69	   
1453.69	s UNSATISFIABLE
1453.69	d NODES 184057
1453.69	d CHECKS 5166269351
1453.69	   
1453.69	   totalWckTime=1453.462  totalCpuTime=1438.6

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node22/watcher-217817-1168249102 -o ROOT/results/node22/solver-217817-1168249102 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217817-1168249102/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.85 1.95 1.82 5/94 15854
/proc/meminfo: memFree=1290208/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=18540 CPUtime=0
/proc/15853/stat : 15853 (runsolver) R 15851 15853 15400 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 173304758 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15853/statm: 4635 279 244 17 0 2626 0

[startup+0.106685 s]
/proc/loadavg: 1.85 1.95 1.82 5/94 15854
/proc/meminfo: memFree=1290208/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=914988 CPUtime=0.09
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 3016 0 1 0 8 1 0 0 25 0 8 0 173304758 936947712 2762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153549762 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228747 2762 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514748 s]
/proc/loadavg: 1.85 1.95 1.82 5/94 15854
/proc/meminfo: memFree=1290208/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915328 CPUtime=0.49
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 6438 0 1 0 46 3 0 0 25 0 8 0 173304758 937295872 6177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924300 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228832 6177 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34387 s]
/proc/loadavg: 1.85 1.95 1.82 4/101 15861
/proc/meminfo: memFree=1191848/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1.3
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9254 0 1 0 117 13 0 0 25 0 8 0 173304758 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 8992 2540 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 17 0 8 0 173304762 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.22
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 457 0 0 0 21 1 0 0 15 0 8 0 173304766 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915764

[startup+2.98112 s]
/proc/loadavg: 1.85 1.95 1.82 5/101 15861
/proc/meminfo: memFree=1166760/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=2.94
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9261 0 1 0 280 14 0 0 25 0 8 0 173304758 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 8998 2540 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.23
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 463 0 0 0 22 1 0 0 15 0 8 0 173304766 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 8998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915764

[startup+6.27463 s]
/proc/loadavg: 1.86 1.95 1.82 3/102 15862
/proc/meminfo: memFree=1153256/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=6.2
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9273 0 1 0 606 14 0 0 25 0 8 0 173304758 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9008 2542 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 17 0 8 0 173304762 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.25
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 472 0 0 0 24 1 0 0 15 0 8 0 173304766 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915764

[startup+12.7516 s]
/proc/loadavg: 1.87 1.95 1.82 3/102 15862
/proc/meminfo: memFree=1153272/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=12.59
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9282 0 1 0 1245 14 0 0 25 0 8 0 173304758 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782389 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9012 2542 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 17 0 8 0 173304762 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.26
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 478 0 0 0 25 1 0 0 16 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915764

[startup+25.5976 s]
/proc/loadavg: 1.90 1.96 1.82 3/102 15862
/proc/meminfo: memFree=1153400/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=25.31
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9283 0 1 0 2517 14 0 0 25 0 8 0 173304758 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9012 2542 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.26
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 478 0 0 0 25 1 0 0 16 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915764

[startup+51.2966 s]
/proc/loadavg: 1.93 1.96 1.82 3/102 15862
/proc/meminfo: memFree=1153400/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=50.78
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9294 0 1 0 5063 15 0 0 25 0 8 0 173304758 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9021 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.27
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 485 0 0 0 26 1 0 0 16 0 8 0 173304766 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915764

[startup+102.505 s]
/proc/loadavg: 2.04 1.98 1.83 3/102 15862
/proc/meminfo: memFree=1153464/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=101.48
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9302 0 1 0 10133 15 0 0 25 0 8 0 173304758 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9025 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.28
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 490 0 0 0 27 1 0 0 16 0 8 0 173304766 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915764

[startup+162.545 s]
/proc/loadavg: 2.01 1.98 1.84 3/102 15862
/proc/meminfo: memFree=1152184/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=160.93
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9666 0 1 0 16077 16 0 0 25 0 8 0 173304758 937742336 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073967863 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.32
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 31 1 0 0 16 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 993.4
Current children cumulated vsize (KiB) 915764

[startup+1063.44 s]
/proc/loadavg: 2.00 2.00 1.91 3/102 15862
/proc/meminfo: memFree=1118264/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1052.91
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9691 0 1 0 105272 19 0 0 25 0 8 0 173304758 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965878 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9401 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.32
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 31 1 0 0 16 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1052.91
Current children cumulated vsize (KiB) 915764

[startup+1123.49 s]
/proc/loadavg: 2.00 2.00 1.91 3/102 15862
/proc/meminfo: memFree=1118200/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1112.38
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9691 0 1 0 111219 19 0 0 25 0 8 0 173304758 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9401 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.32
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 31 1 0 0 16 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1112.38
Current children cumulated vsize (KiB) 915764

[startup+1183.55 s]
/proc/loadavg: 2.08 2.03 1.92 3/102 15862
/proc/meminfo: memFree=1118136/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1171.82
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9691 0 1 0 117163 19 0 0 25 0 8 0 173304758 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784435 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9401 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.32
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 31 1 0 0 16 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1171.82
Current children cumulated vsize (KiB) 915764

[startup+1243.62 s]
/proc/loadavg: 2.03 2.02 1.92 3/102 15862
/proc/meminfo: memFree=1118072/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1231.29
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9693 0 1 0 123110 19 0 0 25 0 8 0 173304758 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977413 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9403 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.33
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 32 1 0 0 16 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1231.29
Current children cumulated vsize (KiB) 915764

[startup+1303.68 s]
/proc/loadavg: 2.01 2.02 1.92 3/102 15862
/proc/meminfo: memFree=1118008/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1290.78
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9693 0 1 0 129059 19 0 0 25 0 8 0 173304758 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073967846 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9403 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.33
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 32 1 0 0 16 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1290.78
Current children cumulated vsize (KiB) 915764

[startup+1363.77 s]
/proc/loadavg: 2.04 2.03 1.93 3/108 15926
/proc/meminfo: memFree=1116504/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1350.21
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9693 0 1 0 135001 20 0 0 25 0 8 0 173304758 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073974767 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9403 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.33
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 32 1 0 0 16 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1350.21
Current children cumulated vsize (KiB) 915764

[startup+1423.86 s]
/proc/loadavg: 2.01 2.02 1.93 3/108 16018
/proc/meminfo: memFree=1116408/2055920 swapFree=4157540/4192956
[pid=15853] ppid=15851 vsize=915764 CPUtime=1409.68
/proc/15853/stat : 15853 (java) R 15851 15853 15400 0 -1 0 9693 0 1 0 140940 28 0 0 25 0 8 0 173304758 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782407 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15853/statm: 228941 9403 2543 14 0 215411 0
[pid=15853/tid=15855] ppid=15851 vsize=915764 CPUtime=0.04
/proc/15853/task/15855/stat : 15855 (java) S 15851 15853 15400 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 173304762 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15856] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15856/stat : 15856 (java) S 15851 15853 15400 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15857] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15857/stat : 15857 (java) S 15851 15853 15400 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173304763 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15858] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15858/stat : 15858 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15859] ppid=15851 vsize=915764 CPUtime=0.33
/proc/15853/task/15859/stat : 15859 (java) S 15851 15853 15400 0 -1 64 511 0 0 0 32 1 0 0 16 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15860] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15860/stat : 15860 (java) S 15851 15853 15400 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15853/tid=15861] ppid=15851 vsize=915764 CPUtime=0
/proc/15853/task/15861/stat : 15861 (java) S 15851 15853 15400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173304766 937742336 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1409.68
Current children cumulated vsize (KiB) 915764

Child status: 0
Real time (s): 1453.71
CPU time (s): 1439.19
CPU user time (s): 1438.87
CPU system time (s): 0.318951
CPU usage (%): 99.0012
Max. virtual memory (cumulated for all children) (KiB): 915764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1438.87
system time used= 0.318951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9787
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= 30969
involuntary context switches= 92809

runsolver used 1.71174 s user time and 4.68429 s system time

The end

Launcher Data (download as text)

Begin job on node22 on Mon Jan  8 09:38:23 UTC 2007


IDJOB= 217817
IDBENCH= 5173
FILE ID= node22/217817-1168249102

PBS_JOBID= 3481870

Free space on /tmp= 66559 MiB

BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-67-12-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217817-1168249102/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-217817-1168249102 -o ROOT/results/node22/solver-217817-1168249102 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217817-1168249102/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  901737356712bb227c2d9ca62b34a56a

RANDOM SEED= 234196571

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1290688 kB
Buffers:         31940 kB
Cached:         588252 kB
SwapCached:      11256 kB
Active:         192556 kB
Inactive:       513000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1290688 kB
SwapTotal:     4192956 kB
SwapFree:      4157540 kB
Dirty:            5552 kB
Writeback:           0 kB
Mapped:         112004 kB
Slab:            44268 kB
Committed_AS:  4024932 kB
PageTables:       2460 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= 66559 MiB



End job on node22 on Mon Jan  8 10:02:37 UTC 2007