Trace number 200105

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.1 1805.54

General information on the benchmark

Namefrb/frb56-25/
frb56-25-4-mgd_ext.xml
MD5SUM1fed75a50fd9dbe0fff4ac0aa56697fe
Bench Category2-ARY-EXT (binary constraints in extension)
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 variables56
Number of constraints525
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension525
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/200105-1168071920/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=56  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.42	       =>  wckTime=0.104  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
0.60	   
0.60	   constraints being loaded...
0.77	     nbConstraints=525  nbRelationTypes=525  nbExtensionStructures=525  nbSharedExtensionStructures=0
0.77	     nbConflictsStructures=525  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1078  maxDegree=27
0.77	     maxArity=2
0.77	       =>  wckTime=0.453  cpuTime=0.35  mem=20M638
0.82	   
0.82	   solver IterativeSystematicSolver being built... 
0.98	       =>  wckTime=0.66  cpuTime=0.48  mem=15M772
0.99	   
0.99	   preprocessing
0.99	     nbConstraintChecks=0  nbPropagations=56  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.99	     detectedInconsistency=no
0.99	       =>  wckTime=0.011  cpuTime=0.0  mem=15M772
1.04	   
1.04	   search
1.04	     run=0  nbConstraintChecks=51729  nbPropagations=581  nbRevisions=6557  nbUselessRevisions=5455  nbAssignments=25
1.04	     nbFailedAssignments=5  nbBacktracks=11  nbVisitedNodes=36  nbRestartNogoods=0  mapSize=8  nbInferences=0
1.04	     nbTooLargeKeys=0
1.04	       =>  wckTime=0.058  cpuTime=0.03  mem=15M772
1.07	   
1.07	   search
1.07	     run=1  nbConstraintChecks=126180  nbPropagations=1999  nbRevisions=24368  nbUselessRevisions=20191
1.07	     nbAssignments=65  nbFailedAssignments=16  nbBacktracks=28  nbVisitedNodes=97  nbRestartNogoods=1  mapSize=23
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.088  cpuTime=0.05  mem=15M772
1.09	   
1.09	   search
1.09	     run=2  nbConstraintChecks=246747  nbPropagations=4601  nbRevisions=58665  nbUselessRevisions=48263
1.09	     nbAssignments=120  nbFailedAssignments=36  nbBacktracks=51  nbVisitedNodes=185  nbRestartNogoods=3  mapSize=44
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.115  cpuTime=0.07  mem=15M772
1.12	   
1.12	   search
1.12	     run=3  nbConstraintChecks=384429  nbPropagations=8801  nbRevisions=115984  nbUselessRevisions=95294
1.12	     nbAssignments=198  nbFailedAssignments=66  nbBacktracks=84  nbVisitedNodes=315  nbRestartNogoods=8  mapSize=73
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.145  cpuTime=0.1  mem=15M772
1.16	   
1.16	   search
1.16	     run=4  nbConstraintChecks=578791  nbPropagations=14886  nbRevisions=200807  nbUselessRevisions=164512
1.16	     nbAssignments=284  nbFailedAssignments=91  nbBacktracks=138  nbVisitedNodes=452  nbRestartNogoods=15  mapSize=116
1.16	     nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.184  cpuTime=0.13  mem=15M772
1.21	   
1.21	   search
1.21	     run=5  nbConstraintChecks=796192  nbPropagations=23254  nbRevisions=320214  nbUselessRevisions=262104
1.21	     nbAssignments=407  nbFailedAssignments=126  nbBacktracks=214  nbVisitedNodes=643  nbRestartNogoods=18  mapSize=165
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.227  cpuTime=0.17  mem=15M772
1.28	   
1.28	   search
1.28	     run=6  nbConstraintChecks=1209748  nbPropagations=35921  nbRevisions=506252  nbUselessRevisions=413726
1.28	     nbAssignments=607  nbFailedAssignments=199  nbBacktracks=329  nbVisitedNodes=986  nbRestartNogoods=23  mapSize=262
1.28	     nbInferences=0  nbTooLargeKeys=0
1.28	       =>  wckTime=0.299  cpuTime=0.24  mem=15M772
1.39	   
1.39	   search
1.39	     run=7  nbConstraintChecks=1858621  nbPropagations=55448  nbRevisions=805231  nbUselessRevisions=658155
1.39	     nbAssignments=928  nbFailedAssignments=337  nbBacktracks=499  nbVisitedNodes=1544  nbRestartNogoods=29  mapSize=402
1.39	     nbInferences=0  nbTooLargeKeys=0
1.39	       =>  wckTime=0.412  cpuTime=0.35  mem=15M772
1.54	   
1.54	   search
1.54	     run=8  nbConstraintChecks=2721622  nbPropagations=84240  nbRevisions=1248825  nbUselessRevisions=1020336
1.54	     nbAssignments=1369  nbFailedAssignments=508  nbBacktracks=757  nbVisitedNodes=2294  nbRestartNogoods=32
1.54	     mapSize=612  nbInferences=0  nbTooLargeKeys=0
1.54	       =>  wckTime=0.564  cpuTime=0.5  mem=15M772
1.74	   
1.74	   search
1.74	     run=9  nbConstraintChecks=3784513  nbPropagations=125601  nbRevisions=1887522  nbUselessRevisions=1543718
1.74	     nbAssignments=1999  nbFailedAssignments=740  nbBacktracks=1141  nbVisitedNodes=3363  nbRestartNogoods=36
1.74	     mapSize=925  nbInferences=0  nbTooLargeKeys=0
1.74	       =>  wckTime=0.758  cpuTime=0.67  mem=15M772
1.82	   
1.82	   INFO : Stopping hyperNogood (mapSize=1040, nbTooLargekeys=0, mem=15M772)
2.06	   
2.06	   search
2.06	     run=10  nbConstraintChecks=5973904  nbPropagations=188430  nbRevisions=2871369  nbUselessRevisions=2346325
2.06	     nbAssignments=2999  nbFailedAssignments=1155  nbBacktracks=1717  nbVisitedNodes=5091  nbRestartNogoods=44
2.06	       =>  wckTime=1.084  cpuTime=0.99  mem=15M772
2.46	   
2.46	   search
2.46	     run=11  nbConstraintChecks=8449736  nbPropagations=280203  nbRevisions=4321638  nbUselessRevisions=3534406
2.46	     nbAssignments=4445  nbFailedAssignments=1724  nbBacktracks=2583  nbVisitedNodes=7589  nbRestartNogoods=49
2.46	       =>  wckTime=1.482  cpuTime=1.38  mem=15M772
3.04	   
3.04	   search
3.04	     run=12  nbConstraintChecks=12326703  nbPropagations=415169  nbRevisions=6452401  nbUselessRevisions=5280309
3.04	     nbAssignments=6557  nbFailedAssignments=2528  nbBacktracks=3883  nbVisitedNodes=11199  nbRestartNogoods=57
3.04	       =>  wckTime=2.065  cpuTime=1.96  mem=15M772
3.96	   
3.96	   search
3.96	     run=13  nbConstraintChecks=18634827  nbPropagations=615546  nbRevisions=9646536  nbUselessRevisions=7902760
3.96	     nbAssignments=9662  nbFailedAssignments=3677  nbBacktracks=5831  nbVisitedNodes=16451  nbRestartNogoods=64
3.96	       =>  wckTime=2.984  cpuTime=2.87  mem=15M772
5.37	   
5.37	   search
5.37	     run=14  nbConstraintChecks=28360898  nbPropagations=917284  nbRevisions=14460945  nbUselessRevisions=11848820
5.37	     nbAssignments=14416  nbFailedAssignments=5501  nbBacktracks=8750  nbVisitedNodes=24613  nbRestartNogoods=75
5.37	       =>  wckTime=4.393  cpuTime=4.28  mem=15M772
7.37	   
7.37	   search
7.37	     run=15  nbConstraintChecks=42005008  nbPropagations=1362732  nbRevisions=21605310  nbUselessRevisions=17712324
7.37	     nbAssignments=21349  nbFailedAssignments=8047  nbBacktracks=13128  nbVisitedNodes=36341  nbRestartNogoods=80
7.37	       =>  wckTime=6.395  cpuTime=6.27  mem=15M772
10.27	   
10.27	   search
10.27	     run=16  nbConstraintChecks=61574242  nbPropagations=2020741  nbRevisions=32061456  nbUselessRevisions=26279690
10.27	     nbAssignments=31743  nbFailedAssignments=11860  nbBacktracks=19700  nbVisitedNodes=53845  nbRestartNogoods=88
10.27	       =>  wckTime=9.289  cpuTime=9.14  mem=15M772
14.86	   
14.86	   search
14.86	     run=17  nbConstraintChecks=93494425  nbPropagations=3011456  nbRevisions=47853296  nbUselessRevisions=39218571
14.86	     nbAssignments=47691  nbFailedAssignments=17945  nbBacktracks=29552  nbVisitedNodes=80956  nbRestartNogoods=100
14.86	       =>  wckTime=13.883  cpuTime=13.72  mem=15M772
21.83	   
21.83	   search
21.83	     run=18  nbConstraintChecks=140874341  nbPropagations=4506459  nbRevisions=71824538  nbUselessRevisions=58883808
21.83	     nbAssignments=71939  nbFailedAssignments=27406  nbBacktracks=44331  nbVisitedNodes=122541  nbRestartNogoods=110
21.83	       =>  wckTime=20.854  cpuTime=20.66  mem=16M747
31.32	   
31.32	   search
31.32	     run=19  nbConstraintChecks=202828445  nbPropagations=6708487  nbRevisions=106862612  nbUselessRevisions=87616818
31.32	     nbAssignments=106866  nbFailedAssignments=40154  nbBacktracks=66500  nbVisitedNodes=181249  nbRestartNogoods=129
31.32	       =>  wckTime=30.346  cpuTime=30.11  mem=16M747
46.74	   
46.74	   search
46.74	     run=20  nbConstraintChecks=309369346  nbPropagations=10015597  nbRevisions=159864896  nbUselessRevisions=131110831
46.74	     nbAssignments=160668  nbFailedAssignments=60693  nbBacktracks=99756  nbVisitedNodes=273113  nbRestartNogoods=133
46.74	       =>  wckTime=45.762  cpuTime=45.45  mem=16M747
68.29	   
68.29	   search
68.29	     run=21  nbConstraintChecks=453226611  nbPropagations=14911962  nbRevisions=237977911  nbUselessRevisions=195175019
68.29	     nbAssignments=239345  nbFailedAssignments=89481  nbBacktracks=149636  nbVisitedNodes=406023  nbRestartNogoods=145
68.29	       =>  wckTime=67.307  cpuTime=66.89  mem=16M747
101.64	   
101.64	   search
101.64	     run=22  nbConstraintChecks=677989786  nbPropagations=22271510  nbRevisions=355195724  nbUselessRevisions=291331067
101.64	     nbAssignments=356739  nbFailedAssignments=132047  nbBacktracks=224454  nbVisitedNodes=604928  nbRestartNogoods=154
101.64	       =>  wckTime=100.659  cpuTime=100.09  mem=16M747
154.67	   
154.67	   search
154.67	     run=23  nbConstraintChecks=1042241431  nbPropagations=33483089  nbRevisions=533907358  nbUselessRevisions=437785794
154.67	     nbAssignments=542266  nbFailedAssignments=205336  nbBacktracks=336682  nbVisitedNodes=922859  nbRestartNogoods=169
154.67	       =>  wckTime=153.696  cpuTime=152.87  mem=16M747
230.79	   
230.79	   search
230.79	     run=24  nbConstraintChecks=1549939822  nbPropagations=50254135  nbRevisions=803412313  nbUselessRevisions=659268812
230.79	     nbAssignments=812704  nbFailedAssignments=307422  nbBacktracks=505024  nbVisitedNodes=1385997  nbRestartNogoods=177
230.79	       =>  wckTime=229.811  cpuTime=228.63  mem=16M747
350.71	   
350.71	   search
350.71	     run=25  nbConstraintChecks=2400132070  nbPropagations=75557278  nbRevisions=1209605063
350.71	     nbUselessRevisions=992411425  nbAssignments=1217475  nbFailedAssignments=459668  nbBacktracks=757536
350.71	     nbVisitedNodes=2075177  nbRestartNogoods=192
350.71	       =>  wckTime=349.729  cpuTime=347.99  mem=16M747
524.54	   
524.54	   search
524.54	     run=26  nbConstraintChecks=3585071010  nbPropagations=113474279  nbRevisions=1819065218
524.54	     nbUselessRevisions=1492644722  nbAssignments=1821211  nbFailedAssignments=684627  nbBacktracks=1136303
524.54	     nbVisitedNodes=3100142  nbRestartNogoods=210
524.54	       =>  wckTime=523.562  cpuTime=521.01  mem=16M747
801.82	   
801.82	   search
801.82	     run=27  nbConstraintChecks=5451861176  nbPropagations=170489262  nbRevisions=2735736541
801.82	     nbUselessRevisions=2244289414  nbAssignments=2730382  nbFailedAssignments=1025638  nbBacktracks=1704454
801.82	     nbVisitedNodes=4644649  nbRestartNogoods=233
801.82	       =>  wckTime=800.844  cpuTime=796.99  mem=16M747
1191.68	   
1191.68	   search
1191.68	     run=28  nbConstraintChecks=8014234443  nbPropagations=254913893  nbRevisions=4089656632
1191.68	     nbUselessRevisions=3354647361  nbAssignments=4064677  nbFailedAssignments=1507696  nbBacktracks=2556680
1191.68	     nbVisitedNodes=6883884  nbRestartNogoods=246
1191.68	       =>  wckTime=1190.702  cpuTime=1185.32  mem=16M747
1794.17	   
1794.17	   search
1794.17	     run=29  nbConstraintChecks=12126461205  nbPropagations=381151761  nbRevisions=6113350532
1794.17	     nbUselessRevisions=5013162035  nbAssignments=6062658  nbFailedAssignments=2227324  nbBacktracks=3835022
1794.17	     nbVisitedNodes=10247800  nbRestartNogoods=268
1794.17	       =>  wckTime=1793.195  cpuTime=1787.66  mem=16M747

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

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

/proc/loadavg: 0.92 0.98 1.01 5/83 15268
/proc/meminfo: memFree=1820840/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=18540 CPUtime=0
/proc/15267/stat : 15267 (runsolver) R 15264 15267 15161 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 155587326 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15267/statm: 4635 279 244 17 0 2626 0

[startup+0.107994 s]
/proc/loadavg: 0.92 0.98 1.01 5/83 15268
/proc/meminfo: memFree=1820840/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=914988 CPUtime=0.08
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 2996 0 1 0 7 1 0 0 18 0 8 0 155587326 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.517039 s]
/proc/loadavg: 0.92 0.98 1.01 5/83 15268
/proc/meminfo: memFree=1820840/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915328 CPUtime=0.49
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 7080 0 1 0 45 4 0 0 18 0 8 0 155587326 937295872 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228832 6821 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34612 s]
/proc/loadavg: 1.09 1.02 1.02 4/100 15285
/proc/meminfo: memFree=1758368/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1.31
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10500 0 1 0 124 7 0 0 24 0 8 0 155587326 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073892158 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10238 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 17 0 8 0 155587330 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.23
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 387 0 0 0 22 1 0 0 15 0 8 0 155587334 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10238 18446744073709551615 134512640 134570532 4294956480 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) 915544

[startup+2.9943 s]
/proc/loadavg: 1.09 1.02 1.02 3/100 15285
/proc/meminfo: memFree=1758240/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=2.95
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10517 0 1 0 288 7 0 0 25 0 8 0 155587326 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859705 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10254 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 17 0 8 0 155587330 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 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) 915544

[startup+6.27365 s]
/proc/loadavg: 1.16 1.03 1.03 3/100 15285
/proc/meminfo: memFree=1758112/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=6.21
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10518 0 1 0 614 7 0 0 25 0 8 0 155587326 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10254 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915544

[startup+12.7593 s]
/proc/loadavg: 1.23 1.05 1.03 3/100 15285
/proc/meminfo: memFree=1758112/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=12.67
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10518 0 1 0 1260 7 0 0 25 0 8 0 155587326 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10254 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915544

[startup+25.6067 s]
/proc/loadavg: 1.34 1.08 1.04 3/100 15285
/proc/meminfo: memFree=1758240/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=25.45
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10518 0 1 0 2538 7 0 0 25 0 8 0 155587326 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10254 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915544

[startup+51.2085 s]
/proc/loadavg: 1.60 1.17 1.07 3/100 15285
/proc/meminfo: memFree=1758240/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=50.93
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10520 0 1 0 5086 7 0 0 25 0 8 0 155587326 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10255 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915544

[startup+102.511 s]
/proc/loadavg: 1.83 1.29 1.12 3/100 15285
/proc/meminfo: memFree=1758176/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=102
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10521 0 1 0 10192 8 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915544

[startup+162.553 s]
/proc/loadavg: 1.93 1.42 1.17 3/100 15285
/proc/meminfo: memFree=1758112/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=161.76
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10521 0 1 0 16168 8 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849475 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1418.07
Current children cumulated vsize (KiB) 915544

[startup+1483.47 s]
/proc/loadavg: 2.08 2.00 1.78 3/100 15285
/proc/meminfo: memFree=1757280/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1478.1
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 147793 17 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.1
Current children cumulated vsize (KiB) 915544

[startup+1543.51 s]
/proc/loadavg: 2.03 2.00 1.79 3/100 15285
/proc/meminfo: memFree=1757216/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1538.13
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 153795 18 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.13
Current children cumulated vsize (KiB) 915544

[startup+1603.55 s]
/proc/loadavg: 2.01 2.00 1.80 3/100 15285
/proc/meminfo: memFree=1757216/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1598.15
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 159797 18 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.15
Current children cumulated vsize (KiB) 915544

[startup+1663.59 s]
/proc/loadavg: 2.00 2.00 1.81 4/100 15285
/proc/meminfo: memFree=1757152/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1658.18
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 165800 18 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879612 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.18
Current children cumulated vsize (KiB) 915544

[startup+1723.64 s]
/proc/loadavg: 2.00 2.00 1.82 3/100 15285
/proc/meminfo: memFree=1757088/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1718.21
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 171802 19 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.21
Current children cumulated vsize (KiB) 915544

[startup+1783.68 s]
/proc/loadavg: 2.00 2.00 1.83 3/100 15285
/proc/meminfo: memFree=1757088/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1778.23
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 177804 19 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.23
Current children cumulated vsize (KiB) 915544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.47 s]
/proc/loadavg: 2.00 2.00 1.83 3/100 15285
/proc/meminfo: memFree=1757024/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1800.02
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 179983 19 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843183 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915544

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

Child status: 143
Real time (s): 1805.54
CPU time (s): 1800.1
CPU user time (s): 1799.9
CPU system time (s): 0.205968
CPU usage (%): 99.6987
Max. virtual memory (cumulated for all children) (KiB): 915544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.205968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10540
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= 37751
involuntary context switches= 63172

runsolver used 2.08968 s user time and 5.04023 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Sat Jan  6 08:25:21 UTC 2007


IDJOB= 200105
IDBENCH= 3689
FILE ID= node24/200105-1168071920

PBS_JOBID= 3475965

Free space on /tmp= 66463 MiB

BENCH NAME= HOME/pub/bench/CPAI06/frb/frb56-25/frb56-25-4-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200105-1168071920/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-200105-1168071920 -o ROOT/results/node24/solver-200105-1168071920 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200105-1168071920/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1fed75a50fd9dbe0fff4ac0aa56697fe

RANDOM SEED= 494013449

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.234
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.234
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:       1821312 kB
Buffers:         18896 kB
Cached:          90516 kB
SwapCached:          0 kB
Active:         114140 kB
Inactive:        52856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1821312 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4652 kB
Writeback:           0 kB
Mapped:          76544 kB
Slab:            52484 kB
Committed_AS:  2855432 kB
PageTables:       2316 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= 66463 MiB



End job on node24 on Sat Jan  6 08:55:26 UTC 2007