Trace number 211173

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 ESAC? (TO) 1800.13 1811.27

General information on the benchmark

NamepseudoSeries/uclid/
ooo-burch-dill-2-accl.xml
MD5SUM954716681b7059c4fed3aca937833d60
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark18.12
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2152
Number of constraints5612
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5612
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/211173-1168205897/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.54	     nbVariables=2152  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.54	       =>  wckTime=0.244  cpuTime=0.16  mem=10M852
0.54	   
0.54	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
1.58	     nbConstraints=5237  nbMergedConstraints=375  nbSingletonDomainVariables=23  nbConvertedConstraints=3379
1.58	     nbConvertConstraintsChecks=33851  nbExtensionStructures=8  nbSharedExtensionStructures=3371
1.58	     nbConflictsStructures=38  nbSharedConflictsStructures=5199  nbSharedBinaryRepresentations=19
1.58	     nbEvaluationManagers=30  nbSharedEvaluationManagers=1828  maxDegree=101  maxArity=11
1.58	       =>  wckTime=1.28  cpuTime=1.04  mem=33M821
1.66	   
1.66	   solver IterativeSystematicSolver being built... 
1.97	       =>  wckTime=1.676  cpuTime=1.3  mem=41M942
3.36	   
3.36	   preprocessing
3.36	     nbConstraintChecks=106609  nbValidityChecks=57956  nbPropagations=12104  nbRevisions=66783
3.36	     nbUselessRevisions=59482  nbSingletonTests=2826  nbEffectiveSingletonTests=0  nbESACBranches=10  nbRemovedValues=0
3.36	     detectedInconsistency=no
3.36	       =>  wckTime=1.382  cpuTime=1.33  mem=41M942
3.85	   
3.85	   search
3.85	     run=0  nbConstraintChecks=14602  nbValidityChecks=23543  nbPropagations=13912  nbRevisions=85779
3.85	     nbUselessRevisions=76718  nbAssignments=176  nbFailedAssignments=4  nbBacktracks=16  nbVisitedNodes=184
3.85	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
3.85	       =>  wckTime=1.868  cpuTime=1.79  mem=41M942
4.47	   
4.47	   search
4.47	     run=1  nbConstraintChecks=80795  nbValidityChecks=92881  nbPropagations=36686  nbRevisions=243359
4.47	     nbUselessRevisions=216541  nbAssignments=625  nbFailedAssignments=5  nbBacktracks=32  nbVisitedNodes=363
4.47	     nbRestartNogoods=4  mapSize=6  nbInferences=1  nbTooLargeKeys=0
4.47	       =>  wckTime=2.489  cpuTime=2.41  mem=42M924
5.04	   
5.04	   search
5.04	     run=2  nbConstraintChecks=107757  nbValidityChecks=128815  nbPropagations=63158  nbRevisions=433894
5.04	     nbUselessRevisions=385732  nbAssignments=971  nbFailedAssignments=7  nbBacktracks=67  nbVisitedNodes=569
5.04	     nbRestartNogoods=6  mapSize=13  nbInferences=3  nbTooLargeKeys=0
5.04	       =>  wckTime=3.063  cpuTime=2.97  mem=42M924
5.62	   
5.62	   search
5.62	     run=3  nbConstraintChecks=133037  nbValidityChecks=164228  nbPropagations=93434  nbRevisions=657646
5.62	     nbUselessRevisions=584487  nbAssignments=1316  nbFailedAssignments=7  nbBacktracks=104  nbVisitedNodes=782
5.62	     nbRestartNogoods=9  mapSize=28  nbInferences=20  nbTooLargeKeys=0
5.62	       =>  wckTime=3.645  cpuTime=3.55  mem=42M924
6.23	   
6.23	   search
6.23	     run=4  nbConstraintChecks=146339  nbValidityChecks=187975  nbPropagations=125845  nbRevisions=901383
6.23	     nbUselessRevisions=801151  nbAssignments=1538  nbFailedAssignments=10  nbBacktracks=163  nbVisitedNodes=1014
6.23	     nbRestartNogoods=10  mapSize=36  nbInferences=22  nbTooLargeKeys=0
6.23	       =>  wckTime=4.249  cpuTime=4.14  mem=42M924
6.92	   
6.92	   search
6.92	     run=5  nbConstraintChecks=161476  nbValidityChecks=214110  nbPropagations=160778  nbRevisions=1167846
6.92	     nbUselessRevisions=1038117  nbAssignments=1787  nbFailedAssignments=12  nbBacktracks=242  nbVisitedNodes=1284
6.92	     nbRestartNogoods=12  mapSize=55  nbInferences=39  nbTooLargeKeys=0
6.92	       =>  wckTime=4.943  cpuTime=4.82  mem=42M924
7.77	   
7.77	   search
7.77	     run=6  nbConstraintChecks=176632  nbValidityChecks=241182  nbPropagations=198319  nbRevisions=1457946
7.77	     nbUselessRevisions=1296202  nbAssignments=2080  nbFailedAssignments=16  nbBacktracks=355  nbVisitedNodes=1602
7.77	     nbRestartNogoods=14  mapSize=78  nbInferences=56  nbTooLargeKeys=0
7.77	       =>  wckTime=5.792  cpuTime=5.63  mem=43M905
8.75	   
8.75	   search
8.75	     run=7  nbConstraintChecks=209271  nbValidityChecks=280733  nbPropagations=239252  nbRevisions=1780477
8.75	     nbUselessRevisions=1583300  nbAssignments=2427  nbFailedAssignments=30  nbBacktracks=526  nbVisitedNodes=2021
8.75	     nbRestartNogoods=16  mapSize=147  nbInferences=75  nbTooLargeKeys=0
8.75	       =>  wckTime=6.772  cpuTime=6.6  mem=43M905
9.65	   
9.65	   search
9.65	     run=8  nbConstraintChecks=239512  nbValidityChecks=313062  nbPropagations=284062  nbRevisions=2136625
9.65	     nbUselessRevisions=1900039  nbAssignments=2800  nbFailedAssignments=64  nbBacktracks=787  nbVisitedNodes=2473
9.65	     nbRestartNogoods=19  mapSize=225  nbInferences=75  nbTooLargeKeys=0
9.65	       =>  wckTime=7.674  cpuTime=7.5  mem=43M905
10.58	   
10.58	   search
10.58	     run=9  nbConstraintChecks=275584  nbValidityChecks=341581  nbPropagations=333394  nbRevisions=2526522
10.58	     nbUselessRevisions=2245760  nbAssignments=3248  nbFailedAssignments=92  nbBacktracks=1178  nbVisitedNodes=3024
10.58	     nbRestartNogoods=20  mapSize=326  nbInferences=75  nbTooLargeKeys=0
10.58	       =>  wckTime=8.602  cpuTime=8.41  mem=44M887
12.79	   
12.79	   search
12.79	     run=10  nbConstraintChecks=479229  nbValidityChecks=561562  nbPropagations=390582  nbRevisions=3068648
12.79	     nbUselessRevisions=2735000  nbAssignments=4044  nbFailedAssignments=212  nbBacktracks=1758  nbVisitedNodes=4059
12.79	     nbRestartNogoods=22  mapSize=547  nbInferences=75  nbTooLargeKeys=0
12.79	       =>  wckTime=10.81  cpuTime=10.59  mem=44M887
16.80	   
16.80	   search
16.80	     run=11  nbConstraintChecks=553081  nbValidityChecks=642751  nbPropagations=456813  nbRevisions=3687435
16.80	     nbUselessRevisions=3292087  nbAssignments=5511  nbFailedAssignments=223  nbBacktracks=2622  nbVisitedNodes=5450
16.80	     nbRestartNogoods=28  mapSize=648  nbInferences=169  nbTooLargeKeys=0
16.80	       =>  wckTime=14.82  cpuTime=14.56  mem=45M868
22.30	   
22.30	   search
22.30	     run=12  nbConstraintChecks=687121  nbValidityChecks=786572  nbPropagations=539686  nbRevisions=4446746
22.30	     nbUselessRevisions=3973747  nbAssignments=7933  nbFailedAssignments=236  nbBacktracks=3926  nbVisitedNodes=7335
22.30	     nbRestartNogoods=37  mapSize=851  nbInferences=356  nbTooLargeKeys=0
22.30	       =>  wckTime=20.32  cpuTime=20.0  mem=46M850
30.61	   
30.61	   search
30.61	     run=13  nbConstraintChecks=785267  nbValidityChecks=897527  nbPropagations=636165  nbRevisions=5319029
30.61	     nbUselessRevisions=4755615  nbAssignments=10587  nbFailedAssignments=263  nbBacktracks=5891  nbVisitedNodes=10353
30.61	     nbRestartNogoods=40  mapSize=1288  nbInferences=746  nbTooLargeKeys=0
30.61	       =>  wckTime=28.635  cpuTime=28.23  mem=47M831
42.56	   
42.56	   search
42.56	     run=14  nbConstraintChecks=1080938  nbValidityChecks=1174289  nbPropagations=775734  nbRevisions=6501061
42.56	     nbUselessRevisions=5803511  nbAssignments=14460  nbFailedAssignments=434  nbBacktracks=8824  nbVisitedNodes=15151
42.56	     nbRestartNogoods=43  mapSize=2208  nbInferences=1303  nbTooLargeKeys=0
42.56	       =>  wckTime=40.584  cpuTime=40.07  mem=50M776
57.44	   
57.44	   search
57.44	     run=15  nbConstraintChecks=2442030  nbValidityChecks=2069933  nbPropagations=1094013  nbRevisions=8834297
57.44	     nbUselessRevisions=7811107  nbAssignments=19646  nbFailedAssignments=1062  nbBacktracks=13203  nbVisitedNodes=22074
57.44	     nbRestartNogoods=48  mapSize=3997  nbInferences=1325  nbTooLargeKeys=0
57.44	       =>  wckTime=55.459  cpuTime=54.79  mem=54M702
77.62	   
77.62	   search
77.62	     run=16  nbConstraintChecks=3491187  nbValidityChecks=2647488  nbPropagations=1594622  nbRevisions=12232662
77.62	     nbUselessRevisions=10693836  nbAssignments=27019  nbFailedAssignments=1637  nbBacktracks=19779
77.62	     nbVisitedNodes=30822  nbRestartNogoods=53  mapSize=5367  nbInferences=1426  nbTooLargeKeys=0
77.62	       =>  wckTime=75.646  cpuTime=74.75  mem=18M219
107.69	   
107.70	   search
107.70	     run=17  nbConstraintChecks=5155082  nbValidityChecks=3598476  nbPropagations=2332559  nbRevisions=17168407
107.70	     nbUselessRevisions=14860007  nbAssignments=37974  nbFailedAssignments=2405  nbBacktracks=29636
107.70	     nbVisitedNodes=43744  nbRestartNogoods=58  mapSize=7346  nbInferences=1560  nbTooLargeKeys=0
107.70	       =>  wckTime=105.718  cpuTime=104.52  mem=26M181
152.83	   
152.83	   search
152.83	     run=18  nbConstraintChecks=9091455  nbValidityChecks=6172139  nbPropagations=3682863  nbRevisions=26131336
152.83	     nbUselessRevisions=22390659  nbAssignments=54774  nbFailedAssignments=3701  nbBacktracks=44414
152.83	     nbVisitedNodes=65050  nbRestartNogoods=66  mapSize=11863  nbInferences=2103  nbTooLargeKeys=0
152.83	       =>  wckTime=150.852  cpuTime=149.21  mem=39M119
225.37	   
225.37	   search
225.37	     run=19  nbConstraintChecks=10819270  nbValidityChecks=7393685  nbPropagations=5311143  nbRevisions=36887020
225.37	     nbUselessRevisions=31420718  nbAssignments=80080  nbFailedAssignments=5141  nbBacktracks=66587
225.37	     nbVisitedNodes=94321  nbRestartNogoods=81  mapSize=16214  nbInferences=3234  nbTooLargeKeys=0
225.37	       =>  wckTime=223.396  cpuTime=221.04  mem=57M165
337.30	   
337.30	   search
337.30	     run=20  nbConstraintChecks=21742896  nbValidityChecks=15170186  nbPropagations=8173365  nbRevisions=56281696
337.30	     nbUselessRevisions=47734167  nbAssignments=118934  nbFailedAssignments=10515  nbBacktracks=99864
337.30	     nbVisitedNodes=150310  nbRestartNogoods=96  mapSize=33393  nbInferences=3281  nbTooLargeKeys=0
337.30	       =>  wckTime=335.32  cpuTime=332.1  mem=49M564
512.99	   
512.99	   search
512.99	     run=21  nbConstraintChecks=25735185  nbValidityChecks=18054574  nbPropagations=11658891  nbRevisions=79868095
512.99	     nbUselessRevisions=67574016  nbAssignments=176817  nbFailedAssignments=12477  nbBacktracks=149743
512.99	     nbVisitedNodes=218668  nbRestartNogoods=102  mapSize=44045  nbInferences=8941  nbTooLargeKeys=0
512.99	       =>  wckTime=511.015  cpuTime=506.76  mem=56M492
764.28	   
764.28	   search
764.28	     run=22  nbConstraintChecks=39860202  nbValidityChecks=27464857  nbPropagations=17147949  nbRevisions=117193991
764.28	     nbUselessRevisions=99033352  nbAssignments=263829  nbFailedAssignments=20585  nbBacktracks=224562
764.28	     nbVisitedNodes=327136  nbRestartNogoods=112  mapSize=65665  nbInferences=12748  nbTooLargeKeys=0
764.28	       =>  wckTime=762.306  cpuTime=756.64  mem=80M85
1114.96	   
1114.96	   search
1114.96	     run=23  nbConstraintChecks=70941188  nbValidityChecks=44528780  nbPropagations=26986591  nbRevisions=183140355
1114.96	     nbUselessRevisions=154302457  nbAssignments=390617  nbFailedAssignments=34298  nbBacktracks=336796
1114.96	     nbVisitedNodes=489576  nbRestartNogoods=121  mapSize=101308  nbInferences=13476  nbTooLargeKeys=0
1114.96	       =>  wckTime=1112.983  cpuTime=1105.28  mem=109M26
1678.59	   
1678.59	   search
1678.59	     run=24  nbConstraintChecks=121412701  nbValidityChecks=82213271  nbPropagations=43959423  nbRevisions=298106948
1678.59	     nbUselessRevisions=250724905  nbAssignments=580573  nbFailedAssignments=55220  nbBacktracks=505137
1678.59	     nbVisitedNodes=745835  nbRestartNogoods=129  mapSize=167722  nbInferences=13896  nbTooLargeKeys=0
1678.59	       =>  wckTime=1676.609  cpuTime=1665.52  mem=159M888

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/node18/watcher-211173-1168205897 -o ROOT/results/node18/solver-211173-1168205897 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211173-1168205897/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.86 1.27 1.09 4/81 5443
/proc/meminfo: memFree=1626608/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=172 CPUtime=0
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 168984662 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 1 0 0
/proc/5442/statm: 43 24 18 14 0 3 0

[startup+0.107046 s]
/proc/loadavg: 1.86 1.27 1.09 4/81 5443
/proc/meminfo: memFree=1626608/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=915732 CPUtime=0.09
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 3078 0 1 0 8 1 0 0 16 0 8 0 168984662 937709568 2824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5442/statm: 228933 2825 1458 14 0 215428 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 915732

[startup+0.515085 s]
/proc/loadavg: 1.86 1.27 1.09 4/81 5443
/proc/meminfo: memFree=1626608/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=915964 CPUtime=0.5
/proc/5442/stat : 5442 (java) S 5440 5442 4818 0 -1 0 6717 0 1 0 46 4 0 0 16 0 8 0 168984662 937947136 6456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 228991 6456 2137 14 0 215461 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915964

[startup+1.33717 s]
/proc/loadavg: 1.86 1.27 1.09 3/101 5509
/proc/meminfo: memFree=1556408/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916248 CPUtime=1.32
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 17442 0 1 0 104 28 0 0 22 0 8 0 168984662 938237952 17180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380212 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229062 17180 2178 14 0 215532 0
[pid=5442/tid=5444] ppid=5440 vsize=916248 CPUtime=0.03
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 820 0 0 0 3 0 0 0 17 0 8 0 168984665 938237952 17180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916248 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938237952 17180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916248 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938237952 17180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916248 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938237952 17180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916248 CPUtime=0.19
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 427 0 0 0 18 1 0 0 16 0 8 0 168984669 938237952 17180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916248 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938237952 17180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916248 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938237952 17180 18446744073709551615 134512640 134570532 4294956464 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) 916248

[startup+2.99132 s]
/proc/loadavg: 1.86 1.27 1.09 3/101 5509
/proc/meminfo: memFree=1545080/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=2.95
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 19557 0 1 0 264 31 0 0 25 0 8 0 168984662 938442752 19293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073893879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 19293 2547 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.1
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 2393 0 0 0 10 0 0 0 17 0 8 0 168984665 938442752 19293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 19293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 19293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 19293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.33
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 518 0 0 0 31 2 0 0 15 0 8 0 168984669 938442752 19293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 19293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 19293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 916448

[startup+6.28764 s]
/proc/loadavg: 1.87 1.28 1.10 3/101 5509
/proc/meminfo: memFree=1534968/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=6.22
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 19575 0 1 0 591 31 0 0 25 0 8 0 168984662 938442752 19309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074252771 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 19309 2548 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.1
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 2393 0 0 0 10 0 0 0 16 0 8 0 168984665 938442752 19309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 19309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 19309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 19309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.36
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 532 0 0 0 34 2 0 0 15 0 8 0 168984669 938442752 19309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 19309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 19309 18446744073709551615 134512640 134570532 4294956464 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) 916448

[startup+12.7753 s]
/proc/loadavg: 1.88 1.29 1.10 4/101 5509
/proc/meminfo: memFree=1522560/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=12.62
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 19591 0 1 0 1231 31 0 0 25 0 8 0 168984662 938442752 19319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073889216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 19319 2548 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.1
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 2393 0 0 0 10 0 0 0 17 0 8 0 168984665 938442752 19319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 19319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 19319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 19319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.38
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 543 0 0 0 36 2 0 0 16 0 8 0 168984669 938442752 19319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 19319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 19319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 916448

[startup+25.6225 s]
/proc/loadavg: 1.91 1.32 1.12 3/101 5509
/proc/meminfo: memFree=1520768/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=25.35
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 19596 0 1 0 2504 31 0 0 25 0 8 0 168984662 938442752 19321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074252771 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 19321 2548 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.1
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 2393 0 0 0 10 0 0 0 16 0 8 0 168984665 938442752 19321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 19321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 19321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 19321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.39
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 545 0 0 0 37 2 0 0 16 0 8 0 168984669 938442752 19321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 19321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 19321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 916448

[startup+51.246 s]
/proc/loadavg: 1.94 1.38 1.14 3/101 5509
/proc/meminfo: memFree=1519744/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=50.72
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 19598 0 1 0 5041 31 0 0 25 0 8 0 168984662 938442752 19322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074251876 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 19322 2548 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.1
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 2393 0 0 0 10 0 0 0 16 0 8 0 168984665 938442752 19322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 19322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 19322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 19322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.39
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 546 0 0 0 37 2 0 0 16 0 8 0 168984669 938442752 19322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 19322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 19322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 916448

[startup+102.48 s]
/proc/loadavg: 1.97 1.47 1.18 3/101 5509
/proc/meminfo: memFree=1512448/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=101.44
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 21054 0 1 0 10112 32 0 0 25 0 8 0 168984662 938442752 20777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 20777 2548 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.14
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 3848 0 0 0 13 1 0 0 16 0 8 0 168984665 938442752 20777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 20777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 20777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 20777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.39
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 546 0 0 0 37 2 0 0 17 0 8 0 168984669 938442752 20777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 20777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 20777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 916448

[startup+162.575 s]
/proc/loadavg: 1.99 1.56 1.23 3/101 5509
/proc/meminfo: memFree=1511232/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=160.96
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 21055 0 1 0 16063 33 0 0 25 0 8 0 168984662 938442752 20778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074149391 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1414.4
Current children cumulated vsize (KiB) 916448

[startup+1483.46 s]
/proc/loadavg: 2.00 2.00 1.80 3/101 5707
/proc/meminfo: memFree=1392968/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=1474.11
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 49394 0 1 0 147345 66 0 0 25 0 8 0 168984662 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140634 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 49110 2548 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.6
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 32180 0 0 0 47 13 0 0 16 0 8 0 168984665 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.39
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 547 0 0 0 37 2 0 0 16 0 8 0 168984669 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.11
Current children cumulated vsize (KiB) 916448

[startup+1543.5 s]
/proc/loadavg: 2.00 2.00 1.81 3/101 5707
/proc/meminfo: memFree=1392968/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=1533.8
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 49394 0 1 0 153314 66 0 0 25 0 8 0 168984662 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 49110 2548 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.6
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 32180 0 0 0 47 13 0 0 16 0 8 0 168984665 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.39
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 547 0 0 0 37 2 0 0 16 0 8 0 168984669 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.8
Current children cumulated vsize (KiB) 916448

[startup+1603.53 s]
/proc/loadavg: 2.05 2.01 1.83 3/101 5707
/proc/meminfo: memFree=1392968/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=1593.51
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 49394 0 1 0 159285 66 0 0 25 0 8 0 168984662 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074239867 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 49110 2548 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.6
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 32180 0 0 0 47 13 0 0 16 0 8 0 168984665 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.39
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 547 0 0 0 37 2 0 0 16 0 8 0 168984669 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 49110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.51
Current children cumulated vsize (KiB) 916448

[startup+1663.56 s]
/proc/loadavg: 2.02 2.01 1.83 3/101 5707
/proc/meminfo: memFree=1372104/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=1653.22
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 54626 0 1 0 165253 69 0 0 25 0 8 0 168984662 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074252771 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 54341 2548 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.68
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 37411 0 0 0 53 15 0 0 16 0 8 0 168984665 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.39
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 547 0 0 0 37 2 0 0 16 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.22
Current children cumulated vsize (KiB) 916448

[startup+1723.6 s]
/proc/loadavg: 2.04 2.02 1.84 3/101 5707
/proc/meminfo: memFree=1372104/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=1712.92
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 54626 0 1 0 171223 69 0 0 25 0 8 0 168984662 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074252771 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 54341 2548 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.68
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 37411 0 0 0 53 15 0 0 16 0 8 0 168984665 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.39
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 547 0 0 0 37 2 0 0 16 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.92
Current children cumulated vsize (KiB) 916448

[startup+1783.63 s]
/proc/loadavg: 2.01 2.01 1.85 3/101 5707
/proc/meminfo: memFree=1372040/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=1772.62
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 54626 0 1 0 177193 69 0 0 25 0 8 0 168984662 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 54341 2548 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.68
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 37411 0 0 0 53 15 0 0 16 0 8 0 168984665 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.39
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 547 0 0 0 37 2 0 0 16 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.62
Current children cumulated vsize (KiB) 916448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.21 s]
/proc/loadavg: 1.93 1.99 1.85 2/85 5724
/proc/meminfo: memFree=1423240/2055920 swapFree=4192812/4192956
[pid=5442] ppid=5440 vsize=916448 CPUtime=1800.06
/proc/5442/stat : 5442 (java) R 5440 5442 4818 0 -1 0 54626 0 1 0 179936 70 0 0 25 0 8 0 168984662 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074243624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5442/statm: 229112 54341 2548 14 0 215582 0
[pid=5442/tid=5444] ppid=5440 vsize=916448 CPUtime=0.68
/proc/5442/task/5444/stat : 5444 (java) S 5440 5442 4818 0 -1 64 37411 0 0 0 53 15 0 0 16 0 8 0 168984665 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5445] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5445/stat : 5445 (java) S 5440 5442 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5446] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5446/stat : 5446 (java) S 5440 5442 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168984666 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5447] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5447/stat : 5447 (java) S 5440 5442 4818 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5448] ppid=5440 vsize=916448 CPUtime=0.39
/proc/5442/task/5448/stat : 5448 (java) S 5440 5442 4818 0 -1 64 547 0 0 0 37 2 0 0 16 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5449] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5449/stat : 5449 (java) S 5440 5442 4818 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5442/tid=5450] ppid=5440 vsize=916448 CPUtime=0
/proc/5442/task/5450/stat : 5450 (java) S 5440 5442 4818 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168984669 938442752 54341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 916448

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

Child status: 143
Real time (s): 1811.27
CPU time (s): 1800.13
CPU user time (s): 1799.39
CPU system time (s): 0.739887
CPU usage (%): 99.3846
Max. virtual memory (cumulated for all children) (KiB): 916448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.739887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54641
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= 38386
involuntary context switches= 71807

runsolver used 2.37264 s user time and 5.74913 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Sun Jan  7 21:38:18 UTC 2007


IDJOB= 211173
IDBENCH= 4674
FILE ID= node18/211173-1168205897

PBS_JOBID= 3480561

Free space on /tmp= 66290 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-burch-dill-2-accl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211173-1168205897/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-211173-1168205897 -o ROOT/results/node18/solver-211173-1168205897 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211173-1168205897/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  954716681b7059c4fed3aca937833d60

RANDOM SEED= 621152834

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.231
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.231
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:       1627088 kB
Buffers:         48204 kB
Cached:         261196 kB
SwapCached:          0 kB
Active:         181824 kB
Inactive:       188028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1627088 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2544 kB
Writeback:           0 kB
Mapped:          79472 kB
Slab:            44256 kB
Committed_AS:  4727560 kB
PageTables:       1920 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= 66290 MiB



End job on node18 on Sun Jan  7 22:08:31 UTC 2007