Trace number 210854

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.62

General information on the benchmark

NamepseudoSeries/uclid/
dlx1c-rwmem-ucl.xml
MD5SUM22daa319f1eb305ed7168e131aeab63f
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.8141
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables9051
Number of constraints25832
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25832
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/210854-1168075360/unknown.xml
0.40	   
0.40	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.68	     nbVariables=9051  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.68	       =>  wckTime=0.336  cpuTime=0.24  mem=21M548
0.68	   
0.68	   predicates being loaded...
0.69	   
0.69	   constraints being loaded...
4.17	     nbConstraints=25078  nbMergedConstraints=754  nbSingletonDomainVariables=4  nbConvertedConstraints=16524
4.17	     nbConvertConstraintsChecks=23601  nbExtensionStructures=5  nbSharedExtensionStructures=16519
4.17	     nbConflictsStructures=39  nbSharedConflictsStructures=25039  nbSharedBinaryRepresentations=12
4.17	     nbEvaluationManagers=34  nbSharedEvaluationManagers=8520  maxDegree=192  maxArity=11
4.17	       =>  wckTime=3.831  cpuTime=3.2  mem=50M716
4.35	   
4.35	   solver IterativeSystematicSolver being built... 
5.03	       =>  wckTime=4.683  cpuTime=3.73  mem=51M255
5.10	   
5.10	   preprocessing
5.10	     nbConstraintChecks=0  nbPropagations=9051  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
5.10	     detectedInconsistency=no
5.10	       =>  wckTime=0.055  cpuTime=0.04  mem=52M263
12.81	   
12.81	   search
12.81	     run=0  nbConstraintChecks=85475  nbValidityChecks=42811  nbPropagations=21324  nbRevisions=79240
12.81	     nbUselessRevisions=66870  nbAssignments=414  nbFailedAssignments=4  nbBacktracks=11  nbVisitedNodes=424
12.81	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
12.81	       =>  wckTime=7.776  cpuTime=7.65  mem=54M280
20.63	   
20.63	   search
20.63	     run=1  nbConstraintChecks=174365  nbValidityChecks=102043  nbPropagations=59982  nbRevisions=262200
20.63	     nbUselessRevisions=219851  nbAssignments=841  nbFailedAssignments=8  nbBacktracks=34  nbVisitedNodes=865
20.63	     nbRestartNogoods=3  mapSize=18  nbInferences=0  nbTooLargeKeys=0
20.63	       =>  wckTime=15.596  cpuTime=15.38  mem=55M289
28.51	   
28.51	   search
28.51	     run=2  nbConstraintChecks=263067  nbValidityChecks=161363  nbPropagations=115925  nbRevisions=548734
28.51	     nbUselessRevisions=458848  nbAssignments=1270  nbFailedAssignments=12  nbBacktracks=58  nbVisitedNodes=1308
28.51	     nbRestartNogoods=5  mapSize=30  nbInferences=0  nbTooLargeKeys=0
28.51	       =>  wckTime=23.477  cpuTime=23.19  mem=56M297
36.66	   
36.66	   search
36.66	     run=3  nbConstraintChecks=375063  nbValidityChecks=228874  nbPropagations=194111  nbRevisions=963576
36.66	     nbUselessRevisions=803445  nbAssignments=1711  nbFailedAssignments=18  nbBacktracks=95  nbVisitedNodes=1770
36.66	     nbRestartNogoods=7  mapSize=50  nbInferences=0  nbTooLargeKeys=0
36.66	       =>  wckTime=31.62  cpuTime=31.24  mem=58M314
45.06	   
45.06	   search
45.06	     run=4  nbConstraintChecks=457252  nbValidityChecks=288443  nbPropagations=286665  nbRevisions=1472430
45.06	     nbUselessRevisions=1227080  nbAssignments=2168  nbFailedAssignments=27  nbBacktracks=145  nbVisitedNodes=2257
45.06	     nbRestartNogoods=8  mapSize=79  nbInferences=0  nbTooLargeKeys=0
45.06	       =>  wckTime=40.019  cpuTime=39.56  mem=59M323
68.43	   
68.43	   search
68.43	     run=5  nbConstraintChecks=524774  nbValidityChecks=345343  nbPropagations=389882  nbRevisions=2056252
68.43	     nbUselessRevisions=1714845  nbAssignments=3313  nbFailedAssignments=46  nbBacktracks=346  nbVisitedNodes=3440
68.43	     nbRestartNogoods=9  mapSize=107  nbInferences=1  nbTooLargeKeys=0
68.43	       =>  wckTime=63.395  cpuTime=62.72  mem=61M340
87.07	   
87.07	   search
87.07	     run=6  nbConstraintChecks=573610  nbValidityChecks=395546  nbPropagations=501749  nbRevisions=2702274
87.07	     nbUselessRevisions=2256299  nbAssignments=4235  nbFailedAssignments=48  nbBacktracks=470  nbVisitedNodes=4367
87.07	     nbRestartNogoods=19  mapSize=110  nbInferences=1  nbTooLargeKeys=0
87.07	       =>  wckTime=82.032  cpuTime=81.19  mem=63M357
110.35	   
110.35	   search
110.35	     run=7  nbConstraintChecks=631629  nbValidityChecks=452191  nbPropagations=624191  nbRevisions=3420324
110.35	     nbUselessRevisions=2859340  nbAssignments=5359  nbFailedAssignments=61  nbBacktracks=645  nbVisitedNodes=5518
110.35	     nbRestartNogoods=21  mapSize=133  nbInferences=1  nbTooLargeKeys=0
110.35	       =>  wckTime=105.313  cpuTime=104.25  mem=65M374
133.17	   
133.17	   search
133.17	     run=8  nbConstraintChecks=682338  nbValidityChecks=504454  nbPropagations=755741  nbRevisions=4203166
133.17	     nbUselessRevisions=3518236  nbAssignments=6449  nbFailedAssignments=66  nbBacktracks=918  nbVisitedNodes=6618
133.17	     nbRestartNogoods=25  mapSize=141  nbInferences=1  nbTooLargeKeys=0
133.17	       =>  wckTime=128.136  cpuTime=126.86  mem=67M391
159.24	   
159.24	   search
159.24	     run=9  nbConstraintChecks=735710  nbValidityChecks=558237  nbPropagations=896901  nbRevisions=5053410
159.24	     nbUselessRevisions=4235071  nbAssignments=7679  nbFailedAssignments=75  nbBacktracks=1323  nbVisitedNodes=7863
159.24	     nbRestartNogoods=27  mapSize=152  nbInferences=1  nbTooLargeKeys=0
159.24	       =>  wckTime=154.201  cpuTime=152.69  mem=69M408
190.85	   
190.85	   search
190.85	     run=10  nbConstraintChecks=791365  nbValidityChecks=612881  nbPropagations=1047939  nbRevisions=5972622
190.85	     nbUselessRevisions=5011120  nbAssignments=9145  nbFailedAssignments=83  nbBacktracks=1970  nbVisitedNodes=9351
190.85	     nbRestartNogoods=31  mapSize=172  nbInferences=1  nbTooLargeKeys=0
190.85	       =>  wckTime=185.81  cpuTime=184.0  mem=71M425
227.30	   
227.30	   search
227.30	     run=11  nbConstraintChecks=866252  nbValidityChecks=679551  nbPropagations=1211716  nbRevisions=6977852
227.30	     nbUselessRevisions=5860391  nbAssignments=10824  nbFailedAssignments=102  nbBacktracks=2874  nbVisitedNodes=11091
227.30	     nbRestartNogoods=33  mapSize=230  nbInferences=3  nbTooLargeKeys=0
227.30	       =>  wckTime=222.264  cpuTime=220.12  mem=73M442
274.73	   
274.73	   search
274.73	     run=12  nbConstraintChecks=952996  nbValidityChecks=750789  nbPropagations=1390692  nbRevisions=8080372
274.73	     nbUselessRevisions=6791477  nbAssignments=13054  nbFailedAssignments=215  nbBacktracks=4220  nbVisitedNodes=13507
274.73	     nbRestartNogoods=36  mapSize=407  nbInferences=3  nbTooLargeKeys=0
274.73	       =>  wckTime=269.693  cpuTime=267.1  mem=76M467
337.34	   
337.34	   search
337.34	     run=13  nbConstraintChecks=1053076  nbValidityChecks=840886  nbPropagations=1585220  nbRevisions=9293570
337.34	     nbUselessRevisions=7817193  nbAssignments=15858  nbFailedAssignments=281  nbBacktracks=6261  nbVisitedNodes=16437
337.34	     nbRestartNogoods=45  mapSize=518  nbInferences=5  nbTooLargeKeys=0
337.34	       =>  wckTime=332.301  cpuTime=329.14  mem=79M493
381.91	   
381.91	   INFO : Stopping hyperNogood (mapSize=1222, nbTooLargekeys=0, mem=85M544)
385.98	   
385.98	   search
385.98	     run=14  nbConstraintChecks=1852737  nbValidityChecks=1419729  nbPropagations=1884251  nbRevisions=11262338
385.98	     nbUselessRevisions=9488241  nbAssignments=19620  nbFailedAssignments=766  nbBacktracks=9186  nbVisitedNodes=21223
385.98	     nbRestartNogoods=60
385.98	       =>  wckTime=380.94  cpuTime=377.34  mem=85M544
401.29	   
401.29	   search
401.29	     run=15  nbConstraintChecks=4006351  nbValidityChecks=2186517  nbPropagations=2521135  nbRevisions=15125169
401.29	     nbUselessRevisions=12683613  nbAssignments=24585  nbFailedAssignments=1049  nbBacktracks=13565
401.29	     nbVisitedNodes=26959  nbRestartNogoods=66
401.29	       =>  wckTime=396.254  cpuTime=392.51  mem=85M544
423.47	   
423.47	   search
423.47	     run=16  nbConstraintChecks=5848763  nbValidityChecks=3413035  nbPropagations=3347137  nbRevisions=20591700
423.47	     nbUselessRevisions=17281358  nbAssignments=31947  nbFailedAssignments=1606  nbBacktracks=20150
423.47	     nbVisitedNodes=35500  nbRestartNogoods=76
423.47	       =>  wckTime=418.434  cpuTime=414.47  mem=85M544
469.08	   
469.08	   search
469.08	     run=17  nbConstraintChecks=12250816  nbValidityChecks=7930518  nbPropagations=4550367  nbRevisions=30309454
469.08	     nbUselessRevisions=25721117  nbAssignments=43199  nbFailedAssignments=2838  nbBacktracks=30003
469.08	     nbVisitedNodes=49634  nbRestartNogoods=79
469.08	       =>  wckTime=464.042  cpuTime=459.66  mem=85M544
507.71	   
507.71	   search
507.71	     run=18  nbConstraintChecks=13246990  nbValidityChecks=8556902  nbPropagations=5913561  nbRevisions=41146824
507.71	     nbUselessRevisions=35112775  nbAssignments=58909  nbFailedAssignments=3621  nbBacktracks=44785
507.71	     nbVisitedNodes=66913  nbRestartNogoods=88
507.71	       =>  wckTime=502.678  cpuTime=497.95  mem=85M544
571.59	   
571.59	   search
571.59	     run=19  nbConstraintChecks=16176381  nbValidityChecks=10683786  nbPropagations=7644643  nbRevisions=54905968
571.59	     nbUselessRevisions=47036839  nbAssignments=83225  nbFailedAssignments=5620  nbBacktracks=66953
571.59	     nbVisitedNodes=96041  nbRestartNogoods=94
571.59	       =>  wckTime=566.554  cpuTime=561.24  mem=85M544
681.80	   
681.80	   search
681.80	     run=20  nbConstraintChecks=25939626  nbValidityChecks=16901974  nbPropagations=10645878  nbRevisions=78730037
681.80	     nbUselessRevisions=67662926  nbAssignments=120133  nbFailedAssignments=9118  nbBacktracks=100206
681.80	     nbVisitedNodes=140805  nbRestartNogoods=106
681.80	       =>  wckTime=676.762  cpuTime=670.43  mem=85M544
865.74	   
865.75	   search
865.75	     run=21  nbConstraintChecks=45431287  nbValidityChecks=32713883  nbPropagations=15983074  nbRevisions=122716729
865.75	     nbUselessRevisions=105987521  nbAssignments=176400  nbFailedAssignments=15454  nbBacktracks=150084
865.75	     nbVisitedNodes=211465  nbRestartNogoods=114
865.75	       =>  wckTime=860.71  cpuTime=852.7  mem=85M544
1087.04	   
1087.04	   search
1087.04	     run=22  nbConstraintChecks=60755718  nbValidityChecks=41941644  nbPropagations=23488979  nbRevisions=183889204
1087.04	     nbUselessRevisions=159168563  nbAssignments=257382  nbFailedAssignments=21450  nbBacktracks=224913
1087.04	     nbVisitedNodes=305372  nbRestartNogoods=122
1087.04	       =>  wckTime=1082.003  cpuTime=1071.95  mem=85M544
1462.68	   
1462.68	   search
1462.68	     run=23  nbConstraintChecks=107115265  nbValidityChecks=63584001  nbPropagations=38700111  nbRevisions=298149081
1462.68	     nbUselessRevisions=257282216  nbAssignments=382206  nbFailedAssignments=33953  nbBacktracks=337168
1462.68	     nbVisitedNodes=454917  nbRestartNogoods=134
1462.68	       =>  wckTime=1457.649  cpuTime=1444.16  mem=85M544

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/node3/watcher-210854-1168075360 -o ROOT/results/node3/solver-210854-1168075360 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210854-1168075360/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.93 1.86 1.84 4/93 29912
/proc/meminfo: memFree=1175216/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=9748 CPUtime=0
/proc/29911/stat : 29911 (java) D 29909 29911 29270 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 155931965 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10924836 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/29911/statm: 2437 412 333 14 0 1140 0

[startup+0.104802 s]
/proc/loadavg: 1.93 1.86 1.84 4/93 29912
/proc/meminfo: memFree=1175216/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=907808 CPUtime=0.06
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 2509 0 1 0 5 1 0 0 17 0 4 0 155931965 929595392 2256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155071163 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 226952 2256 1233 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.51387 s]
/proc/loadavg: 1.93 1.86 1.84 4/93 29912
/proc/meminfo: memFree=1175216/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915328 CPUtime=0.46
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 6327 0 1 0 42 4 0 0 18 0 8 0 155931965 937295872 6066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228832 6066 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328

[startup+1.335 s]
/proc/loadavg: 1.93 1.87 1.84 3/100 29919
/proc/meminfo: memFree=1112632/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915616 CPUtime=1.27
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 17996 0 1 0 118 9 0 0 24 0 8 0 155931965 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228904 17734 2158 14 0 215374 0
[pid=29911/tid=29913] ppid=29909 vsize=915616 CPUtime=0.05
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 1453 0 0 0 5 0 0 0 17 0 8 0 155931969 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915616 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915616 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155931970 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915616 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915616 CPUtime=0.16
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 413 0 0 0 16 0 0 0 16 0 8 0 155931976 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915616 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915616 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937590784 17734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915616

[startup+2.97227 s]
/proc/loadavg: 1.93 1.87 1.84 3/100 29919
/proc/meminfo: memFree=1100024/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915620 CPUtime=2.9
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 21156 0 1 0 225 65 0 0 25 0 8 0 155931965 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228905 20891 2178 14 0 215375 0
[pid=29911/tid=29913] ppid=29909 vsize=915620 CPUtime=0.17
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 4527 0 0 0 16 1 0 0 16 0 8 0 155931969 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915620 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915620 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155931970 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915620 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915620 CPUtime=0.2
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 435 0 0 0 20 0 0 0 15 0 8 0 155931976 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915620 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915620 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937594880 20891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915620

[startup+6.2738 s]
/proc/loadavg: 1.93 1.87 1.84 3/100 29919
/proc/meminfo: memFree=1060920/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=6.17
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31290 0 1 0 502 115 0 0 25 0 8 0 155931965 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074189438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 30996 2527 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 17 0 8 0 155931969 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.35
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 531 0 0 0 34 1 0 0 15 0 8 0 155931976 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 30996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915872

[startup+12.7539 s]
/proc/loadavg: 1.94 1.87 1.84 3/100 29919
/proc/meminfo: memFree=1060984/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=12.59
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31296 0 1 0 1144 115 0 0 25 0 8 0 155931965 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 31000 2528 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.36
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 534 0 0 0 35 1 0 0 15 0 8 0 155931976 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915872

[startup+25.6289 s]
/proc/loadavg: 1.95 1.87 1.85 3/100 29919
/proc/meminfo: memFree=1061112/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=25.34
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31309 0 1 0 2419 115 0 0 25 0 8 0 155931965 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074221038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 31009 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.37
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 542 0 0 0 36 1 0 0 15 0 8 0 155931976 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915872

[startup+51.2561 s]
/proc/loadavg: 1.97 1.89 1.85 3/100 29919
/proc/meminfo: memFree=1061112/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=50.73
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31321 0 1 0 4958 115 0 0 25 0 8 0 155931965 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074189402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 31017 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.4
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 552 0 0 0 38 2 0 0 16 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915872

[startup+102.507 s]
/proc/loadavg: 1.98 1.90 1.85 3/100 29919
/proc/meminfo: memFree=1061112/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=101.51
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31321 0 1 0 10035 116 0 0 25 0 8 0 155931965 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074204370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 31017 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.4
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 552 0 0 0 38 2 0 0 16 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915872

[startup+162.512 s]
/proc/loadavg: 1.99 1.92 1.86 3/100 29919
/proc/meminfo: memFree=1033592/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=160.96
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31324 0 1 0 15980 116 0 0 25 0 8 0 155931965 937852928 31018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074180663 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1410.19
Current children cumulated vsize (KiB) 915872

[startup+1483.32 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 29919
/proc/meminfo: memFree=1024696/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1469.65
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 146836 129 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.65
Current children cumulated vsize (KiB) 915872

[startup+1543.42 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 29919
/proc/meminfo: memFree=1024696/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1529.19
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 152790 129 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074205953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.19
Current children cumulated vsize (KiB) 915872

[startup+1603.47 s]
/proc/loadavg: 1.97 1.98 1.93 3/100 29977
/proc/meminfo: memFree=1146040/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1589.18
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 158787 131 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073896294 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.18
Current children cumulated vsize (KiB) 915872

[startup+1663.52 s]
/proc/loadavg: 1.99 1.98 1.93 3/100 29977
/proc/meminfo: memFree=1146040/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1649.17
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 164786 131 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074204368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.17
Current children cumulated vsize (KiB) 915872

[startup+1723.57 s]
/proc/loadavg: 2.05 2.00 1.93 3/100 29977
/proc/meminfo: memFree=1146040/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1709.13
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 170782 131 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074201870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.13
Current children cumulated vsize (KiB) 915872

[startup+1783.62 s]
/proc/loadavg: 2.02 2.00 1.93 3/100 29977
/proc/meminfo: memFree=1146040/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1769.13
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 176782 131 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073898700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.13
Current children cumulated vsize (KiB) 915872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.57 s]
/proc/loadavg: 2.01 2.00 1.93 3/100 29977
/proc/meminfo: memFree=1145976/2055920 swapFree=4192812/4192956
[pid=29911] ppid=29909 vsize=915872 CPUtime=1800.04
/proc/29911/stat : 29911 (java) R 29909 29911 29270 0 -1 0 31336 0 1 0 179873 131 0 0 25 0 8 0 155931965 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074205947 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29911/statm: 228968 31025 2530 14 0 215438 0
[pid=29911/tid=29913] ppid=29909 vsize=915872 CPUtime=0.62
/proc/29911/task/29913/stat : 29913 (java) S 29909 29911 29270 0 -1 64 14134 0 0 0 57 5 0 0 16 0 8 0 155931969 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29914] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29914/stat : 29914 (java) S 29909 29911 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29915] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29915/stat : 29915 (java) S 29909 29911 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155931970 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29916] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29916/stat : 29916 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29917] ppid=29909 vsize=915872 CPUtime=0.42
/proc/29911/task/29917/stat : 29917 (java) S 29909 29911 29270 0 -1 64 562 0 0 0 40 2 0 0 16 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29911/tid=29918] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29918/stat : 29918 (java) S 29909 29911 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29911/tid=29919] ppid=29909 vsize=915872 CPUtime=0
/proc/29911/task/29919/stat : 29919 (java) S 29909 29911 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155931976 937852928 31025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915872

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

Child status: 143
Real time (s): 1814.62
CPU time (s): 1800.09
CPU user time (s): 1798.75
CPU system time (s): 1.3368
CPU usage (%): 99.1996
Max. virtual memory (cumulated for all children) (KiB): 915976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.3368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31352
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= 38505
involuntary context switches= 82707

runsolver used 2.27865 s user time and 5.76312 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Sat Jan  6 09:22:42 UTC 2007


IDJOB= 210854
IDBENCH= 4651
FILE ID= node3/210854-1168075360

PBS_JOBID= 3475775

Free space on /tmp= 66539 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/dlx1c-rwmem-ucl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210854-1168075360/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-210854-1168075360 -o ROOT/results/node3/solver-210854-1168075360 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210854-1168075360/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  22daa319f1eb305ed7168e131aeab63f

RANDOM SEED= 870489059

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:       1175760 kB
Buffers:         65556 kB
Cached:         513124 kB
SwapCached:          0 kB
Active:         279632 kB
Inactive:       505320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1175760 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5520 kB
Writeback:           0 kB
Mapped:         235320 kB
Slab:            79936 kB
Committed_AS:  4550088 kB
PageTables:       2392 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= 66539 MiB



End job on node3 on Sat Jan  6 09:52:58 UTC 2007