Trace number 206631

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.16 1809.82

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-12_ext.xml
MD5SUMb203f3a76345008d6e9dae755bd5826d
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/206631-1168175861/unknown.xml
0.36	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.40	       =>  wckTime=0.101  cpuTime=0.09  mem=6M951
0.40	   
0.40	   relations being loaded...
1.48	   
1.48	   constraints being loaded...
2.18	     nbConstraints=93  nbRelationTypes=93  nbExtensionStructures=93  nbSharedExtensionStructures=0
2.18	     nbConflictsStructures=93  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=17  maxArity=3
2.18	       =>  wckTime=1.874  cpuTime=1.5  mem=59M37
2.34	   
2.34	   solver IterativeSystematicSolver being built... 
2.51	       =>  wckTime=2.205  cpuTime=1.63  mem=66M173
2.66	   
2.66	   preprocessing
2.66	     nbConstraintChecks=51279  nbValidityChecks=84952  nbPropagations=266  nbRevisions=3000  nbUselessRevisions=2599
2.66	     nbSingletonTests=36  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.66	       =>  wckTime=0.146  cpuTime=0.11  mem=66M173
2.75	   
2.75	   search
2.75	     run=0  nbConstraintChecks=37054  nbValidityChecks=88292  nbPropagations=770  nbRevisions=8438
2.75	     nbUselessRevisions=6815  nbAssignments=42  nbFailedAssignments=22  nbBacktracks=14  nbVisitedNodes=75
2.75	     nbRestartNogoods=0  mapSize=14  nbInferences=0  nbTooLargeKeys=0
2.75	       =>  wckTime=0.236  cpuTime=0.21  mem=67M191
2.91	   
2.91	   search
2.91	     run=1  nbConstraintChecks=125241  nbValidityChecks=265964  nbPropagations=2317  nbRevisions=26872
2.91	     nbUselessRevisions=21475  nbAssignments=99  nbFailedAssignments=55  nbBacktracks=29  nbVisitedNodes=178
2.91	     nbRestartNogoods=1  mapSize=29  nbInferences=0  nbTooLargeKeys=0
2.91	       =>  wckTime=0.399  cpuTime=0.36  mem=67M191
3.06	   
3.06	   search
3.06	     run=2  nbConstraintChecks=206777  nbValidityChecks=436351  nbPropagations=4687  nbRevisions=55140
3.06	     nbUselessRevisions=43490  nbAssignments=170  nbFailedAssignments=98  nbBacktracks=51  nbVisitedNodes=308
3.06	     nbRestartNogoods=5  mapSize=48  nbInferences=0  nbTooLargeKeys=0
3.06	       =>  wckTime=0.547  cpuTime=0.5  mem=67M191
3.36	   
3.36	   search
3.36	     run=3  nbConstraintChecks=391889  nbValidityChecks=780186  nbPropagations=8459  nbRevisions=102858
3.36	     nbUselessRevisions=80795  nbAssignments=275  nbFailedAssignments=159  nbBacktracks=86  nbVisitedNodes=501
3.36	     nbRestartNogoods=11  mapSize=80  nbInferences=0  nbTooLargeKeys=0
3.36	       =>  wckTime=0.854  cpuTime=0.81  mem=67M191
3.83	   
3.83	   search
3.83	     run=4  nbConstraintChecks=653906  nbValidityChecks=1389310  nbPropagations=14846  nbRevisions=183723
3.83	     nbUselessRevisions=145339  nbAssignments=531  nbFailedAssignments=239  nbBacktracks=137  nbVisitedNodes=758
3.83	     nbRestartNogoods=26  mapSize=129  nbInferences=0  nbTooLargeKeys=0
3.83	       =>  wckTime=1.317  cpuTime=1.26  mem=67M191
4.24	   
4.24	   search
4.24	     run=5  nbConstraintChecks=884657  nbValidityChecks=1936508  nbPropagations=24291  nbRevisions=298646
4.24	     nbUselessRevisions=235563  nbAssignments=769  nbFailedAssignments=394  nbBacktracks=213  nbVisitedNodes=1207
4.24	     nbRestartNogoods=31  mapSize=198  nbInferences=0  nbTooLargeKeys=0
4.24	       =>  wckTime=1.727  cpuTime=1.67  mem=67M191
4.89	   
4.89	   search
4.89	     run=6  nbConstraintChecks=1274632  nbValidityChecks=2775693  nbPropagations=38065  nbRevisions=472952
4.89	     nbUselessRevisions=373565  nbAssignments=1130  nbFailedAssignments=618  nbBacktracks=326  nbVisitedNodes=1861
4.89	     nbRestartNogoods=42  mapSize=302  nbInferences=0  nbTooLargeKeys=0
4.89	       =>  wckTime=2.378  cpuTime=2.31  mem=67M191
5.83	   
5.83	   search
5.83	     run=7  nbConstraintChecks=1841718  nbValidityChecks=3920703  nbPropagations=57316  nbRevisions=717237
5.83	     nbUselessRevisions=567557  nbAssignments=1548  nbFailedAssignments=822  nbBacktracks=498  nbVisitedNodes=2553
5.83	     nbRestartNogoods=52  mapSize=442  nbInferences=0  nbTooLargeKeys=0
5.83	       =>  wckTime=3.322  cpuTime=3.23  mem=67M191
7.37	   
7.37	   search
7.37	     run=8  nbConstraintChecks=2806236  nbValidityChecks=5908803  nbPropagations=85624  nbRevisions=1083691
7.37	     nbUselessRevisions=858181  nbAssignments=2234  nbFailedAssignments=1245  nbBacktracks=754  nbVisitedNodes=3856
7.37	     nbRestartNogoods=58  mapSize=682  nbInferences=0  nbTooLargeKeys=0
7.37	       =>  wckTime=4.86  cpuTime=4.76  mem=67M191
9.34	   
9.34	   search
9.34	     run=9  nbConstraintChecks=4013195  nbValidityChecks=8551843  nbPropagations=128312  nbRevisions=1608592
9.34	     nbUselessRevisions=1270485  nbAssignments=3251  nbFailedAssignments=1871  nbBacktracks=1138  nbVisitedNodes=5767
9.34	     nbRestartNogoods=70  mapSize=1022  nbInferences=0  nbTooLargeKeys=0
9.34	       =>  wckTime=6.833  cpuTime=6.71  mem=67M191
9.40	   
9.40	   INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=67M191)
12.18	   
12.18	   search
12.18	     run=10  nbConstraintChecks=5807958  nbValidityChecks=12238204  nbPropagations=189764  nbRevisions=2368609
12.18	     nbUselessRevisions=1869785  nbAssignments=4543  nbFailedAssignments=2579  nbBacktracks=1715  nbVisitedNodes=8154
12.18	     nbRestartNogoods=84
12.18	       =>  wckTime=9.668  cpuTime=9.53  mem=67M191
16.49	   
16.50	   search
16.50	     run=11  nbConstraintChecks=8457698  nbValidityChecks=18111304  nbPropagations=283401  nbRevisions=3490972
16.50	     nbUselessRevisions=2747479  nbAssignments=6913  nbFailedAssignments=4076  nbBacktracks=2579  nbVisitedNodes=12644
16.50	     nbRestartNogoods=94
16.50	       =>  wckTime=13.986  cpuTime=13.82  mem=67M191
23.54	   
23.54	   search
23.54	     run=12  nbConstraintChecks=12933818  nbValidityChecks=27322626  nbPropagations=420655  nbRevisions=5177644
23.54	     nbUselessRevisions=4074741  nbAssignments=10034  nbFailedAssignments=5892  nbBacktracks=3876  nbVisitedNodes=18446
23.54	     nbRestartNogoods=105
23.54	       =>  wckTime=21.034  cpuTime=20.84  mem=67M191
30.18	   
30.18	   search
30.18	     run=13  nbConstraintChecks=17148020  nbValidityChecks=36144717  nbPropagations=610725  nbRevisions=7498267
30.18	     nbUselessRevisions=5903100  nbAssignments=13897  nbFailedAssignments=7801  nbBacktracks=5822  nbVisitedNodes=25343
30.18	     nbRestartNogoods=109
30.18	       =>  wckTime=27.67  cpuTime=27.44  mem=67M191
50.17	   
50.17	   search
50.17	     run=14  nbConstraintChecks=29686002  nbValidityChecks=62132274  nbPropagations=920522  nbRevisions=11396332
50.17	     nbUselessRevisions=8976945  nbAssignments=21869  nbFailedAssignments=12834  nbBacktracks=8741  nbVisitedNodes=40549
50.17	     nbRestartNogoods=121
50.17	       =>  wckTime=47.661  cpuTime=47.31  mem=67M191
74.58	   
74.58	   search
74.58	     run=15  nbConstraintChecks=45174351  nbValidityChecks=94234821  nbPropagations=1385573  nbRevisions=17282022
74.58	     nbUselessRevisions=13616840  nbAssignments=33052  nbFailedAssignments=19629  nbBacktracks=13122
74.58	     nbVisitedNodes=61616  nbRestartNogoods=132
74.58	       =>  wckTime=72.071  cpuTime=71.61  mem=67M191
114.94	   
114.94	   search
114.94	     run=16  nbConstraintChecks=70306759  nbValidityChecks=146148163  nbPropagations=2096782  nbRevisions=26434827
114.94	     nbUselessRevisions=20841263  nbAssignments=50591  nbFailedAssignments=30594  nbBacktracks=19690
114.94	     nbVisitedNodes=94774  nbRestartNogoods=144
114.94	       =>  wckTime=112.431  cpuTime=111.76  mem=67M191
150.89	   
150.89	   search
150.89	     run=17  nbConstraintChecks=92844351  nbValidityChecks=194408080  nbPropagations=3097161  nbRevisions=38977758
150.89	     nbUselessRevisions=30730245  nbAssignments=71637  nbFailedAssignments=41783  nbBacktracks=29542
150.89	     nbVisitedNodes=132880  nbRestartNogoods=151
150.89	       =>  wckTime=148.385  cpuTime=147.52  mem=67M191
233.00	   
233.00	   search
233.00	     run=18  nbConstraintChecks=145004306  nbValidityChecks=301219934  nbPropagations=4601337  nbRevisions=58125024
233.00	     nbUselessRevisions=45866553  nbAssignments=108780  nbFailedAssignments=64139  nbBacktracks=44322
233.00	     nbVisitedNodes=202501  nbRestartNogoods=169
233.00	       =>  wckTime=230.495  cpuTime=229.19  mem=67M191
342.12	   
342.12	   search
342.12	     run=19  nbConstraintChecks=212851617  nbValidityChecks=451123876  nbPropagations=6938763  nbRevisions=86641058
342.12	     nbUselessRevisions=68194670  nbAssignments=167272  nbFailedAssignments=100455  nbBacktracks=66491
342.12	     nbVisitedNodes=313234  nbRestartNogoods=182
342.12	       =>  wckTime=339.613  cpuTime=337.73  mem=67M191
529.08	   
529.08	   search
529.08	     run=20  nbConstraintChecks=331414063  nbValidityChecks=696343092  nbPropagations=10448197  nbRevisions=130412916
529.08	     nbUselessRevisions=102612511  nbAssignments=252722  nbFailedAssignments=152646  nbBacktracks=99743
529.08	     nbVisitedNodes=474177  nbRestartNogoods=201
529.08	       =>  wckTime=526.571  cpuTime=523.68  mem=67M191
767.73	   
767.73	   search
767.73	     run=21  nbConstraintChecks=480268127  nbValidityChecks=1023085892  nbPropagations=15745152  nbRevisions=194681574
767.73	     nbUselessRevisions=152837891  nbAssignments=383272  nbFailedAssignments=233309  nbBacktracks=149623
767.73	     nbVisitedNodes=719631  nbRestartNogoods=216
767.73	       =>  wckTime=765.223  cpuTime=761.08  mem=67M191
1189.71	   
1189.71	   search
1189.71	     run=22  nbConstraintChecks=747697539  nbValidityChecks=1570610344  nbPropagations=23634464  nbRevisions=292599922
1189.71	     nbUselessRevisions=229745646  nbAssignments=567504  nbFailedAssignments=342704  nbBacktracks=224441
1189.71	     nbVisitedNodes=1064979  nbRestartNogoods=233
1189.71	       =>  wckTime=1187.202  cpuTime=1180.78  mem=67M191
1716.77	   
1716.77	   search
1716.77	     run=23  nbConstraintChecks=1075310035  nbValidityChecks=2293297618  nbPropagations=35526614  nbRevisions=435777214
1716.77	     nbUselessRevisions=341539717  nbAssignments=858245  nbFailedAssignments=521203  nbBacktracks=336672
1716.77	     nbVisitedNodes=1609785  nbRestartNogoods=250
1716.77	       =>  wckTime=1714.259  cpuTime=1705.02  mem=67M191

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/node50/watcher-206631-1168175861 -o ROOT/results/node50/solver-206631-1168175861 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206631-1168175861/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.90 2.00 1.94 3/68 3775
/proc/meminfo: memFree=1412456/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=168 CPUtime=0
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 165984767 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7918372 0 0 4096 0 0 0 0 17 1 0 0
/proc/3774/statm: 42 23 18 14 0 2 0

[startup+0.103051 s]
/proc/loadavg: 1.90 2.00 1.94 3/68 3775
/proc/meminfo: memFree=1412456/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=914988 CPUtime=0.08
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 165984767 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3774/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511119 s]
/proc/loadavg: 1.90 2.00 1.94 3/68 3775
/proc/meminfo: memFree=1412456/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915328 CPUtime=0.47
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 7812 0 1 0 43 4 0 0 18 0 8 0 165984767 937295872 7551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073456047 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228832 7551 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33326 s]
/proc/loadavg: 1.90 2.00 1.94 3/88 3841
/proc/meminfo: memFree=1312128/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915328 CPUtime=1.3
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 19100 0 1 0 120 10 0 0 25 0 8 0 165984767 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073581000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228832 18838 2149 14 0 215302 0
[pid=3774/tid=3776] ppid=3772 vsize=915328 CPUtime=0.04
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 2682 0 0 0 4 0 0 0 17 0 8 0 165984771 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915328 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915328 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915328 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915328 CPUtime=0.07
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 165984775 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915328 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915328 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) R 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328

[startup+2.98654 s]
/proc/loadavg: 1.90 2.00 1.94 4/88 3841
/proc/meminfo: memFree=1256576/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=2.94
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32697 0 1 0 277 17 0 0 25 0 8 0 165984767 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32432 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 17 0 8 0 165984771 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.17
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 370 0 0 0 17 0 0 0 15 0 8 0 165984775 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915424

[startup+6.27109 s]
/proc/loadavg: 1.91 2.00 1.94 3/88 3841
/proc/meminfo: memFree=1223880/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=6.2
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32712 0 1 0 603 17 0 0 25 0 8 0 165984767 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32444 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 17 0 8 0 165984771 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.21
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 165984775 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915424

[startup+12.7602 s]
/proc/loadavg: 1.91 2.00 1.94 3/88 3841
/proc/meminfo: memFree=1223440/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=12.66
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32722 0 1 0 1249 17 0 0 25 0 8 0 165984767 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32451 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 390 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915424

[startup+25.6113 s]
/proc/loadavg: 1.93 2.00 1.94 3/88 3843
/proc/meminfo: memFree=1223696/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=25.45
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32722 0 1 0 2528 17 0 0 25 0 8 0 165984767 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32451 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 390 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915424

[startup+51.2296 s]
/proc/loadavg: 1.95 2.00 1.94 3/88 3843
/proc/meminfo: memFree=1223632/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=50.92
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32722 0 1 0 5074 18 0 0 25 0 8 0 165984767 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32451 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 390 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915424

[startup+102.457 s]
/proc/loadavg: 2.03 2.01 1.95 3/88 3843
/proc/meminfo: memFree=1223760/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=101.88
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32725 0 1 0 10170 18 0 0 25 0 8 0 165984767 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32453 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 392 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915424

[startup+162.535 s]
/proc/loadavg: 2.01 2.00 1.95 3/88 3843
/proc/meminfo: memFree=1223760/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=161.66
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32725 0 1 0 16147 19 0 0 25 0 8 0 165984767 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1416.57
Current children cumulated vsize (KiB) 915424

[startup+1484.26 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3843
/proc/meminfo: memFree=1223504/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1476.3
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 147603 27 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.3
Current children cumulated vsize (KiB) 915424

[startup+1544.34 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3843
/proc/meminfo: memFree=1223504/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1536.09
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 153581 28 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.09
Current children cumulated vsize (KiB) 915424

[startup+1604.42 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3843
/proc/meminfo: memFree=1223504/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1595.84
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 159556 28 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.84
Current children cumulated vsize (KiB) 915424

[startup+1664.51 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3843
/proc/meminfo: memFree=1223504/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1655.61
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 165532 29 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.61
Current children cumulated vsize (KiB) 915424

[startup+1724.58 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3843
/proc/meminfo: memFree=1223440/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1715.38
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 171508 30 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761033 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0.02
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.38
Current children cumulated vsize (KiB) 915424

[startup+1784.66 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3843
/proc/meminfo: memFree=1223440/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1775.13
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 177483 30 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0.02
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.13
Current children cumulated vsize (KiB) 915424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.76 s]
/proc/loadavg: 2.00 2.00 1.98 2/75 3857
/proc/meminfo: memFree=1291960/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1800.1
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 179979 31 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0.02
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915424

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

Child status: 143
Real time (s): 1809.82
CPU time (s): 1800.16
CPU user time (s): 1799.83
CPU system time (s): 0.334949
CPU usage (%): 99.4665
Max. virtual memory (cumulated for all children) (KiB): 915424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.334949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32743
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= 37738
involuntary context switches= 61346

runsolver used 2.39663 s user time and 5.36418 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sun Jan  7 13:17:42 UTC 2007


IDJOB= 206631
IDBENCH= 4223
FILE ID= node50/206631-1168175861

PBS_JOBID= 3479082

Free space on /tmp= 66556 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b203f3a76345008d6e9dae755bd5826d

RANDOM SEED= 738141551

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
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:       1412808 kB
Buffers:         34736 kB
Cached:         529768 kB
SwapCached:        372 kB
Active:         184784 kB
Inactive:       401008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1412808 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            7476 kB
Writeback:           0 kB
Mapped:          30120 kB
Slab:            43036 kB
Committed_AS:  3767872 kB
PageTables:       1676 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= 66556 MiB



End job on node50 on Sun Jan  7 13:47:53 UTC 2007