Trace number 195857

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 ESAC? (TO) 1800.13 1800.84

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-36_ext.xml
MD5SUMf30eb18bfd25ea1f67b84401c08189b2
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints74
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension74
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.53	   
0.53	Abscon 109 (November, 2006)
0.53	   
0.53	   configuration
0.53	     name=esac.xml
0.61	   
0.61	   instance
0.61	     name=/tmp/evaluation/195857-1168115315/unknown.xml
0.63	   
0.64	   domains being loaded...
0.64	   
0.64	   variables being loaded...
0.67	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.67	       =>  wckTime=0.132  cpuTime=0.08  mem=6M951
0.67	   
0.67	   relations being loaded...
1.27	   
1.27	   constraints being loaded...
1.53	     nbConstraints=74  nbRelationTypes=74  nbExtensionStructures=74  nbSharedExtensionStructures=0
1.53	     nbConflictsStructures=74  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
1.53	       =>  wckTime=0.986  cpuTime=0.83  mem=47M707
1.64	   
1.65	   solver IterativeSystematicSolver being built... 
1.80	       =>  wckTime=1.262  cpuTime=0.96  mem=34M221
1.91	   
1.91	   preprocessing
1.91	     nbConstraintChecks=36170  nbValidityChecks=58691  nbPropagations=231  nbRevisions=2489  nbUselessRevisions=2146
1.91	     nbSingletonTests=31  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.91	       =>  wckTime=0.103  cpuTime=0.07  mem=34M221
1.98	   
1.98	   search
1.98	     run=0  nbConstraintChecks=37811  nbValidityChecks=73155  nbPropagations=619  nbRevisions=7145
1.98	     nbUselessRevisions=5847  nbAssignments=36  nbFailedAssignments=19  nbBacktracks=10  nbVisitedNodes=65
1.98	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.98	       =>  wckTime=0.175  cpuTime=0.14  mem=35M224
2.05	   
2.05	   search
2.05	     run=1  nbConstraintChecks=79080  nbValidityChecks=151842  nbPropagations=1629  nbRevisions=19214
2.05	     nbUselessRevisions=15593  nbAssignments=69  nbFailedAssignments=31  nbBacktracks=26  nbVisitedNodes=122
2.05	     nbRestartNogoods=6  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.05	       =>  wckTime=0.243  cpuTime=0.2  mem=35M224
2.30	   
2.30	   search
2.30	     run=2  nbConstraintChecks=246661  nbValidityChecks=445157  nbPropagations=3814  nbRevisions=47382
2.30	     nbUselessRevisions=37903  nbAssignments=167  nbFailedAssignments=102  nbBacktracks=48  nbVisitedNodes=310
2.30	     nbRestartNogoods=8  mapSize=46  nbInferences=0  nbTooLargeKeys=0
2.30	       =>  wckTime=0.49  cpuTime=0.43  mem=35M224
2.40	   
2.40	   search
2.40	     run=3  nbConstraintChecks=320934  nbValidityChecks=599579  nbPropagations=6778  nbRevisions=84724
2.40	     nbUselessRevisions=67636  nbAssignments=257  nbFailedAssignments=133  nbBacktracks=81  nbVisitedNodes=424
2.40	     nbRestartNogoods=14  mapSize=70  nbInferences=0  nbTooLargeKeys=0
2.40	       =>  wckTime=0.598  cpuTime=0.54  mem=35M224
2.70	   
2.70	   search
2.70	     run=4  nbConstraintChecks=528718  nbValidityChecks=981885  nbPropagations=11402  nbRevisions=143305
2.70	     nbUselessRevisions=114137  nbAssignments=385  nbFailedAssignments=207  nbBacktracks=131  nbVisitedNodes=663
2.70	     nbRestartNogoods=16  mapSize=118  nbInferences=0  nbTooLargeKeys=0
2.70	       =>  wckTime=0.889  cpuTime=0.83  mem=35M224
2.98	   
2.98	   search
2.98	     run=5  nbConstraintChecks=720894  nbValidityChecks=1368695  nbPropagations=18096  nbRevisions=227417
2.98	     nbUselessRevisions=180934  nbAssignments=571  nbFailedAssignments=306  nbBacktracks=206  nbVisitedNodes=988
2.98	     nbRestartNogoods=30  mapSize=182  nbInferences=0  nbTooLargeKeys=0
2.98	       =>  wckTime=1.17  cpuTime=1.11  mem=35M224
3.36	   
3.36	   search
3.36	     run=6  nbConstraintChecks=992549  nbValidityChecks=1927659  nbPropagations=27774  nbRevisions=351299
3.36	     nbUselessRevisions=279177  nbAssignments=838  nbFailedAssignments=454  nbBacktracks=321  nbVisitedNodes=1475
3.36	     nbRestartNogoods=34  mapSize=282  nbInferences=0  nbTooLargeKeys=0
3.36	       =>  wckTime=1.553  cpuTime=1.49  mem=35M224
4.16	   
4.16	   search
4.16	     run=7  nbConstraintChecks=1617857  nbValidityChecks=3115355  nbPropagations=43526  nbRevisions=551814
4.16	     nbUselessRevisions=437232  nbAssignments=1388  nbFailedAssignments=830  nbBacktracks=493  nbVisitedNodes=2518
4.16	     nbRestartNogoods=39  mapSize=439  nbInferences=0  nbTooLargeKeys=0
4.16	       =>  wckTime=2.357  cpuTime=2.29  mem=35M224
5.05	   
5.05	   search
5.05	     run=8  nbConstraintChecks=2245288  nbValidityChecks=4400336  nbPropagations=65925  nbRevisions=840414
5.05	     nbUselessRevisions=664800  nbAssignments=1957  nbFailedAssignments=1136  nbBacktracks=749  nbVisitedNodes=3547
5.05	     nbRestartNogoods=40  mapSize=657  nbInferences=0  nbTooLargeKeys=0
5.05	       =>  wckTime=3.247  cpuTime=3.17  mem=35M224
6.98	   
6.98	   search
6.98	     run=9  nbConstraintChecks=3650139  nbValidityChecks=7009360  nbPropagations=101122  nbRevisions=1285579
6.98	     nbUselessRevisions=1014728  nbAssignments=2892  nbFailedAssignments=1682  nbBacktracks=1133  nbVisitedNodes=5305
6.98	     nbRestartNogoods=46  mapSize=1005  nbInferences=0  nbTooLargeKeys=0
6.98	       =>  wckTime=5.169  cpuTime=5.08  mem=35M224
7.07	   
7.07	   INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=35M224)
9.41	   
9.41	   search
9.41	     run=10  nbConstraintChecks=5541391  nbValidityChecks=10689586  nbPropagations=156068  nbRevisions=1976854
9.41	     nbUselessRevisions=1557109  nbAssignments=4645  nbFailedAssignments=2833  nbBacktracks=1709  nbVisitedNodes=8576
9.41	     nbRestartNogoods=61
9.41	       =>  wckTime=7.6  cpuTime=7.5  mem=35M224
12.26	   
12.26	   search
12.26	     run=11  nbConstraintChecks=7673493  nbValidityChecks=15055925  nbPropagations=233672  nbRevisions=2971174
12.26	     nbUselessRevisions=2339354  nbAssignments=6567  nbFailedAssignments=3884  nbBacktracks=2574  nbVisitedNodes=12095
12.26	     nbRestartNogoods=70
12.26	       =>  wckTime=10.453  cpuTime=10.35  mem=35M224
18.58	   
18.58	   search
18.58	     run=12  nbConstraintChecks=12328839  nbValidityChecks=23791931  nbPropagations=354257  nbRevisions=4498005
18.58	     nbUselessRevisions=3538067  nbAssignments=9749  nbFailedAssignments=5763  nbBacktracks=3871  nbVisitedNodes=18097
18.58	     nbRestartNogoods=82
18.58	       =>  wckTime=16.77  cpuTime=16.66  mem=35M224
26.85	   
26.85	   search
26.85	     run=13  nbConstraintChecks=18769087  nbValidityChecks=36345820  nbPropagations=541425  nbRevisions=6856798
26.85	     nbUselessRevisions=5387240  nbAssignments=15556  nbFailedAssignments=9620  nbBacktracks=5818  nbVisitedNodes=29057
26.85	     nbRestartNogoods=88
26.85	       =>  wckTime=25.046  cpuTime=24.93  mem=35M224
37.28	   
37.28	   search
37.28	     run=14  nbConstraintChecks=26414115  nbValidityChecks=51577593  nbPropagations=805056  nbRevisions=10236043
37.28	     nbUselessRevisions=8045071  nbAssignments=21865  nbFailedAssignments=13006  nbBacktracks=8737  nbVisitedNodes=40591
37.28	     nbRestartNogoods=100
37.28	       =>  wckTime=35.477  cpuTime=35.36  mem=35M224
58.51	   
58.51	   search
58.51	     run=15  nbConstraintChecks=42356416  nbValidityChecks=81583439  nbPropagations=1206512  nbRevisions=15489908
58.51	     nbUselessRevisions=12205585  nbAssignments=32910  nbFailedAssignments=19667  nbBacktracks=13115
58.51	     nbVisitedNodes=61446  nbRestartNogoods=115
58.51	       =>  wckTime=56.709  cpuTime=56.58  mem=35M224
84.83	   
84.83	   search
84.83	     run=16  nbConstraintChecks=62430748  nbValidityChecks=120619067  nbPropagations=1811812  nbRevisions=23297947
84.83	     nbUselessRevisions=18382650  nbAssignments=49931  nbFailedAssignments=30113  nbBacktracks=19685
84.83	     nbVisitedNodes=93217  nbRestartNogoods=135
84.83	       =>  wckTime=83.02  cpuTime=82.89  mem=35M224
123.19	   
123.19	   search
123.19	     run=17  nbConstraintChecks=91407928  nbValidityChecks=177329638  nbPropagations=2711952  nbRevisions=34838119
123.19	     nbUselessRevisions=27511543  nbAssignments=74573  nbFailedAssignments=44889  nbBacktracks=29537
123.19	     nbVisitedNodes=138921  nbRestartNogoods=153
123.19	       =>  wckTime=121.385  cpuTime=121.24  mem=35M224
189.53	   
189.53	   search
189.53	     run=18  nbConstraintChecks=140490636  nbValidityChecks=272111720  nbPropagations=4065267  nbRevisions=52354836
189.53	     nbUselessRevisions=41382936  nbAssignments=110503  nbFailedAssignments=66035  nbBacktracks=44315
189.53	     nbVisitedNodes=206158  nbRestartNogoods=166
189.53	       =>  wckTime=187.723  cpuTime=187.57  mem=35M224
280.32	   
280.32	   search
280.32	     run=19  nbConstraintChecks=210718586  nbValidityChecks=409006091  nbPropagations=6150981  nbRevisions=78999853
280.32	     nbUselessRevisions=62406216  nbAssignments=173901  nbFailedAssignments=107258  nbBacktracks=66483
280.32	     nbVisitedNodes=325499  nbRestartNogoods=176
280.32	       =>  wckTime=278.511  cpuTime=278.34  mem=35M224
404.78	   
404.78	   search
404.78	     run=20  nbConstraintChecks=302125910  nbValidityChecks=590686610  nbPropagations=9145770  nbRevisions=117712196
404.78	     nbUselessRevisions=92971458  nbAssignments=247401  nbFailedAssignments=147468  nbBacktracks=99736
404.78	     nbVisitedNodes=460053  nbRestartNogoods=202
404.78	       =>  wckTime=402.975  cpuTime=402.77  mem=35M224
640.89	   
640.89	   search
640.89	     run=21  nbConstraintChecks=478225785  nbValidityChecks=919737970  nbPropagations=13778800  nbRevisions=176703181
640.89	     nbUselessRevisions=139400565  nbAssignments=371231  nbFailedAssignments=221416  nbBacktracks=149614
640.89	     nbVisitedNodes=693136  nbRestartNogoods=234
640.89	       =>  wckTime=639.088  cpuTime=638.82  mem=35M224
967.20	   
967.20	   search
967.20	     run=22  nbConstraintChecks=723460782  nbValidityChecks=1387641530  nbPropagations=20699353  nbRevisions=265485154
967.20	     nbUselessRevisions=209327964  nbAssignments=555877  nbFailedAssignments=331238  nbBacktracks=224432
967.20	     nbVisitedNodes=1038379  nbRestartNogoods=254
967.20	       =>  wckTime=965.39  cpuTime=965.04  mem=35M224
1561.18	   
1561.18	   search
1561.18	     run=23  nbConstraintChecks=1167146616  nbValidityChecks=2210911243  nbPropagations=31443258  nbRevisions=403489985
1561.18	     nbUselessRevisions=318043777  nbAssignments=840232  nbFailedAssignments=503359  nbBacktracks=336661
1561.18	     nbVisitedNodes=1578324  nbRestartNogoods=276
1561.18	       =>  wckTime=1559.376  cpuTime=1558.89  mem=35M224

Verifier Data (download as text)

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

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node29/watcher-195857-1168115315 -o ROOT/results/node29/solver-195857-1168115315 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195857-1168115315/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.72 2.58 2.75 2/78 28775
/proc/meminfo: memFree=1858160/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=18540 CPUtime=0
/proc/28774/stat : 28774 (runsolver) D 28772 28774 27434 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 159925600 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221780700455 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/28774/statm: 4635 279 244 17 0 2626 0

[startup+0.105665 s]
/proc/loadavg: 1.72 2.58 2.75 2/78 28775
/proc/meminfo: memFree=1858160/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=9600 CPUtime=0
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 374 0 5 0 0 0 0 0 18 0 1 0 159925600 9830400 167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4129572 0 0 4096 0 0 0 0 17 0 0 0
/proc/28774/statm: 2400 167 130 14 0 1138 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9600

[startup+0.51369 s]
/proc/loadavg: 1.72 2.58 2.75 2/78 28775
/proc/meminfo: memFree=1858160/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=915148 CPUtime=0.28
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 4917 0 34 0 24 4 0 0 16 0 8 0 159925600 937111552 4697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28774/statm: 228787 4697 1940 14 0 215275 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 915148

[startup+1.33575 s]
/proc/loadavg: 1.66 2.55 2.74 2/85 28782
/proc/meminfo: memFree=1797560/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=915328 CPUtime=1.06
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 19074 0 43 0 95 11 0 0 16 0 8 0 159925600 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 228832 18853 2160 14 0 215302 0
[pid=28774/tid=28776] ppid=28772 vsize=915328 CPUtime=0.05
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 2658 0 0 0 5 0 0 0 16 0 8 0 159925616 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=915328 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159925616 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=915328 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 159925616 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=915328 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=915328 CPUtime=0.1
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 159925625 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28781] ppid=28772 vsize=915328 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=915328 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159925625 937295872 18853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 915328

[startup+2.97565 s]
/proc/loadavg: 1.66 2.55 2.74 2/85 28782
/proc/meminfo: memFree=1765240/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=2.7
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23368 0 43 0 256 14 0 0 17 0 8 0 159925600 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073769986 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23145 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 17 0 8 0 159925616 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.2
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 370 0 0 0 19 1 0 0 15 0 8 0 159925625 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 916440

[startup+6.25985 s]
/proc/loadavg: 1.61 2.52 2.73 2/85 28782
/proc/meminfo: memFree=1765184/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=5.98
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23385 0 43 0 584 14 0 0 19 0 8 0 159925600 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23158 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 17 0 8 0 159925616 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.23
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 384 0 0 0 22 1 0 0 15 0 8 0 159925625 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 916440

[startup+12.7343 s]
/proc/loadavg: 1.56 2.50 2.72 2/85 28782
/proc/meminfo: memFree=1765120/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=12.44
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23390 0 43 0 1230 14 0 0 25 0 8 0 159925600 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23162 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) R 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 916440

[startup+25.588 s]
/proc/loadavg: 1.47 2.45 2.70 2/85 28782
/proc/meminfo: memFree=1765440/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=25.3
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23390 0 43 0 2515 15 0 0 25 0 8 0 159925600 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23162 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 916440

[startup+51.2716 s]
/proc/loadavg: 1.29 2.31 2.64 2/85 28782
/proc/meminfo: memFree=1765568/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=50.98
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 5083 15 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 916440

[startup+102.531 s]
/proc/loadavg: 1.12 2.10 2.55 2/85 28782
/proc/meminfo: memFree=1765568/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=102.22
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 10207 15 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 916440

[startup+162.626 s]
/proc/loadavg: 1.04 1.90 2.45 2/85 28782
/proc/meminfo: memFree=1765504/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=162.31
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 16215 16 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.96
Current children cumulated vsize (KiB) 916440

[startup+1484.69 s]
/proc/loadavg: 1.00 1.00 1.32 2/85 28782
/proc/meminfo: memFree=1763784/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1484.05
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 148380 25 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1484.05
Current children cumulated vsize (KiB) 916440

[startup+1544.79 s]
/proc/loadavg: 1.00 1.00 1.30 2/85 28782
/proc/meminfo: memFree=1763720/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1544.13
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 154388 25 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1544.13
Current children cumulated vsize (KiB) 916440

[startup+1604.88 s]
/proc/loadavg: 1.00 1.00 1.27 2/85 28782
/proc/meminfo: memFree=1763592/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1604.21
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 160395 26 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.21
Current children cumulated vsize (KiB) 916440

[startup+1664.98 s]
/proc/loadavg: 1.00 1.00 1.26 2/85 28782
/proc/meminfo: memFree=1763592/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1664.29
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 166403 26 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807636 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.29
Current children cumulated vsize (KiB) 916440

[startup+1725.07 s]
/proc/loadavg: 1.00 1.00 1.24 3/85 28782
/proc/meminfo: memFree=1763464/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1724.36
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 172410 26 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.36
Current children cumulated vsize (KiB) 916440

[startup+1785.16 s]
/proc/loadavg: 1.00 1.00 1.22 2/85 28782
/proc/meminfo: memFree=1763336/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1784.44
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 178417 27 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.44
Current children cumulated vsize (KiB) 916440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.78 s]
/proc/loadavg: 1.00 1.00 1.21 2/85 28782
/proc/meminfo: memFree=1763336/2055920 swapFree=4191880/4192956
[pid=28774] ppid=28772 vsize=916440 CPUtime=1800.07
/proc/28774/stat : 28774 (java) R 28772 28774 27434 0 -1 0 23392 0 43 0 179980 27 0 0 25 0 8 0 159925600 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28774/statm: 229110 23163 2531 14 0 215580 0
[pid=28774/tid=28776] ppid=28772 vsize=916440 CPUtime=0.16
/proc/28774/task/28776/stat : 28776 (java) S 28772 28774 27434 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28777] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28777/stat : 28777 (java) S 28772 28774 27434 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28778] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28778/stat : 28778 (java) S 28772 28774 27434 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159925616 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28779] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28779/stat : 28779 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28780] ppid=28772 vsize=916440 CPUtime=0.24
/proc/28774/task/28780/stat : 28780 (java) S 28772 28774 27434 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28774/tid=28781] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28781/stat : 28781 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28774/tid=28782] ppid=28772 vsize=916440 CPUtime=0
/proc/28774/task/28782/stat : 28782 (java) S 28772 28774 27434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159925625 938434560 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 916440

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

Child status: 143
Real time (s): 1800.84
CPU time (s): 1800.13
CPU user time (s): 1799.84
CPU system time (s): 0.289955
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 916440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.289955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23409
page faults= 43
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37409
involuntary context switches= 4590

runsolver used 1.93871 s user time and 4.45332 s system time

The end

Launcher Data (download as text)

Begin job on node29 on Sat Jan  6 20:28:35 UTC 2007


IDJOB= 195857
IDBENCH= 3307
FILE ID= node29/195857-1168115315

PBS_JOBID= 3477404

Free space on /tmp= 66545 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f30eb18bfd25ea1f67b84401c08189b2

RANDOM SEED= 613605538

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.241
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.241
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:       1858960 kB
Buffers:         32776 kB
Cached:          49540 kB
SwapCached:         32 kB
Active:          97948 kB
Inactive:        37820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858960 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            4732 kB
Writeback:           0 kB
Mapped:          71396 kB
Slab:            46504 kB
Committed_AS:  3128900 kB
PageTables:       2000 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= 66545 MiB



End job on node29 on Sat Jan  6 20:58:36 UTC 2007