Trace number 211108

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.12 1807.46

General information on the benchmark

NamepseudoSeries/uclid/
43s-smv.xml
MD5SUMf109fba1726e5b50bd902881991bb051
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 benchmark95.8104
SatisfiableNO
(Un)Satisfiability was proved
Number of variables3655
Number of constraints8685
Maximum constraint arity15
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8685
Global constraints used (with number of constraints)

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=esac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/211108-1168205498/unknown.xml
0.40	   
0.40	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.62	     nbVariables=3655  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.62	       =>  wckTime=0.289  cpuTime=0.2  mem=13M728
0.62	   
0.62	   predicates being loaded...
0.64	   
0.64	   constraints being loaded...
4.37	     nbConstraints=8070  nbMergedConstraints=615  nbSingletonDomainVariables=519  nbConvertedConstraints=5233
4.37	     nbConvertConstraintsChecks=557166  nbExtensionStructures=9  nbSharedExtensionStructures=5224
4.37	     nbConflictsStructures=57  nbSharedConflictsStructures=8013  nbSharedBinaryRepresentations=21
4.37	     nbEvaluationManagers=48  nbSharedEvaluationManagers=2789  maxDegree=166  maxArity=15
4.37	       =>  wckTime=4.035  cpuTime=3.61  mem=26M731
4.48	   
4.48	   solver IterativeSystematicSolver being built... 
4.93	       =>  wckTime=4.598  cpuTime=3.95  mem=20M246
14.94	   
14.94	   preprocessing
14.94	     nbConstraintChecks=942233  nbValidityChecks=251718  nbPropagations=15966  nbRevisions=171010
14.94	     nbUselessRevisions=162188  nbSingletonTests=3673  nbEffectiveSingletonTests=0  nbESACBranches=15  nbRemovedValues=0
14.94	     detectedInconsistency=no
14.94	       =>  wckTime=9.991  cpuTime=9.84  mem=21M254
17.01	   
17.01	   search
17.01	     run=0  nbConstraintChecks=60129  nbValidityChecks=50440  nbPropagations=18350  nbRevisions=204995
17.01	     nbUselessRevisions=193857  nbAssignments=421  nbFailedAssignments=7  nbBacktracks=18  nbVisitedNodes=433
17.01	     nbRestartNogoods=0  mapSize=4  nbInferences=0  nbTooLargeKeys=0
17.01	       =>  wckTime=12.064  cpuTime=11.87  mem=22M263
21.67	   
21.67	   search
21.67	     run=1  nbConstraintChecks=705809  nbValidityChecks=311065  nbPropagations=50512  nbRevisions=592299
21.67	     nbUselessRevisions=556873  nbAssignments=2319  nbFailedAssignments=9  nbBacktracks=49  nbVisitedNodes=848
21.67	     nbRestartNogoods=7  mapSize=7  nbInferences=0  nbTooLargeKeys=0
21.67	       =>  wckTime=16.724  cpuTime=16.48  mem=22M263
23.61	   
23.61	   search
23.61	     run=2  nbConstraintChecks=743637  nbValidityChecks=360053  nbPropagations=85052  nbRevisions=1012829
23.61	     nbUselessRevisions=950813  nbAssignments=2743  nbFailedAssignments=11  nbBacktracks=82  nbVisitedNodes=1279
23.61	     nbRestartNogoods=8  mapSize=13  nbInferences=0  nbTooLargeKeys=0
23.61	       =>  wckTime=18.669  cpuTime=18.4  mem=22M263
25.62	   
25.62	   search
25.62	     run=3  nbConstraintChecks=781360  nbValidityChecks=409011  nbPropagations=121946  nbRevisions=1466479
25.62	     nbUselessRevisions=1375602  nbAssignments=3177  nbFailedAssignments=13  nbBacktracks=119  nbVisitedNodes=1719
25.62	     nbRestartNogoods=9  mapSize=18  nbInferences=0  nbTooLargeKeys=0
25.62	       =>  wckTime=20.679  cpuTime=20.39  mem=23M271
27.69	   
27.69	   search
27.69	     run=4  nbConstraintChecks=819108  nbValidityChecks=458515  nbPropagations=161203  nbRevisions=1953549
27.69	     nbUselessRevisions=1831556  nbAssignments=3627  nbFailedAssignments=16  nbBacktracks=170  nbVisitedNodes=2176
27.69	     nbRestartNogoods=10  mapSize=23  nbInferences=0  nbTooLargeKeys=0
27.69	       =>  wckTime=22.753  cpuTime=22.44  mem=23M271
29.97	   
29.97	   search
29.97	     run=5  nbConstraintChecks=910889  nbValidityChecks=510500  nbPropagations=203046  nbRevisions=2476086
29.97	     nbUselessRevisions=2320430  nbAssignments=4090  nbFailedAssignments=25  nbBacktracks=248  nbVisitedNodes=2658
29.97	     nbRestartNogoods=12  mapSize=41  nbInferences=0  nbTooLargeKeys=0
29.97	       =>  wckTime=25.03  cpuTime=24.69  mem=24M280
32.48	   
32.48	   search
32.48	     run=6  nbConstraintChecks=1016551  nbValidityChecks=566626  nbPropagations=249093  nbRevisions=3042525
32.48	     nbUselessRevisions=2848863  nbAssignments=4593  nbFailedAssignments=47  nbBacktracks=365  nbVisitedNodes=3207
32.48	     nbRestartNogoods=13  mapSize=85  nbInferences=2  nbTooLargeKeys=0
32.48	       =>  wckTime=27.535  cpuTime=27.18  mem=24M280
34.64	   
34.64	   search
34.64	     run=7  nbConstraintChecks=1055105  nbValidityChecks=614772  nbPropagations=299252  nbRevisions=3647862
34.64	     nbUselessRevisions=3412020  nbAssignments=5085  nbFailedAssignments=68  nbBacktracks=549  nbVisitedNodes=3737
34.64	     nbRestartNogoods=14  mapSize=120  nbInferences=2  nbTooLargeKeys=0
34.64	       =>  wckTime=29.695  cpuTime=29.32  mem=24M280
37.38	   
37.38	   search
37.38	     run=8  nbConstraintChecks=1108128  nbValidityChecks=666562  nbPropagations=356443  nbRevisions=4304838
37.38	     nbUselessRevisions=4019623  nbAssignments=5751  nbFailedAssignments=100  nbBacktracks=824  nbVisitedNodes=4404
37.38	     nbRestartNogoods=17  mapSize=184  nbInferences=2  nbTooLargeKeys=0
37.38	       =>  wckTime=32.442  cpuTime=32.04  mem=25M288
40.58	   
40.58	   search
40.58	     run=9  nbConstraintChecks=1165350  nbValidityChecks=720528  nbPropagations=421290  nbRevisions=5017775
40.58	     nbUselessRevisions=4675441  nbAssignments=6593  nbFailedAssignments=135  nbBacktracks=1217  nbVisitedNodes=5174
40.58	     nbRestartNogoods=20  mapSize=258  nbInferences=2  nbTooLargeKeys=0
40.58	       =>  wckTime=35.634  cpuTime=35.2  mem=26M297
45.62	   
45.62	   search
45.62	     run=10  nbConstraintChecks=1398467  nbValidityChecks=806389  nbPropagations=498499  nbRevisions=5820708
45.62	     nbUselessRevisions=5408071  nbAssignments=7541  nbFailedAssignments=226  nbBacktracks=1797  nbVisitedNodes=6312
45.62	     nbRestartNogoods=22  mapSize=430  nbInferences=5  nbTooLargeKeys=0
45.62	       =>  wckTime=40.679  cpuTime=40.19  mem=26M297
50.90	   
50.90	   search
50.90	     run=11  nbConstraintChecks=1600354  nbValidityChecks=900716  nbPropagations=591221  nbRevisions=6729980
50.90	     nbUselessRevisions=6230718  nbAssignments=8803  nbFailedAssignments=322  nbBacktracks=2670  nbVisitedNodes=7705
50.90	     nbRestartNogoods=26  mapSize=613  nbInferences=5  nbTooLargeKeys=0
50.90	       =>  wckTime=45.958  cpuTime=45.42  mem=27M305
62.48	   
62.48	   search
62.48	     run=12  nbConstraintChecks=1821340  nbValidityChecks=1030038  nbPropagations=698698  nbRevisions=7763370
62.48	     nbUselessRevisions=7162593  nbAssignments=11507  nbFailedAssignments=403  nbBacktracks=3967  nbVisitedNodes=9840
62.48	     nbRestartNogoods=32  mapSize=750  nbInferences=5  nbTooLargeKeys=0
62.48	       =>  wckTime=57.535  cpuTime=56.88  mem=29M323
87.08	   
87.08	   search
87.08	     run=13  nbConstraintChecks=3044492  nbValidityChecks=1622947  nbPropagations=835293  nbRevisions=9243369
87.08	     nbUselessRevisions=8512441  nbAssignments=17627  nbFailedAssignments=686  nbBacktracks=5922  nbVisitedNodes=13677
87.08	     nbRestartNogoods=41  mapSize=1310  nbInferences=9  nbTooLargeKeys=0
87.08	       =>  wckTime=82.139  cpuTime=81.27  mem=31M340
117.74	   
117.74	   search
117.74	     run=14  nbConstraintChecks=4558366  nbValidityChecks=2167101  nbPropagations=1009450  nbRevisions=11136172
117.74	     nbUselessRevisions=10238342  nbAssignments=25392  nbFailedAssignments=931  nbBacktracks=8842  nbVisitedNodes=18761
117.74	     nbRestartNogoods=51  mapSize=2259  nbInferences=439  nbTooLargeKeys=0
117.74	       =>  wckTime=112.794  cpuTime=111.65  mem=32M348
156.80	   
156.80	   search
156.80	     run=15  nbConstraintChecks=5868019  nbValidityChecks=2591719  nbPropagations=1223215  nbRevisions=13393686
156.80	     nbUselessRevisions=12288931  nbAssignments=32607  nbFailedAssignments=1354  nbBacktracks=13233
156.80	     nbVisitedNodes=26135  nbRestartNogoods=58  mapSize=3577  nbInferences=859  nbTooLargeKeys=0
156.80	       =>  wckTime=151.861  cpuTime=150.35  mem=35M374
187.11	   
187.11	   search
187.11	     run=16  nbConstraintChecks=7135530  nbValidityChecks=3120947  nbPropagations=1582874  nbRevisions=16524821
187.11	     nbUselessRevisions=15060524  nbAssignments=41982  nbFailedAssignments=2022  nbBacktracks=19806
187.11	     nbVisitedNodes=35160  nbRestartNogoods=67  mapSize=5104  nbInferences=935  nbTooLargeKeys=0
187.11	       =>  wckTime=182.165  cpuTime=180.37  mem=40M417
258.13	   
258.13	   search
258.13	     run=17  nbConstraintChecks=8155337  nbValidityChecks=3453177  nbPropagations=2044016  nbRevisions=20192029
258.13	     nbUselessRevisions=18262418  nbAssignments=53800  nbFailedAssignments=3340  nbBacktracks=29675
258.13	     nbVisitedNodes=49790  nbRestartNogoods=75  mapSize=7861  nbInferences=1195  nbTooLargeKeys=0
258.13	       =>  wckTime=253.188  cpuTime=250.74  mem=46M468
340.67	   
340.67	   search
340.67	     run=18  nbConstraintChecks=10310957  nbValidityChecks=4146922  nbPropagations=2772732  nbRevisions=25344712
340.67	     nbUselessRevisions=22662042  nbAssignments=70710  nbFailedAssignments=4369  nbBacktracks=44465
340.67	     nbVisitedNodes=68356  nbRestartNogoods=85  mapSize=10266  nbInferences=1326  nbTooLargeKeys=0
340.67	       =>  wckTime=335.733  cpuTime=332.55  mem=57M562
472.16	   
472.16	   search
472.16	     run=19  nbConstraintChecks=13530691  nbValidityChecks=5180224  nbPropagations=3936241  nbRevisions=32863262
472.16	     nbUselessRevisions=28963585  nbAssignments=95149  nbFailedAssignments=6303  nbBacktracks=66633
472.16	     nbVisitedNodes=97097  nbRestartNogoods=94  mapSize=14528  nbInferences=1425  nbTooLargeKeys=0
472.16	       =>  wckTime=467.221  cpuTime=462.77  mem=36M310
666.59	   
666.59	   search
666.59	     run=20  nbConstraintChecks=19240756  nbValidityChecks=6717375  nbPropagations=5541655  nbRevisions=43413465
666.59	     nbUselessRevisions=37833406  nbAssignments=132556  nbFailedAssignments=9537  nbBacktracks=99887
666.59	     nbVisitedNodes=141456  nbRestartNogoods=107  mapSize=21773  nbInferences=1847  nbTooLargeKeys=0
666.59	       =>  wckTime=661.65  cpuTime=655.45  mem=62M532
979.53	   
979.54	   search
979.54	     run=21  nbConstraintChecks=27399402  nbValidityChecks=11927641  nbPropagations=8172090  nbRevisions=61400640
979.54	     nbUselessRevisions=53073183  nbAssignments=191629  nbFailedAssignments=13942  nbBacktracks=149769
979.54	     nbVisitedNodes=213744  nbRestartNogoods=116  mapSize=35228  nbInferences=6048  nbTooLargeKeys=0
979.54	       =>  wckTime=974.594  cpuTime=968.0  mem=60M578
1389.50	   
1389.50	   search
1389.50	     run=22  nbConstraintChecks=35197632  nbValidityChecks=14535725  nbPropagations=11750691  nbRevisions=85071830
1389.50	     nbUselessRevisions=73011691  nbAssignments=277093  nbFailedAssignments=18576  nbBacktracks=224592
1389.50	     nbVisitedNodes=313825  nbRestartNogoods=131  mapSize=50317  nbInferences=11421  nbTooLargeKeys=0
1389.50	       =>  wckTime=1384.557  cpuTime=1377.49  mem=83M937

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/node51/watcher-211108-1168205498 -o ROOT/results/node51/solver-211108-1168205498 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211108-1168205498/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: 2.08 2.02 1.93 4/73 4540
/proc/meminfo: memFree=1562704/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=18540 CPUtime=0
/proc/4539/stat : 4539 (runsolver) R 4537 4539 3446 0 -1 4194368 17 0 0 0 0 0 0 0 24 0 1 0 168948337 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4539/statm: 4635 279 244 17 0 2626 0

[startup+0.107528 s]
/proc/loadavg: 2.08 2.02 1.93 4/73 4540
/proc/meminfo: memFree=1562704/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=912908 CPUtime=0.08
/proc/4539/stat : 4539 (java) S 4537 4539 3446 0 -1 0 2838 0 1 0 7 1 0 0 18 0 8 0 168948337 934817792 2584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228227 2584 1392 14 0 215128 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912908

[startup+0.515599 s]
/proc/loadavg: 2.08 2.02 1.93 4/73 4540
/proc/meminfo: memFree=1562704/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915328 CPUtime=0.48
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 6386 0 1 0 43 5 0 0 18 0 8 0 168948337 937295872 6125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228832 6125 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33774 s]
/proc/loadavg: 2.07 2.02 1.93 3/80 4547
/proc/meminfo: memFree=1501592/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915644 CPUtime=1.3
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 17697 0 1 0 114 16 0 0 24 0 8 0 168948337 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228911 17435 2178 14 0 215381 0
[pid=4539/tid=4541] ppid=4537 vsize=915644 CPUtime=0.05
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 1086 0 0 0 5 0 0 0 17 0 8 0 168948341 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915644 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915644 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915644 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915644 CPUtime=0.2
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 417 0 0 0 19 1 0 0 16 0 8 0 168948346 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915644 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915644 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915644

[startup+2.98803 s]
/proc/loadavg: 2.07 2.02 1.93 3/80 4547
/proc/meminfo: memFree=1494488/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915648 CPUtime=2.94
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 19426 0 1 0 247 47 0 0 25 0 8 0 168948337 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228912 19162 2179 14 0 215382 0
[pid=4539/tid=4541] ppid=4537 vsize=915648 CPUtime=0.11
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 2784 0 0 0 10 1 0 0 17 0 8 0 168948341 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915648 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915648 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915648 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915648 CPUtime=0.24
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 445 0 0 0 23 1 0 0 16 0 8 0 168948346 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915648 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915648 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915648

[startup+6.27958 s]
/proc/loadavg: 2.07 2.02 1.93 3/80 4547
/proc/meminfo: memFree=1481816/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=6.2
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 22938 0 1 0 569 51 0 0 25 0 8 0 168948337 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074218280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228963 22654 2547 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.29
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 5780 0 0 0 27 2 0 0 17 0 8 0 168948341 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.37
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 514 0 0 0 36 1 0 0 16 0 8 0 168948346 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915852

[startup+12.7707 s]
/proc/loadavg: 2.06 2.02 1.93 3/80 4547
/proc/meminfo: memFree=1481752/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=12.63
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 22950 0 1 0 1212 51 0 0 25 0 8 0 168948337 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228963 22661 2547 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.29
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 5780 0 0 0 27 2 0 0 16 0 8 0 168948341 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.39
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 525 0 0 0 38 1 0 0 15 0 8 0 168948346 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915852

[startup+25.6499 s]
/proc/loadavg: 2.05 2.01 1.93 3/80 4547
/proc/meminfo: memFree=1481816/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=25.39
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 22978 0 1 0 2488 51 0 0 25 0 8 0 168948337 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074013885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228963 22681 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.29
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 5780 0 0 0 27 2 0 0 16 0 8 0 168948341 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.44
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 545 0 0 0 42 2 0 0 16 0 8 0 168948346 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915852

[startup+51.3202 s]
/proc/loadavg: 2.03 2.01 1.93 3/80 4547
/proc/meminfo: memFree=1481944/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=50.82
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 22991 0 1 0 5030 52 0 0 25 0 8 0 168948337 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073887474 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228963 22688 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.29
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 5780 0 0 0 27 2 0 0 16 0 8 0 168948341 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 554 0 0 0 44 2 0 0 15 0 8 0 168948346 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 915852

[startup+102.616 s]
/proc/loadavg: 2.09 2.02 1.93 3/80 4547
/proc/meminfo: memFree=1481880/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=101.65
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 22993 0 1 0 10113 52 0 0 25 0 8 0 168948337 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074261768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228963 22689 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.29
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 5780 0 0 0 27 2 0 0 16 0 8 0 168948341 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 555 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 915852

[startup+162.644 s]
/proc/loadavg: 2.03 2.02 1.93 3/80 4547
/proc/meminfo: memFree=1481880/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=161.13
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 22993 0 1 0 16061 52 0 0 25 0 8 0 168948337 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074274942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1416.58
Current children cumulated vsize (KiB) 915852

[startup+1483.48 s]
/proc/loadavg: 2.03 2.03 2.00 3/88 4689
/proc/meminfo: memFree=1399512/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1476.55
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 33560 0 1 0 147583 72 0 0 25 0 8 0 168948337 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480168 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 33251 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.51
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 16340 0 0 0 44 7 0 0 16 0 8 0 168948341 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.55
Current children cumulated vsize (KiB) 915852

[startup+1543.49 s]
/proc/loadavg: 2.04 2.03 2.00 3/88 4689
/proc/meminfo: memFree=1398808/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1536.5
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 33560 0 1 0 153578 72 0 0 25 0 8 0 168948337 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074261162 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 33251 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.51
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 16340 0 0 0 44 7 0 0 16 0 8 0 168948341 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.5
Current children cumulated vsize (KiB) 915852

[startup+1603.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/88 4689
/proc/meminfo: memFree=1398232/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1596.43
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 33560 0 1 0 159571 72 0 0 25 0 8 0 168948337 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074274979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 33251 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.51
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 16340 0 0 0 44 7 0 0 16 0 8 0 168948341 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.43
Current children cumulated vsize (KiB) 915852

[startup+1663.61 s]
/proc/loadavg: 2.00 2.02 2.00 3/88 4689
/proc/meminfo: memFree=1397720/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1656.48
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 33560 0 1 0 165576 72 0 0 25 0 8 0 168948337 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074259538 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 33251 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.51
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 16340 0 0 0 44 7 0 0 16 0 8 0 168948341 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.48
Current children cumulated vsize (KiB) 915852

[startup+1723.63 s]
/proc/loadavg: 2.07 2.03 2.00 3/88 4760
/proc/meminfo: memFree=1409368/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1716.43
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 33560 0 1 0 171564 79 0 0 25 0 8 0 168948337 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074261115 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 33251 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.51
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 16340 0 0 0 44 7 0 0 16 0 8 0 168948341 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.43
Current children cumulated vsize (KiB) 915852

[startup+1783.69 s]
/proc/loadavg: 2.02 2.02 2.00 3/94 4844
/proc/meminfo: memFree=1355640/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1776.37
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 36393 0 1 0 177551 86 0 0 25 0 8 0 168948337 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074161079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 36083 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.56
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 19172 0 0 0 48 8 0 0 16 0 8 0 168948341 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.37
Current children cumulated vsize (KiB) 915852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.39 s]
/proc/loadavg: 2.09 2.04 2.01 3/94 4900
/proc/meminfo: memFree=1342816/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1800.05
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 36393 0 1 0 179913 92 0 0 25 0 8 0 168948337 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074171034 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 36083 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.56
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 19172 0 0 0 48 8 0 0 16 0 8 0 168948341 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915852

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

Child status: 143
Real time (s): 1807.46
CPU time (s): 1800.12
CPU user time (s): 1799.17
CPU system time (s): 0.945856
CPU usage (%): 99.5939
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.945856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36409
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= 38434
involuntary context switches= 31262

runsolver used 2.81557 s user time and 5.82411 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Sun Jan  7 21:31:38 UTC 2007


IDJOB= 211108
IDBENCH= 4669
FILE ID= node51/211108-1168205498

PBS_JOBID= 3480758

Free space on /tmp= 66548 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/43s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211108-1168205498/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-211108-1168205498 -o ROOT/results/node51/solver-211108-1168205498 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211108-1168205498/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f109fba1726e5b50bd902881991bb051

RANDOM SEED= 526781825

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.277
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.277
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:       1563184 kB
Buffers:         33428 kB
Cached:         331120 kB
SwapCached:          0 kB
Active:         155860 kB
Inactive:       283988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1563184 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3052 kB
Writeback:           0 kB
Mapped:          88928 kB
Slab:            38296 kB
Committed_AS:  3598672 kB
PageTables:       1840 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= 66550 MiB



End job on node51 on Sun Jan  7 22:01:45 UTC 2007