Trace number 196131

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.05 1809.09

General information on the benchmark

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

Solver Data (download as text)

0.69	   
0.69	Abscon 109 (November, 2006)
0.69	   
0.69	   configuration
0.69	     name=mac.xml
0.73	   
0.73	   instance
0.73	     name=/tmp/evaluation/196131-1168070443/unknown.xml
0.76	   
0.76	   domains being loaded...
0.77	   
0.77	   variables being loaded...
0.80	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.80	       =>  wckTime=0.112  cpuTime=0.08  mem=6M951
0.80	   
0.80	   relations being loaded...
1.46	   
1.47	   constraints being loaded...
1.74	     nbConstraints=76  nbRelationTypes=76  nbExtensionStructures=76  nbSharedExtensionStructures=0
1.74	     nbConflictsStructures=76  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
1.74	       =>  wckTime=1.055  cpuTime=0.9  mem=50M819
1.87	   
1.87	   solver IterativeSystematicSolver being built... 
2.04	       =>  wckTime=1.348  cpuTime=1.04  mem=34M592
2.04	   
2.04	   preprocessing
2.04	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.04	     detectedInconsistency=no
2.04	       =>  wckTime=0.0030  cpuTime=0.0  mem=34M592
2.16	   
2.16	   search
2.16	     run=0  nbConstraintChecks=28122  nbValidityChecks=50096  nbPropagations=356  nbRevisions=3955
2.16	     nbUselessRevisions=3206  nbAssignments=29  nbFailedAssignments=13  nbBacktracks=10  nbVisitedNodes=49
2.16	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
2.16	       =>  wckTime=0.116  cpuTime=0.07  mem=35M583
2.25	   
2.25	   search
2.25	     run=1  nbConstraintChecks=82953  nbValidityChecks=153422  nbPropagations=1261  nbRevisions=14802
2.25	     nbUselessRevisions=11997  nbAssignments=79  nbFailedAssignments=41  nbBacktracks=25  nbVisitedNodes=137
2.25	     nbRestartNogoods=2  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.25	       =>  wckTime=0.21  cpuTime=0.16  mem=35M583
2.35	   
2.35	   search
2.35	     run=2  nbConstraintChecks=135502  nbValidityChecks=255632  nbPropagations=2724  nbRevisions=32643
2.35	     nbUselessRevisions=26426  nbAssignments=137  nbFailedAssignments=69  nbBacktracks=48  nbVisitedNodes=235
2.35	     nbRestartNogoods=5  mapSize=42  nbInferences=0  nbTooLargeKeys=0
2.35	       =>  wckTime=0.312  cpuTime=0.25  mem=35M583
2.54	   
2.54	   search
2.54	     run=3  nbConstraintChecks=260972  nbValidityChecks=516339  nbPropagations=5471  nbRevisions=67104
2.54	     nbUselessRevisions=54183  nbAssignments=256  nbFailedAssignments=149  nbBacktracks=82  nbVisitedNodes=462
2.55	     nbRestartNogoods=8  mapSize=75  nbInferences=0  nbTooLargeKeys=0
2.55	       =>  wckTime=0.505  cpuTime=0.44  mem=35M583
2.70	   
2.70	   search
2.70	     run=4  nbConstraintChecks=363172  nbValidityChecks=715762  nbPropagations=9492  nbRevisions=117244
2.70	     nbUselessRevisions=94356  nbAssignments=369  nbFailedAssignments=204  nbBacktracks=135  nbVisitedNodes=664
2.70	     nbRestartNogoods=11  mapSize=121  nbInferences=0  nbTooLargeKeys=0
2.70	       =>  wckTime=0.659  cpuTime=0.59  mem=35M583
2.97	   
2.97	   search
2.97	     run=5  nbConstraintChecks=546529  nbValidityChecks=1072324  nbPropagations=15568  nbRevisions=192132
2.97	     nbUselessRevisions=154459  nbAssignments=535  nbFailedAssignments=286  nbBacktracks=210  nbVisitedNodes=961
2.97	     nbRestartNogoods=13  mapSize=187  nbInferences=0  nbTooLargeKeys=0
2.97	       =>  wckTime=0.934  cpuTime=0.86  mem=35M583
3.39	   
3.39	   search
3.39	     run=6  nbConstraintChecks=836467  nbValidityChecks=1646484  nbPropagations=24830  nbRevisions=310451
3.39	     nbUselessRevisions=249641  nbAssignments=832  nbFailedAssignments=463  nbBacktracks=323  nbVisitedNodes=1519
3.39	     nbRestartNogoods=21  mapSize=290  nbInferences=0  nbTooLargeKeys=0
3.39	       =>  wckTime=1.354  cpuTime=1.28  mem=35M583
3.89	   
3.89	   search
3.89	     run=7  nbConstraintChecks=1172672  nbValidityChecks=2316053  nbPropagations=38208  nbRevisions=479717
3.89	     nbUselessRevisions=385355  nbAssignments=1224  nbFailedAssignments=678  nbBacktracks=494  nbVisitedNodes=2220
3.89	     nbRestartNogoods=35  mapSize=438  nbInferences=0  nbTooLargeKeys=0
3.89	       =>  wckTime=1.85  cpuTime=1.76  mem=35M583
4.85	   
4.85	   search
4.85	     run=8  nbConstraintChecks=1813741  nbValidityChecks=3617228  nbPropagations=58886  nbRevisions=737538
4.85	     nbUselessRevisions=591462  nbAssignments=1866  nbFailedAssignments=1056  nbBacktracks=752  nbVisitedNodes=3420
4.85	     nbRestartNogoods=41  mapSize=669  nbInferences=0  nbTooLargeKeys=0
4.85	       =>  wckTime=2.812  cpuTime=2.7  mem=35M583
5.93	   
5.93	   search
5.93	     run=9  nbConstraintChecks=2578487  nbValidityChecks=5128628  nbPropagations=88973  nbRevisions=1111737
5.93	     nbUselessRevisions=890127  nbAssignments=2702  nbFailedAssignments=1500  nbBacktracks=1136  nbVisitedNodes=4932
5.93	     nbRestartNogoods=46  mapSize=1015  nbInferences=0  nbTooLargeKeys=0
5.93	       =>  wckTime=3.892  cpuTime=3.76  mem=35M583
6.00	   
6.00	   INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=35M583)
8.71	   
8.71	   search
8.71	     run=10  nbConstraintChecks=4540073  nbValidityChecks=9129916  nbPropagations=138233  nbRevisions=1737701
8.71	     nbUselessRevisions=1390077  nbAssignments=4470  nbFailedAssignments=2685  nbBacktracks=1712  nbVisitedNodes=8317
8.71	     nbRestartNogoods=54
8.71	       =>  wckTime=6.666  cpuTime=6.52  mem=35M583
11.02	   
11.02	   search
11.02	     run=11  nbConstraintChecks=6215605  nbValidityChecks=12544884  nbPropagations=210315  nbRevisions=2647693
11.02	     nbUselessRevisions=2115659  nbAssignments=6625  nbFailedAssignments=3971  nbBacktracks=2576  nbVisitedNodes=12278
11.02	     nbRestartNogoods=66
11.02	       =>  wckTime=8.98  cpuTime=8.82  mem=35M583
15.74	   
15.74	   search
15.74	     run=12  nbConstraintChecks=9594366  nbValidityChecks=19413893  nbPropagations=321929  nbRevisions=4050209
15.74	     nbUselessRevisions=3234647  nbAssignments=9942  nbFailedAssignments=5983  nbBacktracks=3873  nbVisitedNodes=18520
15.74	     nbRestartNogoods=75
15.74	       =>  wckTime=13.697  cpuTime=13.51  mem=35M583
21.66	   
21.66	   search
21.66	     run=13  nbConstraintChecks=13939435  nbValidityChecks=27914403  nbPropagations=484352  nbRevisions=6085976
21.66	     nbUselessRevisions=4856917  nbAssignments=14642  nbFailedAssignments=8729  nbBacktracks=5819  nbVisitedNodes=27208
21.66	     nbRestartNogoods=82
21.66	       =>  wckTime=19.619  cpuTime=19.34  mem=35M583
31.18	   
31.18	   search
31.18	     run=14  nbConstraintChecks=20792130  nbValidityChecks=41667480  nbPropagations=723921  nbRevisions=9127108
31.18	     nbUselessRevisions=7289462  nbAssignments=21343  nbFailedAssignments=12505  nbBacktracks=8739  nbVisitedNodes=39637
31.18	     nbRestartNogoods=100
31.18	       =>  wckTime=29.138  cpuTime=28.81  mem=35M583
43.56	   
43.56	   search
43.56	     run=15  nbConstraintChecks=29761064  nbValidityChecks=59720586  nbPropagations=1079505  nbRevisions=13589941
43.56	     nbUselessRevisions=10851367  nbAssignments=31397  nbFailedAssignments=18172  nbBacktracks=13118
43.56	     nbVisitedNodes=58229  nbRestartNogoods=104
43.56	       =>  wckTime=41.519  cpuTime=41.1  mem=35M583
68.63	   
68.63	   search
68.63	     run=16  nbConstraintChecks=47310004  nbValidityChecks=94915114  nbPropagations=1635254  nbRevisions=20378148
68.63	     nbUselessRevisions=16226268  nbAssignments=48618  nbFailedAssignments=28820  nbBacktracks=19686
68.63	     nbVisitedNodes=90565  nbRestartNogoods=111
68.63	       =>  wckTime=66.592  cpuTime=66.02  mem=35M583
100.43	   
100.43	   search
100.43	     run=17  nbConstraintChecks=70939453  nbValidityChecks=140508156  nbPropagations=2460275  nbRevisions=30493533
100.43	     nbUselessRevisions=24242594  nbAssignments=72353  nbFailedAssignments=42695  nbBacktracks=29540
100.43	     nbVisitedNodes=134482  nbRestartNogoods=128
100.43	       =>  wckTime=98.39  cpuTime=97.64  mem=35M583
155.48	   
155.48	   search
155.48	     run=18  nbConstraintChecks=109893744  nbValidityChecks=220520837  nbPropagations=3719659  nbRevisions=46162547
155.48	     nbUselessRevisions=36694960  nbAssignments=109986  nbFailedAssignments=65544  nbBacktracks=44318
155.48	     nbVisitedNodes=205188  nbRestartNogoods=140
155.48	       =>  wckTime=153.437  cpuTime=152.39  mem=35M583
229.65	   
229.65	   search
229.65	     run=19  nbConstraintChecks=163125216  nbValidityChecks=327813725  nbPropagations=5570406  nbRevisions=68979307
229.65	     nbUselessRevisions=54826841  nbAssignments=162695  nbFailedAssignments=96078  nbBacktracks=66486
229.65	     nbVisitedNodes=302153  nbRestartNogoods=160
229.65	       =>  wckTime=227.615  cpuTime=226.22  mem=35M583
337.27	   
337.27	   search
337.27	     run=20  nbConstraintChecks=241388838  nbValidityChecks=484691829  nbPropagations=8347751  nbRevisions=103173200
337.27	     nbUselessRevisions=81979481  nbAssignments=244682  nbFailedAssignments=144808  nbBacktracks=99738
337.27	     nbVisitedNodes=454127  nbRestartNogoods=183
337.27	       =>  wckTime=335.228  cpuTime=333.33  mem=35M583
513.08	   
513.08	   search
513.08	     run=21  nbConstraintChecks=366436916  nbValidityChecks=741876727  nbPropagations=12559047  nbRevisions=155190662
513.08	     nbUselessRevisions=123309438  nbAssignments=368580  nbFailedAssignments=218821  nbBacktracks=149617
513.08	     nbVisitedNodes=685419  nbRestartNogoods=206
513.08	       =>  wckTime=511.041  cpuTime=508.32  mem=35M583
754.65	   
754.65	   search
754.65	     run=22  nbConstraintChecks=539926979  nbValidityChecks=1090245874  nbPropagations=18790484  nbRevisions=231671394
754.65	     nbUselessRevisions=183951533  nbAssignments=546779  nbFailedAssignments=322193  nbBacktracks=224437
754.65	     nbVisitedNodes=1014798  nbRestartNogoods=227
754.65	       =>  wckTime=752.615  cpuTime=748.76  mem=35M583
1164.31	   
1164.31	   search
1164.31	     run=23  nbConstraintChecks=830992195  nbValidityChecks=1689635086  nbPropagations=28303630  nbRevisions=349617655
1164.31	     nbUselessRevisions=277627311  nbAssignments=828388  nbFailedAssignments=491566  nbBacktracks=336669
1164.31	     nbVisitedNodes=1542607  nbRestartNogoods=242
1164.31	       =>  wckTime=1162.271  cpuTime=1156.49  mem=35M583
1666.75	   
1666.75	   search
1666.75	     run=24  nbConstraintChecks=1192971452  nbValidityChecks=2409333070  nbPropagations=41932822  nbRevisions=517332699
1666.75	     nbUselessRevisions=410820393  nbAssignments=1183099  nbFailedAssignments=677930  nbBacktracks=505011
1666.75	     nbVisitedNodes=2182761  nbRestartNogoods=259
1666.75	       =>  wckTime=1664.709  cpuTime=1656.56  mem=35M583

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/node56/watcher-196131-1168070443 -o ROOT/results/node56/solver-196131-1168070443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196131-1168070443/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: 0.91 0.95 0.98 3/69 3838
/proc/meminfo: memFree=1717968/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=1784 CPUtime=0
/proc/3837/stat : 3837 (java) D 3835 3837 3732 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 155442490 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/3837/statm: 446 136 102 14 0 91 0

[startup+0.105807 s]
/proc/loadavg: 0.91 0.95 0.98 3/69 3838
/proc/meminfo: memFree=1717968/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=9788 CPUtime=0
/proc/3837/stat : 3837 (java) D 3835 3837 3732 0 -1 0 507 0 6 0 0 0 0 0 18 0 1 0 155442490 10022912 300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153981936 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/3837/statm: 2447 300 225 14 0 1138 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9788

[startup+0.513835 s]
/proc/loadavg: 0.91 0.95 0.98 3/69 3838
/proc/meminfo: memFree=1717968/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915120 CPUtime=0.2
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 3575 0 98 0 14 6 0 0 17 0 8 0 155442490 937082880 3418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3837/statm: 228780 3418 1705 14 0 215275 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 915120

[startup+1.33692 s]
/proc/loadavg: 1.00 0.97 0.98 3/87 3883
/proc/meminfo: memFree=1611200/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915328 CPUtime=0.97
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 15675 0 105 0 83 14 0 0 17 0 8 0 155442490 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073580028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228832 15517 2138 14 0 215302 0
[pid=3837/tid=3865] ppid=3835 vsize=915328 CPUtime=0
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 155442513 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915328 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 155442514 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915328 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155442514 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915328 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915328 CPUtime=0.07
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 305 0 0 0 7 0 0 0 16 0 8 0 155442521 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915328 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915328 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 915328

[startup+2.99009 s]
/proc/loadavg: 1.00 0.97 0.98 4/87 3883
/proc/meminfo: memFree=1523264/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=2.62
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23447 0 105 0 243 19 0 0 25 0 8 0 155442490 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23286 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.22
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 372 0 0 0 21 1 0 0 15 0 8 0 155442521 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 915420

[startup+6.2694 s]
/proc/loadavg: 1.16 1.00 0.99 3/87 3883
/proc/meminfo: memFree=1522816/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=5.88
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23465 0 105 0 569 19 0 0 25 0 8 0 155442490 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23301 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 17 0 8 0 155442513 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.25
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 389 0 0 0 24 1 0 0 15 0 8 0 155442521 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 915420

[startup+12.766 s]
/proc/loadavg: 1.23 1.02 1.00 3/87 3883
/proc/meminfo: memFree=1523152/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=12.34
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23469 0 105 0 1215 19 0 0 25 0 8 0 155442490 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073760618 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23304 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 915420

[startup+25.6203 s]
/proc/loadavg: 1.35 1.05 1.01 3/93 3949
/proc/meminfo: memFree=1521976/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=25.07
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23469 0 105 0 2488 19 0 0 25 0 8 0 155442490 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23304 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 915420

[startup+51.2598 s]
/proc/loadavg: 1.65 1.16 1.04 3/93 4001
/proc/meminfo: memFree=1521992/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=50.54
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 5034 20 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 915420

[startup+102.532 s]
/proc/loadavg: 1.85 1.28 1.09 3/93 4055
/proc/meminfo: memFree=1522000/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=101.51
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 10131 20 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915420

[startup+162.534 s]
/proc/loadavg: 1.94 1.41 1.15 3/87 4081
/proc/meminfo: memFree=1523024/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=161.2
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 16100 20 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1416.91
Current children cumulated vsize (KiB) 915420

[startup+1484.26 s]
/proc/loadavg: 2.00 2.00 1.77 3/87 4083
/proc/meminfo: memFree=1522768/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1476.73
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 147649 24 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.73
Current children cumulated vsize (KiB) 915420

[startup+1544.36 s]
/proc/loadavg: 2.00 2.00 1.78 3/87 4083
/proc/meminfo: memFree=1522768/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1536.55
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 153631 24 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.55
Current children cumulated vsize (KiB) 915420

[startup+1604.36 s]
/proc/loadavg: 2.00 2.00 1.79 3/87 4083
/proc/meminfo: memFree=1522704/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1596.27
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 159603 24 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.27
Current children cumulated vsize (KiB) 915420

[startup+1664.46 s]
/proc/loadavg: 2.00 2.00 1.80 3/87 4083
/proc/meminfo: memFree=1522704/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1656.08
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 165584 24 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.08
Current children cumulated vsize (KiB) 915420

[startup+1724.56 s]
/proc/loadavg: 2.00 2.00 1.82 3/87 4083
/proc/meminfo: memFree=1522704/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1715.9
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 171566 24 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.9
Current children cumulated vsize (KiB) 915420

[startup+1784.66 s]
/proc/loadavg: 2.00 2.00 1.82 3/87 4083
/proc/meminfo: memFree=1522640/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1775.73
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 177548 25 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.73
Current children cumulated vsize (KiB) 915420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.06 s]
/proc/loadavg: 2.00 2.00 1.83 2/75 4085
/proc/meminfo: memFree=1606448/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1800.01
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 179976 25 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915420

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

Child status: 143
Real time (s): 1809.09
CPU time (s): 1800.05
CPU user time (s): 1799.78
CPU system time (s): 0.266959
CPU usage (%): 99.5
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.266959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23488
page faults= 105
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37884
involuntary context switches= 57237

runsolver used 2.35964 s user time and 5.65914 s system time

The end

Launcher Data (download as text)

Begin job on node56 on Sat Jan  6 08:00:43 UTC 2007


IDJOB= 196131
IDBENCH= 3328
FILE ID= node56/196131-1168070443

PBS_JOBID= 3475940

Free space on /tmp= 66518 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  89efa41fbbac9f9b4ee5610173a37395

RANDOM SEED= 664390956

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:       1719088 kB
Buffers:         26324 kB
Cached:         229472 kB
SwapCached:       2060 kB
Active:          38256 kB
Inactive:       231684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1719088 kB
SwapTotal:     4192956 kB
SwapFree:      4184772 kB
Dirty:            5140 kB
Writeback:           0 kB
Mapped:          21116 kB
Slab:            52552 kB
Committed_AS:  2627052 kB
PageTables:       1732 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= 66514 MiB



End job on node56 on Sat Jan  6 08:30:53 UTC 2007