Trace number 276572

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
AbsconMax 109 PFCMSAT (TO) 2400.1 2411.51

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-16_ext.xml
MD5SUM34410238574fa0d1b325633cee1e3577
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints83
Best CPU time to get the best result obtained on this benchmark2400.16
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints84
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension84
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/276572-1169241177/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=40  nbDomainTypes=1  minDomainSize=180  maxDomainSize=180
0.43	       =>  wckTime=0.113  cpuTime=0.1  mem=6M910
0.43	   
0.43	   relations being loaded...
0.79	   
0.79	   constraints being loaded...
0.93	     nbConstraints=84  nbRelationTypes=84  nbExtensionStructures=84  nbSharedExtensionStructures=0
0.93	     nbConflictsStructures=84  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=9  maxArity=2
0.93	       =>  wckTime=0.613  cpuTime=0.55  mem=36M423
0.98	   
0.98	   solver LocalSearchSolver being built... 
1.03	       =>  wckTime=0.713  cpuTime=0.59  mem=7M382
1.04	
1.04	s SATISFIABLE
1.04	o 12
1.04	c 72
1.04	o 16
1.04	c 68
1.04	o 19
1.04	c 65
1.05	o 22
1.05	c 62
1.05	o 25
1.05	c 59
1.05	o 28
1.05	c 56
1.05	o 30
1.05	c 54
1.05	o 32
1.05	c 52
1.06	o 34
1.06	c 50
1.06	o 36
1.06	c 48
1.06	o 38
1.06	c 46
1.06	o 40
1.06	c 44
1.06	o 42
1.06	c 42
1.07	o 44
1.07	c 40
1.07	o 46
1.07	c 38
1.07	o 48
1.07	c 36
1.07	o 50
1.07	c 34
1.07	o 52
1.07	c 32
1.07	o 54
1.07	c 30
1.07	o 56
1.07	c 28
1.07	o 57
1.07	c 27
1.07	o 59
1.07	c 25
1.08	o 60
1.08	c 24
1.08	o 61
1.08	c 23
1.08	o 62
1.08	c 22
1.10	o 63
1.10	c 21
1.11	o 64
1.11	c 20
1.11	o 65
1.11	c 19
1.11	o 66
1.11	c 18
1.11	o 67
1.11	c 17
1.13	o 68
1.13	c 16
1.13	o 69
1.13	c 15
1.14	o 71
1.14	c 13
1.14	o 72
1.14	c 12
1.14	o 73
1.14	c 11
1.22	o 74
1.22	c 10
1.38	o 75
1.38	c 9
1.38	o 76
1.38	c 8
1.43	o 77
1.43	c 7
2.18	o 78
2.18	c 6
2.18	o 79
2.18	c 5
2.34	o 80
2.34	c 4
11.19	   
11.19	   search
11.19	     run=0  nbConstraintChecks=85386720  nbAssignments=10000
11.19	       =>  wckTime=10.165  cpuTime=10.06  mem=7M382
22.02	   
22.02	   search
22.02	     run=1  nbConstraintChecks=175095205  nbAssignments=20000
22.02	       =>  wckTime=20.997  cpuTime=20.8  mem=7M382
32.31	   
32.31	   search
32.31	     run=2  nbConstraintChecks=259206283  nbAssignments=30000
32.31	       =>  wckTime=31.284  cpuTime=30.99  mem=7M382
32.61	   
32.61	   search
32.61	     run=3  nbConstraintChecks=261656931  nbAssignments=30482
32.61	       =>  wckTime=31.587  cpuTime=31.3  mem=7M382
32.61	   
32.61	   global
32.61	     nbConstraintChecks=261656931  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.61	     solvingWckTime=31.583  solvingCpuTime=31.29  expiredTime=no  totalExploration=no  nbFoundSolutions=0
32.61	     globalCpuTime=31.94
32.61	       =>  wckTime=32.301  cpuTime=31.9  mem=7M382
32.61	   
32.62	   solver IterativeSystematicSolver being built... 
32.74	       =>  wckTime=32.427  cpuTime=31.99  mem=18M335
32.75	   
32.75	   preprocessing
32.75	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
32.75	     detectedInconsistency=no
32.75	       =>  wckTime=0.0070  cpuTime=0.01  mem=18M335
36.29	   
36.29	   search
36.29	     run=0  nbConstraintChecks=25465291  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=816
36.29	     nbFailedAssignments=801  nbBacktracks=10  nbVisitedNodes=1628  nbRestartNogoods=0
36.29	       =>  wckTime=3.548  cpuTime=3.47  mem=18M335
39.99	   
39.99	   search
39.99	     run=1  nbConstraintChecks=48699709  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1821
39.99	     nbFailedAssignments=1783  nbBacktracks=25  nbVisitedNodes=3630  nbRestartNogoods=24
39.99	       =>  wckTime=7.245  cpuTime=7.11  mem=18M335
41.32	   
41.32	   search
41.32	     run=2  nbConstraintChecks=55394642  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2170
41.32	     nbFailedAssignments=2097  nbBacktracks=47  nbVisitedNodes=4315  nbRestartNogoods=178
41.32	       =>  wckTime=8.579  cpuTime=8.43  mem=18M335
42.83	   
42.83	   search
42.83	     run=3  nbConstraintChecks=63087277  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2606
42.83	     nbFailedAssignments=2487  nbBacktracks=80  nbVisitedNodes=5174  nbRestartNogoods=229
42.83	       =>  wckTime=10.092  cpuTime=9.93  mem=18M335
50.93	   
50.93	   search
50.93	     run=4  nbConstraintChecks=129453826  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4965
50.93	     nbFailedAssignments=4787  nbBacktracks=130  nbVisitedNodes=9883  nbRestartNogoods=235
50.93	       =>  wckTime=18.188  cpuTime=17.95  mem=18M335
52.61	   
52.61	   search
52.61	     run=5  nbConstraintChecks=139021146  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5631
52.61	     nbFailedAssignments=5364  nbBacktracks=205  nbVisitedNodes=11201  nbRestartNogoods=407
52.61	       =>  wckTime=19.87  cpuTime=19.61  mem=18M335
69.37	   
69.37	   search
69.37	     run=6  nbConstraintChecks=283170380  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11470
69.37	     nbFailedAssignments=11083  nbBacktracks=318  nbVisitedNodes=22869  nbRestartNogoods=543
69.37	       =>  wckTime=36.628  cpuTime=36.21  mem=18M335
89.27	   
89.27	   search
89.27	     run=7  nbConstraintChecks=414498612  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18614
89.27	     nbFailedAssignments=18042  nbBacktracks=488  nbVisitedNodes=37142  nbRestartNogoods=607
89.27	       =>  wckTime=56.533  cpuTime=55.95  mem=18M335
98.32	   
98.32	   search
98.32	     run=8  nbConstraintChecks=480103838  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=22191
98.32	     nbFailedAssignments=21349  nbBacktracks=744  nbVisitedNodes=44282  nbRestartNogoods=686
98.32	       =>  wckTime=65.576  cpuTime=64.92  mem=18M335
130.01	   
130.02	   search
130.02	     run=9  nbConstraintChecks=683944176  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=30570
130.02	     nbFailedAssignments=29336  nbBacktracks=1128  nbVisitedNodes=61025  nbRestartNogoods=946
130.02	       =>  wckTime=97.274  cpuTime=96.33  mem=18M335
165.30	   
165.30	   search
165.30	     run=10  nbConstraintChecks=868288528  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=37426
165.30	     nbFailedAssignments=35605  nbBacktracks=1704  nbVisitedNodes=74709  nbRestartNogoods=1086
165.30	       =>  wckTime=132.555  cpuTime=131.29  mem=18M335
195.47	   
195.47	   search
195.47	     run=11  nbConstraintChecks=1033602410  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=48315
195.47	     nbFailedAssignments=45613  nbBacktracks=2568  nbVisitedNodes=96447  nbRestartNogoods=1301
195.47	       =>  wckTime=162.731  cpuTime=161.21  mem=18M335
233.38	   
233.38	   search
233.38	     run=12  nbConstraintChecks=1203278942  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=55884
233.38	     nbFailedAssignments=51873  nbBacktracks=3865  nbVisitedNodes=111535  nbRestartNogoods=1555
233.38	       =>  wckTime=200.641  cpuTime=198.79  mem=18M335
292.47	   
292.47	   search
292.47	     run=13  nbConstraintChecks=1467421412  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=65787
292.47	     nbFailedAssignments=59822  nbBacktracks=5812  nbVisitedNodes=131227  nbRestartNogoods=1663
292.47	       =>  wckTime=259.732  cpuTime=257.35  mem=18M335
331.80	   
331.80	   search
331.80	     run=14  nbConstraintChecks=1675919566  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=77869
331.80	     nbFailedAssignments=68967  nbBacktracks=8731  nbVisitedNodes=155301  nbRestartNogoods=1720
331.80	       =>  wckTime=299.062  cpuTime=296.33  mem=18M335
424.31	   
424.31	   search
424.31	     run=15  nbConstraintChecks=2038699209  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=90679
424.31	     nbFailedAssignments=77389  nbBacktracks=13110  nbVisitedNodes=179936  nbRestartNogoods=2041
424.31	       =>  wckTime=391.571  cpuTime=388.01  mem=18M335
576.94	   
576.94	   search
576.94	     run=16  nbConstraintChecks=2634773544  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=112753
576.94	     nbFailedAssignments=92889  nbBacktracks=19678  nbVisitedNodes=223556  nbRestartNogoods=2132
576.94	       =>  wckTime=544.196  cpuTime=539.28  mem=18M335
766.82	   
766.82	   search
766.82	     run=17  nbConstraintChecks=3427981126  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=142090
766.82	     nbFailedAssignments=112360  nbBacktracks=29531  nbVisitedNodes=281913  nbRestartNogoods=2173
766.82	       =>  wckTime=734.079  cpuTime=727.49  mem=18M335
1057.54	   
1057.54	   search
1057.54	     run=18  nbConstraintChecks=4635423021  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=184838
1057.55	     nbFailedAssignments=140318  nbBacktracks=44309  nbVisitedNodes=365904  nbRestartNogoods=2398
1057.55	       =>  wckTime=1024.803  cpuTime=1015.63  mem=18M335
1277.40	o 81
1277.40	c 3
1402.43	   
1402.43	   search
1402.43	     run=19  nbConstraintChecks=6079993902  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=241910
1402.43	     nbFailedAssignments=175214  nbBacktracks=66477  nbVisitedNodes=473646  nbRestartNogoods=2459
1402.43	       =>  wckTime=1369.688  cpuTime=1360.0  mem=19M306
1910.32	   
1910.32	   search
1910.32	     run=20  nbConstraintChecks=7974720961  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=320455
1910.32	     nbFailedAssignments=220498  nbBacktracks=99729  nbVisitedNodes=619020  nbRestartNogoods=2564
1910.32	       =>  wckTime=1877.578  cpuTime=1867.31  mem=19M306
2411.48	v 86 35 72 8 101 166 11 0 28 54 17 149 163 56 133 92 140 0 34 1 155 126 39 118 30 0 73 18 35 4 29 21 17 33 156 106 0 26 34 91 

Verifier Data (download as text)

3 unsatisfied constraints, 81 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-276572-1169241177 -o ROOT/results/node12/solver-276572-1169241177 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276572-1169241177/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.05 2.02 2.00 4/87 29407
/proc/meminfo: memFree=1328160/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=47416 CPUtime=0
/proc/29406/stat : 29406 (java) D 29404 29406 29002 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 272512790 48553984 960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/29406/statm: 11854 960 760 14 0 1707 0

[startup+0.103739 s]
/proc/loadavg: 2.05 2.02 2.00 4/87 29407
/proc/meminfo: memFree=1328160/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=914988 CPUtime=0.09
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 2980 0 1 0 7 2 0 0 17 0 8 0 272512790 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155082464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.513809 s]
/proc/loadavg: 2.05 2.02 2.00 4/87 29407
/proc/meminfo: memFree=1328160/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915332 CPUtime=0.48
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 7218 0 1 0 45 3 0 0 18 0 8 0 272512790 937299968 6957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073592159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228833 6957 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33795 s]
/proc/loadavg: 2.12 2.04 2.01 3/94 29414
/proc/meminfo: memFree=1281768/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=1.31
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14247 0 1 0 123 8 0 0 24 0 8 0 272512790 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 13985 2476 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 615 0 0 0 4 0 0 0 17 0 8 0 272512794 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.11
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 272512798 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 13985 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) 915444

[startup+2.98325 s]
/proc/loadavg: 2.12 2.04 2.01 3/94 29414
/proc/meminfo: memFree=1281704/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2.94
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14253 0 1 0 279 15 0 0 25 0 8 0 272512790 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 13990 2476 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.12
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 335 0 0 0 12 0 0 0 15 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 13990 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) 915444

[startup+6.27284 s]
/proc/loadavg: 2.11 2.04 2.01 4/94 29414
/proc/meminfo: memFree=1281640/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=6.19
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14253 0 1 0 592 27 0 0 25 0 8 0 272512790 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 13990 2476 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.12
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 335 0 0 0 12 0 0 0 15 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915444

[startup+12.757 s]
/proc/loadavg: 2.10 2.04 2.01 3/94 29414
/proc/meminfo: memFree=1281768/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=12.63
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14255 0 1 0 1210 53 0 0 25 0 8 0 272512790 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683682 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 13992 2476 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.13
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915444

[startup+25.6013 s]
/proc/loadavg: 2.09 2.04 2.00 3/94 29414
/proc/meminfo: memFree=1281896/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=25.37
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14255 0 1 0 2437 100 0 0 25 0 8 0 272512790 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 13992 2476 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.13
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915444

[startup+51.2159 s]
/proc/loadavg: 2.05 2.03 2.00 3/94 29414
/proc/meminfo: memFree=1281576/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=50.74
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14409 0 1 0 4946 128 0 0 25 0 8 0 272512790 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 14139 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.22
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 272512798 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915444

[startup+102.44 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 29414
/proc/meminfo: memFree=1281640/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=101.51
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14413 0 1 0 10022 129 0 0 25 0 8 0 272512790 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 14141 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.22
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 272512798 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915444

[startup+162.507 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 29414
/proc/meminfo: memFree=1281576/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=161.05
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14414 0 1 0 15976 129 0 0 25 0 8 0 272512790 937414656 14142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2014.17
Current children cumulated vsize (KiB) 915444

[startup+2084.82 s]
/proc/loadavg: 1.86 1.97 1.99 3/101 29583
/proc/meminfo: memFree=1304752/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2074.14
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 207271 143 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.14
Current children cumulated vsize (KiB) 915444

[startup+2144.92 s]
/proc/loadavg: 1.95 1.97 1.99 4/101 29583
/proc/meminfo: memFree=1305136/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2134.18
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 213274 144 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.18
Current children cumulated vsize (KiB) 915444

[startup+2204.94 s]
/proc/loadavg: 2.05 1.99 1.99 3/101 29583
/proc/meminfo: memFree=1305264/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2194.14
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 219270 144 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.14
Current children cumulated vsize (KiB) 915444

[startup+2264.95 s]
/proc/loadavg: 2.02 1.99 1.99 3/101 29583
/proc/meminfo: memFree=1305264/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2254.09
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 225264 145 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857827 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.09
Current children cumulated vsize (KiB) 915444

[startup+2324.99 s]
/proc/loadavg: 2.07 2.00 2.00 3/101 29583
/proc/meminfo: memFree=1305328/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2314.06
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 231261 145 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.06
Current children cumulated vsize (KiB) 915444

[startup+2385.04 s]
/proc/loadavg: 2.02 2.00 2.00 3/101 29583
/proc/meminfo: memFree=1305264/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2373.79
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 237234 145 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.79
Current children cumulated vsize (KiB) 915444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.47 s]
/proc/loadavg: 2.01 2.00 2.00 3/101 29583
/proc/meminfo: memFree=1305264/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2400.06
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 239861 145 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915444

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

Child status: 143
Real time (s): 2411.51
CPU time (s): 2400.1
CPU user time (s): 2398.64
CPU system time (s): 1.46378
CPU usage (%): 99.527
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.64
system time used= 1.46378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14437
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= 49902
involuntary context switches= 89417

runsolver used 2.98055 s user time and 7.72083 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Fri Jan 19 21:12:58 UTC 2007


IDJOB= 276572
IDBENCH= 5870
IDSOLVER= 69
FILE ID= node12/276572-1169241177

PBS_JOBID= 3589024

Free space on /tmp= 66555 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276572-1169241177/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-276572-1169241177 -o ROOT/results/node12/solver-276572-1169241177 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276572-1169241177/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  34410238574fa0d1b325633cee1e3577

RANDOM SEED= 829051590

TIME LIMIT= 2400 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.265
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.265
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:       1328640 kB
Buffers:         58652 kB
Cached:         511056 kB
SwapCached:       5164 kB
Active:         310856 kB
Inactive:       342104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1328640 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            3488 kB
Writeback:           0 kB
Mapped:          94408 kB
Slab:            59120 kB
Committed_AS:  7522764 kB
PageTables:       2200 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 node12 on Fri Jan 19 21:53:09 UTC 2007