Trace number 231977

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 ESACUNSAT 521.111 523.259

DiagnosticValue
CHECKS3766952057
NODES2515566

General information on the benchmark

Namerandom/rand-2-25/
rand-25-25-300-147-57021_ext.xml
MD5SUM770b28076b75602aacb655be9a055a98
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark132.712
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables25
Number of constraints300
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension300
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/231977-1168318892/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=25  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.39	       =>  wckTime=0.093  cpuTime=0.09  mem=6M951
0.39	   
0.39	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.60	     nbConstraints=300  nbRelationTypes=300  nbExtensionStructures=300  nbSharedExtensionStructures=0
0.60	     nbConflictsStructures=300  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=900  maxDegree=24
0.60	     maxArity=2
0.60	       =>  wckTime=0.309  cpuTime=0.23  mem=13M778
0.64	   
0.64	   solver IterativeSystematicSolver being built... 
0.79	       =>  wckTime=0.499  cpuTime=0.35  mem=15M170
0.84	   
0.84	   preprocessing
0.84	     nbConstraintChecks=46100  nbPropagations=571  nbRevisions=5920  nbUselessRevisions=5260  nbSingletonTests=29
0.84	     nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
0.84	       =>  wckTime=0.047  cpuTime=0.02  mem=15M170
0.86	   
0.86	   search
0.86	     run=0  nbConstraintChecks=41211  nbPropagations=1024  nbRevisions=13602  nbUselessRevisions=11843  nbAssignments=30
0.86	     nbFailedAssignments=14  nbBacktracks=11  nbVisitedNodes=52  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.86	     nbTooLargeKeys=0
0.86	       =>  wckTime=0.07  cpuTime=0.04  mem=15M170
0.88	   
0.88	   search
0.88	     run=1  nbConstraintChecks=85336  nbPropagations=2603  nbRevisions=36731  nbUselessRevisions=32027  nbAssignments=68
0.88	     nbFailedAssignments=31  nbBacktracks=26  nbVisitedNodes=116  nbRestartNogoods=2  mapSize=25  nbInferences=0
0.88	     nbTooLargeKeys=0
0.88	       =>  wckTime=0.087  cpuTime=0.05  mem=15M170
0.90	   
0.90	   search
0.90	     run=2  nbConstraintChecks=154068  nbPropagations=4958  nbRevisions=74066  nbUselessRevisions=64517
0.90	     nbAssignments=118  nbFailedAssignments=54  nbBacktracks=48  nbVisitedNodes=206  nbRestartNogoods=6  mapSize=47
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.105  cpuTime=0.07  mem=15M170
0.92	   
0.92	   search
0.92	     run=3  nbConstraintChecks=248148  nbPropagations=8457  nbRevisions=133006  nbUselessRevisions=115842
0.92	     nbAssignments=189  nbFailedAssignments=86  nbBacktracks=82  nbVisitedNodes=334  nbRestartNogoods=8  mapSize=80
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.128  cpuTime=0.09  mem=15M170
0.95	   
0.95	   search
0.95	     run=4  nbConstraintChecks=371735  nbPropagations=13448  nbRevisions=220734  nbUselessRevisions=192271
0.95	     nbAssignments=286  nbFailedAssignments=128  nbBacktracks=132  nbVisitedNodes=510  nbRestartNogoods=10  mapSize=129
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.153  cpuTime=0.11  mem=15M170
0.99	   
0.99	   search
0.99	     run=5  nbConstraintChecks=624156  nbPropagations=21034  nbRevisions=361680  nbUselessRevisions=314950
0.99	     nbAssignments=449  nbFailedAssignments=211  nbBacktracks=207  nbVisitedNodes=813  nbRestartNogoods=15  mapSize=204
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.199  cpuTime=0.15  mem=15M170
1.05	   
1.05	   search
1.05	     run=6  nbConstraintChecks=963598  nbPropagations=32363  nbRevisions=576093  nbUselessRevisions=501703
1.05	     nbAssignments=679  nbFailedAssignments=311  nbBacktracks=321  nbVisitedNodes=1222  nbRestartNogoods=20  mapSize=317
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.257  cpuTime=0.21  mem=15M170
1.13	   
1.13	   search
1.13	     run=7  nbConstraintChecks=1444253  nbPropagations=48933  nbRevisions=898170  nbUselessRevisions=781968
1.13	     nbAssignments=1016  nbFailedAssignments=471  nbBacktracks=492  nbVisitedNodes=1851  nbRestartNogoods=24
1.13	     mapSize=484  nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.336  cpuTime=0.29  mem=15M170
1.26	   
1.26	   search
1.26	     run=8  nbConstraintChecks=2175668  nbPropagations=73529  nbRevisions=1380729  nbUselessRevisions=1202066
1.26	     nbAssignments=1526  nbFailedAssignments=706  nbBacktracks=748  nbVisitedNodes=2779  nbRestartNogoods=33
1.26	     mapSize=737  nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.468  cpuTime=0.41  mem=15M170
1.39	   
1.39	   INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=15M170)
1.43	   
1.43	   search
1.43	     run=9  nbConstraintChecks=3212321  nbPropagations=109559  nbRevisions=2099945  nbUselessRevisions=1828757
1.43	     nbAssignments=2283  nbFailedAssignments=1073  nbBacktracks=1132  nbVisitedNodes=4185  nbRestartNogoods=41
1.43	       =>  wckTime=0.635  cpuTime=0.57  mem=15M170
1.68	   
1.68	   search
1.68	     run=10  nbConstraintChecks=4881303  nbPropagations=163374  nbRevisions=3190465  nbUselessRevisions=2778712
1.68	     nbAssignments=3449  nbFailedAssignments=1659  nbBacktracks=1708  nbVisitedNodes=6357  nbRestartNogoods=54
1.68	       =>  wckTime=0.886  cpuTime=0.81  mem=15M170
2.03	   
2.03	   search
2.03	     run=11  nbConstraintChecks=7322595  nbPropagations=243436  nbRevisions=4822392  nbUselessRevisions=4200007
2.03	     nbAssignments=5164  nbFailedAssignments=2504  nbBacktracks=2572  nbVisitedNodes=9558  nbRestartNogoods=58
2.03	       =>  wckTime=1.235  cpuTime=1.15  mem=15M170
2.56	   
2.56	   search
2.56	     run=12  nbConstraintChecks=11128091  nbPropagations=363839  nbRevisions=7302425  nbUselessRevisions=6360432
2.56	     nbAssignments=7760  nbFailedAssignments=3798  nbBacktracks=3869  nbVisitedNodes=14406  nbRestartNogoods=66
2.56	       =>  wckTime=1.767  cpuTime=1.68  mem=15M170
3.31	   
3.31	   search
3.31	     run=13  nbConstraintChecks=16396499  nbPropagations=541859  nbRevisions=10959282  nbUselessRevisions=9544071
3.31	     nbAssignments=11596  nbFailedAssignments=5683  nbBacktracks=5815  nbVisitedNodes=21539  nbRestartNogoods=80
3.31	       =>  wckTime=2.518  cpuTime=2.43  mem=15M170
4.47	   
4.47	   search
4.47	     run=14  nbConstraintChecks=24659189  nbPropagations=808317  nbRevisions=16451903  nbUselessRevisions=14326715
4.47	     nbAssignments=17382  nbFailedAssignments=8544  nbBacktracks=8734  nbVisitedNodes=32350  nbRestartNogoods=83
4.47	       =>  wckTime=3.675  cpuTime=3.58  mem=15M170
6.14	   
6.14	   search
6.14	     run=15  nbConstraintChecks=36387322  nbPropagations=1203190  nbRevisions=24598931  nbUselessRevisions=21425221
6.14	     nbAssignments=25831  nbFailedAssignments=12611  nbBacktracks=13113  nbVisitedNodes=48073  nbRestartNogoods=102
6.14	       =>  wckTime=5.351  cpuTime=5.24  mem=15M170
8.68	   
8.68	   search
8.68	     run=16  nbConstraintChecks=54138441  nbPropagations=1792137  nbRevisions=36748816  nbUselessRevisions=32012866
8.68	     nbAssignments=38658  nbFailedAssignments=18862  nbBacktracks=19682  nbVisitedNodes=71930  nbRestartNogoods=114
8.68	       =>  wckTime=7.885  cpuTime=7.76  mem=15M170
12.61	   
12.61	   search
12.61	     run=17  nbConstraintChecks=81739379  nbPropagations=2676563  nbRevisions=55066012  nbUselessRevisions=47977955
12.61	     nbAssignments=57876  nbFailedAssignments=28211  nbBacktracks=29534  nbVisitedNodes=107705  nbRestartNogoods=124
12.61	       =>  wckTime=11.818  cpuTime=11.65  mem=15M170
18.54	   
18.54	   search
18.54	     run=18  nbConstraintChecks=123757596  nbPropagations=4009326  nbRevisions=82735516  nbUselessRevisions=72091700
18.54	     nbAssignments=87075  nbFailedAssignments=42626  nbBacktracks=44314  nbVisitedNodes=162237  nbRestartNogoods=130
18.54	       =>  wckTime=17.75  cpuTime=17.55  mem=15M170
27.46	   
27.46	   search
27.46	     run=19  nbConstraintChecks=187669852  nbPropagations=6018557  nbRevisions=124591654  nbUselessRevisions=108570417
27.46	     nbAssignments=130794  nbFailedAssignments=64172  nbBacktracks=66482  nbVisitedNodes=243857  nbRestartNogoods=140
27.46	       =>  wckTime=26.666  cpuTime=26.42  mem=15M170
40.84	   
40.84	   search
40.84	     run=20  nbConstraintChecks=282720465  nbPropagations=9037135  nbRevisions=187575310  nbUselessRevisions=163461275
40.84	     nbAssignments=196206  nbFailedAssignments=96325  nbBacktracks=99735  nbVisitedNodes=365918  nbRestartNogoods=160
40.84	       =>  wckTime=40.046  cpuTime=39.73  mem=15M170
61.01	   
61.01	   search
61.01	     run=21  nbConstraintChecks=426091251  nbPropagations=13573636  nbRevisions=282538926  nbUselessRevisions=246253463
61.01	     nbAssignments=294560  nbFailedAssignments=144795  nbBacktracks=149613  nbVisitedNodes=549492  nbRestartNogoods=181
61.01	       =>  wckTime=60.214  cpuTime=59.77  mem=15M170
90.98	   
90.98	   search
90.98	     run=22  nbConstraintChecks=641074355  nbPropagations=20375766  nbRevisions=425152626  nbUselessRevisions=370622195
90.98	     nbAssignments=441599  nbFailedAssignments=217012  nbBacktracks=224431  nbVisitedNodes=823676  nbRestartNogoods=213
90.98	       =>  wckTime=90.188  cpuTime=89.62  mem=15M170
136.07	   
136.07	   search
136.07	     run=23  nbConstraintChecks=963239046  nbPropagations=30578623  nbRevisions=639412011  nbUselessRevisions=557512818
136.07	     nbAssignments=662227  nbFailedAssignments=325408  nbBacktracks=336658  nbVisitedNodes=1235012  nbRestartNogoods=223
136.07	       =>  wckTime=135.275  cpuTime=134.49  mem=15M170
204.71	   
204.71	   search
204.71	     run=24  nbConstraintChecks=1456457558  nbPropagations=45936531  nbRevisions=962900071  nbUselessRevisions=839719738
204.71	     nbAssignments=995224  nbFailedAssignments=490060  nbBacktracks=504999  nbVisitedNodes=1856353  nbRestartNogoods=235
204.71	       =>  wckTime=203.918  cpuTime=202.8  mem=15M170
308.38	   
308.38	   search
308.38	     run=25  nbConstraintChecks=2204471971  nbPropagations=69064993  nbRevisions=1451469435
308.38	     nbUselessRevisions=1265981755  nbAssignments=1495014  nbFailedAssignments=737333  nbBacktracks=757511
308.38	     nbVisitedNodes=2789142  nbRestartNogoods=250
308.38	       =>  wckTime=307.584  cpuTime=305.99  mem=15M170
466.21	   
466.21	   search
466.21	     run=26  nbConstraintChecks=3352760226  nbPropagations=103954415  nbRevisions=2191607987
466.21	     nbUselessRevisions=1911823539  nbAssignments=2246291  nbFailedAssignments=1109837  nbBacktracks=1136278
466.21	     nbVisitedNodes=4192020  nbRestartNogoods=276
466.21	       =>  wckTime=465.415  cpuTime=463.32  mem=15M170
523.20	   
523.20	   search
523.20	     run=27  nbConstraintChecks=3766905957  nbPropagations=143064160  nbRevisions=3022862580
523.20	     nbUselessRevisions=2637293839  nbAssignments=2515566  nbFailedAssignments=1243524  nbBacktracks=1271861
523.20	     nbVisitedNodes=4695101  nbRestartNogoods=292
523.20	       =>  wckTime=522.403  cpuTime=520.24  mem=15M170
523.20	   
523.20	   global
523.20	     nbConstraintChecks=3766952057  nbPropagations=143064731  nbRevisions=3022868500  nbUselessRevisions=2637299099
523.20	     nbRestartNogoods=292  solvingWckTime=522.405  solvingCpuTime=520.24  expiredTime=no  totalExploration=yes
523.20	     nbFoundSolutions=0  globalCpuTime=520.63
523.20	       =>  wckTime=522.907  cpuTime=520.59  mem=15M170
523.21	   
523.21	s UNSATISFIABLE
523.21	d NODES 2515566
523.21	d CHECKS 3766952057
523.21	   
523.21	   totalWckTime=522.986  totalCpuTime=520.64

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node12/watcher-231977-1168318892 -o ROOT/results/node12/solver-231977-1168318892 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231977-1168318892/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.34 1.65 1.73 4/94 28384
/proc/meminfo: memFree=1453112/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=1488 CPUtime=0
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 236 0 0 0 0 0 0 0 18 0 1 0 180284281 1523712 42 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9697933 0 0 4096 0 0 0 0 17 0 0 0
/proc/28383/statm: 375 51 40 14 0 8 0

[startup+0.108222 s]
/proc/loadavg: 1.34 1.65 1.73 4/94 28384
/proc/meminfo: memFree=1453112/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=914988 CPUtime=0.09
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 3077 0 1 0 8 1 0 0 24 0 8 0 180284281 936947712 2823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516293 s]
/proc/loadavg: 1.34 1.65 1.73 4/94 28384
/proc/meminfo: memFree=1453112/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915328 CPUtime=0.5
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 7150 0 1 0 45 5 0 0 25 0 8 0 180284281 937295872 6889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228832 6889 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33844 s]
/proc/loadavg: 1.34 1.65 1.73 3/101 28391
/proc/meminfo: memFree=1428928/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=1.31
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8774 0 1 0 124 7 0 0 25 0 8 0 180284281 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8512 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.21
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 180284288 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456

[startup+2.98574 s]
/proc/loadavg: 1.39 1.66 1.73 3/101 28397
/proc/meminfo: memFree=1428736/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=2.95
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8781 0 1 0 288 7 0 0 25 0 8 0 180284281 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8518 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 17 0 8 0 180284285 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 391 0 0 0 21 1 0 0 15 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8518 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) 915456

[startup+6.28133 s]
/proc/loadavg: 1.39 1.66 1.73 3/101 28409
/proc/meminfo: memFree=1428736/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=6.23
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8782 0 1 0 615 8 0 0 25 0 8 0 180284281 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8518 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915456

[startup+12.7705 s]
/proc/loadavg: 1.49 1.67 1.73 3/101 28413
/proc/meminfo: memFree=1428672/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=12.64
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8785 0 1 0 1256 8 0 0 25 0 8 0 180284281 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8520 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915456

[startup+25.6458 s]
/proc/loadavg: 1.56 1.68 1.73 3/101 28421
/proc/meminfo: memFree=1428672/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=25.46
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8787 0 1 0 2536 10 0 0 25 0 8 0 180284281 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8522 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915456

[startup+51.2924 s]
/proc/loadavg: 1.71 1.70 1.74 3/101 28445
/proc/meminfo: memFree=1428736/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=50.98
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8793 0 1 0 5085 13 0 0 25 0 8 0 180284281 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8528 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915456

[startup+102.563 s]
/proc/loadavg: 1.97 1.78 1.76 3/95 28471
/proc/meminfo: memFree=1429888/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=101.96
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8799 0 1 0 10182 14 0 0 25 0 8 0 180284281 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8534 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915456

[startup+162.58 s]
/proc/loadavg: 2.06 1.83 1.78 3/95 28471
/proc/meminfo: memFree=1429888/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=161.71
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8801 0 1 0 16157 14 0 0 25 0 8 0 180284281 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846300 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8536 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.71
Current children cumulated vsize (KiB) 915456

[startup+222.597 s]
/proc/loadavg: 2.07 1.88 1.80 3/95 28471
/proc/meminfo: memFree=1429888/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=221.45
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8804 0 1 0 22131 14 0 0 25 0 8 0 180284281 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8539 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.45
Current children cumulated vsize (KiB) 915456

[startup+282.613 s]
/proc/loadavg: 2.02 1.90 1.81 3/95 28471
/proc/meminfo: memFree=1429888/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=281.18
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8804 0 1 0 28104 14 0 0 25 0 8 0 180284281 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8539 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.18
Current children cumulated vsize (KiB) 915456

[startup+342.624 s]
/proc/loadavg: 2.01 1.91 1.82 3/95 28471
/proc/meminfo: memFree=1429888/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=340.91
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8806 0 1 0 34077 14 0 0 25 0 8 0 180284281 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802679 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8541 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 915456

[startup+402.64 s]
/proc/loadavg: 2.06 1.94 1.83 4/101 28546
/proc/meminfo: memFree=1376912/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=400.67
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8806 0 1 0 40052 15 0 0 25 0 8 0 180284281 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8541 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.67
Current children cumulated vsize (KiB) 915456

[startup+462.664 s]
/proc/loadavg: 2.02 1.95 1.84 4/94 28547
/proc/meminfo: memFree=1395720/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=460.62
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8806 0 1 0 46047 15 0 0 25 0 8 0 180284281 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804894 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8541 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.62
Current children cumulated vsize (KiB) 915456

[startup+522.69 s]
/proc/loadavg: 2.07 1.97 1.85 3/94 28547
/proc/meminfo: memFree=1393736/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=520.57
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8809 0 1 0 52042 15 0 0 25 0 8 0 180284281 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8544 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.57
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 523.259
CPU time (s): 521.111
CPU user time (s): 520.946
CPU system time (s): 0.164974
CPU usage (%): 99.5895
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 520.946
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8901
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= 11752
involuntary context switches= 26832

runsolver used 0.554915 s user time and 1.80373 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue Jan  9 05:01:32 UTC 2007


IDJOB= 231977
IDBENCH= 6494
FILE ID= node12/231977-1168318892

PBS_JOBID= 3502672

Free space on /tmp= 66561 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-57021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231977-1168318892/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-231977-1168318892 -o ROOT/results/node12/solver-231977-1168318892 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231977-1168318892/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  770b28076b75602aacb655be9a055a98

RANDOM SEED= 338652520

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.265
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.265
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:       1453592 kB
Buffers:         97988 kB
Cached:         408684 kB
SwapCached:       5164 kB
Active:         337468 kB
Inactive:       207380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1453592 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            2096 kB
Writeback:           0 kB
Mapped:          49468 kB
Slab:            42072 kB
Committed_AS:  5308052 kB
PageTables:       2336 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= 66559 MiB



End job on node12 on Tue Jan  9 05:10:16 UTC 2007