Trace number 237645

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.23 1815.12

General information on the benchmark

Namehaystacks/
haystacks_49.xml
MD5SUMcfa08dc252192b52b2d0f49efc22ee50
Bench Category2-ARY-INT (binary constraints in intension)
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 variables2401
Number of constraints57672
Maximum constraint arity2
Maximum domain size49
Number of constraints which are defined in extension0
Number of constraints which are defined in intension57672
Global constraints used (with number of constraints)

Solver Data (download as text)

0.28	   
0.28	Abscon 109 (November, 2006)
0.28	   
0.28	   configuration
0.28	     name=mac.xml
0.31	   
0.31	   instance
0.31	     name=/tmp/evaluation/237645-1168083343/unknown.xml
0.34	   
0.34	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.55	     nbVariables=2401  nbDomainTypes=1  minDomainSize=49  maxDomainSize=49
0.55	       =>  wckTime=0.263  cpuTime=0.18  mem=13M723
0.55	   
0.55	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
4.84	   
4.84	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 71M993)
5.40	     nbConstraints=57672  nbConvertedConstraints=35898  nbConvertConstraintsChecks=9604  nbExtensionStructures=4
5.40	     nbSharedExtensionStructures=35894  nbConflictsStructures=4  nbSharedConflictsStructures=35894
5.40	     nbSharedBinaryRepresentations=293  nbEvaluationManagers=4  nbSharedEvaluationManagers=21770  maxDegree=49
5.40	     maxArity=2
5.40	       =>  wckTime=5.114  cpuTime=4.33  mem=76M245
5.75	   
5.75	   solver IterativeSystematicSolver being built... 
6.28	       =>  wckTime=5.99  cpuTime=4.71  mem=71M660
7.41	   
7.41	   preprocessing
7.41	     nbConstraintChecks=2142030  nbValidityChecks=44676  nbPropagations=2401  nbRevisions=43548
7.41	     nbUselessRevisions=43548  nbRemovedValues=0  detectedInconsistency=no
7.41	       =>  wckTime=1.116  cpuTime=1.08  mem=71M660
8.98	   
8.98	   search
8.98	     run=0  nbConstraintChecks=1860018  nbValidityChecks=3888570  nbPropagations=9522  nbRevisions=137548
8.98	     nbUselessRevisions=130544  nbAssignments=201  nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=222
8.98	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
8.98	       =>  wckTime=2.691  cpuTime=2.6  mem=74M697
9.92	   
9.92	   search
9.92	     run=1  nbConstraintChecks=2743850  nbValidityChecks=7438264  nbPropagations=26316  nbRevisions=360746
9.92	     nbUselessRevisions=339584  nbAssignments=417  nbFailedAssignments=24  nbBacktracks=26  nbVisitedNodes=466
9.92	     nbRestartNogoods=4  mapSize=26  nbInferences=0  nbTooLargeKeys=0
9.92	       =>  wckTime=3.63  cpuTime=3.52  mem=78M730
10.80	   
10.80	   search
10.80	     run=2  nbConstraintChecks=3405711  nbValidityChecks=11181045  nbPropagations=50534  nbRevisions=674266
10.80	     nbUselessRevisions=631646  nbAssignments=639  nbFailedAssignments=41  nbBacktracks=48  nbVisitedNodes=722
10.80	     nbRestartNogoods=6  mapSize=47  nbInferences=0  nbTooLargeKeys=0
10.80	       =>  wckTime=4.511  cpuTime=4.4  mem=81M987
11.68	   
11.68	   search
11.68	     run=3  nbConstraintChecks=3979869  nbValidityChecks=14943487  nbPropagations=82396  nbRevisions=1078006
11.68	     nbUselessRevisions=1006415  nbAssignments=882  nbFailedAssignments=66  nbBacktracks=82  nbVisitedNodes=1017
11.68	     nbRestartNogoods=7  mapSize=81  nbInferences=2  nbTooLargeKeys=0
11.68	       =>  wckTime=5.389  cpuTime=5.27  mem=85M5
12.60	   
12.60	   search
12.60	     run=4  nbConstraintChecks=4578140  nbValidityChecks=18842736  nbPropagations=122235  nbRevisions=1575195
12.60	     nbUselessRevisions=1466791  nbAssignments=1162  nbFailedAssignments=103  nbBacktracks=134  nbVisitedNodes=1374
12.60	     nbRestartNogoods=8  mapSize=132  nbInferences=5  nbTooLargeKeys=0
12.60	       =>  wckTime=6.307  cpuTime=6.17  mem=89M30
13.53	   
13.53	   search
13.53	     run=5  nbConstraintChecks=5083180  nbValidityChecks=22806114  nbPropagations=170422  nbRevisions=2167455
13.53	     nbUselessRevisions=2014036  nbAssignments=1487  nbFailedAssignments=156  nbBacktracks=209  nbVisitedNodes=1809
13.53	     nbRestartNogoods=9  mapSize=206  nbInferences=9  nbTooLargeKeys=0
13.53	       =>  wckTime=7.245  cpuTime=7.1  mem=93M94
14.66	   
14.66	   search
14.66	     run=6  nbConstraintChecks=5707743  nbValidityChecks=26980299  nbPropagations=227508  nbRevisions=2860409
14.66	     nbUselessRevisions=2653254  nbAssignments=1895  nbFailedAssignments=229  nbBacktracks=323  nbVisitedNodes=2384
14.66	     nbRestartNogoods=13  mapSize=320  nbInferences=30  nbTooLargeKeys=0
14.66	       =>  wckTime=8.371  cpuTime=8.2  mem=99M130
15.94	   
15.94	   search
15.94	     run=7  nbConstraintChecks=6384060  nbValidityChecks=31351015  nbPropagations=294210  nbRevisions=3659053
15.94	     nbUselessRevisions=3388773  nbAssignments=2415  nbFailedAssignments=334  nbBacktracks=493  nbVisitedNodes=3155
15.94	     nbRestartNogoods=16  mapSize=489  nbInferences=71  nbTooLargeKeys=0
15.94	       =>  wckTime=9.656  cpuTime=9.47  mem=106M172
17.52	   
17.52	   search
17.52	     run=8  nbConstraintChecks=7203992  nbValidityChecks=36090484  nbPropagations=371434  nbRevisions=4575368
17.52	     nbUselessRevisions=4231669  nbAssignments=3085  nbFailedAssignments=500  nbBacktracks=749  nbVisitedNodes=4197
17.52	     nbRestartNogoods=20  mapSize=745  nbInferences=111  nbTooLargeKeys=0
17.52	       =>  wckTime=11.23  cpuTime=10.98  mem=83M435
19.45	   
19.45	   search
19.45	     run=9  nbConstraintChecks=8059092  nbValidityChecks=41193650  nbPropagations=460787  nbRevisions=5617367
19.45	     nbUselessRevisions=5188572  nbAssignments=4050  nbFailedAssignments=719  nbBacktracks=1134  nbVisitedNodes=5751
19.45	     nbRestartNogoods=22  mapSize=1129  nbInferences=262  nbTooLargeKeys=0
19.45	       =>  wckTime=13.158  cpuTime=12.89  mem=97M27
21.99	   
21.99	   search
21.99	     run=10  nbConstraintChecks=8775543  nbValidityChecks=46411934  nbPropagations=564762  nbRevisions=6791464
22.00	     nbUselessRevisions=6263803  nbAssignments=5487  nbFailedAssignments=1013  nbBacktracks=1710  nbVisitedNodes=8128
22.00	     nbRestartNogoods=32  mapSize=1704  nbInferences=614  nbTooLargeKeys=0
22.00	       =>  wckTime=15.706  cpuTime=15.41  mem=118M386
25.37	   
25.37	   search
25.37	     run=11  nbConstraintChecks=9148793  nbValidityChecks=51398049  nbPropagations=685851  nbRevisions=8099116
25.37	     nbUselessRevisions=7456753  nbAssignments=7574  nbFailedAssignments=1430  nbBacktracks=2574  nbVisitedNodes=11669
25.37	     nbRestartNogoods=37  mapSize=2568  nbInferences=1234  nbTooLargeKeys=0
25.37	       =>  wckTime=19.082  cpuTime=18.71  mem=128M948
30.64	   
30.64	   search
30.64	     run=12  nbConstraintChecks=10003992  nbValidityChecks=56604285  nbPropagations=830978  nbRevisions=9546703
30.64	     nbUselessRevisions=8768267  nbAssignments=10915  nbFailedAssignments=1973  nbBacktracks=3871  nbVisitedNodes=17408
30.64	     nbRestartNogoods=53  mapSize=3865  nbInferences=2546  nbTooLargeKeys=0
30.64	       =>  wckTime=24.351  cpuTime=23.88  mem=160M694
38.14	   
38.14	   search
38.14	     run=13  nbConstraintChecks=10484532  nbValidityChecks=61871270  nbPropagations=1009007  nbRevisions=11139044
38.14	     nbUselessRevisions=10196069  nbAssignments=16011  nbFailedAssignments=2737  nbBacktracks=5817  nbVisitedNodes=26227
38.14	     nbRestartNogoods=55  mapSize=5811  nbInferences=4741  nbTooLargeKeys=0
38.14	       =>  wckTime=31.853  cpuTime=31.24  mem=192M276
51.10	   
51.10	   search
51.10	     run=14  nbConstraintChecks=11489658  nbValidityChecks=67594525  nbPropagations=1240064  nbRevisions=12903075
51.10	     nbUselessRevisions=11751629  nbAssignments=24568  nbFailedAssignments=3657  nbBacktracks=8737  nbVisitedNodes=41150
51.10	     nbRestartNogoods=64  mapSize=8731  nbInferences=9267  nbTooLargeKeys=0
51.10	       =>  wckTime=44.808  cpuTime=43.98  mem=258M989
70.96	   
70.96	   search
70.96	     run=15  nbConstraintChecks=12096382  nbValidityChecks=73623001  nbPropagations=1550662  nbRevisions=14897933
70.96	     nbUselessRevisions=13473380  nbAssignments=37829  nbFailedAssignments=4917  nbBacktracks=13115
70.96	     nbVisitedNodes=64363  nbRestartNogoods=69  mapSize=13109  nbInferences=16699  nbTooLargeKeys=0
70.96	       =>  wckTime=64.673  cpuTime=63.49  mem=341M163
100.60	   
100.60	   search
100.60	     run=16  nbConstraintChecks=12986708  nbValidityChecks=80382940  nbPropagations=1975434  nbRevisions=17310346
100.60	     nbUselessRevisions=15521124  nbAssignments=57678  nbFailedAssignments=6721  nbBacktracks=19683
100.60	     nbVisitedNodes=99106  nbRestartNogoods=87  mapSize=19677  nbInferences=27985  nbTooLargeKeys=0
100.60	       =>  wckTime=94.31  cpuTime=92.64  mem=486M272
125.38	   
125.38	   INFO : Stopping hyperNogood (mapSize=25243, nbTooLargekeys=0, mem=601M200)
129.84	   
129.84	   search
129.84	     run=17  nbConstraintChecks=13827157  nbValidityChecks=86961359  nbPropagations=2529464  nbRevisions=20125897
129.84	     nbUselessRevisions=17861380  nbAssignments=81552  nbFailedAssignments=11255  nbBacktracks=29535
129.84	     nbVisitedNodes=141343  nbRestartNogoods=100
129.84	       =>  wckTime=123.554  cpuTime=121.43  mem=601M200
145.73	   
145.73	   search
145.73	     run=18  nbConstraintChecks=14459425  nbValidityChecks=93055888  nbPropagations=3203182  nbRevisions=23270939
145.73	     nbUselessRevisions=20411492  nbAssignments=106691  nbFailedAssignments=21423  nbBacktracks=44313
145.73	     nbVisitedNodes=186818  nbRestartNogoods=114
145.73	       =>  wckTime=139.441  cpuTime=137.18  mem=601M200
169.29	   
169.29	   search
169.29	     run=19  nbConstraintChecks=15305280  nbValidityChecks=99590772  nbPropagations=4051985  nbRevisions=26898598
169.29	     nbUselessRevisions=23269189  nbAssignments=144239  nbFailedAssignments=36610  nbBacktracks=66481
169.29	     nbVisitedNodes=254740  nbRestartNogoods=127
169.29	       =>  wckTime=162.997  cpuTime=160.55  mem=601M200
203.97	   
203.97	   search
203.97	     run=20  nbConstraintChecks=16373793  nbValidityChecks=106190610  nbPropagations=5159409  nbRevisions=31114888
203.97	     nbUselessRevisions=26456950  nbAssignments=200491  nbFailedAssignments=59417  nbBacktracks=99733
203.97	     nbVisitedNodes=356606  nbRestartNogoods=140
203.97	       =>  wckTime=197.682  cpuTime=194.95  mem=601M200
256.31	   
256.31	   search
256.31	     run=21  nbConstraintChecks=17886491  nbValidityChecks=113225222  nbPropagations=6652136  nbRevisions=36141229
256.31	     nbUselessRevisions=30069499  nbAssignments=285152  nbFailedAssignments=94029  nbBacktracks=149611
256.31	     nbVisitedNodes=510491  nbRestartNogoods=147
256.31	       =>  wckTime=250.018  cpuTime=246.85  mem=601M200
332.12	   
332.12	   search
332.12	     run=22  nbConstraintChecks=20598472  nbValidityChecks=125295486  nbPropagations=8725741  nbRevisions=42243571
332.12	     nbUselessRevisions=34176920  nbAssignments=411960  nbFailedAssignments=145780  nbBacktracks=224429
332.12	     nbVisitedNodes=740800  nbRestartNogoods=159
332.12	       =>  wckTime=325.834  cpuTime=322.05  mem=601M200
443.32	   
443.32	   search
443.32	     run=23  nbConstraintChecks=24684244  nbValidityChecks=137797284  nbPropagations=11664487  nbRevisions=49507050
443.32	     nbUselessRevisions=38580372  nbAssignments=602185  nbFailedAssignments=223538  nbBacktracks=336656
443.32	     nbVisitedNodes=1086541  nbRestartNogoods=179
443.32	       =>  wckTime=437.028  cpuTime=432.32  mem=601M200
606.74	   
606.74	   search
606.74	     run=24  nbConstraintChecks=29002500  nbValidityChecks=149993747  nbPropagations=15891512  nbRevisions=58334936
606.74	     nbUselessRevisions=43259987  nbAssignments=887278  nbFailedAssignments=340051  nbBacktracks=504998
606.74	     nbVisitedNodes=1604660  nbRestartNogoods=198
606.74	       =>  wckTime=600.452  cpuTime=594.4  mem=601M200
866.24	   
866.24	   search
866.24	     run=25  nbConstraintChecks=36788024  nbValidityChecks=173748713  nbPropagations=22034560  nbRevisions=71869860
866.24	     nbUselessRevisions=50730652  nbAssignments=1313104  nbFailedAssignments=513127  nbBacktracks=757509
866.24	     nbVisitedNodes=2376638  nbRestartNogoods=221
866.24	       =>  wckTime=859.952  cpuTime=851.74  mem=601M200
1247.82	   
1247.82	   search
1247.82	     run=26  nbConstraintChecks=46937169  nbValidityChecks=194116342  nbPropagations=31046799  nbRevisions=91538844
1247.82	     nbUselessRevisions=61462409  nbAssignments=1953702  nbFailedAssignments=774722  nbBacktracks=1136276
1247.82	     nbVisitedNodes=3540426  nbRestartNogoods=248
1247.83	       =>  wckTime=1241.536  cpuTime=1230.22  mem=601M200
1812.09	   
1812.09	   search
1812.09	     run=27  nbConstraintChecks=60048942  nbValidityChecks=212672453  nbPropagations=44354715  nbRevisions=118341899
1812.09	     nbUselessRevisions=75032656  nbAssignments=2914447  nbFailedAssignments=1167080  nbBacktracks=1704427
1812.09	     nbVisitedNodes=5285887  nbRestartNogoods=273
1812.09	       =>  wckTime=1805.799  cpuTime=1789.86  mem=601M200

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/node76/watcher-237645-1168083343 -o ROOT/results/node76/solver-237645-1168083343 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237645-1168083343/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.74 1.33 1.54 5/85 769
/proc/meminfo: memFree=1685016/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=907680 CPUtime=0.02
/proc/768/stat : 768 (java) S 766 768 32733 0 -1 0 2166 0 1 0 2 0 0 0 20 0 4 0 156733371 929464320 1917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 226920 1917 1088 14 0 214502 0
[pid=768/tid=770] ppid=766 vsize=907680 CPUtime=0
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 20 0 4 0 156733374 929464320 1917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=907680 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 9 0 0 0 0 0 0 0 20 0 4 0 156733374 929464320 1917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=907680 CPUtime=0
/proc/768/task/772/stat : 772 (java) R 766 768 32733 0 -1 64 0 0 0 0 0 0 0 0 21 0 4 0 156733375 929464320 1917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5667240 0 4 0 7368 0 0 0 -1 0 0 0

[startup+0.103012 s]
/proc/loadavg: 0.74 1.33 1.54 5/85 769
/proc/meminfo: memFree=1685016/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=914992 CPUtime=0.09
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 3073 0 1 0 8 1 0 0 22 0 8 0 156733371 936951808 2821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153598161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228748 2821 1456 14 0 215242 0
[pid=768/tid=770] ppid=766 vsize=914992 CPUtime=0
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 20 0 8 0 156733374 936951808 2821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=914992 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 156733374 936951808 2821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=914992 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156733375 936951808 2821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914992

[startup+0.515092 s]
/proc/loadavg: 0.74 1.33 1.54 5/85 769
/proc/meminfo: memFree=1685016/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915332 CPUtime=0.49
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 7117 0 1 0 46 3 0 0 25 0 8 0 156733371 937299968 6858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228833 6858 2139 14 0 215302 0
[pid=768/tid=770] ppid=766 vsize=915332 CPUtime=0
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 20 0 8 0 156733374 937299968 6858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915332 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 156733374 937299968 6858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915332 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156733375 937299968 6858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33825 s]
/proc/loadavg: 0.74 1.33 1.54 3/92 776
/proc/meminfo: memFree=1620704/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915648 CPUtime=1.32
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 18557 0 1 0 123 9 0 0 25 0 8 0 156733371 937623552 18296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228912 18296 2161 14 0 215381 0
[pid=768/tid=770] ppid=766 vsize=915648 CPUtime=0.05
/proc/768/task/770/stat : 770 (java) R 766 768 32733 0 -1 64 2013 0 0 0 5 0 0 0 16 0 8 0 156733374 937623552 18296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153818779 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915648 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937623552 18296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915648 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733375 937623552 18296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915648 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937623552 18296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915648 CPUtime=0.15
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 410 0 0 0 15 0 0 0 16 0 8 0 156733378 937623552 18296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915648 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937623552 18296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915648 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937623552 18296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915648

[startup+2.97557 s]
/proc/loadavg: 0.74 1.33 1.54 3/92 776
/proc/meminfo: memFree=1602400/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915648 CPUtime=2.94
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 23111 0 1 0 256 38 0 0 25 0 8 0 156733371 937623552 22848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5182874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228912 22848 2181 14 0 215381 0
[pid=768/tid=770] ppid=766 vsize=915648 CPUtime=0.26
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 6482 0 0 0 24 2 0 0 16 0 8 0 156733374 937623552 22848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915648 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937623552 22848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915648 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733375 937623552 22848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915648 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937623552 22848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915648 CPUtime=0.18
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 433 0 0 0 18 0 0 0 16 0 8 0 156733378 937623552 22848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915648 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937623552 22848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915648 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937623552 22848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915648

[startup+6.27222 s]
/proc/loadavg: 0.84 1.34 1.54 4/92 776
/proc/meminfo: memFree=1581088/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915908 CPUtime=6.22
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 33959 0 1 0 483 139 0 0 25 0 8 0 156733371 937889792 33631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072922610 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228977 33631 2534 14 0 215446 0
[pid=768/tid=770] ppid=766 vsize=915908 CPUtime=0.98
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 16799 0 0 0 92 6 0 0 16 0 8 0 156733374 937889792 33631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937889792 33631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733375 937889792 33631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937889792 33631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915908 CPUtime=0.28
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 530 0 0 0 27 1 0 0 15 0 8 0 156733378 937889792 33631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937889792 33631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937889792 33631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915908

[startup+12.7455 s]
/proc/loadavg: 0.93 1.35 1.55 3/92 776
/proc/meminfo: memFree=1560288/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915908 CPUtime=12.61
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 34008 0 1 0 1122 139 0 0 25 0 8 0 156733371 937889792 33674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073975787 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228977 33674 2539 14 0 215446 0
[pid=768/tid=770] ppid=766 vsize=915908 CPUtime=0.98
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 16800 0 0 0 92 6 0 0 16 0 8 0 156733374 937889792 33674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937889792 33674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733375 937889792 33674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937889792 33674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915908 CPUtime=0.35
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 566 0 0 0 33 2 0 0 16 0 8 0 156733378 937889792 33674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937889792 33674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937889792 33674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915908

[startup+25.602 s]
/proc/loadavg: 1.17 1.38 1.55 3/92 776
/proc/meminfo: memFree=1516000/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915908 CPUtime=25.37
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 45038 0 1 0 2393 144 0 0 25 0 8 0 156733371 937889792 44695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203813 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228977 44695 2539 14 0 215446 0
[pid=768/tid=770] ppid=766 vsize=915908 CPUtime=1.09
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 27809 0 0 0 99 10 0 0 16 0 8 0 156733374 937889792 44695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937889792 44695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733375 937889792 44695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937889792 44695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915908 CPUtime=0.38
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 579 0 0 0 36 2 0 0 16 0 8 0 156733378 937889792 44695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937889792 44695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937889792 44695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915908

[startup+51.207 s]
/proc/loadavg: 1.45 1.43 1.56 3/92 776
/proc/meminfo: memFree=1387936/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915908 CPUtime=50.77
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 77027 0 1 0 4921 156 0 0 25 0 8 0 156733371 937889792 76677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074131120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228977 76677 2539 14 0 215446 0
[pid=768/tid=770] ppid=766 vsize=915908 CPUtime=1.34
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 59790 0 0 0 111 23 0 0 16 0 8 0 156733374 937889792 76677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937889792 76677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733375 937889792 76677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937889792 76677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915908 CPUtime=0.38
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 580 0 0 0 36 2 0 0 16 0 8 0 156733378 937889792 76677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937889792 76677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937889792 76677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915908

[startup+102.412 s]
/proc/loadavg: 1.76 1.52 1.58 3/92 776
/proc/meminfo: memFree=1175712/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915908 CPUtime=101.55
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 129954 0 1 0 9978 177 0 0 25 0 8 0 156733371 937889792 129592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074194182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228977 129592 2539 14 0 215446 0
[pid=768/tid=770] ppid=766 vsize=915908 CPUtime=1.77
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 112705 0 0 0 133 44 0 0 16 0 8 0 156733374 937889792 129592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937889792 129592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

Current children cumulated CPU time (s) 1411.34
Current children cumulated vsize (KiB) 915908

[startup+1483.06 s]
/proc/loadavg: 2.00 2.00 1.88 3/92 776
/proc/meminfo: memFree=1066080/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915908 CPUtime=1470.87
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 156545 0 1 0 146896 191 0 0 25 0 8 0 156733371 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074191489 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228977 156176 2539 14 0 215446 0
[pid=768/tid=770] ppid=766 vsize=915908 CPUtime=1.99
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 139289 0 0 0 144 55 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733375 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915908 CPUtime=0.38
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 580 0 0 0 36 2 0 0 16 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.87
Current children cumulated vsize (KiB) 915908

[startup+1543.1 s]
/proc/loadavg: 2.00 2.00 1.88 3/98 916
/proc/meminfo: memFree=1064664/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915908 CPUtime=1530.23
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 156545 0 1 0 152827 196 0 0 25 0 8 0 156733371 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074194171 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228977 156176 2539 14 0 215446 0
[pid=768/tid=770] ppid=766 vsize=915908 CPUtime=1.99
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 139289 0 0 0 144 55 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733375 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915908 CPUtime=0.38
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 580 0 0 0 36 2 0 0 16 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.23
Current children cumulated vsize (KiB) 915908

[startup+1603.15 s]
/proc/loadavg: 2.03 2.01 1.89 3/92 974
/proc/meminfo: memFree=1065632/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915908 CPUtime=1589.68
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 156545 0 1 0 158769 199 0 0 25 0 8 0 156733371 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072906276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228977 156176 2539 14 0 215446 0
[pid=768/tid=770] ppid=766 vsize=915908 CPUtime=1.99
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 139289 0 0 0 144 55 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733375 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915908 CPUtime=0.38
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 580 0 0 0 36 2 0 0 16 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.68
Current children cumulated vsize (KiB) 915908

[startup+1663.18 s]
/proc/loadavg: 2.06 2.02 1.90 3/92 974
/proc/meminfo: memFree=1065632/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915908 CPUtime=1649.23
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 156545 0 1 0 164724 199 0 0 25 0 8 0 156733371 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074221392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228977 156176 2539 14 0 215446 0
[pid=768/tid=770] ppid=766 vsize=915908 CPUtime=1.99
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 139289 0 0 0 144 55 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733375 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915908 CPUtime=0.38
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 580 0 0 0 36 2 0 0 16 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.23
Current children cumulated vsize (KiB) 915908

[startup+1723.21 s]
/proc/loadavg: 2.02 2.02 1.91 3/92 974
/proc/meminfo: memFree=1064672/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915908 CPUtime=1708.77
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 156545 0 1 0 170677 200 0 0 25 0 8 0 156733371 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074191392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/768/statm: 228977 156176 2539 14 0 215446 0
[pid=768/tid=770] ppid=766 vsize=915908 CPUtime=1.99
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 139289 0 0 0 144 55 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733375 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915908 CPUtime=0.38
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 580 0 0 0 36 2 0 0 16 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.77
Current children cumulated vsize (KiB) 915908

[startup+1783.23 s]
/proc/loadavg: 1.72 1.95 1.89 2/80 1070
/proc/meminfo: memFree=1110384/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915908 CPUtime=1768.41
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 156545 0 1 0 176641 200 0 0 25 0 8 0 156733371 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074194177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/768/statm: 228977 156176 2539 14 0 215446 0
[pid=768/tid=770] ppid=766 vsize=915908 CPUtime=1.99
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 139289 0 0 0 144 55 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733375 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915908 CPUtime=0.38
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 580 0 0 0 36 2 0 0 16 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.41
Current children cumulated vsize (KiB) 915908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.98 s]
/proc/loadavg: 1.61 1.89 1.87 2/80 1135
/proc/meminfo: memFree=1109296/2055888 swapFree=4096420/4096564
[pid=768] ppid=766 vsize=915908 CPUtime=1800.08
/proc/768/stat : 768 (java) R 766 768 32733 0 -1 0 156545 0 1 0 179807 201 0 0 25 0 8 0 156733371 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073323875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/768/statm: 228977 156176 2539 14 0 215446 0
[pid=768/tid=770] ppid=766 vsize=915908 CPUtime=1.99
/proc/768/task/770/stat : 770 (java) S 766 768 32733 0 -1 64 139289 0 0 0 144 55 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=771] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/771/stat : 771 (java) S 766 768 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733374 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=772] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/772/stat : 772 (java) S 766 768 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733375 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=773] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/773/stat : 773 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=774] ppid=766 vsize=915908 CPUtime=0.38
/proc/768/task/774/stat : 774 (java) S 766 768 32733 0 -1 64 580 0 0 0 36 2 0 0 16 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=775] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/775/stat : 775 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=768/tid=776] ppid=766 vsize=915908 CPUtime=0
/proc/768/task/776/stat : 776 (java) S 766 768 32733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156733378 937889792 156176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915908

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

Child status: 143
Real time (s): 1815.12
CPU time (s): 1800.23
CPU user time (s): 1798.12
CPU system time (s): 2.10268
CPU usage (%): 99.1794
Max. virtual memory (cumulated for all children) (KiB): 915908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.12
system time used= 2.10268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156562
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= 38667
involuntary context switches= 76743

runsolver used 1.9437 s user time and 4.66629 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Sat Jan  6 11:35:48 UTC 2007


IDJOB= 237645
IDBENCH= 6954
FILE ID= node76/237645-1168083343

PBS_JOBID= 3476236

Free space on /tmp= 66633 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_49.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237645-1168083343/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-237645-1168083343 -o ROOT/results/node76/solver-237645-1168083343 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237645-1168083343/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cfa08dc252192b52b2d0f49efc22ee50

RANDOM SEED= 208152693

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.254
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	: 6006.17
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.254
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1685368 kB
Buffers:         23936 kB
Cached:         226780 kB
SwapCached:          0 kB
Active:         115740 kB
Inactive:       197892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1685368 kB
SwapTotal:     4096564 kB
SwapFree:      4096420 kB
Dirty:            8848 kB
Writeback:           0 kB
Mapped:          83192 kB
Slab:            42372 kB
Committed_AS:  6644696 kB
PageTables:       1916 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66632 MiB



End job on node76 on Sat Jan  6 12:06:19 UTC 2007