Trace number 195793

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 AC? (TO) 1800.09 1814.57

General information on the benchmark

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

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/195793-1168069887/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.101  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
1.08	   
1.08	   constraints being loaded...
1.36	     nbConstraints=75  nbRelationTypes=75  nbExtensionStructures=75  nbSharedExtensionStructures=0
1.36	     nbConflictsStructures=75  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
1.36	       =>  wckTime=1.043  cpuTime=0.9  mem=48M650
1.49	   
1.49	   solver IterativeSystematicSolver being built... 
1.66	       =>  wckTime=1.34  cpuTime=1.04  mem=34M630
1.67	   
1.67	   preprocessing
1.67	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.67	     detectedInconsistency=no
1.67	       =>  wckTime=0.0040  cpuTime=0.0  mem=34M630
1.79	   
1.79	   search
1.79	     run=0  nbConstraintChecks=31705  nbValidityChecks=60668  nbPropagations=471  nbRevisions=4578
1.79	     nbUselessRevisions=3570  nbAssignments=33  nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=56
1.79	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.79	       =>  wckTime=0.129  cpuTime=0.09  mem=34M630
1.87	   
1.87	   search
1.87	     run=1  nbConstraintChecks=73365  nbValidityChecks=145898  nbPropagations=1531  nbRevisions=15348
1.87	     nbUselessRevisions=11953  nbAssignments=77  nbFailedAssignments=40  nbBacktracks=25  nbVisitedNodes=134
1.87	     nbRestartNogoods=6  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.87	       =>  wckTime=0.21  cpuTime=0.16  mem=34M630
2.01	   
2.01	   search
2.01	     run=2  nbConstraintChecks=145903  nbValidityChecks=289219  nbPropagations=3413  nbRevisions=36549
2.01	     nbUselessRevisions=28714  nbAssignments=139  nbFailedAssignments=72  nbBacktracks=47  nbVisitedNodes=248
2.01	     nbRestartNogoods=8  mapSize=46  nbInferences=0  nbTooLargeKeys=0
2.01	       =>  wckTime=0.349  cpuTime=0.28  mem=34M630
2.11	   
2.11	   search
2.11	     run=3  nbConstraintChecks=207288  nbValidityChecks=423975  nbPropagations=6096  nbRevisions=66646
2.11	     nbUselessRevisions=52382  nbAssignments=216  nbFailedAssignments=107  nbBacktracks=84  nbVisitedNodes=383
2.11	     nbRestartNogoods=15  mapSize=76  nbInferences=0  nbTooLargeKeys=0
2.11	       =>  wckTime=0.445  cpuTime=0.37  mem=34M630
2.39	   
2.39	   search
2.39	     run=4  nbConstraintChecks=385649  nbValidityChecks=776863  nbPropagations=10772  nbRevisions=118999
2.39	     nbUselessRevisions=93164  nbAssignments=366  nbFailedAssignments=200  nbBacktracks=134  nbVisitedNodes=661
2.39	     nbRestartNogoods=16  mapSize=123  nbInferences=0  nbTooLargeKeys=0
2.39	       =>  wckTime=0.729  cpuTime=0.65  mem=34M630
2.72	   
2.72	   search
2.72	     run=5  nbConstraintChecks=591315  nbValidityChecks=1206095  nbPropagations=18127  nbRevisions=200596
2.72	     nbUselessRevisions=156501  nbAssignments=556  nbFailedAssignments=307  nbBacktracks=210  nbVisitedNodes=1015
2.72	     nbRestartNogoods=25  mapSize=194  nbInferences=0  nbTooLargeKeys=0
2.72	       =>  wckTime=1.056  cpuTime=0.97  mem=34M630
3.30	   
3.30	   search
3.30	     run=6  nbConstraintChecks=958389  nbValidityChecks=1970723  nbPropagations=30094  nbRevisions=333027
3.30	     nbUselessRevisions=258856  nbAssignments=915  nbFailedAssignments=547  nbBacktracks=323  nbVisitedNodes=1695
3.30	     nbRestartNogoods=32  mapSize=301  nbInferences=0  nbTooLargeKeys=0
3.30	       =>  wckTime=1.639  cpuTime=1.54  mem=34M630
4.12	   
4.12	   search
4.12	     run=7  nbConstraintChecks=1496220  nbValidityChecks=3107525  nbPropagations=48197  nbRevisions=541963
4.12	     nbUselessRevisions=421350  nbAssignments=1417  nbFailedAssignments=872  nbBacktracks=493  nbVisitedNodes=2652
4.12	     nbRestartNogoods=36  mapSize=459  nbInferences=0  nbTooLargeKeys=0
4.12	       =>  wckTime=2.462  cpuTime=2.36  mem=34M630
5.05	   
5.05	   search
5.05	     run=8  nbConstraintChecks=2073822  nbValidityChecks=4330847  nbPropagations=74530  nbRevisions=838276
5.05	     nbUselessRevisions=651217  nbAssignments=1996  nbFailedAssignments=1189  nbBacktracks=749  nbVisitedNodes=3726
5.05	     nbRestartNogoods=46  mapSize=693  nbInferences=0  nbTooLargeKeys=0
5.05	       =>  wckTime=3.387  cpuTime=3.25  mem=34M630
6.44	   
6.44	   INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=34M630)
6.59	   
6.59	   search
6.59	     run=9  nbConstraintChecks=3080885  nbValidityChecks=6422598  nbPropagations=112857  nbRevisions=1270624
6.59	     nbUselessRevisions=984906  nbAssignments=2895  nbFailedAssignments=1698  nbBacktracks=1133  nbVisitedNodes=5388
6.59	     nbRestartNogoods=55
6.59	       =>  wckTime=4.922  cpuTime=4.77  mem=34M630
8.54	   
8.54	   search
8.54	     run=10  nbConstraintChecks=4394590  nbValidityChecks=9220967  nbPropagations=169208  nbRevisions=1900368
8.54	     nbUselessRevisions=1471682  nbAssignments=4316  nbFailedAssignments=2536  nbBacktracks=1709  nbVisitedNodes=8029
8.54	     nbRestartNogoods=59
8.54	       =>  wckTime=6.875  cpuTime=6.69  mem=34M630
11.54	   
11.54	   search
11.54	     run=11  nbConstraintChecks=6433558  nbValidityChecks=13471290  nbPropagations=254350  nbRevisions=2842826
11.54	     nbUselessRevisions=2199501  nbAssignments=6391  nbFailedAssignments=3740  nbBacktracks=2574  nbVisitedNodes=11906
11.54	     nbRestartNogoods=71
11.54	       =>  wckTime=9.88  cpuTime=9.67  mem=35M617
16.96	   
16.96	   search
16.96	     run=12  nbConstraintChecks=10133556  nbValidityChecks=21115865  nbPropagations=382975  nbRevisions=4281319
16.96	     nbUselessRevisions=3305810  nbAssignments=9781  nbFailedAssignments=5826  nbBacktracks=3871  nbVisitedNodes=18330
16.96	     nbRestartNogoods=79
16.96	       =>  wckTime=15.3  cpuTime=15.04  mem=35M617
23.38	   
23.38	   search
23.38	     run=13  nbConstraintChecks=14522710  nbValidityChecks=30461390  nbPropagations=570535  nbRevisions=6378386
23.38	     nbUselessRevisions=4924652  nbAssignments=14571  nbFailedAssignments=8663  nbBacktracks=5819  nbVisitedNodes=27217
23.38	     nbRestartNogoods=94
23.38	       =>  wckTime=21.713  cpuTime=21.39  mem=35M617
32.89	   
32.89	   search
32.89	     run=14  nbConstraintChecks=20875835  nbValidityChecks=43896032  nbPropagations=858399  nbRevisions=9526063
32.89	     nbUselessRevisions=7347866  nbAssignments=21728  nbFailedAssignments=12895  nbBacktracks=8739  nbVisitedNodes=40626
32.89	     nbRestartNogoods=108
32.89	       =>  wckTime=31.228  cpuTime=30.81  mem=35M617
47.33	   
47.33	   search
47.33	     run=15  nbConstraintChecks=30530915  nbValidityChecks=64945047  nbPropagations=1284460  nbRevisions=14243832
47.33	     nbUselessRevisions=11000507  nbAssignments=32333  nbFailedAssignments=19116  nbBacktracks=13117
47.33	     nbVisitedNodes=60491  nbRestartNogoods=122
47.33	       =>  wckTime=45.67  cpuTime=45.13  mem=35M617
71.24	   
71.24	   search
71.24	     run=16  nbConstraintChecks=47012416  nbValidityChecks=99955060  nbPropagations=1918163  nbRevisions=21271194
71.24	     nbUselessRevisions=16435103  nbAssignments=48540  nbFailedAssignments=28747  nbBacktracks=19686
71.24	     nbVisitedNodes=90833  nbRestartNogoods=144
71.24	       =>  wckTime=69.574  cpuTime=68.82  mem=35M617
109.47	   
109.47	   search
109.47	     run=17  nbConstraintChecks=72959530  nbValidityChecks=153886874  nbPropagations=2866942  nbRevisions=31858620
109.47	     nbUselessRevisions=24595368  nbAssignments=72687  nbFailedAssignments=43036  nbBacktracks=29538
109.47	     nbVisitedNodes=136188  nbRestartNogoods=165
109.47	       =>  wckTime=107.808  cpuTime=106.7  mem=35M617
155.76	   
155.76	   search
155.76	     run=18  nbConstraintChecks=104014121  nbValidityChecks=218967951  nbPropagations=4287909  nbRevisions=47437926
155.76	     nbUselessRevisions=36589390  nbAssignments=106946  nbFailedAssignments=62508  nbBacktracks=44316
155.76	     nbVisitedNodes=199588  nbRestartNogoods=179
155.76	       =>  wckTime=154.094  cpuTime=152.57  mem=35M617
230.92	   
230.92	   search
230.92	     run=19  nbConstraintChecks=154600178  nbValidityChecks=329115125  nbPropagations=6431020  nbRevisions=71419488
230.92	     nbUselessRevisions=55173647  nbAssignments=163259  nbFailedAssignments=96646  nbBacktracks=66485
230.92	     nbVisitedNodes=305522  nbRestartNogoods=200
230.92	       =>  wckTime=229.261  cpuTime=227.04  mem=35M617
371.27	   
371.27	   search
371.27	     run=20  nbConstraintChecks=248320746  nbValidityChecks=524179324  nbPropagations=9911068  nbRevisions=110798935
371.27	     nbUselessRevisions=85628990  nbAssignments=264425  nbFailedAssignments=164554  nbBacktracks=99738
371.27	     nbVisitedNodes=499346  nbRestartNogoods=211
371.27	       =>  wckTime=369.604  cpuTime=366.1  mem=35M617
615.83	   
615.83	   search
615.83	     run=21  nbConstraintChecks=412094562  nbValidityChecks=854627517  nbPropagations=15397832  nbRevisions=172464079
615.83	     nbUselessRevisions=133236703  nbAssignments=409537  nbFailedAssignments=259781  nbBacktracks=149617
615.83	     nbVisitedNodes=778746  nbRestartNogoods=228
615.83	       =>  wckTime=614.166  cpuTime=608.28  mem=35M617
946.63	   
946.64	   search
946.64	     run=22  nbConstraintChecks=642978964  nbValidityChecks=1327291082  nbPropagations=23502784  nbRevisions=266019936
946.64	     nbUselessRevisions=205862436  nbAssignments=617767  nbFailedAssignments=393186  nbBacktracks=224435
946.64	     nbVisitedNodes=1174069  nbRestartNogoods=249
946.64	       =>  wckTime=944.973  cpuTime=935.98  mem=35M617
1377.70	   
1377.70	   search
1377.70	     run=23  nbConstraintChecks=929073203  nbValidityChecks=1926372727  nbPropagations=35808469  nbRevisions=406583525
1377.70	     nbUselessRevisions=314735593  nbAssignments=927342  nbFailedAssignments=590527  nbBacktracks=336662
1377.70	     nbVisitedNodes=1761900  nbRestartNogoods=274
1377.70	       =>  wckTime=1376.04  cpuTime=1363.1  mem=35M617

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/node22/watcher-195793-1168069887 -o ROOT/results/node22/solver-195793-1168069887 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195793-1168069887/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.03 2.02 1.94 4/93 7596
/proc/meminfo: memFree=1583704/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=11868 CPUtime=0
/proc/7595/stat : 7595 (java) D 7593 7595 6835 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 155383119 12152832 515 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4678436 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/7595/statm: 2967 515 425 14 0 1602 0

[startup+0.103336 s]
/proc/loadavg: 2.03 2.02 1.94 4/93 7596
/proc/meminfo: memFree=1583704/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=914988 CPUtime=0.09
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 2981 0 1 0 7 2 0 0 19 0 8 0 155383119 936947712 2727 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4160642522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7595/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511398 s]
/proc/loadavg: 2.03 2.02 1.94 4/93 7596
/proc/meminfo: memFree=1583704/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915328 CPUtime=0.5
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 7345 0 1 0 46 4 0 0 18 0 8 0 155383119 937295872 7084 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7595/statm: 228832 7084 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33253 s]
/proc/loadavg: 2.03 2.02 1.94 3/100 7603
/proc/meminfo: memFree=1516704/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915328 CPUtime=1.3
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 19108 0 1 0 121 9 0 0 24 0 8 0 155383119 937295872 18846 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4152819945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7595/statm: 228832 18846 2160 14 0 215302 0
[pid=7595/tid=7597] ppid=7593 vsize=915328 CPUtime=0.05
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 2644 0 0 0 5 0 0 0 17 0 8 0 155383122 937295872 18846 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915328 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937295872 18846 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915328 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155383123 937295872 18846 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915328 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937295872 18846 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915328 CPUtime=0.1
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 155383126 937295872 18846 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915328 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937295872 18846 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915328 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937295872 18846 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328

[startup+2.97578 s]
/proc/loadavg: 2.03 2.02 1.94 3/100 7603
/proc/meminfo: memFree=1500640/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=2.94
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23463 0 1 0 282 12 0 0 25 0 8 0 155383119 937385984 23198 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073760073 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7595/statm: 228854 23198 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 17 0 8 0 155383122 937385984 23198 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23198 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23198 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23198 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.21
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 374 0 0 0 20 1 0 0 15 0 8 0 155383126 937385984 23198 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23198 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23198 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915416

[startup+6.27529 s]
/proc/loadavg: 2.03 2.02 1.94 3/100 7603
/proc/meminfo: memFree=1500448/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=6.2
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23479 0 1 0 608 12 0 0 25 0 8 0 155383119 937385984 23211 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073627960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7595/statm: 228854 23211 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 17 0 8 0 155383122 937385984 23211 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23211 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23211 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23211 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.24
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 388 0 0 0 23 1 0 0 15 0 8 0 155383126 937385984 23211 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23211 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23211 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915416

[startup+12.7563 s]
/proc/loadavg: 2.03 2.02 1.94 3/100 7603
/proc/meminfo: memFree=1500512/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=12.63
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23484 0 1 0 1250 13 0 0 25 0 8 0 155383119 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073783372 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7595/statm: 228854 23215 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 16 0 8 0 155383122 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.25
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 393 0 0 0 24 1 0 0 15 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915416

[startup+25.6313 s]
/proc/loadavg: 2.02 2.02 1.94 3/100 7603
/proc/meminfo: memFree=1500576/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=25.39
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23484 0 1 0 2526 13 0 0 25 0 8 0 155383119 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073628030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7595/statm: 228854 23215 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 16 0 8 0 155383122 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.25
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 393 0 0 0 24 1 0 0 15 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915416

[startup+51.2622 s]
/proc/loadavg: 2.01 2.02 1.94 3/100 7603
/proc/meminfo: memFree=1500640/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=50.78
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23485 0 1 0 5065 13 0 0 25 0 8 0 155383119 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7595/statm: 228854 23215 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 16 0 8 0 155383122 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.25
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915416

[startup+102.521 s]
/proc/loadavg: 2.06 2.03 1.94 3/100 7603
/proc/meminfo: memFree=1500704/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=101.57
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23485 0 1 0 10143 14 0 0 25 0 8 0 155383119 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073768069 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7595/statm: 228854 23215 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 16 0 8 0 155383122 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.25
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 915416

[startup+162.535 s]
/proc/loadavg: 2.02 2.02 1.94 3/100 7603
/proc/meminfo: memFree=1500640/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=161.03
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23485 0 1 0 16089 14 0 0 25 0 8 0 155383119 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073762058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1409.57
Current children cumulated vsize (KiB) 915416

[startup+1482.85 s]
/proc/loadavg: 2.04 2.01 1.97 3/100 7801
/proc/meminfo: memFree=1499936/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=1469.03
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23487 0 1 0 146877 26 0 0 25 0 8 0 155383119 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7595/statm: 228854 23217 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 16 0 8 0 155383122 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.25
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.03
Current children cumulated vsize (KiB) 915416

[startup+1542.85 s]
/proc/loadavg: 2.01 2.01 1.97 3/100 7801
/proc/meminfo: memFree=1499872/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=1528.5
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23487 0 1 0 152823 27 0 0 25 0 8 0 155383119 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073628020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7595/statm: 228854 23217 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 16 0 8 0 155383122 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.25
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.5
Current children cumulated vsize (KiB) 915416

[startup+1602.88 s]
/proc/loadavg: 1.37 1.82 1.91 2/85 7819
/proc/meminfo: memFree=1536872/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=1588.47
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23487 0 1 0 158819 28 0 0 25 0 8 0 155383119 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7595/statm: 228854 23217 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 16 0 8 0 155383122 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.25
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.47
Current children cumulated vsize (KiB) 915416

[startup+1662.9 s]
/proc/loadavg: 1.13 1.67 1.85 2/85 7819
/proc/meminfo: memFree=1536936/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=1648.46
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23487 0 1 0 164818 28 0 0 25 0 8 0 155383119 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073848353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7595/statm: 228854 23217 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 16 0 8 0 155383122 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.25
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.46
Current children cumulated vsize (KiB) 915416

[startup+1722.92 s]
/proc/loadavg: 1.05 1.55 1.79 2/85 7819
/proc/meminfo: memFree=1536936/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=1708.47
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23487 0 1 0 170819 28 0 0 25 0 8 0 155383119 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073760209 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7595/statm: 228854 23217 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 16 0 8 0 155383122 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.25
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.47
Current children cumulated vsize (KiB) 915416

[startup+1782.94 s]
/proc/loadavg: 1.02 1.45 1.75 2/85 7819
/proc/meminfo: memFree=1537000/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=1768.47
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23487 0 1 0 176819 28 0 0 25 0 8 0 155383119 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073767991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7595/statm: 228854 23217 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 16 0 8 0 155383122 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.25
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.47
Current children cumulated vsize (KiB) 915416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.49 s]
/proc/loadavg: 1.07 1.42 1.72 2/85 7819
/proc/meminfo: memFree=1537000/2055920 swapFree=4157532/4192956
[pid=7595] ppid=7593 vsize=915416 CPUtime=1800.01
/proc/7595/stat : 7595 (java) R 7593 7595 6835 0 -1 0 23487 0 1 0 179973 28 0 0 25 0 8 0 155383119 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073794982 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7595/statm: 228854 23217 2521 14 0 215324 0
[pid=7595/tid=7597] ppid=7593 vsize=915416 CPUtime=0.16
/proc/7595/task/7597/stat : 7597 (java) S 7593 7595 6835 0 -1 64 6497 0 0 0 15 1 0 0 16 0 8 0 155383122 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7598] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7598/stat : 7598 (java) S 7593 7595 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7599] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7599/stat : 7599 (java) S 7593 7595 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155383123 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7600] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7600/stat : 7600 (java) S 7593 7595 6835 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7601] ppid=7593 vsize=915416 CPUtime=0.25
/proc/7595/task/7601/stat : 7601 (java) S 7593 7595 6835 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7602] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7602/stat : 7602 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7595/tid=7603] ppid=7593 vsize=915416 CPUtime=0
/proc/7595/task/7603/stat : 7603 (java) S 7593 7595 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155383126 937385984 23217 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915416

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

Child status: 143
Real time (s): 1814.57
CPU time (s): 1800.09
CPU user time (s): 1799.79
CPU system time (s): 0.301954
CPU usage (%): 99.2022
Max. virtual memory (cumulated for all children) (KiB): 915416

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

runsolver used 2.11668 s user time and 5.70713 s system time

The end

Launcher Data (download as text)

Begin job on node22 on Sat Jan  6 07:51:27 UTC 2007


IDJOB= 195793
IDBENCH= 3302
FILE ID= node22/195793-1168069887

PBS_JOBID= 3475645

Free space on /tmp= 66544 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0af48681c41d1228d14cb349d509e17b

RANDOM SEED= 55094671

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.279
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.279
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:       1584184 kB
Buffers:         34916 kB
Cached:         297940 kB
SwapCached:      13264 kB
Active:         109056 kB
Inactive:       295808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1584184 kB
SwapTotal:     4192956 kB
SwapFree:      4157532 kB
Dirty:            4636 kB
Writeback:           0 kB
Mapped:          97288 kB
Slab:            51564 kB
Committed_AS:  3396960 kB
PageTables:       2376 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= 66546 MiB



End job on node22 on Sat Jan  6 08:21:42 UTC 2007