Trace number 203157

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.11 1804.7

General information on the benchmark

Namerandom/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-27_ext.xml
MD5SUMed6a1a368f1d19d26870e598c1e4b517
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 variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=esac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/203157-1168156947/unknown.xml
0.39	   
0.39	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.43	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.43	       =>  wckTime=0.101  cpuTime=0.08  mem=6M951
0.43	   
0.43	   relations being loaded...
1.60	   
1.60	   constraints being loaded...
2.39	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.39	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.39	     nbSharedBinaryRepresentations=0  maxDegree=13  maxArity=3
2.39	       =>  wckTime=2.056  cpuTime=1.62  mem=58M5
2.56	   
2.56	   solver IterativeSystematicSolver being built... 
2.74	       =>  wckTime=2.407  cpuTime=1.77  mem=65M619
2.89	   
2.89	   preprocessing
2.89	     nbConstraintChecks=49773  nbValidityChecks=79188  nbPropagations=256  nbRevisions=2610  nbUselessRevisions=2308
2.89	     nbSingletonTests=39  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.89	       =>  wckTime=0.145  cpuTime=0.12  mem=65M619
2.98	   
2.98	   search
2.98	     run=0  nbConstraintChecks=41660  nbValidityChecks=82457  nbPropagations=752  nbRevisions=7966
2.98	     nbUselessRevisions=6413  nbAssignments=34  nbFailedAssignments=15  nbBacktracks=11  nbVisitedNodes=60
2.98	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
2.98	       =>  wckTime=0.242  cpuTime=0.21  mem=66M627
3.07	   
3.07	   search
3.07	     run=1  nbConstraintChecks=85322  nbValidityChecks=165799  nbPropagations=1975  nbRevisions=21833
3.07	     nbUselessRevisions=17648  nbAssignments=73  nbFailedAssignments=31  nbBacktracks=26  nbVisitedNodes=125
3.07	     nbRestartNogoods=1  mapSize=24  nbInferences=0  nbTooLargeKeys=0
3.07	       =>  wckTime=0.331  cpuTime=0.29  mem=66M627
3.22	   
3.22	   search
3.22	     run=2  nbConstraintChecks=156605  nbValidityChecks=310366  nbPropagations=3925  nbRevisions=44657
3.22	     nbUselessRevisions=36091  nbAssignments=135  nbFailedAssignments=61  nbBacktracks=48  nbVisitedNodes=232
3.22	     nbRestartNogoods=4  mapSize=46  nbInferences=0  nbTooLargeKeys=0
3.22	       =>  wckTime=0.481  cpuTime=0.43  mem=66M627
3.42	   
3.42	   search
3.42	     run=3  nbConstraintChecks=258893  nbValidityChecks=511119  nbPropagations=6870  nbRevisions=79127
3.42	     nbUselessRevisions=63804  nbAssignments=222  nbFailedAssignments=96  nbBacktracks=81  nbVisitedNodes=364
3.42	     nbRestartNogoods=9  mapSize=74  nbInferences=0  nbTooLargeKeys=0
3.42	       =>  wckTime=0.677  cpuTime=0.61  mem=66M627
3.82	   
3.82	   search
3.82	     run=4  nbConstraintChecks=479083  nbValidityChecks=945372  nbPropagations=11863  nbRevisions=139729
3.82	     nbUselessRevisions=112136  nbAssignments=379  nbFailedAssignments=194  nbBacktracks=132  nbVisitedNodes=660
3.82	     nbRestartNogoods=12  mapSize=124  nbInferences=0  nbTooLargeKeys=0
3.82	       =>  wckTime=1.076  cpuTime=1.01  mem=66M627
4.30	   
4.30	   search
4.30	     run=5  nbConstraintChecks=747163  nbValidityChecks=1483664  nbPropagations=19423  nbRevisions=234572
4.30	     nbUselessRevisions=187926  nbAssignments=587  nbFailedAssignments=319  nbBacktracks=207  nbVisitedNodes=1045
4.30	     nbRestartNogoods=17  mapSize=192  nbInferences=0  nbTooLargeKeys=0
4.30	       =>  wckTime=1.554  cpuTime=1.48  mem=66M627
4.89	   
4.89	   search
4.89	     run=6  nbConstraintChecks=1080221  nbValidityChecks=2180811  nbPropagations=30467  nbRevisions=372615
4.89	     nbUselessRevisions=298194  nbAssignments=882  nbFailedAssignments=478  nbBacktracks=322  nbVisitedNodes=1560
4.89	     nbRestartNogoods=30  mapSize=288  nbInferences=0  nbTooLargeKeys=0
4.89	       =>  wckTime=2.148  cpuTime=2.06  mem=66M627
5.91	   
5.91	   search
5.91	     run=7  nbConstraintChecks=1646739  nbValidityChecks=3341590  nbPropagations=47001  nbRevisions=578780
5.91	     nbUselessRevisions=463703  nbAssignments=1339  nbFailedAssignments=695  nbBacktracks=492  nbVisitedNodes=2267
5.91	     nbRestartNogoods=40  mapSize=428  nbInferences=0  nbTooLargeKeys=0
5.91	       =>  wckTime=3.168  cpuTime=3.06  mem=66M627
7.49	   
7.49	   search
7.49	     run=8  nbConstraintChecks=2525323  nbValidityChecks=5164945  nbPropagations=72460  nbRevisions=898113
7.49	     nbUselessRevisions=719193  nbAssignments=2061  nbFailedAssignments=1151  nbBacktracks=748  nbVisitedNodes=3619
7.49	     nbRestartNogoods=51  mapSize=656  nbInferences=0  nbTooLargeKeys=0
7.49	       =>  wckTime=4.746  cpuTime=4.6  mem=66M627
9.36	   
9.36	   search
9.36	     run=9  nbConstraintChecks=3567447  nbValidityChecks=7310101  nbPropagations=109948  nbRevisions=1360655
9.36	     nbUselessRevisions=1087366  nbAssignments=2930  nbFailedAssignments=1627  nbBacktracks=1132  nbVisitedNodes=5226
9.36	     nbRestartNogoods=63  mapSize=1001  nbInferences=0  nbTooLargeKeys=0
9.36	       =>  wckTime=6.618  cpuTime=6.41  mem=66M627
9.47	   
9.47	   INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=66M627)
12.10	   
12.10	   search
12.10	     run=10  nbConstraintChecks=5192015  nbValidityChecks=10519938  nbPropagations=164081  nbRevisions=2030941
12.10	     nbUselessRevisions=1621968  nbAssignments=4257  nbFailedAssignments=2370  nbBacktracks=1708  nbVisitedNodes=7660
12.10	     nbRestartNogoods=76
12.10	       =>  wckTime=9.362  cpuTime=9.13  mem=66M627
17.49	   
17.49	   search
17.49	     run=11  nbConstraintChecks=8319092  nbValidityChecks=16992177  nbPropagations=249386  nbRevisions=3096578
17.49	     nbUselessRevisions=2472514  nbAssignments=6831  nbFailedAssignments=4020  nbBacktracks=2572  nbVisitedNodes=12444
17.49	     nbRestartNogoods=85
17.49	       =>  wckTime=14.749  cpuTime=14.46  mem=66M627
23.73	   
23.73	   search
23.73	     run=12  nbConstraintChecks=12075832  nbValidityChecks=24623485  nbPropagations=376931  nbRevisions=4696341
23.73	     nbUselessRevisions=3748358  nbAssignments=10230  nbFailedAssignments=6023  nbBacktracks=3869  nbVisitedNodes=18678
23.73	     nbRestartNogoods=105
23.73	       =>  wckTime=20.986  cpuTime=20.66  mem=66M627
31.84	   
31.84	   search
31.84	     run=13  nbConstraintChecks=16751259  nbValidityChecks=34071569  nbPropagations=558944  nbRevisions=6969308
31.84	     nbUselessRevisions=5559953  nbAssignments=14424  nbFailedAssignments=8262  nbBacktracks=5816  nbVisitedNodes=26262
31.84	     nbRestartNogoods=119
31.84	       =>  wckTime=29.099  cpuTime=28.69  mem=66M627
47.06	   
47.06	   search
47.06	     run=14  nbConstraintChecks=25839549  nbValidityChecks=52822446  nbPropagations=836469  nbRevisions=10416130
47.06	     nbUselessRevisions=8309328  nbAssignments=21680  nbFailedAssignments=12591  nbBacktracks=8737  nbVisitedNodes=39712
47.06	     nbRestartNogoods=128
47.06	       =>  wckTime=44.314  cpuTime=43.76  mem=66M627
64.75	   
64.75	   search
64.75	     run=15  nbConstraintChecks=36343823  nbValidityChecks=73890404  nbPropagations=1236340  nbRevisions=15385718
64.75	     nbUselessRevisions=12277091  nbAssignments=31157  nbFailedAssignments=17682  nbBacktracks=13115
64.75	     nbVisitedNodes=56871  nbRestartNogoods=137
64.75	       =>  wckTime=62.012  cpuTime=61.29  mem=66M627
98.18	   
98.18	   search
98.18	     run=16  nbConstraintChecks=55568177  nbValidityChecks=114383972  nbPropagations=1843380  nbRevisions=22802774
98.18	     nbUselessRevisions=18166221  nbAssignments=46807  nbFailedAssignments=26708  nbBacktracks=19684
98.18	     nbVisitedNodes=85561  nbRestartNogoods=154
98.18	       =>  wckTime=95.439  cpuTime=94.42  mem=66M627
150.70	   
150.70	   search
150.70	     run=17  nbConstraintChecks=86141261  nbValidityChecks=177177080  nbPropagations=2771543  nbRevisions=34294184
150.70	     nbUselessRevisions=27314835  nbAssignments=72665  nbFailedAssignments=42706  nbBacktracks=29536
150.70	     nbVisitedNodes=133701  nbRestartNogoods=162
150.70	       =>  wckTime=147.962  cpuTime=146.46  mem=66M627
220.91	   
220.91	   search
220.91	     run=18  nbConstraintChecks=127505530  nbValidityChecks=262161491  nbPropagations=4160026  nbRevisions=51513769
220.91	     nbUselessRevisions=41038647  nbAssignments=108259  nbFailedAssignments=63498  nbBacktracks=44316
220.91	     nbVisitedNodes=199931  nbRestartNogoods=175
220.91	       =>  wckTime=218.166  cpuTime=216.02  mem=66M627
318.32	   
318.32	   search
318.32	     run=19  nbConstraintChecks=185089857  nbValidityChecks=377650285  nbPropagations=6191485  nbRevisions=76606090
318.33	     nbUselessRevisions=61008960  nbAssignments=157827  nbFailedAssignments=90887  nbBacktracks=66485
318.33	     nbVisitedNodes=290334  nbRestartNogoods=192
318.33	       =>  wckTime=315.584  cpuTime=312.54  mem=66M627
480.67	   
480.67	   search
480.67	     run=20  nbConstraintChecks=288009700  nbValidityChecks=590376384  nbPropagations=9279242  nbRevisions=114744599
480.67	     nbUselessRevisions=91284989  nbAssignments=238078  nbFailedAssignments=137843  nbBacktracks=99737
480.67	     nbVisitedNodes=438544  nbRestartNogoods=219
480.67	       =>  wckTime=477.932  cpuTime=474.57  mem=66M627
709.84	   
709.84	   search
709.84	     run=21  nbConstraintChecks=440313313  nbValidityChecks=904873307  nbPropagations=14079877  nbRevisions=173913187
709.84	     nbUselessRevisions=138240636  nbAssignments=372390  nbFailedAssignments=222271  nbBacktracks=149615
709.84	     nbVisitedNodes=691769  nbRestartNogoods=248
709.84	       =>  wckTime=707.102  cpuTime=703.52  mem=66M627
1010.67	   
1010.67	   search
1010.67	     run=22  nbConstraintChecks=634899719  nbValidityChecks=1295628482  nbPropagations=20835432  nbRevisions=257684398
1010.67	     nbUselessRevisions=204884087  nbAssignments=524861  nbFailedAssignments=299917  nbBacktracks=224433
1010.67	     nbVisitedNodes=965205  nbRestartNogoods=266
1010.67	       =>  wckTime=1007.924  cpuTime=1004.05  mem=66M627
1524.36	   
1524.36	   search
1524.36	     run=23  nbConstraintChecks=976447648  nbValidityChecks=1978839918  nbPropagations=31224287  nbRevisions=386300620
1524.36	     nbUselessRevisions=307004655  nbAssignments=807995  nbFailedAssignments=470815  nbBacktracks=336660
1524.36	     nbVisitedNodes=1492382  nbRestartNogoods=280
1524.36	       =>  wckTime=1521.622  cpuTime=1517.27  mem=66M627

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/node42/watcher-203157-1168156947 -o ROOT/results/node42/solver-203157-1168156947 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203157-1168156947/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: 2.02 2.01 1.92 4/81 15151
/proc/meminfo: memFree=1711120/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=18540 CPUtime=0
/proc/15150/stat : 15150 (runsolver) R 15148 15150 14378 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 164093897 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15150/statm: 4635 279 244 17 0 2626 0

[startup+0.103046 s]
/proc/loadavg: 2.02 2.01 1.92 4/81 15151
/proc/meminfo: memFree=1711120/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=913068 CPUtime=0.08
/proc/15150/stat : 15150 (java) S 15148 15150 14378 0 -1 0 2861 0 1 0 6 2 0 0 18 0 8 0 164093897 934981632 2607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15150/statm: 228267 2607 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.514095 s]
/proc/loadavg: 2.02 2.01 1.92 4/81 15151
/proc/meminfo: memFree=1711120/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915328 CPUtime=0.48
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 7249 0 1 0 43 5 0 0 18 0 8 0 164093897 937295872 6988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15150/statm: 228832 6988 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.34319 s]
/proc/loadavg: 2.01 2.01 1.92 3/88 15158
/proc/meminfo: memFree=1643992/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915328 CPUtime=1.31
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 19099 0 1 0 120 11 0 0 25 0 8 0 164093897 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445410 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15150/statm: 228832 18837 2149 14 0 215302 0
[pid=15150/tid=15152] ppid=15148 vsize=915328 CPUtime=0.06
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 2681 0 0 0 5 1 0 0 17 0 8 0 164093902 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915328 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915328 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915328 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915328 CPUtime=0.08
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 164093906 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915328 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915328 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937295872 18837 18446744073709551615 134512640 134570532 4294956480 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) 915328

[startup+2.98637 s]
/proc/loadavg: 2.01 2.01 1.92 6/88 15160
/proc/meminfo: memFree=1604440/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=2.93
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32572 0 1 0 273 20 0 0 25 0 8 0 164093897 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153860090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15150/statm: 228860 32307 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 17 0 8 0 164093902 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.19
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 373 0 0 0 18 1 0 0 15 0 8 0 164093906 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440

[startup+6.27173 s]
/proc/loadavg: 2.01 2.01 1.92 3/88 15162
/proc/meminfo: memFree=1591448/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=6.17
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32587 0 1 0 597 20 0 0 25 0 8 0 164093897 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15150/statm: 228860 32320 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 17 0 8 0 164093902 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.24
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 387 0 0 0 22 2 0 0 15 0 8 0 164093906 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915440

[startup+12.7675 s]
/proc/loadavg: 2.01 2.01 1.92 3/82 15182
/proc/meminfo: memFree=1592584/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=12.58
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32604 0 1 0 1237 21 0 0 25 0 8 0 164093897 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15150/statm: 228860 32334 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 16 0 8 0 164093902 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.26
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915440

[startup+25.6389 s]
/proc/loadavg: 2.01 2.01 1.92 3/82 15182
/proc/meminfo: memFree=1592664/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=25.33
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32604 0 1 0 2512 21 0 0 25 0 8 0 164093897 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15150/statm: 228860 32334 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 16 0 8 0 164093902 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.26
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915440

[startup+51.2757 s]
/proc/loadavg: 2.00 2.00 1.92 3/82 15182
/proc/meminfo: memFree=1592728/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=50.72
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32604 0 1 0 5051 21 0 0 25 0 8 0 164093897 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15150/statm: 228860 32334 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 16 0 8 0 164093902 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.26
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915440

[startup+102.546 s]
/proc/loadavg: 2.00 2.00 1.92 4/82 15182
/proc/meminfo: memFree=1592792/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=101.52
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32604 0 1 0 10131 21 0 0 25 0 8 0 164093897 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15150/statm: 228860 32334 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 16 0 8 0 164093902 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.26
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915440

[startup+162.575 s]
/proc/loadavg: 2.00 2.00 1.92 4/82 15182
/proc/meminfo: memFree=1592792/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=161.01
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32605 0 1 0 16080 21 0 0 25 0 8 0 164093897 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1418.55
Current children cumulated vsize (KiB) 915440

[startup+1482.77 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 15241
/proc/meminfo: memFree=1498992/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=1478.51
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32607 0 1 0 147822 29 0 0 25 0 8 0 164093897 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15150/statm: 228860 32336 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.27
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 404 0 0 0 25 2 0 0 16 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.51
Current children cumulated vsize (KiB) 915440

[startup+1542.78 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 15241
/proc/meminfo: memFree=1498928/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=1538.44
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32607 0 1 0 153815 29 0 0 25 0 8 0 164093897 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817256 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15150/statm: 228860 32336 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.27
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 404 0 0 0 25 2 0 0 16 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.44
Current children cumulated vsize (KiB) 915440

[startup+1602.79 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 15241
/proc/meminfo: memFree=1498928/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=1598.39
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32607 0 1 0 159810 29 0 0 25 0 8 0 164093897 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15150/statm: 228860 32336 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.27
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 404 0 0 0 25 2 0 0 16 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.39
Current children cumulated vsize (KiB) 915440

[startup+1662.79 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 15241
/proc/meminfo: memFree=1498928/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=1658.35
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32607 0 1 0 165806 29 0 0 25 0 8 0 164093897 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797309 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15150/statm: 228860 32336 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.27
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 404 0 0 0 25 2 0 0 16 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.35
Current children cumulated vsize (KiB) 915440

[startup+1722.8 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 15241
/proc/meminfo: memFree=1498864/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=1718.29
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32607 0 1 0 171799 30 0 0 25 0 8 0 164093897 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15150/statm: 228860 32336 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.27
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 404 0 0 0 25 2 0 0 16 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.29
Current children cumulated vsize (KiB) 915440

[startup+1782.8 s]
/proc/loadavg: 2.07 2.02 1.96 3/87 15241
/proc/meminfo: memFree=1498864/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=1778.25
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32607 0 1 0 177795 30 0 0 25 0 8 0 164093897 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15150/statm: 228860 32336 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.27
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 404 0 0 0 25 2 0 0 16 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.25
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.62 s]
/proc/loadavg: 2.05 2.01 1.96 3/87 15241
/proc/meminfo: memFree=1498864/2055920 swapFree=4191892/4192956
[pid=15150] ppid=15148 vsize=915440 CPUtime=1800.03
/proc/15150/stat : 15150 (java) R 15148 15150 14378 0 -1 0 32607 0 1 0 179973 30 0 0 25 0 8 0 164093897 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804235 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15150/statm: 228860 32336 2531 14 0 215330 0
[pid=15150/tid=15152] ppid=15148 vsize=915440 CPUtime=0.47
/proc/15150/task/15152/stat : 15152 (java) S 15148 15150 14378 0 -1 64 15582 0 0 0 40 7 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15153] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15153/stat : 15153 (java) S 15148 15150 14378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15154] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15154/stat : 15154 (java) S 15148 15150 14378 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164093902 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15155] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15155/stat : 15155 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15156] ppid=15148 vsize=915440 CPUtime=0.27
/proc/15150/task/15156/stat : 15156 (java) S 15148 15150 14378 0 -1 64 404 0 0 0 25 2 0 0 16 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15157] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15157/stat : 15157 (java) S 15148 15150 14378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15150/tid=15158] ppid=15148 vsize=915440 CPUtime=0
/proc/15150/task/15158/stat : 15158 (java) S 15148 15150 14378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164093906 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1804.7
CPU time (s): 1800.11
CPU user time (s): 1799.79
CPU system time (s): 0.32395
CPU usage (%): 99.7459
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.32395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32624
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= 37659
involuntary context switches= 19947

runsolver used 2.27465 s user time and 5.72313 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sun Jan  7 08:02:27 UTC 2007


IDJOB= 203157
IDBENCH= 3921
FILE ID= node42/203157-1168156947

PBS_JOBID= 3478496

Free space on /tmp= 66547 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203157-1168156947/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-203157-1168156947 -o ROOT/results/node42/solver-203157-1168156947 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203157-1168156947/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ed6a1a368f1d19d26870e598c1e4b517

RANDOM SEED= 734139431

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.229
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.229
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:       1711600 kB
Buffers:         29936 kB
Cached:         198892 kB
SwapCached:        400 kB
Active:         176036 kB
Inactive:       108992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1711600 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            7540 kB
Writeback:           0 kB
Mapped:          66228 kB
Slab:            44168 kB
Committed_AS:  3108436 kB
PageTables:       2084 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= 66544 MiB



End job on node42 on Sun Jan  7 08:32:32 UTC 2007