Trace number 196027

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 1808.8

General information on the benchmark

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

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=mac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/196027-1168070350/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.43	       =>  wckTime=0.098  cpuTime=0.1  mem=6M951
0.43	   
0.43	   relations being loaded...
1.07	   
1.07	   constraints being loaded...
1.34	     nbConstraints=74  nbRelationTypes=74  nbExtensionStructures=74  nbSharedExtensionStructures=0
1.34	     nbConflictsStructures=74  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=17  maxArity=3
1.34	       =>  wckTime=1.016  cpuTime=0.89  mem=47M628
1.46	   
1.46	   solver IterativeSystematicSolver being built... 
1.63	       =>  wckTime=1.302  cpuTime=1.03  mem=34M432
1.64	   
1.64	   preprocessing
1.64	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.64	     detectedInconsistency=no
1.64	       =>  wckTime=0.0030  cpuTime=0.0  mem=34M432
1.75	   
1.75	   search
1.75	     run=0  nbConstraintChecks=27007  nbValidityChecks=48172  nbPropagations=308  nbRevisions=3178
1.75	     nbUselessRevisions=2512  nbAssignments=30  nbFailedAssignments=13  nbBacktracks=10  nbVisitedNodes=50
1.75	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.75	       =>  wckTime=0.113  cpuTime=0.08  mem=34M432
1.82	   
1.82	   search
1.82	     run=1  nbConstraintChecks=64266  nbValidityChecks=123554  nbPropagations=1079  nbRevisions=11336
1.82	     nbUselessRevisions=9000  nbAssignments=68  nbFailedAssignments=31  nbBacktracks=25  nbVisitedNodes=117
1.82	     nbRestartNogoods=3  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.82	       =>  wckTime=0.183  cpuTime=0.14  mem=34M432
1.94	   
1.94	   search
1.94	     run=2  nbConstraintChecks=130474  nbValidityChecks=253874  nbPropagations=2531  nbRevisions=27463
1.94	     nbUselessRevisions=21761  nbAssignments=129  nbFailedAssignments=63  nbBacktracks=47  nbVisitedNodes=225
1.94	     nbRestartNogoods=5  mapSize=43  nbInferences=0  nbTooLargeKeys=0
1.94	       =>  wckTime=0.303  cpuTime=0.25  mem=34M432
2.12	   
2.12	   search
2.12	     run=3  nbConstraintChecks=255444  nbValidityChecks=499079  nbPropagations=5214  nbRevisions=59614
2.12	     nbUselessRevisions=47443  nbAssignments=235  nbFailedAssignments=130  nbBacktracks=82  nbVisitedNodes=425
2.12	     nbRestartNogoods=10  mapSize=74  nbInferences=0  nbTooLargeKeys=0
2.12	       =>  wckTime=0.487  cpuTime=0.43  mem=34M432
2.30	   
2.30	   search
2.30	     run=4  nbConstraintChecks=374310  nbValidityChecks=731822  nbPropagations=9228  nbRevisions=107219
2.30	     nbUselessRevisions=85128  nbAssignments=347  nbFailedAssignments=188  nbBacktracks=132  nbVisitedNodes=625
2.30	     nbRestartNogoods=11  mapSize=117  nbInferences=0  nbTooLargeKeys=0
2.30	       =>  wckTime=0.668  cpuTime=0.61  mem=34M432
2.61	   
2.61	   search
2.61	     run=5  nbConstraintChecks=579136  nbValidityChecks=1136319  nbPropagations=15428  nbRevisions=180294
2.61	     nbUselessRevisions=143046  nbAssignments=523  nbFailedAssignments=284  nbBacktracks=207  nbVisitedNodes=947
2.61	     nbRestartNogoods=14  mapSize=183  nbInferences=0  nbTooLargeKeys=0
2.61	       =>  wckTime=0.975  cpuTime=0.91  mem=34M432
3.08	   
3.08	   search
3.08	     run=6  nbConstraintChecks=903874  nbValidityChecks=1784021  nbPropagations=25226  nbRevisions=296406
3.08	     nbUselessRevisions=234490  nbAssignments=851  nbFailedAssignments=493  nbBacktracks=320  nbVisitedNodes=1559
3.08	     nbRestartNogoods=21  mapSize=281  nbInferences=0  nbTooLargeKeys=0
3.08	       =>  wckTime=1.45  cpuTime=1.38  mem=34M432
3.89	   
3.89	   search
3.89	     run=7  nbConstraintChecks=1453995  nbValidityChecks=2905711  nbPropagations=41272  nbRevisions=487037
3.89	     nbUselessRevisions=384767  nbAssignments=1373  nbFailedAssignments=839  nbBacktracks=491  nbVisitedNodes=2556
3.89	     nbRestartNogoods=25  mapSize=444  nbInferences=0  nbTooLargeKeys=0
3.89	       =>  wckTime=2.256  cpuTime=2.18  mem=34M432
4.83	   
4.83	   search
4.83	     run=8  nbConstraintChecks=2090042  nbValidityChecks=4193568  nbPropagations=64850  nbRevisions=765794
4.83	     nbUselessRevisions=603054  nbAssignments=2056  nbFailedAssignments=1259  nbBacktracks=748  nbVisitedNodes=3810
4.83	     nbRestartNogoods=34  mapSize=680  nbInferences=0  nbTooLargeKeys=0
4.83	       =>  wckTime=3.194  cpuTime=3.09  mem=34M432
6.49	   
6.49	   search
6.49	     run=9  nbConstraintChecks=3265457  nbValidityChecks=6584377  nbPropagations=101782  nbRevisions=1200601
6.49	     nbUselessRevisions=943887  nbAssignments=3170  nbFailedAssignments=1982  nbBacktracks=1135  nbVisitedNodes=5920
6.49	     nbRestartNogoods=41  mapSize=1027  nbInferences=0  nbTooLargeKeys=0
6.49	       =>  wckTime=4.854  cpuTime=4.74  mem=34M432
6.55	   
6.55	   INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=34M432)
8.97	   
8.97	   search
8.97	     run=10  nbConstraintChecks=5076400  nbValidityChecks=10063322  nbPropagations=156680  nbRevisions=1856744
8.97	     nbUselessRevisions=1457603  nbAssignments=4672  nbFailedAssignments=2903  nbBacktracks=1711  nbVisitedNodes=8723
8.97	     nbRestartNogoods=52
8.97	       =>  wckTime=7.334  cpuTime=7.2  mem=34M432
12.42	   
12.42	   search
12.42	     run=11  nbConstraintChecks=7537367  nbValidityChecks=15072652  nbPropagations=239246  nbRevisions=2845406
12.42	     nbUselessRevisions=2229165  nbAssignments=7254  nbFailedAssignments=4614  nbBacktracks=2576  nbVisitedNodes=13571
12.42	     nbRestartNogoods=62
12.42	       =>  wckTime=10.792  cpuTime=10.64  mem=34M432
17.85	   
17.85	   search
17.85	     run=12  nbConstraintChecks=11449115  nbValidityChecks=22864194  nbPropagations=365591  nbRevisions=4359371
17.85	     nbUselessRevisions=3414126  nbAssignments=11080  nbFailedAssignments=7136  nbBacktracks=3875  nbVisitedNodes=20848
17.85	     nbRestartNogoods=71
17.85	       =>  wckTime=16.217  cpuTime=16.04  mem=34M432
25.35	   
25.35	   search
25.35	     run=13  nbConstraintChecks=16853186  nbValidityChecks=33511192  nbPropagations=549172  nbRevisions=6567804
25.35	     nbUselessRevisions=5141571  nbAssignments=16052  nbFailedAssignments=10158  nbBacktracks=5821  nbVisitedNodes=30022
25.35	     nbRestartNogoods=87
25.35	       =>  wckTime=23.716  cpuTime=23.5  mem=34M432
39.04	   
39.04	   search
39.04	     run=14  nbConstraintChecks=26904900  nbValidityChecks=52996745  nbPropagations=832373  nbRevisions=9986683
39.04	     nbUselessRevisions=7822666  nbAssignments=24247  nbFailedAssignments=15430  nbBacktracks=8740  nbVisitedNodes=45609
39.04	     nbRestartNogoods=102
39.04	       =>  wckTime=37.405  cpuTime=37.11  mem=34M432
56.28	   
56.28	   search
56.28	     run=15  nbConstraintChecks=39195951  nbValidityChecks=77268704  nbPropagations=1238748  nbRevisions=14934845
56.28	     nbUselessRevisions=11705540  nbAssignments=34811  nbFailedAssignments=21608  nbBacktracks=13118
56.28	     nbVisitedNodes=65147  nbRestartNogoods=114
56.28	       =>  wckTime=54.65  cpuTime=54.28  mem=34M432
87.44	   
87.44	   search
87.44	     run=16  nbConstraintChecks=61452842  nbValidityChecks=121952062  nbPropagations=1880352  nbRevisions=22655096
87.44	     nbUselessRevisions=17756605  nbAssignments=54590  nbFailedAssignments=34815  nbBacktracks=19687
87.44	     nbVisitedNodes=103012  nbRestartNogoods=130
87.44	       =>  wckTime=85.811  cpuTime=85.29  mem=34M432
126.03	   
126.03	   search
126.03	     run=17  nbConstraintChecks=89293092  nbValidityChecks=176563381  nbPropagations=2801682  nbRevisions=33896502
126.03	     nbUselessRevisions=26584528  nbAssignments=78772  nbFailedAssignments=49139  nbBacktracks=29541
126.03	     nbVisitedNodes=147828  nbRestartNogoods=145
126.03	       =>  wckTime=124.397  cpuTime=123.62  mem=34M432
183.52	   
183.52	   search
183.52	     run=18  nbConstraintChecks=129814888  nbValidityChecks=257768395  nbPropagations=4185919  nbRevisions=50524051
183.52	     nbUselessRevisions=39612634  nbAssignments=118013  nbFailedAssignments=73596  nbBacktracks=44319
183.52	     nbVisitedNodes=221071  nbRestartNogoods=162
183.52	       =>  wckTime=181.887  cpuTime=180.75  mem=34M432
290.30	   
290.30	   search
290.30	     run=19  nbConstraintChecks=206556566  nbValidityChecks=409766836  nbPropagations=6336292  nbRevisions=76583663
290.30	     nbUselessRevisions=60078211  nbAssignments=180389  nbFailedAssignments=113798  nbBacktracks=66488
290.30	     nbVisitedNodes=339437  nbRestartNogoods=177
290.30	       =>  wckTime=288.67  cpuTime=287.0  mem=34M432
417.00	   
417.00	   search
417.00	     run=20  nbConstraintChecks=296324029  nbValidityChecks=591825916  nbPropagations=9496683  nbRevisions=114886269
417.00	     nbUselessRevisions=90105177  nbAssignments=271412  nbFailedAssignments=171566  nbBacktracks=99740
417.00	     nbVisitedNodes=509368  nbRestartNogoods=220
417.01	       =>  wckTime=415.372  cpuTime=413.11  mem=34M432
635.03	   
635.03	   search
635.03	     run=21  nbConstraintChecks=452308682  nbValidityChecks=903539920  nbPropagations=14335888  nbRevisions=173105626
635.03	     nbUselessRevisions=135826974  nbAssignments=409734  nbFailedAssignments=260004  nbBacktracks=149619
635.03	     nbVisitedNodes=771959  nbRestartNogoods=252
635.03	       =>  wckTime=633.395  cpuTime=630.11  mem=34M432
965.25	   
965.25	   search
965.25	     run=22  nbConstraintChecks=689221990  nbValidityChecks=1373070871  nbPropagations=21574049  nbRevisions=260771540
965.25	     nbUselessRevisions=204674686  nbAssignments=615526  nbFailedAssignments=390974  nbBacktracks=224437
965.25	     nbVisitedNodes=1159291  nbRestartNogoods=269
965.25	       =>  wckTime=963.62  cpuTime=958.81  mem=35M420
1508.53	   
1508.53	   search
1508.53	     run=23  nbConstraintChecks=1080359969  nbValidityChecks=2140362140  nbPropagations=32557775  nbRevisions=394903058
1508.53	     nbUselessRevisions=310134551  nbAssignments=929160  nbFailedAssignments=592377  nbBacktracks=336664
1508.53	     nbVisitedNodes=1753632  nbRestartNogoods=299
1508.53	       =>  wckTime=1506.897  cpuTime=1499.54  mem=35M420

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/node52/watcher-196027-1168070350 -o ROOT/results/node52/solver-196027-1168070350 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196027-1168070350/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.84 1.97 1.82 4/80 27368
/proc/meminfo: memFree=1491936/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=18540 CPUtime=0
/proc/27367/stat : 27367 (runsolver) R 27365 27367 27148 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155433508 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273653755175 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/27367/statm: 4635 279 244 17 0 2626 0

[startup+0.10834 s]
/proc/loadavg: 1.84 1.97 1.82 4/80 27368
/proc/meminfo: memFree=1491936/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=914988 CPUtime=0.08
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 2954 0 1 0 7 1 0 0 19 0 8 0 155433508 936947712 2700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153551194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228747 2700 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516368 s]
/proc/loadavg: 1.84 1.97 1.82 4/80 27368
/proc/meminfo: memFree=1491936/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915328 CPUtime=0.48
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 7400 0 1 0 45 3 0 0 21 0 8 0 155433508 937295872 7139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228832 7139 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.34043 s]
/proc/loadavg: 1.84 1.97 1.82 4/87 27375
/proc/meminfo: memFree=1351784/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915328 CPUtime=1.29
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 19120 0 1 0 121 8 0 0 25 0 8 0 155433508 937295872 18858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770741 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228832 18858 2160 14 0 215302 0
[pid=27367/tid=27369] ppid=27365 vsize=915328 CPUtime=0.04
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 2657 0 0 0 4 0 0 0 17 0 8 0 155433513 937295872 18858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915328 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937295872 18858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915328 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155433513 937295872 18858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915328 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937295872 18858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915328 CPUtime=0.1
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 155433517 937295872 18858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915328 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937295872 18858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915328 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) R 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937295872 18858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328

[startup+2.99154 s]
/proc/loadavg: 1.84 1.97 1.82 3/87 27375
/proc/meminfo: memFree=1320232/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=2.93
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23393 0 1 0 282 11 0 0 25 0 8 0 155433508 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228854 23128 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 17 0 8 0 155433513 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.21
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 372 0 0 0 20 1 0 0 15 0 8 0 155433517 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915416

[startup+6.27075 s]
/proc/loadavg: 1.85 1.97 1.82 3/87 27375
/proc/meminfo: memFree=1320176/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=6.2
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23408 0 1 0 609 11 0 0 25 0 8 0 155433508 937385984 23141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228854 23141 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155433513 937385984 23141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.23
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 386 0 0 0 22 1 0 0 15 0 8 0 155433517 937385984 23141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23141 18446744073709551615 134512640 134570532 4294956480 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.7662 s]
/proc/loadavg: 1.86 1.97 1.82 3/87 27375
/proc/meminfo: memFree=1320184/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=12.67
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23413 0 1 0 1255 12 0 0 25 0 8 0 155433508 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228854 23145 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.24
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915416

[startup+25.622 s]
/proc/loadavg: 1.89 1.97 1.82 3/87 27375
/proc/meminfo: memFree=1320320/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=25.46
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23413 0 1 0 2534 12 0 0 25 0 8 0 155433508 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228854 23145 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.24
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915416

[startup+51.2507 s]
/proc/loadavg: 1.93 1.97 1.82 3/87 27375
/proc/meminfo: memFree=1320320/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=50.96
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23414 0 1 0 5084 12 0 0 25 0 8 0 155433508 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228854 23145 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.25
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915416

[startup+102.5 s]
/proc/loadavg: 1.97 1.97 1.83 3/87 27375
/proc/meminfo: memFree=1320448/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=101.97
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23414 0 1 0 10185 12 0 0 25 0 8 0 155433508 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228854 23145 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.25
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 915416

[startup+162.524 s]
/proc/loadavg: 2.03 1.99 1.84 3/93 27519
/proc/meminfo: memFree=1319112/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=161.57
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23414 0 1 0 16145 12 0 0 25 0 8 0 155433508 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1482.8 s]
/proc/loadavg: 2.01 2.01 1.91 3/87 27575
/proc/meminfo: memFree=1319936/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=1475.61
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23414 0 1 0 147549 12 0 0 25 0 8 0 155433508 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228854 23145 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.25
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.61
Current children cumulated vsize (KiB) 915416

[startup+1542.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 27575
/proc/meminfo: memFree=1319936/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=1535.33
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23414 0 1 0 153521 12 0 0 25 0 8 0 155433508 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228854 23145 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.25
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.33
Current children cumulated vsize (KiB) 915416

[startup+1602.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 27575
/proc/meminfo: memFree=1319936/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=1595.06
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23414 0 1 0 159494 12 0 0 25 0 8 0 155433508 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228854 23145 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.25
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.06
Current children cumulated vsize (KiB) 915416

[startup+1662.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 27575
/proc/meminfo: memFree=1319936/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=1654.79
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23414 0 1 0 165466 13 0 0 25 0 8 0 155433508 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228854 23145 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.25
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.79
Current children cumulated vsize (KiB) 915416

[startup+1722.81 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 27575
/proc/meminfo: memFree=1319872/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=1714.51
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23414 0 1 0 171438 13 0 0 25 0 8 0 155433508 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228854 23145 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.25
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.51
Current children cumulated vsize (KiB) 915416

[startup+1782.81 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 27575
/proc/meminfo: memFree=1319872/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=1774.23
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23414 0 1 0 177410 13 0 0 25 0 8 0 155433508 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27367/statm: 228854 23145 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.25
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.23
Current children cumulated vsize (KiB) 915416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.74 s]
/proc/loadavg: 2.00 2.00 1.91 2/75 27588
/proc/meminfo: memFree=1407328/2055920 swapFree=4192812/4192956
[pid=27367] ppid=27365 vsize=915416 CPUtime=1800.03
/proc/27367/stat : 27367 (java) R 27365 27367 27148 0 -1 0 23414 0 1 0 179990 13 0 0 25 0 8 0 155433508 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27367/statm: 228854 23145 2521 14 0 215324 0
[pid=27367/tid=27369] ppid=27365 vsize=915416 CPUtime=0.16
/proc/27367/task/27369/stat : 27369 (java) S 27365 27367 27148 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27370] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27370/stat : 27370 (java) S 27365 27367 27148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27371] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27371/stat : 27371 (java) S 27365 27367 27148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155433513 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27372] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27372/stat : 27372 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27373] ppid=27365 vsize=915416 CPUtime=0.25
/proc/27367/task/27373/stat : 27373 (java) S 27365 27367 27148 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27374] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27374/stat : 27374 (java) S 27365 27367 27148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27367/tid=27375] ppid=27365 vsize=915416 CPUtime=0
/proc/27367/task/27375/stat : 27375 (java) S 27365 27367 27148 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155433517 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915416

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

Child status: 143
Real time (s): 1808.8
CPU time (s): 1800.09
CPU user time (s): 1799.94
CPU system time (s): 0.150977
CPU usage (%): 99.5188
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23430
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= 37687
involuntary context switches= 58615

runsolver used 2.00969 s user time and 6.00809 s system time

The end

Launcher Data (download as text)

Begin job on node52 on Sat Jan  6 07:59:10 UTC 2007


IDJOB= 196027
IDBENCH= 3320
FILE ID= node52/196027-1168070350

PBS_JOBID= 3475910

Free space on /tmp= 66545 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  07199477a79e145417342f0a5ca13a8b

RANDOM SEED= 365648239

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.232
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.232
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:       1492608 kB
Buffers:         35528 kB
Cached:         424696 kB
SwapCached:          0 kB
Active:          60880 kB
Inactive:       425396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1492608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9008 kB
Writeback:           0 kB
Mapped:          42420 kB
Slab:            62376 kB
Committed_AS:  3927744 kB
PageTables:       1896 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= 66549 MiB



End job on node52 on Sat Jan  6 08:29:20 UTC 2007