Trace number 280314

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
AbsconMax 109 PFCMSAT (TO) 2400.06 2401.49

General information on the benchmark

Namerlfap/
rlfapSubs/scen06-sub2.xml
MD5SUM65d6eb6ad26f78c93c10c663be1bf039
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints348
Best CPU time to get the best result obtained on this benchmark2400.06
SatisfiableNO
(Un)Satisfiability was proved
Number of variables32
Number of constraints369
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension369
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.35	   
0.35	Abscon 109 (November, 2006)
0.35	   
0.35	   configuration
0.35	     name=pfc.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/280314-1169304848/unknown.xml
0.42	   
0.42	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.45	     nbVariables=32  nbDomainTypes=2  minDomainSize=36  maxDomainSize=44
0.45	       =>  wckTime=0.094  cpuTime=0.08  mem=6M903
0.45	   
0.45	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
0.71	     nbConstraints=369  nbConvertedConstraints=369  nbConvertConstraintsChecks=188224  nbExtensionStructures=104
0.71	     nbSharedExtensionStructures=265  nbConflictsStructures=104  nbSharedConflictsStructures=265
0.71	     nbSharedBinaryRepresentations=8104  maxDegree=31  maxArity=2
0.71	       =>  wckTime=0.359  cpuTime=0.27  mem=9M829
0.76	   
0.76	   solver LocalSearchSolver being built... 
0.79	       =>  wckTime=0.437  cpuTime=0.31  mem=5M681
0.80	
0.80	s SATISFIABLE
0.80	o 227
0.80	c 142
0.80	o 233
0.80	c 136
0.81	o 235
0.81	c 134
0.81	o 239
0.81	c 130
0.81	o 240
0.81	c 129
0.81	o 241
0.81	c 128
0.81	o 242
0.81	c 127
0.81	o 243
0.81	c 126
0.82	o 245
0.82	c 124
0.82	o 247
0.82	c 122
0.82	o 252
0.82	c 117
0.82	o 254
0.82	c 115
0.82	o 257
0.82	c 112
0.82	o 262
0.82	c 107
0.82	o 265
0.82	c 104
0.82	o 269
0.82	c 100
0.83	o 274
0.83	c 95
0.83	o 278
0.83	c 91
0.83	o 281
0.83	c 88
0.83	o 282
0.83	c 87
0.83	o 285
0.83	c 84
0.83	o 286
0.83	c 83
0.83	o 287
0.83	c 82
0.84	o 288
0.84	c 81
0.84	o 292
0.84	c 77
0.84	o 296
0.84	c 73
0.84	o 299
0.84	c 70
0.84	o 300
0.84	c 69
0.84	o 303
0.84	c 66
0.84	o 306
0.84	c 63
0.84	o 310
0.84	c 59
0.84	o 312
0.84	c 57
0.85	o 317
0.85	c 52
0.85	o 319
0.85	c 50
0.85	o 320
0.85	c 49
0.85	o 322
0.85	c 47
0.85	o 323
0.85	c 46
0.85	o 324
0.85	c 45
0.85	o 326
0.85	c 43
0.85	o 327
0.85	c 42
0.85	o 332
0.86	c 37
0.86	o 334
0.86	c 35
0.86	o 338
0.86	c 31
0.86	o 339
0.86	c 30
0.86	o 341
0.86	c 28
0.86	o 343
0.86	c 26
0.86	o 344
0.86	c 25
1.06	o 345
1.06	c 24
1.93	o 347
1.93	c 22
15.58	   
15.58	   search
15.58	     run=0  nbConstraintChecks=149003349  nbAssignments=10000
15.58	       =>  wckTime=14.793  cpuTime=14.76  mem=5M681
30.39	   
30.39	   search
30.39	     run=1  nbConstraintChecks=300910229  nbAssignments=20000
30.39	       =>  wckTime=29.604  cpuTime=29.55  mem=5M681
31.12	o 348
31.12	c 21
44.97	   
44.97	   search
44.97	     run=2  nbConstraintChecks=450203232  nbAssignments=30000
44.97	       =>  wckTime=44.184  cpuTime=44.13  mem=5M681
59.96	   
59.96	   search
59.96	     run=3  nbConstraintChecks=603482567  nbAssignments=40000
59.96	       =>  wckTime=59.17  cpuTime=59.11  mem=5M681
61.13	   
61.13	   search
61.13	     run=4  nbConstraintChecks=615348294  nbAssignments=40905
61.13	       =>  wckTime=60.34  cpuTime=60.29  mem=5M681
61.13	   
61.13	   global
61.13	     nbConstraintChecks=615348294  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
61.13	     solvingWckTime=60.338  solvingCpuTime=60.29  expiredTime=no  totalExploration=no  nbFoundSolutions=0
61.13	     globalCpuTime=60.65
61.13	       =>  wckTime=60.778  cpuTime=60.6  mem=5M681
61.13	   
61.13	   solver IterativeSystematicSolver being built... 
61.26	       =>  wckTime=60.91  cpuTime=60.69  mem=16M695
61.28	   
61.28	   preprocessing
61.28	     nbConstraintChecks=3332  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
61.28	     detectedInconsistency=no
61.28	       =>  wckTime=0.01  cpuTime=0.01  mem=16M695
61.55	   
61.55	   search
61.55	     run=0  nbConstraintChecks=1404965  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=78
61.55	     nbFailedAssignments=60  nbBacktracks=10  nbVisitedNodes=149  nbRestartNogoods=0
61.55	       =>  wckTime=0.282  cpuTime=0.26  mem=16M695
62.11	   
62.11	   search
62.11	     run=1  nbConstraintChecks=4195700  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=215
62.11	     nbFailedAssignments=176  nbBacktracks=25  nbVisitedNodes=417  nbRestartNogoods=27
62.11	       =>  wckTime=0.849  cpuTime=0.82  mem=16M695
63.38	   
63.38	   search
63.38	     run=2  nbConstraintChecks=12012546  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=616
63.38	     nbFailedAssignments=547  nbBacktracks=47  nbVisitedNodes=1211  nbRestartNogoods=36
63.38	       =>  wckTime=2.112  cpuTime=2.08  mem=16M695
64.13	   
64.13	   search
64.13	     run=3  nbConstraintChecks=16932047  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=830
64.13	     nbFailedAssignments=721  nbBacktracks=80  nbVisitedNodes=1632  nbRestartNogoods=86
64.13	       =>  wckTime=2.867  cpuTime=2.83  mem=16M695
66.25	   
66.25	   search
66.25	     run=4  nbConstraintChecks=30985291  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1568
66.25	     nbFailedAssignments=1402  nbBacktracks=130  nbVisitedNodes=3101  nbRestartNogoods=95
66.25	       =>  wckTime=4.986  cpuTime=4.93  mem=16M695
69.21	   
69.21	   search
69.21	     run=5  nbConstraintChecks=47254810  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2294
69.21	     nbFailedAssignments=2049  nbBacktracks=205  nbVisitedNodes=4549  nbRestartNogoods=146
69.21	       =>  wckTime=7.941  cpuTime=7.87  mem=16M695
73.11	   
73.11	   search
73.11	     run=6  nbConstraintChecks=71961391  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3615
73.11	     nbFailedAssignments=3252  nbBacktracks=318  nbVisitedNodes=7186  nbRestartNogoods=156
73.11	       =>  wckTime=11.848  cpuTime=11.78  mem=16M695
78.26	   
78.26	   search
78.26	     run=7  nbConstraintChecks=100801523  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5483
78.26	     nbFailedAssignments=4948  nbBacktracks=488  nbVisitedNodes=10919  nbRestartNogoods=228
78.26	       =>  wckTime=16.996  cpuTime=16.91  mem=16M695
82.60	   
82.60	   search
82.60	     run=8  nbConstraintChecks=127149150  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6863
82.60	     nbFailedAssignments=6064  nbBacktracks=744  nbVisitedNodes=13671  nbRestartNogoods=257
82.60	       =>  wckTime=21.337  cpuTime=21.25  mem=16M695
88.14	   
88.14	   search
88.14	     run=9  nbConstraintChecks=158530315  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8710
88.14	     nbFailedAssignments=7521  nbBacktracks=1128  nbVisitedNodes=17359  nbRestartNogoods=264
88.14	       =>  wckTime=26.871  cpuTime=26.78  mem=16M695
102.50	   
102.50	   search
102.50	     run=10  nbConstraintChecks=255598530  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14124
102.50	     nbFailedAssignments=12354  nbBacktracks=1704  nbVisitedNodes=28178  nbRestartNogoods=290
102.50	       =>  wckTime=41.232  cpuTime=41.13  mem=16M695
123.37	   
123.38	   search
123.38	     run=11  nbConstraintChecks=390861658  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21883
123.38	     nbFailedAssignments=19244  nbBacktracks=2568  nbVisitedNodes=43690  nbRestartNogoods=330
123.38	       =>  wckTime=62.109  cpuTime=62.01  mem=16M695
157.78	   
157.78	   search
157.78	     run=12  nbConstraintChecks=596355906  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=34503
157.78	     nbFailedAssignments=30563  nbBacktracks=3865  nbVisitedNodes=68917  nbRestartNogoods=395
157.78	       =>  wckTime=96.517  cpuTime=96.41  mem=16M695
204.39	   
204.39	   search
204.39	     run=13  nbConstraintChecks=912782716  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=53594
204.39	     nbFailedAssignments=47702  nbBacktracks=5811  nbVisitedNodes=107065  nbRestartNogoods=431
204.39	       =>  wckTime=143.126  cpuTime=143.0  mem=16M695
267.04	   
267.04	   search
267.04	     run=14  nbConstraintChecks=1280456463  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=74075
267.04	     nbFailedAssignments=65258  nbBacktracks=8730  nbVisitedNodes=147999  nbRestartNogoods=495
267.04	       =>  wckTime=205.775  cpuTime=205.63  mem=16M695
362.66	   
362.66	   search
362.66	     run=15  nbConstraintChecks=1869724114  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=108019
362.66	     nbFailedAssignments=94819  nbBacktracks=13108  nbVisitedNodes=215868  nbRestartNogoods=538
362.66	       =>  wckTime=301.391  cpuTime=301.22  mem=16M695
513.97	   
513.97	   search
513.97	     run=16  nbConstraintChecks=2787266298  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=165312
513.97	     nbFailedAssignments=145539  nbBacktracks=19676  nbVisitedNodes=330366  nbRestartNogoods=570
513.97	       =>  wckTime=452.708  cpuTime=452.46  mem=16M695
748.05	   
748.05	   search
748.05	     run=17  nbConstraintChecks=4135858751  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=242823
748.05	     nbFailedAssignments=213194  nbBacktracks=29528  nbVisitedNodes=485089  nbRestartNogoods=590
748.05	       =>  wckTime=686.784  cpuTime=686.4  mem=16M695
941.44	   
941.44	   search
941.44	     run=18  nbConstraintChecks=5256262115  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=311225
941.44	     nbFailedAssignments=266810  nbBacktracks=44306  nbVisitedNodes=621878  nbRestartNogoods=623
941.44	       =>  wckTime=880.173  cpuTime=879.68  mem=16M695
1527.74	   
1527.74	   search
1527.74	     run=19  nbConstraintChecks=8830475899  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=517352
1527.74	     nbFailedAssignments=450763  nbBacktracks=66474  nbVisitedNodes=1033849  nbRestartNogoods=655
1527.74	       =>  wckTime=1466.472  cpuTime=1465.63  mem=16M695
2227.86	   
2227.86	   search
2227.86	     run=20  nbConstraintChecks=12982400874  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=777265
2227.86	     nbFailedAssignments=677419  nbBacktracks=99726  nbVisitedNodes=1553394  nbRestartNogoods=697
2227.86	       =>  wckTime=2166.599  cpuTime=2165.33  mem=16M695
2401.46	v 792 554 792 554 694 456 30 268 16 254 380 694 722 484 442 680 442 680 540 778 366 128 16 254 30 268 30 268 128 366 792 554

Verifier Data (download as text)

21 unsatisfied constraints, 348 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node55/watcher-280314-1169304848 -o ROOT/results/node55/solver-280314-1169304848 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280314-1169304848/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.00 1.24 1.57 3/65 18055
/proc/meminfo: memFree=1241096/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=1784 CPUtime=0
/proc/18054/stat : 18054 (java) D 18052 18054 17418 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 278883113 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/18054/statm: 446 136 102 14 0 91 0

[startup+0.106568 s]
/proc/loadavg: 1.00 1.24 1.57 3/65 18055
/proc/meminfo: memFree=1241096/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=907676 CPUtime=0.03
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 2280 0 1 0 2 1 0 0 19 0 4 0 278883113 929460224 2027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 226919 2027 1143 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676

[startup+0.514607 s]
/proc/loadavg: 1.00 1.24 1.57 3/65 18055
/proc/meminfo: memFree=1241096/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915332 CPUtime=0.44
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 6216 0 1 0 40 4 0 0 16 0 8 0 278883113 937299968 5955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18054/statm: 228833 5955 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915332

[startup+1.33568 s]
/proc/loadavg: 1.00 1.24 1.57 2/72 18062
/proc/meminfo: memFree=1222032/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=1.25
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 7461 0 1 0 118 7 0 0 17 0 8 0 278883113 937390080 7199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754992 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 228855 7199 2496 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 7199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 7199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 7199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 7199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.13
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 349 0 0 0 13 0 0 0 15 0 8 0 278883127 937390080 7199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 7199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915424 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937394176 7199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915420

[startup+2.97184 s]
/proc/loadavg: 1.00 1.23 1.57 2/72 18062
/proc/meminfo: memFree=1222032/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=2.89
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 7466 0 1 0 278 11 0 0 17 0 8 0 278883113 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18054/statm: 228855 7203 2496 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.14
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 353 0 0 0 14 0 0 0 16 0 8 0 278883127 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915420

[startup+6.27016 s]
/proc/loadavg: 1.00 1.23 1.57 2/72 18062
/proc/meminfo: memFree=1221912/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=6.18
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 7466 0 1 0 598 20 0 0 21 0 8 0 278883113 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 228855 7203 2496 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915424 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937394176 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.14
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 353 0 0 0 14 0 0 0 15 0 8 0 278883127 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915420

[startup+12.7328 s]
/proc/loadavg: 1.00 1.23 1.56 2/72 18062
/proc/meminfo: memFree=1221912/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=12.64
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 7466 0 1 0 1227 37 0 0 25 0 8 0 278883113 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 228855 7203 2496 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.14
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 353 0 0 0 14 0 0 0 15 0 8 0 278883127 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915420

[startup+25.534 s]
/proc/loadavg: 1.00 1.22 1.56 2/72 18062
/proc/meminfo: memFree=1221976/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=25.43
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 7468 0 1 0 2476 67 0 0 25 0 8 0 278883113 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 228855 7205 2496 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.14
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 355 0 0 0 14 0 0 0 16 0 8 0 278883127 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915420

[startup+51.2245 s]
/proc/loadavg: 1.00 1.20 1.54 2/72 18062
/proc/meminfo: memFree=1222040/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=51.12
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 7468 0 1 0 4979 133 0 0 25 0 8 0 278883113 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 228855 7205 2496 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.14
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 355 0 0 0 14 0 0 0 16 0 8 0 278883127 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 7205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915420

[startup+102.497 s]
/proc/loadavg: 1.00 1.16 1.51 2/72 18062
/proc/meminfo: memFree=1215768/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=102.34
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 9135 0 1 0 10075 159 0 0 25 0 8 0 278883113 937390080 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878816 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 228855 8864 2544 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.24
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 418 0 0 0 23 1 0 0 16 0 8 0 278883127 937390080 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915420

[startup+162.504 s]
/proc/loadavg: 1.04 1.14 1.48 2/72 18062
/proc/meminfo: memFree=1215704/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=162.33
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 9145 0 1 0 16074 159 0 0 25 0 8 0 278883113 937390080 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2021.59
Current children cumulated vsize (KiB) 915420

[startup+2082.8 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 18262
/proc/meminfo: memFree=1215384/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=2081.57
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 9166 0 1 0 207986 171 0 0 25 0 8 0 278883113 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 228855 8892 2544 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.24
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 420 0 0 0 23 1 0 0 16 0 8 0 278883127 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.57
Current children cumulated vsize (KiB) 915420

[startup+2142.81 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 18262
/proc/meminfo: memFree=1215320/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=2141.53
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 9166 0 1 0 213982 171 0 0 25 0 8 0 278883113 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 228855 8892 2544 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.24
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 420 0 0 0 23 1 0 0 16 0 8 0 278883127 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.53
Current children cumulated vsize (KiB) 915420

[startup+2202.82 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 18262
/proc/meminfo: memFree=1215320/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=2201.49
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 9166 0 1 0 219978 171 0 0 25 0 8 0 278883113 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18054/statm: 228855 8892 2544 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.24
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 420 0 0 0 23 1 0 0 16 0 8 0 278883127 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 8892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.49
Current children cumulated vsize (KiB) 915420

[startup+2262.83 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 18262
/proc/meminfo: memFree=1215384/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=2261.47
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 9169 0 1 0 225976 171 0 0 25 0 8 0 278883113 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073948903 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 228855 8895 2544 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.24
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 420 0 0 0 23 1 0 0 16 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2261.47
Current children cumulated vsize (KiB) 915420

[startup+2322.84 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 18262
/proc/meminfo: memFree=1215320/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=2321.44
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 9169 0 1 0 231973 171 0 0 25 0 8 0 278883113 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 228855 8895 2544 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.24
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 420 0 0 0 23 1 0 0 16 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.44
Current children cumulated vsize (KiB) 915420

[startup+2382.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 18262
/proc/meminfo: memFree=1215320/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=2381.42
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 9169 0 1 0 237971 171 0 0 25 0 8 0 278883113 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073886832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 228855 8895 2544 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.24
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 420 0 0 0 23 1 0 0 16 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.42
Current children cumulated vsize (KiB) 915420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.45 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 18262
/proc/meminfo: memFree=1215320/2055920 swapFree=4192192/4192956
[pid=18054] ppid=18052 vsize=915420 CPUtime=2400.02
/proc/18054/stat : 18054 (java) R 18052 18054 17418 0 -1 0 9169 0 1 0 239831 171 0 0 25 0 8 0 278883113 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073884252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18054/statm: 228855 8895 2544 14 0 215325 0
[pid=18054/tid=18056] ppid=18052 vsize=915420 CPUtime=0.02
/proc/18054/task/18056/stat : 18056 (java) S 18052 18054 17418 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 278883123 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18054/tid=18057] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18057/stat : 18057 (java) S 18052 18054 17418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18058] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18058/stat : 18058 (java) S 18052 18054 17418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278883123 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18059] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18059/stat : 18059 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18060] ppid=18052 vsize=915420 CPUtime=0.24
/proc/18054/task/18060/stat : 18060 (java) S 18052 18054 17418 0 -1 64 420 0 0 0 23 1 0 0 16 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18061] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18061/stat : 18061 (java) S 18052 18054 17418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18054/tid=18062] ppid=18052 vsize=915420 CPUtime=0
/proc/18054/task/18062/stat : 18062 (java) S 18052 18054 17418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278883127 937390080 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915420

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

Child status: 143
Real time (s): 2401.49
CPU time (s): 2400.06
CPU user time (s): 2398.34
CPU system time (s): 1.72374
CPU usage (%): 99.9406
Max. virtual memory (cumulated for all children) (KiB): 915424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.34
system time used= 1.72374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9193
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= 49582
involuntary context switches= 54423

runsolver used 2.10768 s user time and 6.43402 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Sat Jan 20 14:54:08 UTC 2007


IDJOB= 280314
IDBENCH= 11078
IDSOLVER= 69
FILE ID= node55/280314-1169304848

PBS_JOBID= 3609886

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapSubs/scen06-sub2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280314-1169304848/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-280314-1169304848 -o ROOT/results/node55/solver-280314-1169304848 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280314-1169304848/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  65d6eb6ad26f78c93c10c663be1bf039

RANDOM SEED= 413944149

TIME LIMIT= 2400 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.218
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	: 5931.00
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.218
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:       1241512 kB
Buffers:         53156 kB
Cached:         668532 kB
SwapCached:        268 kB
Active:         129848 kB
Inactive:       607364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1241512 kB
SwapTotal:     4192956 kB
SwapFree:      4192192 kB
Dirty:            1692 kB
Writeback:           0 kB
Mapped:          24448 kB
Slab:            63284 kB
Committed_AS:  5519756 kB
PageTables:       1384 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= 66563 MiB



End job on node55 on Sat Jan 20 15:34:10 UTC 2007