Trace number 214092

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.03 1812.68

General information on the benchmark

NamepseudoSeries/par/
par-32-3-c.xml
MD5SUM315a156ccbc0beaf56a30107b637b9af
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2650
Number of constraints6619
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6619
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/214092-1168228169/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.52	     nbVariables=2650  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.52	       =>  wckTime=0.229  cpuTime=0.15  mem=10M819
0.52	   
0.52	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
1.50	     nbConstraints=6619  nbConvertedConstraints=1697  nbConvertConstraintsChecks=56  nbExtensionStructures=2
1.50	     nbSharedExtensionStructures=1695  nbConflictsStructures=8  nbSharedConflictsStructures=6611
1.50	     nbSharedBinaryRepresentations=5  nbEvaluationManagers=6  nbSharedEvaluationManagers=4916  maxDegree=85  maxArity=3
1.50	       =>  wckTime=1.204  cpuTime=0.97  mem=8M982
1.56	   
1.56	   solver IterativeSystematicSolver being built... 
1.93	       =>  wckTime=1.639  cpuTime=1.24  mem=9M910
2.86	   
2.86	   preprocessing
2.86	     nbConstraintChecks=20093  nbValidityChecks=13672  nbPropagations=11026  nbRevisions=44540  nbUselessRevisions=38743
2.86	     nbSingletonTests=2721  nbEffectiveSingletonTests=0  nbESACBranches=9  nbRemovedValues=0  detectedInconsistency=no
2.86	       =>  wckTime=0.919  cpuTime=0.87  mem=10M895
3.02	   
3.02	   search
3.02	     run=0  nbConstraintChecks=25350  nbValidityChecks=20818  nbPropagations=19577  nbRevisions=81310
3.02	     nbUselessRevisions=66960  nbAssignments=74  nbFailedAssignments=4  nbBacktracks=14  nbVisitedNodes=83
3.02	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
3.02	       =>  wckTime=1.077  cpuTime=1.02  mem=10M895
3.14	   
3.14	   search
3.14	     run=1  nbConstraintChecks=46494  nbValidityChecks=41097  nbPropagations=47202  nbRevisions=196962
3.14	     nbUselessRevisions=160212  nbAssignments=148  nbFailedAssignments=8  nbBacktracks=30  nbVisitedNodes=165
3.14	     nbRestartNogoods=1  mapSize=14  nbInferences=0  nbTooLargeKeys=0
3.14	       =>  wckTime=1.202  cpuTime=1.14  mem=10M895
3.32	   
3.32	   search
3.32	     run=2  nbConstraintChecks=83922  nbValidityChecks=75575  nbPropagations=88477  nbRevisions=371188
3.32	     nbUselessRevisions=298367  nbAssignments=237  nbFailedAssignments=15  nbBacktracks=52  nbVisitedNodes=268
3.32	     nbRestartNogoods=2  mapSize=25  nbInferences=0  nbTooLargeKeys=0
3.32	       =>  wckTime=1.384  cpuTime=1.32  mem=10M895
3.56	   
3.56	   search
3.56	     run=3  nbConstraintChecks=131896  nbValidityChecks=120310  nbPropagations=147427  nbRevisions=621466
3.56	     nbUselessRevisions=494864  nbAssignments=340  nbFailedAssignments=24  nbBacktracks=92  nbVisitedNodes=389
3.56	     nbRestartNogoods=5  mapSize=41  nbInferences=0  nbTooLargeKeys=0
3.56	       =>  wckTime=1.623  cpuTime=1.55  mem=10M895
3.87	   
3.87	   search
3.87	     run=4  nbConstraintChecks=201850  nbValidityChecks=184430  nbPropagations=231623  nbRevisions=981021
3.87	     nbUselessRevisions=775331  nbAssignments=463  nbFailedAssignments=37  nbBacktracks=142  nbVisitedNodes=538
3.87	     nbRestartNogoods=7  mapSize=64  nbInferences=0  nbTooLargeKeys=0
3.87	       =>  wckTime=1.934  cpuTime=1.86  mem=10M895
4.29	   
4.29	   search
4.29	     run=5  nbConstraintChecks=300119  nbValidityChecks=275082  nbPropagations=351421  nbRevisions=1495129
4.29	     nbUselessRevisions=1174652  nbAssignments=612  nbFailedAssignments=56  nbBacktracks=218  nbVisitedNodes=725
4.29	     nbRestartNogoods=10  mapSize=100  nbInferences=0  nbTooLargeKeys=0
4.29	       =>  wckTime=2.354  cpuTime=2.28  mem=10M895
4.90	   
4.90	   search
4.90	     run=6  nbConstraintChecks=446894  nbValidityChecks=409051  nbPropagations=523883  nbRevisions=2237618
4.90	     nbUselessRevisions=1749520  nbAssignments=811  nbFailedAssignments=84  nbBacktracks=333  nbVisitedNodes=980
4.90	     nbRestartNogoods=12  mapSize=153  nbInferences=0  nbTooLargeKeys=0
4.90	       =>  wckTime=2.962  cpuTime=2.88  mem=10M895
5.72	   
5.72	   search
5.72	     run=7  nbConstraintChecks=633090  nbValidityChecks=579190  nbPropagations=763068  nbRevisions=3270317
5.72	     nbUselessRevisions=2547647  nbAssignments=1079  nbFailedAssignments=120  nbBacktracks=511  nbVisitedNodes=1320
5.72	     nbRestartNogoods=15  mapSize=222  nbInferences=0  nbTooLargeKeys=0
5.72	       =>  wckTime=3.783  cpuTime=3.7  mem=11M880
6.90	   
6.90	   search
6.90	     run=8  nbConstraintChecks=908649  nbValidityChecks=829804  nbPropagations=1100701  nbRevisions=4730180
6.90	     nbUselessRevisions=3674145  nbAssignments=1450  nbFailedAssignments=173  nbBacktracks=767  nbVisitedNodes=1797
6.90	     nbRestartNogoods=18  mapSize=323  nbInferences=0  nbTooLargeKeys=0
6.90	       =>  wckTime=4.965  cpuTime=4.87  mem=11M880
8.48	   
8.48	   search
8.48	     run=9  nbConstraintChecks=1227201  nbValidityChecks=1119744  nbPropagations=1552324  nbRevisions=6687654
8.48	     nbUselessRevisions=5183815  nbAssignments=1965  nbFailedAssignments=237  nbBacktracks=1158  nbVisitedNodes=2446
8.48	     nbRestartNogoods=23  mapSize=454  nbInferences=0  nbTooLargeKeys=0
8.48	       =>  wckTime=6.546  cpuTime=6.43  mem=11M880
10.71	   
10.71	   search
10.71	     run=10  nbConstraintChecks=1643486  nbValidityChecks=1505557  nbPropagations=2154375  nbRevisions=9310610
10.71	     nbUselessRevisions=7207533  nbAssignments=2696  nbFailedAssignments=324  nbBacktracks=1737  nbVisitedNodes=3380
10.71	     nbRestartNogoods=26  mapSize=652  nbInferences=0  nbTooLargeKeys=0
10.71	       =>  wckTime=8.775  cpuTime=8.64  mem=12M865
13.93	   
13.94	   search
13.94	     run=11  nbConstraintChecks=2239553  nbValidityChecks=2073561  nbPropagations=2976672  nbRevisions=12905790
13.94	     nbUselessRevisions=9981666  nbAssignments=3747  nbFailedAssignments=453  nbBacktracks=2611  nbVisitedNodes=4737
13.94	     nbRestartNogoods=31  mapSize=957  nbInferences=0  nbTooLargeKeys=0
13.94	       =>  wckTime=11.996  cpuTime=11.84  mem=12M865
14.51	   
14.51	   INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=12M865)
16.90	   
16.90	   search
16.90	     run=12  nbConstraintChecks=3136400  nbValidityChecks=2945048  nbPropagations=4138860  nbRevisions=17962167
16.90	     nbUselessRevisions=13874476  nbAssignments=5290  nbFailedAssignments=628  nbBacktracks=3911  nbVisitedNodes=6706
16.90	     nbRestartNogoods=32
16.90	       =>  wckTime=14.959  cpuTime=14.79  mem=12M865
20.89	   
20.89	   search
20.89	     run=13  nbConstraintChecks=4380757  nbValidityChecks=4210370  nbPropagations=5785848  nbRevisions=25115497
20.89	     nbUselessRevisions=19373230  nbAssignments=7557  nbFailedAssignments=854  nbBacktracks=5880  nbVisitedNodes=9507
20.89	     nbRestartNogoods=37
20.89	       =>  wckTime=18.949  cpuTime=18.76  mem=12M865
26.80	   
26.80	   search
26.80	     run=14  nbConstraintChecks=6117718  nbValidityChecks=6088420  nbPropagations=8154351  nbRevisions=35370614
26.80	     nbUselessRevisions=27240037  nbAssignments=10906  nbFailedAssignments=1211  nbBacktracks=8806  nbVisitedNodes=13622
26.80	     nbRestartNogoods=40
26.80	       =>  wckTime=24.863  cpuTime=24.64  mem=12M865
36.56	   
36.56	   search
36.56	     run=15  nbConstraintChecks=9019978  nbValidityChecks=9265457  nbPropagations=11722863  nbRevisions=50889130
36.56	     nbUselessRevisions=39147659  nbAssignments=15847  nbFailedAssignments=1691  nbBacktracks=13202
36.56	     nbVisitedNodes=19543  nbRestartNogoods=43
36.56	       =>  wckTime=34.622  cpuTime=34.32  mem=12M865
48.89	   
48.89	   search
48.89	     run=16  nbConstraintChecks=12363856  nbValidityChecks=13086710  nbPropagations=16624457  nbRevisions=72526496
48.89	     nbUselessRevisions=55770392  nbAssignments=23552  nbFailedAssignments=2730  nbBacktracks=19770
48.89	     nbVisitedNodes=29270  nbRestartNogoods=49
48.89	       =>  wckTime=46.953  cpuTime=46.6  mem=12M865
63.30	   
63.30	   search
63.30	     run=17  nbConstraintChecks=16092701  nbValidityChecks=17125732  nbPropagations=23018652  nbRevisions=100784584
63.30	     nbUselessRevisions=77475564  nbAssignments=34344  nbFailedAssignments=3569  nbBacktracks=29628
63.30	     nbVisitedNodes=41758  nbRestartNogoods=52
63.30	       =>  wckTime=61.365  cpuTime=60.95  mem=12M865
82.29	   
82.29	   search
82.29	     run=18  nbConstraintChecks=20634142  nbValidityChecks=22078154  nbPropagations=31177664  nbRevisions=136994073
82.29	     nbUselessRevisions=105280951  nbAssignments=50439  nbFailedAssignments=4788  nbBacktracks=44440
82.29	     nbVisitedNodes=60265  nbRestartNogoods=62
82.29	       =>  wckTime=80.352  cpuTime=79.82  mem=12M865
113.46	   
113.46	   search
113.46	     run=19  nbConstraintChecks=28481193  nbValidityChecks=30655861  nbPropagations=42505737  nbRevisions=187339042
113.46	     nbUselessRevisions=143957246  nbAssignments=74337  nbFailedAssignments=6456  nbBacktracks=66608
113.46	     nbVisitedNodes=87499  nbRestartNogoods=65
113.46	       =>  wckTime=111.521  cpuTime=110.85  mem=12M865
155.79	   
155.79	   search
155.79	     run=20  nbConstraintChecks=38375869  nbValidityChecks=41624522  nbPropagations=57800405  nbRevisions=255775297
155.79	     nbUselessRevisions=196610375  nbAssignments=109934  nbFailedAssignments=8714  nbBacktracks=99869
155.79	     nbVisitedNodes=127617  nbRestartNogoods=72
155.79	       =>  wckTime=153.855  cpuTime=152.96  mem=12M865
207.88	   
207.88	   search
207.88	     run=21  nbConstraintChecks=49252405  nbValidityChecks=53263856  nbPropagations=77451789  nbRevisions=343519247
207.88	     nbUselessRevisions=264105442  nbAssignments=162380  nbFailedAssignments=11178  nbBacktracks=149755
207.88	     nbVisitedNodes=184952  nbRestartNogoods=78
207.88	       =>  wckTime=205.942  cpuTime=204.75  mem=12M865
292.62	   
292.62	   search
292.62	     run=22  nbConstraintChecks=68040523  nbValidityChecks=73659139  nbPropagations=104575560  nbRevisions=465164397
292.62	     nbUselessRevisions=357790433  nbAssignments=241890  nbFailedAssignments=15745  nbBacktracks=224574
292.62	     nbVisitedNodes=273448  nbRestartNogoods=86
292.62	       =>  wckTime=290.682  cpuTime=289.08  mem=12M865
424.03	   
424.03	   search
424.03	     run=23  nbConstraintChecks=98031219  nbValidityChecks=106200648  nbPropagations=143841964  nbRevisions=640694700
424.03	     nbUselessRevisions=492897571  nbAssignments=359828  nbFailedAssignments=21361  nbBacktracks=336817
424.03	     nbVisitedNodes=402743  nbRestartNogoods=95
424.03	       =>  wckTime=422.095  cpuTime=419.81  mem=12M865
626.64	   
626.64	   search
626.64	     run=24  nbConstraintChecks=144386116  nbValidityChecks=157875597  nbPropagations=201948799  nbRevisions=901590863
626.64	     nbUselessRevisions=693880907  nbAssignments=537671  nbFailedAssignments=30784  nbBacktracks=505166
626.64	     nbVisitedNodes=599727  nbRestartNogoods=102
626.64	       =>  wckTime=624.704  cpuTime=621.36  mem=13M850
923.89	   
923.89	   search
923.89	     run=25  nbConstraintChecks=213218520  nbValidityChecks=230594230  nbPropagations=286938801  nbRevisions=1283660352
923.89	     nbUselessRevisions=988283082  nbAssignments=805059  nbFailedAssignments=45537  nbBacktracks=757734
923.89	     nbVisitedNodes=897289  nbRestartNogoods=108
923.89	       =>  wckTime=921.955  cpuTime=917.01  mem=13M850
1368.91	   
1368.91	   search
1368.91	     run=26  nbConstraintChecks=314267715  nbValidityChecks=342149504  nbPropagations=412332274  nbRevisions=1847288870
1368.91	     nbUselessRevisions=1422082659  nbAssignments=1206246  nbFailedAssignments=67874  nbBacktracks=1136501
1368.91	     nbVisitedNodes=1343648  nbRestartNogoods=115
1368.91	       =>  wckTime=1366.973  cpuTime=1358.51  mem=13M850

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/node16/watcher-214092-1168228169 -o ROOT/results/node16/solver-214092-1168228169 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214092-1168228169/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.90 1.93 1.88 4/94 8158
/proc/meminfo: memFree=1765536/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=18540 CPUtime=0
/proc/8157/stat : 8157 (runsolver) R 8155 8157 7816 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 171212100 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/8157/statm: 4635 279 244 17 0 2626 0

[startup+0.103767 s]
/proc/loadavg: 1.90 1.93 1.88 4/94 8158
/proc/meminfo: memFree=1765536/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=914988 CPUtime=0.08
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 3019 0 1 0 7 1 0 0 24 0 8 0 171212100 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155583510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511693 s]
/proc/loadavg: 1.90 1.93 1.88 4/94 8158
/proc/meminfo: memFree=1765536/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915328 CPUtime=0.48
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 6636 0 1 0 44 4 0 0 25 0 8 0 171212100 937295872 6375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228832 6375 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33254 s]
/proc/loadavg: 1.99 1.94 1.88 3/101 8165
/proc/meminfo: memFree=1713512/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915636 CPUtime=1.3
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 16333 0 1 0 99 31 0 0 25 0 8 0 171212100 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445349 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228909 16071 2167 14 0 215379 0
[pid=8157/tid=8159] ppid=8155 vsize=915636 CPUtime=0
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 171212104 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915636 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 171212105 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915636 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 171212105 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915636 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915636 CPUtime=0.17
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 423 0 0 0 17 0 0 0 16 0 8 0 171212108 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915636 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915636 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636

[startup+2.97025 s]
/proc/loadavg: 1.99 1.94 1.88 3/101 8165
/proc/meminfo: memFree=1693672/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=2.93
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20618 0 1 0 257 36 0 0 25 0 8 0 171212100 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074134354 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20352 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 17 0 8 0 171212104 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.32
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 512 0 0 0 31 1 0 0 15 0 8 0 171212108 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915728

[startup+6.17666 s]
/proc/loadavg: 1.99 1.94 1.88 3/101 8165
/proc/meminfo: memFree=1693424/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=6.12
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20624 0 1 0 576 36 0 0 25 0 8 0 171212100 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074088163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20357 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.33
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 517 0 0 0 32 1 0 0 16 0 8 0 171212108 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915728

[startup+12.6485 s]
/proc/loadavg: 2.07 1.96 1.89 3/101 8165
/proc/meminfo: memFree=1693296/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=12.57
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20639 0 1 0 1220 37 0 0 25 0 8 0 171212100 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074089340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20367 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 528 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915728

[startup+25.5151 s]
/proc/loadavg: 2.06 1.96 1.89 3/101 8165
/proc/meminfo: memFree=1693104/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=25.37
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20643 0 1 0 2500 37 0 0 25 0 8 0 171212100 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074096873 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20368 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 529 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915728

[startup+51.1364 s]
/proc/loadavg: 2.10 1.98 1.90 3/101 8165
/proc/meminfo: memFree=1693104/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=50.84
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20644 0 1 0 5047 37 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838666 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 17 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915728

[startup+102.372 s]
/proc/loadavg: 2.17 2.01 1.91 3/101 8165
/proc/meminfo: memFree=1693104/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=101.81
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20644 0 1 0 10144 37 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074096827 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 17 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915728

[startup+162.455 s]
/proc/loadavg: 2.06 2.01 1.91 3/101 8165
/proc/meminfo: memFree=1692784/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=161.57
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20644 0 1 0 16119 38 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1415.13
Current children cumulated vsize (KiB) 915728

[startup+1484.15 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 8434
/proc/meminfo: memFree=1691576/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1474.64
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 147405 59 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074137010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.64
Current children cumulated vsize (KiB) 915728

[startup+1544.23 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 8436
/proc/meminfo: memFree=1691320/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1534.14
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 153354 60 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074096877 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.14
Current children cumulated vsize (KiB) 915728

[startup+1604.32 s]
/proc/loadavg: 2.00 2.00 1.94 4/101 8436
/proc/meminfo: memFree=1691320/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1593.65
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 159305 60 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074090316 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.65
Current children cumulated vsize (KiB) 915728

[startup+1664.34 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 8436
/proc/meminfo: memFree=1691256/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1653.1
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 165250 60 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074105191 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.1
Current children cumulated vsize (KiB) 915728

[startup+1724.36 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 8436
/proc/meminfo: memFree=1691256/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1712.56
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 171196 60 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1712.56
Current children cumulated vsize (KiB) 915728

[startup+1784.45 s]
/proc/loadavg: 2.00 2.00 1.94 4/101 8436
/proc/meminfo: memFree=1691192/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1772.05
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 177145 60 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074103792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.05
Current children cumulated vsize (KiB) 915728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.65 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 8436
/proc/meminfo: memFree=1691192/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1800
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 179940 60 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074098739 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915728

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

Child status: 143
Real time (s): 1812.68
CPU time (s): 1800.03
CPU user time (s): 1799.42
CPU system time (s): 0.615906
CPU usage (%): 99.3022
Max. virtual memory (cumulated for all children) (KiB): 915768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.615906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20662
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= 38410
involuntary context switches= 76020

runsolver used 2.08568 s user time and 5.9371 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Mon Jan  8 03:49:31 UTC 2007


IDJOB= 214092
IDBENCH= 4898
FILE ID= node16/214092-1168228169

PBS_JOBID= 3481124

Free space on /tmp= 66520 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-32-3-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214092-1168228169/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-214092-1168228169 -o ROOT/results/node16/solver-214092-1168228169 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214092-1168228169/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  315a156ccbc0beaf56a30107b637b9af

RANDOM SEED= 414462590

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.220
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.220
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:       1766208 kB
Buffers:         43520 kB
Cached:         127528 kB
SwapCached:        448 kB
Active:         140328 kB
Inactive:        97748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1766208 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2788 kB
Writeback:           0 kB
Mapped:          93172 kB
Slab:            36308 kB
Committed_AS:  4588196 kB
PageTables:       2472 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= 66520 MiB



End job on node16 on Mon Jan  8 04:19:46 UTC 2007