Trace number 247894

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACSAT 1155.08 1160.67

DiagnosticValue
CHECKS1649663284
NODES26833

General information on the benchmark

Nameprimes/primes-10/
primes-10-40-3-3.xml
MD5SUM1e035bc1a7e7fbe391e9ce31618101ba
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.96155
SatisfiableYES
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Maximum constraint arity6
Maximum domain size28
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40
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.34	     name=/tmp/evaluation/247894-1168394844/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.42	     nbVariables=100  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.42	       =>  wckTime=0.111  cpuTime=0.09  mem=6M951
0.42	   
0.42	   predicates being loaded...
0.45	   
0.45	   constraints being loaded...
0.60	     nbConstraints=40  nbSingletonDomainVariables=16  nbDisconnectedVariables=16  nbConflictsStructures=6
0.60	     nbSharedConflictsStructures=0  nbUnbuiltConflictsStructures=34  nbSharedBinaryRepresentations=0
0.60	     nbEvaluationManagers=40  nbSharedEvaluationManagers=0  maxDegree=5  maxArity=6
0.60	       =>  wckTime=0.298  cpuTime=0.25  mem=8M935
0.64	   
0.64	   solver IterativeSystematicSolver being built... 
0.82	       =>  wckTime=0.515  cpuTime=0.39  mem=15M378
10.41	   
10.41	   preprocessing
10.41	     nbConstraintChecks=14730269  nbValidityChecks=26807  nbPropagations=980  nbRevisions=1883  nbUselessRevisions=999
10.41	     nbSingletonTests=137  nbEffectiveSingletonTests=0  nbESACBranches=8  nbRemovedValues=407  detectedInconsistency=no
10.41	       =>  wckTime=9.589  cpuTime=9.51  mem=15M378
14.38	   
14.38	   search
14.38	     run=0  nbConstraintChecks=6104427  nbValidityChecks=12018  nbPropagations=1445  nbRevisions=2816
14.39	     nbUselessRevisions=1457  nbAssignments=46  nbFailedAssignments=6  nbBacktracks=11  nbVisitedNodes=53
14.39	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
14.39	       =>  wckTime=13.563  cpuTime=13.46  mem=15M378
16.83	   
16.83	   search
16.83	     run=1  nbConstraintChecks=9833137  nbValidityChecks=29106  nbPropagations=3526  nbRevisions=6936
16.83	     nbUselessRevisions=3597  nbAssignments=107  nbFailedAssignments=8  nbBacktracks=27  nbVisitedNodes=89
16.83	     nbRestartNogoods=4  mapSize=13  nbInferences=0  nbTooLargeKeys=0
16.83	       =>  wckTime=16.006  cpuTime=15.89  mem=15M378
19.06	   
19.06	   search
19.06	     run=2  nbConstraintChecks=13018756  nbValidityChecks=43726  nbPropagations=6263  nbRevisions=12357
19.06	     nbUselessRevisions=6284  nbAssignments=158  nbFailedAssignments=18  nbBacktracks=52  nbVisitedNodes=151
19.06	     nbRestartNogoods=6  mapSize=27  nbInferences=0  nbTooLargeKeys=0
19.06	       =>  wckTime=18.241  cpuTime=18.11  mem=15M378
24.07	   
24.07	   search
24.07	     run=3  nbConstraintChecks=20139318  nbValidityChecks=66357  nbPropagations=10053  nbRevisions=19938
24.07	     nbUselessRevisions=9929  nbAssignments=234  nbFailedAssignments=36  nbBacktracks=92  nbVisitedNodes=245
24.07	     nbRestartNogoods=8  mapSize=45  nbInferences=0  nbTooLargeKeys=0
24.07	       =>  wckTime=23.248  cpuTime=23.09  mem=15M378
29.65	   
29.65	   search
29.65	     run=4  nbConstraintChecks=27773770  nbValidityChecks=97771  nbPropagations=15147  nbRevisions=30485
29.65	     nbUselessRevisions=14948  nbAssignments=330  nbFailedAssignments=59  nbBacktracks=142  nbVisitedNodes=365
29.65	     nbRestartNogoods=11  mapSize=70  nbInferences=0  nbTooLargeKeys=0
29.65	       =>  wckTime=28.83  cpuTime=28.64  mem=15M378
43.86	   
43.86	   search
43.86	     run=5  nbConstraintChecks=48296342  nbValidityChecks=190325  nbPropagations=24633  nbRevisions=50432
43.86	     nbUselessRevisions=24005  nbAssignments=588  nbFailedAssignments=118  nbBacktracks=220  nbVisitedNodes=583
43.86	     nbRestartNogoods=23  mapSize=121  nbInferences=0  nbTooLargeKeys=0
43.86	       =>  wckTime=43.034  cpuTime=42.78  mem=15M378
73.26	   
73.26	   search
73.26	     run=6  nbConstraintChecks=90308633  nbValidityChecks=385127  nbPropagations=40257  nbRevisions=88100
73.26	     nbUselessRevisions=40517  nbAssignments=841  nbFailedAssignments=246  nbBacktracks=334  nbVisitedNodes=978
73.26	     nbRestartNogoods=26  mapSize=179  nbInferences=0  nbTooLargeKeys=0
73.26	       =>  wckTime=72.434  cpuTime=72.03  mem=15M378
88.74	   
88.74	   search
88.74	     run=7  nbConstraintChecks=112048570  nbValidityChecks=524005  nbPropagations=61495  nbRevisions=139543
88.74	     nbUselessRevisions=62867  nbAssignments=1126  nbFailedAssignments=346  nbBacktracks=507  nbVisitedNodes=1389
88.74	     nbRestartNogoods=30  mapSize=288  nbInferences=0  nbTooLargeKeys=0
88.74	       =>  wckTime=87.917  cpuTime=87.44  mem=15M378
141.32	   
141.32	   search
141.32	     run=8  nbConstraintChecks=186688046  nbValidityChecks=932389  nbPropagations=97965  nbRevisions=230271
141.33	     nbUselessRevisions=101418  nbAssignments=1686  nbFailedAssignments=638  nbBacktracks=763  nbVisitedNodes=2298
141.33	     nbRestartNogoods=35  mapSize=464  nbInferences=0  nbTooLargeKeys=0
141.33	       =>  wckTime=140.503  cpuTime=139.77  mem=16M353
184.75	   
184.75	   search
184.75	     run=9  nbConstraintChecks=248155770  nbValidityChecks=1282177  nbPropagations=147814  nbRevisions=354646
184.75	     nbUselessRevisions=154105  nbAssignments=2379  nbFailedAssignments=929  nbBacktracks=1151  nbVisitedNodes=3314
184.75	     nbRestartNogoods=41  mapSize=715  nbInferences=0  nbTooLargeKeys=0
184.75	       =>  wckTime=183.927  cpuTime=182.97  mem=16M353
245.42	   
245.42	   INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=16M353)
248.44	   
248.44	   search
248.44	     run=10  nbConstraintChecks=343821367  nbValidityChecks=2011555  nbPropagations=227439  nbRevisions=552362
248.44	     nbUselessRevisions=235106  nbAssignments=3416  nbFailedAssignments=1372  nbBacktracks=1730  nbVisitedNodes=4955
248.44	     nbRestartNogoods=47
248.44	       =>  wckTime=247.618  cpuTime=246.34  mem=16M353
312.26	   
312.26	   search
312.26	     run=11  nbConstraintChecks=437785042  nbValidityChecks=2648894  nbPropagations=333098  nbRevisions=813165
312.26	     nbUselessRevisions=343895  nbAssignments=4922  nbFailedAssignments=1911  nbBacktracks=2608  nbVisitedNodes=7016
312.26	     nbRestartNogoods=69
312.26	       =>  wckTime=311.44  cpuTime=309.86  mem=16M353
431.95	   
431.95	   search
431.95	     run=12  nbConstraintChecks=612306098  nbValidityChecks=3859777  nbPropagations=489886  nbRevisions=1200022
431.95	     nbUselessRevisions=502991  nbAssignments=7216  nbFailedAssignments=2894  nbBacktracks=3905  nbVisitedNodes=10526
431.95	     nbRestartNogoods=78
431.95	       =>  wckTime=431.126  cpuTime=428.98  mem=16M353
546.63	   
546.63	   search
546.63	     run=13  nbConstraintChecks=777294410  nbValidityChecks=5004476  nbPropagations=698160  nbRevisions=1703681
546.63	     nbUselessRevisions=713023  nbAssignments=10206  nbFailedAssignments=3881  nbBacktracks=5854  nbVisitedNodes=14641
546.63	     nbRestartNogoods=96
546.63	       =>  wckTime=545.812  cpuTime=543.12  mem=16M353
801.27	   
801.27	   search
801.27	     run=14  nbConstraintChecks=1129786160  nbValidityChecks=7069329  nbPropagations=1004996  nbRevisions=2419175
801.27	     nbUselessRevisions=1008107  nbAssignments=15136  nbFailedAssignments=5878  nbBacktracks=8775  nbVisitedNodes=21809
801.27	     nbRestartNogoods=109
801.27	       =>  wckTime=800.444  cpuTime=796.53  mem=16M353
1018.35	   
1018.35	   search
1018.35	     run=15  nbConstraintChecks=1434538293  nbValidityChecks=8736060  nbPropagations=1407619  nbRevisions=3322561
1018.35	     nbUselessRevisions=1379605  nbAssignments=21450  nbFailedAssignments=7777  nbBacktracks=13156  nbVisitedNodes=30143
1018.35	     nbRestartNogoods=121
1018.35	       =>  wckTime=1017.529  cpuTime=1012.56  mem=16M353
1160.62	   
1160.62	   search
1160.62	     run=16  nbConstraintChecks=1634933015  nbValidityChecks=10047113  nbPropagations=1884112  nbRevisions=4374688
1160.62	     nbUselessRevisions=1812797  nbAssignments=26833  nbFailedAssignments=9000  nbBacktracks=17216  nbVisitedNodes=36862
1160.62	     nbRestartNogoods=131
1160.62	       =>  wckTime=1159.794  cpuTime=1154.15  mem=16M353
1160.62	   
1160.62	   global
1160.62	     nbConstraintChecks=1649663284  nbValidityChecks=10073920  nbPropagations=1885092  nbRevisions=4376571
1160.62	     nbUselessRevisions=1813796  nbRestartNogoods=131  solvingWckTime=1159.795  solvingCpuTime=1154.15  expiredTime=no
1160.62	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=1154.6
1160.62	       =>  wckTime=1160.312  cpuTime=1154.54  mem=16M353
1160.62	   
1160.62	s SATISFIABLE
1160.62	v 2 17 26 6 12 2 9 4 2 3 2 19 9 28 5 2 12 22 5 5 3 2 2 8 2 4 6 12 19 13 28 7 2 23 21 8 24 7 10 3 29 2 2 23 7 21 5 2 14 4 7 8 27 23 19 24 18 2 4 7 14 14 2 21 16 17 2 26 9 18 4 13 3 2 29 24 7 22 2 10 25 12 19 23 17 6 12 2 9 14 5 2 24 17 27 9 2 2 18 18 
1160.62	d NODES 26833
1160.62	d CHECKS 1649663284
1160.62	   
1160.62	   totalWckTime=1160.394  totalCpuTime=1154.61

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node2/watcher-247894-1168394844 -o ROOT/results/node2/solver-247894-1168394844 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247894-1168394844/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.45 1.15 1.17 4/94 25090
/proc/meminfo: memFree=1690176/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=906644 CPUtime=0.02
/proc/25089/stat : 25089 (java) S 25087 25089 24860 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 187880031 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 226661 1817 1036 14 0 214244 0
[pid=25089/tid=25091] ppid=25087 vsize=906644 CPUtime=0
/proc/25089/task/25091/stat : 25091 (java) R 25087 25089 24860 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 187880035 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104074 s]
/proc/loadavg: 1.45 1.15 1.17 4/94 25090
/proc/meminfo: memFree=1690176/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=914988 CPUtime=0.09
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 3038 0 1 0 7 2 0 0 20 0 8 0 187880031 936947712 2784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153548776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228747 2784 1443 14 0 215242 0
[pid=25089/tid=25091] ppid=25087 vsize=914988 CPUtime=0
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 187880035 936947712 2784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512148 s]
/proc/loadavg: 1.45 1.15 1.17 4/94 25090
/proc/meminfo: memFree=1690176/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=0.49
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 6623 0 1 0 45 4 0 0 18 0 8 0 187880031 937431040 6362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 6362 2166 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 187880035 937431040 6362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460

[startup+1.33329 s]
/proc/loadavg: 1.45 1.15 1.17 3/101 25097
/proc/meminfo: memFree=1666768/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=1.31
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 8631 0 1 0 125 6 0 0 25 0 8 0 187880031 937431040 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073604320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8369 2540 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 187880035 937431040 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.13
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 344 0 0 0 13 0 0 0 15 0 8 0 187880038 937431040 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.97259 s]
/proc/loadavg: 1.45 1.15 1.17 3/101 25097
/proc/meminfo: memFree=1666704/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=2.94
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 8637 0 1 0 288 6 0 0 25 0 8 0 187880031 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073603668 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8373 2540 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 17 0 8 0 187880035 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.13
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 349 0 0 0 13 0 0 0 15 0 8 0 187880038 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.2712 s]
/proc/loadavg: 1.49 1.17 1.17 3/101 25097
/proc/meminfo: memFree=1666704/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=6.22
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 8648 0 1 0 616 6 0 0 25 0 8 0 187880031 937431040 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073598855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8381 2542 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 17 0 8 0 187880035 937431040 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.14
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 354 0 0 0 14 0 0 0 15 0 8 0 187880038 937431040 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460

[startup+12.7494 s]
/proc/loadavg: 1.53 1.18 1.18 3/101 25097
/proc/meminfo: memFree=1666320/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=12.68
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 8751 0 1 0 1261 7 0 0 25 0 8 0 187880031 937431040 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073764214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8480 2543 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 187880035 937431040 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.15
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 364 0 0 0 15 0 0 0 15 0 8 0 187880038 937431040 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460

[startup+25.6148 s]
/proc/loadavg: 1.64 1.22 1.19 3/101 25097
/proc/meminfo: memFree=1666256/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=25.48
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 8790 0 1 0 2541 7 0 0 25 0 8 0 187880031 937431040 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600597 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8517 2543 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 187880035 937431040 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.17
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 372 0 0 0 17 0 0 0 15 0 8 0 187880038 937431040 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915460

[startup+51.2225 s]
/proc/loadavg: 1.76 1.28 1.21 3/101 25097
/proc/meminfo: memFree=1666128/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=50.96
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 8824 0 1 0 5089 7 0 0 25 0 8 0 187880031 937431040 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073603210 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8546 2543 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 187880035 937431040 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.17
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 377 0 0 0 17 0 0 0 16 0 8 0 187880038 937431040 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915460

[startup+102.431 s]
/proc/loadavg: 1.93 1.40 1.25 3/101 25097
/proc/meminfo: memFree=1665936/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=101.93
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 8874 0 1 0 10185 8 0 0 25 0 8 0 187880031 937431040 8593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073605053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8593 2543 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 187880035 937431040 8593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.19
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 380 0 0 0 18 1 0 0 16 0 8 0 187880038 937431040 8593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915460

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

/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.23
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 187880038 937431040 8749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699.59
Current children cumulated vsize (KiB) 915460

[startup+763.002 s]
/proc/loadavg: 2.03 1.94 1.62 3/101 25099
/proc/meminfo: memFree=1521680/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=759.36
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 9042 0 1 0 75924 12 0 0 25 0 8 0 187880031 937431040 8749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600675 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8749 2543 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 187880035 937431040 8749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.23
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 187880038 937431040 8749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 759.36
Current children cumulated vsize (KiB) 915460

[startup+823.057 s]
/proc/loadavg: 2.01 1.95 1.64 3/101 25099
/proc/meminfo: memFree=1521680/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=819.13
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 9047 0 1 0 81901 12 0 0 25 0 8 0 187880031 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600103 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8754 2543 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 187880035 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.23
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 403 0 0 0 22 1 0 0 17 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 819.13
Current children cumulated vsize (KiB) 915460

[startup+883.105 s]
/proc/loadavg: 2.00 1.95 1.66 3/101 25099
/proc/meminfo: memFree=1497744/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=878.89
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 9047 0 1 0 87877 12 0 0 25 0 8 0 187880031 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600682 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8754 2543 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 187880035 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.23
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 403 0 0 0 22 1 0 0 17 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 878.89
Current children cumulated vsize (KiB) 915460

[startup+943.157 s]
/proc/loadavg: 2.00 1.96 1.68 3/101 25099
/proc/meminfo: memFree=1497744/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=938.66
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 9047 0 1 0 93853 13 0 0 25 0 8 0 187880031 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073608104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8754 2543 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 187880035 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.23
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 403 0 0 0 22 1 0 0 17 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 938.66
Current children cumulated vsize (KiB) 915460

[startup+1003.21 s]
/proc/loadavg: 2.00 1.97 1.69 3/101 25099
/proc/meminfo: memFree=1497680/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=998.4
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 9047 0 1 0 99827 13 0 0 25 0 8 0 187880031 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073606375 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8754 2543 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 187880035 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.23
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 403 0 0 0 22 1 0 0 17 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 998.4
Current children cumulated vsize (KiB) 915460

[startup+1063.26 s]
/proc/loadavg: 2.03 1.98 1.72 3/101 25099
/proc/meminfo: memFree=1497616/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=1058.17
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 9050 0 1 0 105804 13 0 0 25 0 8 0 187880031 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073601579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8756 2543 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 187880035 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.23
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 403 0 0 0 22 1 0 0 17 0 8 0 187880038 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1058.17
Current children cumulated vsize (KiB) 915460

[startup+1123.32 s]
/proc/loadavg: 2.01 1.98 1.73 3/101 25099
/proc/meminfo: memFree=1454736/2055920 swapFree=4180528/4192956
[pid=25089] ppid=25087 vsize=915460 CPUtime=1117.95
/proc/25089/stat : 25089 (java) R 25087 25089 24860 0 -1 0 9050 0 1 0 111781 14 0 0 25 0 8 0 187880031 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25089/statm: 228865 8756 2543 14 0 215335 0
[pid=25089/tid=25091] ppid=25087 vsize=915460 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 24860 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 187880035 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 24860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187880035 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 24860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187880035 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 24860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187880038 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915460 CPUtime=0.23
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 24860 0 -1 64 403 0 0 0 22 1 0 0 17 0 8 0 187880038 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187880038 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915460 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 24860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187880038 937431040 8756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1117.95
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 1160.67
CPU time (s): 1155.08
CPU user time (s): 1154.94
CPU system time (s): 0.147977
CPU usage (%): 99.5185
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1154.94
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9145
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= 24688
involuntary context switches= 37560

runsolver used 1.47078 s user time and 3.67044 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Wed Jan 10 02:07:24 UTC 2007


IDJOB= 247894
IDBENCH= 11665
FILE ID= node2/247894-1168394844

PBS_JOBID= 3522851

Free space on /tmp= 66531 MiB

BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-10/primes-10-40-3-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247894-1168394844/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-247894-1168394844 -o ROOT/results/node2/solver-247894-1168394844 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247894-1168394844/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1e035bc1a7e7fbe391e9ce31618101ba

RANDOM SEED= 33130460

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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
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:       1690656 kB
Buffers:         26848 kB
Cached:         191268 kB
SwapCached:        504 kB
Active:         221712 kB
Inactive:        89568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1690656 kB
SwapTotal:     4192956 kB
SwapFree:      4180528 kB
Dirty:            5432 kB
Writeback:           0 kB
Mapped:         113276 kB
Slab:            38284 kB
Committed_AS:  6339180 kB
PageTables:       2580 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= 66531 MiB



End job on node2 on Wed Jan 10 02:26:45 UTC 2007