Trace number 194567

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/rand-2-50-23/
rand-2-50-23-587-230-24_ext.xml
MD5SUM327787098fd49aff3919ed22760f4f0f
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints470
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension470
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/194567-1168069378/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.43	       =>  wckTime=0.107  cpuTime=0.09  mem=6M951
0.43	   
0.43	   relations being loaded...
0.58	   
0.58	   constraints being loaded...
0.72	     nbConstraints=470  nbRelationTypes=470  nbExtensionStructures=470  nbSharedExtensionStructures=0
0.72	     nbConflictsStructures=470  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2460  maxDegree=29
0.72	     maxArity=2
0.72	       =>  wckTime=0.402  cpuTime=0.3  mem=17M695
0.77	   
0.77	   solver IterativeSystematicSolver being built... 
0.93	       =>  wckTime=0.611  cpuTime=0.43  mem=15M373
0.94	   
0.94	   preprocessing
0.94	     nbConstraintChecks=0  nbPropagations=50  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.94	     detectedInconsistency=no
0.94	       =>  wckTime=0.0090  cpuTime=0.0  mem=15M373
0.99	   
0.99	   search
0.99	     run=0  nbConstraintChecks=60074  nbPropagations=701  nbRevisions=8729  nbUselessRevisions=7239  nbAssignments=30
0.99	     nbFailedAssignments=9  nbBacktracks=13  nbVisitedNodes=47  nbRestartNogoods=0  mapSize=12  nbInferences=0
0.99	     nbTooLargeKeys=0
0.99	       =>  wckTime=0.062  cpuTime=0.04  mem=15M373
1.03	   
1.03	   search
1.03	     run=1  nbConstraintChecks=132360  nbPropagations=2222  nbRevisions=29186  nbUselessRevisions=24047
1.03	     nbAssignments=67  nbFailedAssignments=22  nbBacktracks=29  nbVisitedNodes=106  nbRestartNogoods=2  mapSize=27
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.095  cpuTime=0.06  mem=15M373
1.05	   
1.05	   search
1.05	     run=2  nbConstraintChecks=240459  nbPropagations=4993  nbRevisions=67808  nbUselessRevisions=55671
1.05	     nbAssignments=133  nbFailedAssignments=50  nbBacktracks=55  nbVisitedNodes=214  nbRestartNogoods=5  mapSize=49
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.116  cpuTime=0.08  mem=15M373
1.07	   
1.07	   search
1.07	     run=3  nbConstraintChecks=366557  nbPropagations=9241  nbRevisions=128198  nbUselessRevisions=105366
1.07	     nbAssignments=203  nbFailedAssignments=77  nbBacktracks=90  nbVisitedNodes=335  nbRestartNogoods=7  mapSize=82
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.141  cpuTime=0.1  mem=15M373
1.10	   
1.10	   search
1.11	     run=4  nbConstraintChecks=537730  nbPropagations=15502  nbRevisions=217675  nbUselessRevisions=178916
1.11	     nbAssignments=303  nbFailedAssignments=113  nbBacktracks=141  nbVisitedNodes=501  nbRestartNogoods=8  mapSize=124
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.174  cpuTime=0.13  mem=15M373
1.16	   
1.16	   search
1.16	     run=5  nbConstraintChecks=830637  nbPropagations=24930  nbRevisions=356487  nbUselessRevisions=292618
1.16	     nbAssignments=458  nbFailedAssignments=184  nbBacktracks=216  nbVisitedNodes=774  nbRestartNogoods=12  mapSize=191
1.16	     nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.23  cpuTime=0.18  mem=15M373
1.22	   
1.22	   search
1.22	     run=6  nbConstraintChecks=1163613  nbPropagations=38163  nbRevisions=553801  nbUselessRevisions=453985
1.22	     nbAssignments=664  nbFailedAssignments=267  nbBacktracks=330  nbVisitedNodes=1121  nbRestartNogoods=19  mapSize=288
1.22	     nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.29  cpuTime=0.24  mem=15M373
1.30	   
1.30	   search
1.31	     run=7  nbConstraintChecks=1628164  nbPropagations=57001  nbRevisions=836645  nbUselessRevisions=686387
1.31	     nbAssignments=944  nbFailedAssignments=366  nbBacktracks=500  nbVisitedNodes=1591  nbRestartNogoods=21  mapSize=427
1.31	     nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.374  cpuTime=0.32  mem=15M373
1.42	   
1.42	   search
1.42	     run=8  nbConstraintChecks=2293586  nbPropagations=83237  nbRevisions=1229636  nbUselessRevisions=1008467
1.42	     nbAssignments=1345  nbFailedAssignments=499  nbBacktracks=756  nbVisitedNodes=2249  nbRestartNogoods=27
1.42	     mapSize=611  nbInferences=0  nbTooLargeKeys=0
1.42	       =>  wckTime=0.488  cpuTime=0.42  mem=15M373
1.59	   
1.59	   search
1.59	     run=9  nbConstraintChecks=3255856  nbPropagations=120934  nbRevisions=1791135  nbUselessRevisions=1468050
1.59	     nbAssignments=1958  nbFailedAssignments=719  nbBacktracks=1141  nbVisitedNodes=3273  nbRestartNogoods=37
1.59	     mapSize=917  nbInferences=0  nbTooLargeKeys=0
1.59	       =>  wckTime=0.662  cpuTime=0.58  mem=15M373
1.65	   
1.65	   INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=15M373)
1.85	   
1.85	   search
1.85	     run=10  nbConstraintChecks=4871257  nbPropagations=177935  nbRevisions=2650656  nbUselessRevisions=2172040
1.85	     nbAssignments=2935  nbFailedAssignments=1106  nbBacktracks=1718  nbVisitedNodes=4953  nbRestartNogoods=39
1.85	       =>  wckTime=0.917  cpuTime=0.83  mem=15M373
2.14	   
2.14	   search
2.14	     run=11  nbConstraintChecks=6814100  nbPropagations=259370  nbRevisions=3879528  nbUselessRevisions=3178002
2.14	     nbAssignments=4299  nbFailedAssignments=1596  nbBacktracks=2586  nbVisitedNodes=7237  nbRestartNogoods=47
2.14	       =>  wckTime=1.212  cpuTime=1.13  mem=15M373
2.62	   
2.62	   search
2.62	     run=12  nbConstraintChecks=10029439  nbPropagations=378681  nbRevisions=5691581  nbUselessRevisions=4661017
2.62	     nbAssignments=6353  nbFailedAssignments=2341  nbBacktracks=3885  nbVisitedNodes=10688  nbRestartNogoods=50
2.62	       =>  wckTime=1.688  cpuTime=1.59  mem=15M373
3.35	   
3.35	   search
3.35	     run=13  nbConstraintChecks=15139551  nbPropagations=557505  nbRevisions=8423169  nbUselessRevisions=6896808
3.35	     nbAssignments=9440  nbFailedAssignments=3471  nbBacktracks=5831  nbVisitedNodes=15884  nbRestartNogoods=58
3.35	       =>  wckTime=2.414  cpuTime=2.32  mem=15M373
4.49	   
4.49	   search
4.49	     run=14  nbConstraintChecks=22709776  nbPropagations=827763  nbRevisions=12572642  nbUselessRevisions=10298943
4.49	     nbAssignments=14184  nbFailedAssignments=5286  nbBacktracks=8751  nbVisitedNodes=23976  nbRestartNogoods=63
4.49	       =>  wckTime=3.562  cpuTime=3.42  mem=15M373
6.32	   
6.32	   search
6.32	     run=15  nbConstraintChecks=35885037  nbPropagations=1242288  nbRevisions=18984489  nbUselessRevisions=15545313
6.32	     nbAssignments=21464  nbFailedAssignments=8180  nbBacktracks=13129  nbVisitedNodes=36621  nbRestartNogoods=69
6.32	       =>  wckTime=5.386  cpuTime=5.23  mem=15M373
9.09	   
9.09	   search
9.09	     run=16  nbConstraintChecks=55647381  nbPropagations=1879828  nbRevisions=28902505  nbUselessRevisions=23663666
9.09	     nbAssignments=32455  nbFailedAssignments=12591  nbBacktracks=19698  nbVisitedNodes=55730  nbRestartNogoods=80
9.09	       =>  wckTime=8.155  cpuTime=7.97  mem=15M373
13.07	   
13.07	   search
13.07	     run=17  nbConstraintChecks=84128231  nbPropagations=2839075  nbRevisions=43854864  nbUselessRevisions=35899181
13.07	     nbAssignments=48796  nbFailedAssignments=19073  nbBacktracks=29552  nbVisitedNodes=83867  nbRestartNogoods=91
13.07	       =>  wckTime=12.141  cpuTime=11.93  mem=15M373
18.92	   
18.92	   search
18.92	     run=18  nbConstraintChecks=125478437  nbPropagations=4276227  nbRevisions=66175693  nbUselessRevisions=54161345
18.92	     nbAssignments=73114  nbFailedAssignments=28602  nbBacktracks=44332  nbVisitedNodes=125624  nbRestartNogoods=100
18.92	       =>  wckTime=17.991  cpuTime=17.74  mem=15M373
27.94	   
27.94	   search
27.94	     run=19  nbConstraintChecks=190109508  nbPropagations=6431515  nbRevisions=99835620  nbUselessRevisions=81699221
27.94	     nbAssignments=109700  nbFailedAssignments=43012  nbBacktracks=66500  nbVisitedNodes=188432  nbRestartNogoods=111
27.94	       =>  wckTime=27.008  cpuTime=26.69  mem=15M373
40.49	   
40.49	   search
40.49	     run=20  nbConstraintChecks=276171480  nbPropagations=9623155  nbRevisions=149666447  nbUselessRevisions=122538909
40.49	     nbAssignments=163706  nbFailedAssignments=63755  nbBacktracks=99755  nbVisitedNodes=280861  nbRestartNogoods=125
40.49	       =>  wckTime=39.558  cpuTime=39.14  mem=15M373
59.18	   
59.18	   search
59.18	     run=21  nbConstraintChecks=403385580  nbPropagations=14357071  nbRevisions=223821709  nbUselessRevisions=183488714
59.18	     nbAssignments=244240  nbFailedAssignments=94401  nbBacktracks=149635  nbVisitedNodes=418717  nbRestartNogoods=138
59.18	       =>  wckTime=58.248  cpuTime=57.66  mem=15M373
87.17	   
87.17	   search
87.17	     run=22  nbConstraintChecks=596558131  nbPropagations=21380671  nbRevisions=333562012  nbUselessRevisions=273626461
87.17	     nbAssignments=363511  nbFailedAssignments=138840  nbBacktracks=224454  nbVisitedNodes=622019  nbRestartNogoods=147
87.17	       =>  wckTime=86.236  cpuTime=85.44  mem=15M373
133.07	   
133.07	   search
133.07	     run=23  nbConstraintChecks=918675391  nbPropagations=32116121  nbRevisions=503135713  nbUselessRevisions=413188674
133.07	     nbAssignments=552097  nbFailedAssignments=215188  nbBacktracks=336681  nbVisitedNodes=948671  nbRestartNogoods=160
133.07	       =>  wckTime=132.142  cpuTime=130.97  mem=15M373
197.26	   
197.27	   search
197.27	     run=24  nbConstraintChecks=1366569917  nbPropagations=48089649  nbRevisions=754401234  nbUselessRevisions=619822314
197.27	     nbAssignments=821572  nbFailedAssignments=316312  nbBacktracks=505022  nbVisitedNodes=1408306  nbRestartNogoods=177
197.27	       =>  wckTime=196.334  cpuTime=194.62  mem=15M373
299.48	   
299.48	   search
299.48	     run=25  nbConstraintChecks=2088695978  nbPropagations=72283930  nbRevisions=1134921099
299.48	     nbUselessRevisions=932527232  nbAssignments=1233470  nbFailedAssignments=475690  nbBacktracks=757533
299.48	     nbVisitedNodes=2116699  nbRestartNogoods=193
299.48	       =>  wckTime=298.548  cpuTime=296.0  mem=15M373
447.83	   
447.83	   search
447.83	     run=26  nbConstraintChecks=3132056186  nbPropagations=108478999  nbRevisions=1703900217
447.83	     nbUselessRevisions=1399820196  nbAssignments=1848406  nbFailedAssignments=711852  nbBacktracks=1136301
447.83	     nbVisitedNodes=3170484  nbRestartNogoods=211
447.83	       =>  wckTime=446.899  cpuTime=443.15  mem=15M373
667.60	   
667.60	   search
667.60	     run=27  nbConstraintChecks=4657397908  nbPropagations=162578747  nbRevisions=2557175873
667.60	     nbUselessRevisions=2101585427  nbAssignments=2770413  nbFailedAssignments=1065698  nbBacktracks=1704454
667.60	     nbVisitedNodes=4750962  nbRestartNogoods=228
667.60	       =>  wckTime=666.667  cpuTime=661.11  mem=15M373
994.65	   
994.65	   search
994.65	     run=28  nbConstraintChecks=6927779127  nbPropagations=243348330  nbRevisions=3825874961
994.65	     nbUselessRevisions=3144451871  nbAssignments=4139219  nbFailedAssignments=1582269  nbBacktracks=2556680
994.65	     nbVisitedNodes=7086014  nbRestartNogoods=239
994.65	       =>  wckTime=993.722  cpuTime=985.49  mem=15M373
1497.35	   
1497.35	   search
1497.35	     run=29  nbConstraintChecks=10449038821  nbPropagations=364739223  nbRevisions=5733539967
1497.35	     nbUselessRevisions=4712818629  nbAssignments=6215512  nbFailedAssignments=2380209  nbBacktracks=3835024
1497.35	     nbVisitedNodes=10645062  nbRestartNogoods=256
1497.35	       =>  wckTime=1496.418  cpuTime=1483.84  mem=16M348

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

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

/proc/loadavg: 0.77 1.29 1.65 4/93 4747
/proc/meminfo: memFree=1142264/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=1500 CPUtime=0
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 135553288 1536000 69 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7833618 0 0 4096 0 0 0 0 17 1 0 0
/proc/4746/statm: 363 70 54 14 0 8 0

[startup+0.10286 s]
/proc/loadavg: 0.77 1.29 1.65 4/93 4747
/proc/meminfo: memFree=1142264/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=914988 CPUtime=0.09
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 3004 0 1 0 7 2 0 0 22 0 8 0 135553288 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609851 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510907 s]
/proc/loadavg: 0.77 1.29 1.65 4/93 4747
/proc/meminfo: memFree=1142264/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915328 CPUtime=0.49
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 6807 0 1 0 45 4 0 0 25 0 8 0 135553288 937295872 6546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073569408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228832 6546 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33233 s]
/proc/loadavg: 0.77 1.29 1.65 3/100 4754
/proc/meminfo: memFree=1114624/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1.3
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9627 0 1 0 123 7 0 0 25 0 8 0 135553288 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9365 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.22
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 380 0 0 0 22 0 0 0 15 0 8 0 135553295 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.97018 s]
/proc/loadavg: 0.87 1.30 1.65 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=2.92
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9644 0 1 0 285 7 0 0 25 0 8 0 135553288 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9381 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 17 0 8 0 135553291 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 396 0 0 0 25 1 0 0 15 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460

[startup+6.26956 s]
/proc/loadavg: 0.87 1.30 1.65 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=6.16
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9645 0 1 0 609 7 0 0 25 0 8 0 135553288 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9381 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 396 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915460

[startup+12.7353 s]
/proc/loadavg: 1.04 1.32 1.66 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=12.58
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9646 0 1 0 1251 7 0 0 25 0 8 0 135553288 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811749 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9382 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915460

[startup+25.5967 s]
/proc/loadavg: 1.19 1.35 1.66 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=25.34
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9647 0 1 0 2527 7 0 0 25 0 8 0 135553288 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837236 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9382 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460

[startup+51.2937 s]
/proc/loadavg: 1.47 1.40 1.67 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=50.82
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9647 0 1 0 5075 7 0 0 25 0 8 0 135553288 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9382 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 915460

[startup+102.583 s]
/proc/loadavg: 1.79 1.50 1.68 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=101.7
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9647 0 1 0 10162 8 0 0 25 0 8 0 135553288 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918486 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9382 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 915460

[startup+162.612 s]
/proc/loadavg: 1.91 1.58 1.70 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=161.25
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9647 0 1 0 16117 8 0 0 25 0 8 0 135553288 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823611 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1411.43
Current children cumulated vsize (KiB) 915460

[startup+1483.34 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 4952
/proc/meminfo: memFree=1114312/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1470.97
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 147077 20 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.97
Current children cumulated vsize (KiB) 915460

[startup+1543.37 s]
/proc/loadavg: 2.20 2.03 1.93 3/100 4952
/proc/meminfo: memFree=1114312/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1530.51
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 153030 21 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.51
Current children cumulated vsize (KiB) 915460

[startup+1603.41 s]
/proc/loadavg: 2.07 2.03 1.93 3/100 4952
/proc/meminfo: memFree=1114312/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1590.05
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 158984 21 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.05
Current children cumulated vsize (KiB) 915460

[startup+1663.44 s]
/proc/loadavg: 2.02 2.02 1.93 3/100 4952
/proc/meminfo: memFree=1114376/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1649.59
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 164938 21 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833215 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.59
Current children cumulated vsize (KiB) 915460

[startup+1723.47 s]
/proc/loadavg: 2.01 2.01 1.93 3/100 4952
/proc/meminfo: memFree=1114376/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1709.12
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 170891 21 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876257 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.12
Current children cumulated vsize (KiB) 915460

[startup+1783.5 s]
/proc/loadavg: 1.92 1.99 1.92 2/88 4968
/proc/meminfo: memFree=1144096/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1768.7
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 176848 22 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823754 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.7
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.09 s]
/proc/loadavg: 1.95 1.99 1.92 3/100 5010
/proc/meminfo: memFree=737856/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1800.07
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 179980 27 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1815.12
CPU time (s): 1800.1
CPU user time (s): 1799.82
CPU system time (s): 0.279957
CPU usage (%): 99.1725
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.279957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9669
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= 37848
involuntary context switches= 102858

runsolver used 1.90471 s user time and 4.69129 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Jan  6 07:43:04 UTC 2007


IDJOB= 194567
IDBENCH= 3221
FILE ID= node5/194567-1168069378

PBS_JOBID= 3475706

Free space on /tmp= 66331 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-24_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194567-1168069378/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-194567-1168069378 -o ROOT/results/node5/solver-194567-1168069378 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194567-1168069378/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  327787098fd49aff3919ed22760f4f0f

RANDOM SEED= 91500171

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.240
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.240
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:       1142680 kB
Buffers:         71700 kB
Cached:         671608 kB
SwapCached:          0 kB
Active:         297260 kB
Inactive:       521384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1142680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4312 kB
Writeback:           0 kB
Mapped:         104392 kB
Slab:            79236 kB
Committed_AS:  3922716 kB
PageTables:       2272 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= 66214 MiB



End job on node5 on Sat Jan  6 08:13:30 UTC 2007