Trace number 203614

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.11 1802.04

General information on the benchmark

Namerandom/rand-2-27/
rand-27-27-351-163-62021_ext.xml
MD5SUM06a6ade40c9d83081f8b20faf4526d46
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark809.946
SatisfiableNO
(Un)Satisfiability was proved
Number of variables27
Number of constraints351
Maximum constraint arity2
Maximum domain size27
Number of constraints which are defined in extension351
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/203614-1168162171/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=27  nbDomainTypes=1  minDomainSize=27  maxDomainSize=27
0.43	       =>  wckTime=0.101  cpuTime=0.09  mem=6M951
0.43	   
0.43	   relations being loaded...
0.56	   
0.56	   constraints being loaded...
0.69	     nbConstraints=351  nbRelationTypes=351  nbExtensionStructures=351  nbSharedExtensionStructures=0
0.69	     nbConflictsStructures=351  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=939  maxDegree=26
0.69	     maxArity=2
0.69	       =>  wckTime=0.363  cpuTime=0.28  mem=15M761
0.73	   
0.73	   solver IterativeSystematicSolver being built... 
0.90	       =>  wckTime=0.574  cpuTime=0.41  mem=15M373
0.95	   
0.95	   preprocessing
0.95	     nbConstraintChecks=72590  nbPropagations=816  nbRevisions=8610  nbUselessRevisions=7663  nbSingletonTests=39
0.95	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.95	       =>  wckTime=0.051  cpuTime=0.03  mem=15M373
0.98	   
0.98	   search
0.98	     run=0  nbConstraintChecks=36057  nbPropagations=1229  nbRevisions=15416  nbUselessRevisions=13643  nbAssignments=24
0.98	     nbFailedAssignments=7  nbBacktracks=12  nbVisitedNodes=40  nbRestartNogoods=0  mapSize=12  nbInferences=0
0.98	     nbTooLargeKeys=0
0.98	       =>  wckTime=0.077  cpuTime=0.05  mem=15M373
1.00	   
1.00	   search
1.00	     run=1  nbConstraintChecks=91744  nbPropagations=3054  nbRevisions=41924  nbUselessRevisions=37003  nbAssignments=59
1.00	     nbFailedAssignments=20  nbBacktracks=28  nbVisitedNodes=99  nbRestartNogoods=1  mapSize=27  nbInferences=0
1.00	     nbTooLargeKeys=0
1.00	       =>  wckTime=0.095  cpuTime=0.06  mem=15M373
1.02	   
1.02	   search
1.02	     run=2  nbConstraintChecks=156124  nbPropagations=5598  nbRevisions=81898  nbUselessRevisions=72207
1.02	     nbAssignments=105  nbFailedAssignments=37  nbBacktracks=50  nbVisitedNodes=180  nbRestartNogoods=3  mapSize=48
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.115  cpuTime=0.08  mem=15M373
1.04	   
1.04	   search
1.04	     run=3  nbConstraintChecks=245802  nbPropagations=9123  nbRevisions=141389  nbUselessRevisions=124692
1.04	     nbAssignments=168  nbFailedAssignments=62  nbBacktracks=83  nbVisitedNodes=287  nbRestartNogoods=5  mapSize=80
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.139  cpuTime=0.1  mem=15M373
1.07	   
1.07	   search
1.07	     run=4  nbConstraintChecks=398368  nbPropagations=14232  nbRevisions=234000  nbUselessRevisions=206386
1.07	     nbAssignments=265  nbFailedAssignments=102  nbBacktracks=133  nbVisitedNodes=462  nbRestartNogoods=8  mapSize=128
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.17  cpuTime=0.13  mem=15M373
1.12	   
1.12	   search
1.12	     run=5  nbConstraintChecks=633218  nbPropagations=21743  nbRevisions=377069  nbUselessRevisions=332143
1.13	     nbAssignments=415  nbFailedAssignments=170  nbBacktracks=208  nbVisitedNodes=736  nbRestartNogoods=13  mapSize=201
1.13	     nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.221  cpuTime=0.18  mem=15M373
1.20	   
1.20	   search
1.20	     run=6  nbConstraintChecks=981309  nbPropagations=32846  nbRevisions=597285  nbUselessRevisions=525569
1.20	     nbAssignments=646  nbFailedAssignments=281  nbBacktracks=322  nbVisitedNodes=1161  nbRestartNogoods=19  mapSize=313
1.20	     nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.295  cpuTime=0.24  mem=15M373
1.30	   
1.30	   search
1.30	     run=7  nbConstraintChecks=1506617  nbPropagations=49292  nbRevisions=935370  nbUselessRevisions=822621
1.30	     nbAssignments=989  nbFailedAssignments=447  nbBacktracks=492  nbVisitedNodes=1792  nbRestartNogoods=26  mapSize=479
1.30	     nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.394  cpuTime=0.35  mem=15M373
1.44	   
1.44	   search
1.44	     run=8  nbConstraintChecks=2274361  nbPropagations=73405  nbRevisions=1444053  nbUselessRevisions=1269606
1.44	     nbAssignments=1480  nbFailedAssignments=677  nbBacktracks=748  nbVisitedNodes=2695  nbRestartNogoods=37
1.44	     mapSize=730  nbInferences=0  nbTooLargeKeys=0
1.44	       =>  wckTime=0.543  cpuTime=0.49  mem=15M373
1.62	   
1.62	   INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=15M373)
1.66	   
1.66	   search
1.66	     run=9  nbConstraintChecks=3482941  nbPropagations=109292  nbRevisions=2217922  nbUselessRevisions=1949986
1.66	     nbAssignments=2235  nbFailedAssignments=1042  nbBacktracks=1135  nbVisitedNodes=4079  nbRestartNogoods=47
1.66	       =>  wckTime=0.76  cpuTime=0.69  mem=15M373
2.03	   
2.03	   search
2.03	     run=10  nbConstraintChecks=5226673  nbPropagations=162650  nbRevisions=3378910  nbUselessRevisions=2970494
2.03	     nbAssignments=3350  nbFailedAssignments=1574  nbBacktracks=1712  nbVisitedNodes=6143  nbRestartNogoods=50
2.03	       =>  wckTime=1.128  cpuTime=1.05  mem=15M373
2.61	   
2.61	   search
2.61	     run=11  nbConstraintChecks=7816426  nbPropagations=242226  nbRevisions=5122897  nbUselessRevisions=4503305
2.61	     nbAssignments=5027  nbFailedAssignments=2381  nbBacktracks=2577  nbVisitedNodes=9264  nbRestartNogoods=58
2.61	       =>  wckTime=1.704  cpuTime=1.62  mem=15M373
3.46	   
3.46	   search
3.46	     run=12  nbConstraintChecks=11728496  nbPropagations=360528  nbRevisions=7731165  nbUselessRevisions=6795526
3.46	     nbAssignments=7509  nbFailedAssignments=3560  nbBacktracks=3875  nbVisitedNodes=13852  nbRestartNogoods=68
3.46	       =>  wckTime=2.556  cpuTime=2.46  mem=15M373
4.71	   
4.71	   search
4.71	     run=13  nbConstraintChecks=17360592  nbPropagations=536424  nbRevisions=11620355  nbUselessRevisions=10214754
4.71	     nbAssignments=11222  nbFailedAssignments=5321  nbBacktracks=5822  nbVisitedNodes=20723  nbRestartNogoods=77
4.71	       =>  wckTime=3.806  cpuTime=3.71  mem=15M373
6.58	   
6.58	   search
6.58	     run=14  nbConstraintChecks=25963025  nbPropagations=798793  nbRevisions=17455531  nbUselessRevisions=15346716
6.58	     nbAssignments=16792  nbFailedAssignments=7967  nbBacktracks=8741  nbVisitedNodes=31027  nbRestartNogoods=87
6.58	       =>  wckTime=5.682  cpuTime=5.58  mem=15M373
9.37	   
9.37	   search
9.37	     run=15  nbConstraintChecks=38905283  nbPropagations=1191728  nbRevisions=26218077  nbUselessRevisions=23054982
9.37	     nbAssignments=25148  nbFailedAssignments=11939  nbBacktracks=13121  nbVisitedNodes=46526  nbRestartNogoods=94
9.37	       =>  wckTime=8.47  cpuTime=8.35  mem=15M373
13.24	   
13.24	   search
13.24	     run=16  nbConstraintChecks=58151100  nbPropagations=1778842  nbRevisions=39325736  nbUselessRevisions=34585562
13.24	     nbAssignments=37611  nbFailedAssignments=17828  nbBacktracks=19689  nbVisitedNodes=69550  nbRestartNogoods=105
13.24	       =>  wckTime=12.336  cpuTime=12.21  mem=15M373
19.03	   
19.03	   search
19.03	     run=17  nbConstraintChecks=87028722  nbPropagations=2657538  nbRevisions=58969193  nbUselessRevisions=51868254
19.03	     nbAssignments=56350  nbFailedAssignments=26711  nbBacktracks=29541  nbVisitedNodes=104237  nbRestartNogoods=119
19.03	       =>  wckTime=18.133  cpuTime=17.98  mem=15M373
27.90	   
27.90	   search
27.90	     run=18  nbConstraintChecks=132205151  nbPropagations=3983817  nbRevisions=88649307  nbUselessRevisions=77966216
27.90	     nbAssignments=84853  nbFailedAssignments=40429  nbBacktracks=44319  nbVisitedNodes=157091  nbRestartNogoods=126
27.90	       =>  wckTime=27.001  cpuTime=26.85  mem=15M373
41.45	   
41.45	   search
41.45	     run=19  nbConstraintChecks=200795806  nbPropagations=5984376  nbRevisions=133632828  nbUselessRevisions=117523342
41.45	     nbAssignments=127523  nbFailedAssignments=60923  nbBacktracks=66488  nbVisitedNodes=236290  nbRestartNogoods=152
41.45	       =>  wckTime=40.547  cpuTime=40.37  mem=15M373
61.10	   
61.10	   search
61.10	     run=20  nbConstraintChecks=299648503  nbPropagations=8975764  nbRevisions=200840583  nbUselessRevisions=176625690
61.10	     nbAssignments=191101  nbFailedAssignments=91243  nbBacktracks=99740  nbVisitedNodes=353722  nbRestartNogoods=163
61.10	       =>  wckTime=60.199  cpuTime=60.01  mem=15M373
91.09	   
91.09	   search
91.09	     run=21  nbConstraintChecks=451728093  nbPropagations=13469459  nbRevisions=301901080  nbUselessRevisions=265494386
91.09	     nbAssignments=286676  nbFailedAssignments=136934  nbBacktracks=149619  nbVisitedNodes=530648  nbRestartNogoods=171
91.09	       =>  wckTime=90.186  cpuTime=89.96  mem=15M373
135.43	   
135.43	   search
135.43	     run=22  nbConstraintChecks=674537262  nbPropagations=20185109  nbRevisions=452993847  nbUselessRevisions=398391455
135.43	     nbAssignments=428637  nbFailedAssignments=204072  nbBacktracks=224437  nbVisitedNodes=793128  nbRestartNogoods=181
135.43	       =>  wckTime=134.526  cpuTime=134.25  mem=15M373
203.87	   
203.87	   search
203.87	     run=23  nbConstraintChecks=1022095889  nbPropagations=30311683  nbRevisions=681415645  nbUselessRevisions=599312673
203.87	     nbAssignments=644561  nbFailedAssignments=307762  nbBacktracks=336665  nbVisitedNodes=1193127  nbRestartNogoods=200
203.87	       =>  wckTime=202.968  cpuTime=202.63  mem=15M373
304.40	   
304.40	   search
304.40	     run=24  nbConstraintChecks=1529188475  nbPropagations=45483663  nbRevisions=1023687857
304.40	     nbUselessRevisions=900421389  nbAssignments=966870  nbFailedAssignments=461723  nbBacktracks=505006
304.40	     nbVisitedNodes=1789623  nbRestartNogoods=227
304.40	       =>  wckTime=303.504  cpuTime=303.06  mem=15M373
457.79	   
457.79	   search
457.79	     run=25  nbConstraintChecks=2311288071  nbPropagations=68311846  nbRevisions=1539710931
457.79	     nbUselessRevisions=1354391409  nbAssignments=1452172  nbFailedAssignments=694507  nbBacktracks=757517
457.79	     nbVisitedNodes=2688365  nbRestartNogoods=259
457.79	       =>  wckTime=456.885  cpuTime=456.29  mem=15M373
685.05	   
685.05	   search
685.05	     run=26  nbConstraintChecks=3464898766  nbPropagations=102551216  nbRevisions=2313228515
685.05	     nbUselessRevisions=2034832803  nbAssignments=2178871  nbFailedAssignments=1042435  nbBacktracks=1136284
685.05	     nbVisitedNodes=4033891  nbRestartNogoods=269
685.05	       =>  wckTime=684.148  cpuTime=683.31  mem=15M373
1032.49	   
1032.49	   search
1032.49	     run=27  nbConstraintChecks=5233911379  nbPropagations=154099586  nbRevisions=3480600390
1032.49	     nbUselessRevisions=3061898520  nbAssignments=3273975  nbFailedAssignments=1569382  nbBacktracks=1704435
1032.49	     nbVisitedNodes=6064092  nbRestartNogoods=281
1032.49	       =>  wckTime=1031.587  cpuTime=1030.39  mem=15M373
1559.14	   
1559.14	   search
1559.14	     run=28  nbConstraintChecks=7925727413  nbPropagations=231798156  nbRevisions=5246068495
1559.14	     nbUselessRevisions=4615489093  nbAssignments=4920179  nbFailedAssignments=2363354  nbBacktracks=2556662
1559.14	     nbVisitedNodes=9117993  nbRestartNogoods=306
1559.14	       =>  wckTime=1558.234  cpuTime=1556.49  mem=15M373

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node51/watcher-203614-1168162171 -o ROOT/results/node51/solver-203614-1168162171 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203614-1168162171/unknown.xml 

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

/proc/loadavg: 1.97 2.00 1.96 4/74 25323
/proc/meminfo: memFree=1701400/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=18540 CPUtime=0
/proc/25322/stat : 25322 (runsolver) R 25320 25322 23768 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 164615635 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25322/statm: 4635 279 244 17 0 2626 0

[startup+0.107117 s]
/proc/loadavg: 1.97 2.00 1.96 4/74 25323
/proc/meminfo: memFree=1701400/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=914988 CPUtime=0.08
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 2963 0 1 0 7 1 0 0 19 0 8 0 164615635 936947712 2709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2581637 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25322/statm: 228747 2709 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515184 s]
/proc/loadavg: 1.97 2.00 1.96 4/74 25323
/proc/meminfo: memFree=1701400/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915328 CPUtime=0.48
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 6858 0 1 0 45 3 0 0 18 0 8 0 164615635 937295872 6597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25322/statm: 228832 6597 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33832 s]
/proc/loadavg: 1.97 2.00 1.96 3/81 25330
/proc/meminfo: memFree=1675296/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=1.3
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9214 0 1 0 124 6 0 0 24 0 8 0 164615635 937426944 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25322/statm: 228864 8952 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.21
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 377 0 0 0 20 1 0 0 15 0 8 0 164615643 937426944 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456

[startup+2.9806 s]
/proc/loadavg: 1.97 2.00 1.96 3/81 25330
/proc/meminfo: memFree=1675232/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=2.94
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9230 0 1 0 287 7 0 0 25 0 8 0 164615635 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25322/statm: 228864 8967 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456

[startup+6.27215 s]
/proc/loadavg: 1.97 2.00 1.96 3/81 25330
/proc/meminfo: memFree=1675168/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=6.21
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9231 0 1 0 614 7 0 0 25 0 8 0 164615635 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818734 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25322/statm: 228864 8967 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915456

[startup+12.7543 s]
/proc/loadavg: 1.89 1.98 1.96 3/88 25401
/proc/meminfo: memFree=1735848/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=12.67
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9231 0 1 0 1260 7 0 0 25 0 8 0 164615635 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804264 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25322/statm: 228864 8967 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8967 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) 915456

[startup+25.6034 s]
/proc/loadavg: 1.92 1.98 1.96 3/88 25401
/proc/meminfo: memFree=1735400/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=25.5
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9231 0 1 0 2543 7 0 0 25 0 8 0 164615635 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818755 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25322/statm: 228864 8967 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915456

[startup+51.2158 s]
/proc/loadavg: 1.94 1.98 1.96 3/88 25401
/proc/meminfo: memFree=1735400/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=51.08
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9233 0 1 0 5101 7 0 0 25 0 8 0 164615635 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25322/statm: 228864 8968 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 164615643 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915456

[startup+102.444 s]
/proc/loadavg: 2.02 2.00 1.96 3/88 25401
/proc/meminfo: memFree=1735528/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=102.26
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9233 0 1 0 10219 7 0 0 25 0 8 0 164615635 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25322/statm: 228864 8968 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 164615643 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 915456

[startup+162.45 s]
/proc/loadavg: 2.01 2.00 1.96 3/88 25401
/proc/meminfo: memFree=1735464/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=162.19
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9233 0 1 0 16212 7 0 0 25 0 8 0 164615635 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842384 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 915456

[startup+1483.51 s]
/proc/loadavg: 2.01 2.01 1.99 3/88 25401
/proc/meminfo: memFree=1734952/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=1481.91
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9234 0 1 0 148182 9 0 0 25 0 8 0 164615635 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795082 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25322/statm: 228864 8969 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 915456

[startup+1543.53 s]
/proc/loadavg: 2.00 2.00 1.99 3/88 25401
/proc/meminfo: memFree=1734888/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=1541.87
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9234 0 1 0 154178 9 0 0 25 0 8 0 164615635 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25322/statm: 228864 8969 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 915456

[startup+1603.55 s]
/proc/loadavg: 2.00 2.00 1.99 3/88 25401
/proc/meminfo: memFree=1734824/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=1601.8
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9234 0 1 0 160171 9 0 0 25 0 8 0 164615635 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813910 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25322/statm: 228864 8969 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 915456

[startup+1663.56 s]
/proc/loadavg: 2.00 2.00 1.99 3/88 25401
/proc/meminfo: memFree=1734824/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=1661.77
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9234 0 1 0 166167 10 0 0 25 0 8 0 164615635 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871208 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25322/statm: 228864 8969 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 915456

[startup+1723.66 s]
/proc/loadavg: 2.00 2.00 1.99 3/88 25401
/proc/meminfo: memFree=1734824/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=1721.82
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9234 0 1 0 172172 10 0 0 25 0 8 0 164615635 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813913 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25322/statm: 228864 8969 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 915456

[startup+1783.75 s]
/proc/loadavg: 2.00 2.00 1.99 3/88 25401
/proc/meminfo: memFree=1734760/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=1781.83
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9234 0 1 0 178173 10 0 0 25 0 8 0 164615635 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25322/statm: 228864 8969 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 915456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.97 s]
/proc/loadavg: 2.00 2.00 1.99 3/88 25401
/proc/meminfo: memFree=1734760/2055920 swapFree=4192812/4192956
[pid=25322] ppid=25320 vsize=915456 CPUtime=1800.04
/proc/25322/stat : 25322 (java) R 25320 25322 23768 0 -1 0 9234 0 1 0 179994 10 0 0 25 0 8 0 164615635 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813910 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25322/statm: 228864 8969 2524 14 0 215334 0
[pid=25322/tid=25324] ppid=25320 vsize=915456 CPUtime=0.03
/proc/25322/task/25324/stat : 25324 (java) S 25320 25322 23768 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164615639 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25325] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25325/stat : 25325 (java) S 25320 25322 23768 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25326] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25326/stat : 25326 (java) S 25320 25322 23768 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164615640 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25327] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25327/stat : 25327 (java) S 25320 25322 23768 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25328] ppid=25320 vsize=915456 CPUtime=0.24
/proc/25322/task/25328/stat : 25328 (java) S 25320 25322 23768 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25322/tid=25329] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25329/stat : 25329 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25322/tid=25330] ppid=25320 vsize=915456 CPUtime=0
/proc/25322/task/25330/stat : 25330 (java) S 25320 25322 23768 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164615643 937426944 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915456

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

Child status: 143
Real time (s): 1802.04
CPU time (s): 1800.11
CPU user time (s): 1800
CPU system time (s): 0.107983
CPU usage (%): 99.893
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9252
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= 37563
involuntary context switches= 44800

runsolver used 2.16867 s user time and 5.81112 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Sun Jan  7 09:29:31 UTC 2007


IDJOB= 203614
IDBENCH= 3972
FILE ID= node51/203614-1168162171

PBS_JOBID= 3478514

Free space on /tmp= 66547 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-27/rand-27-27-351-163-62021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203614-1168162171/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-203614-1168162171 -o ROOT/results/node51/solver-203614-1168162171 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203614-1168162171/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  06a6ade40c9d83081f8b20faf4526d46

RANDOM SEED= 557354772

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1701816 kB
Buffers:         23880 kB
Cached:         190932 kB
SwapCached:          0 kB
Active:         178564 kB
Inactive:       116740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1701816 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2072 kB
Writeback:           0 kB
Mapped:          91472 kB
Slab:            44160 kB
Committed_AS:  3459272 kB
PageTables:       1904 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66559 MiB



End job on node51 on Sun Jan  7 09:59:33 UTC 2007