Trace number 210711

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.13 1808.42

General information on the benchmark

NamepseudoSeries/uclid/
ooo-tag8.xml
MD5SUMc2e87330c14820a926dade61c5e24ffe
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6.43
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables3249
Number of constraints8982
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8982
Global constraints used (with number of constraints)

Solver Data (download as text)

0.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=mac.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/210711-1168075163/unknown.xml
0.43	   
0.43	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.64	     nbVariables=3249  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.64	       =>  wckTime=0.265  cpuTime=0.18  mem=11M795
0.64	   
0.64	   predicates being loaded...
0.65	   
0.65	   constraints being loaded...
2.05	     nbConstraints=8601  nbMergedConstraints=381  nbSingletonDomainVariables=13  nbConvertedConstraints=5669
2.05	     nbConvertConstraintsChecks=22586  nbExtensionStructures=8  nbSharedExtensionStructures=5661
2.05	     nbConflictsStructures=42  nbSharedConflictsStructures=8559  nbSharedBinaryRepresentations=19
2.05	     nbEvaluationManagers=34  nbSharedEvaluationManagers=2898  maxDegree=134  maxArity=11
2.05	       =>  wckTime=1.68  cpuTime=1.43  mem=51M997
2.17	   
2.17	   solver IterativeSystematicSolver being built... 
2.54	       =>  wckTime=2.17  cpuTime=1.72  mem=53M515
2.58	   
2.58	   preprocessing
2.58	     nbConstraintChecks=0  nbPropagations=3249  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.58	     detectedInconsistency=no
2.58	       =>  wckTime=0.032  cpuTime=0.02  mem=53M515
3.83	   
3.83	   search
3.83	     run=0  nbConstraintChecks=27722  nbValidityChecks=14381  nbPropagations=6134  nbRevisions=21007
3.83	     nbUselessRevisions=18166  nbAssignments=212  nbFailedAssignments=4  nbBacktracks=18  nbVisitedNodes=220
3.83	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
3.83	       =>  wckTime=1.285  cpuTime=1.23  mem=54M503
5.02	   
5.02	   search
5.02	     run=1  nbConstraintChecks=49871  nbValidityChecks=32779  nbPropagations=15158  nbRevisions=63589
5.02	     nbUselessRevisions=55062  nbAssignments=428  nbFailedAssignments=8  nbBacktracks=42  nbVisitedNodes=444
5.02	     nbRestartNogoods=1  mapSize=13  nbInferences=0  nbTooLargeKeys=0
5.02	       =>  wckTime=2.474  cpuTime=2.41  mem=54M503
6.29	   
6.29	   search
6.29	     run=2  nbConstraintChecks=85183  nbValidityChecks=55109  nbPropagations=27100  nbRevisions=129880
6.29	     nbUselessRevisions=112791  nbAssignments=654  nbFailedAssignments=14  nbBacktracks=68  nbVisitedNodes=682
6.29	     nbRestartNogoods=2  mapSize=23  nbInferences=0  nbTooLargeKeys=0
6.29	       =>  wckTime=3.742  cpuTime=3.67  mem=54M503
7.37	   
7.37	   search
7.37	     run=3  nbConstraintChecks=125425  nbValidityChecks=82397  nbPropagations=41952  nbRevisions=222505
7.37	     nbUselessRevisions=193965  nbAssignments=846  nbFailedAssignments=21  nbBacktracks=101  nbVisitedNodes=888
7.37	     nbRestartNogoods=4  mapSize=34  nbInferences=0  nbTooLargeKeys=0
7.37	       =>  wckTime=4.825  cpuTime=4.75  mem=54M503
8.49	   
8.49	   search
8.49	     run=4  nbConstraintChecks=182986  nbValidityChecks=116980  nbPropagations=61753  nbRevisions=355546
8.49	     nbUselessRevisions=310420  nbAssignments=1046  nbFailedAssignments=35  nbBacktracks=164  nbVisitedNodes=1122
8.49	     nbRestartNogoods=7  mapSize=67  nbInferences=0  nbTooLargeKeys=0
8.49	       =>  wckTime=5.939  cpuTime=5.85  mem=54M503
9.76	   
9.76	   search
9.76	     run=5  nbConstraintChecks=208907  nbValidityChecks=132500  nbPropagations=85726  nbRevisions=514755
9.76	     nbUselessRevisions=448885  nbAssignments=1287  nbFailedAssignments=46  nbBacktracks=246  nbVisitedNodes=1382
9.76	     nbRestartNogoods=8  mapSize=82  nbInferences=0  nbTooLargeKeys=0
9.76	       =>  wckTime=7.21  cpuTime=7.11  mem=54M503
11.35	   
11.35	   search
11.35	     run=6  nbConstraintChecks=231106  nbValidityChecks=147815  nbPropagations=113847  nbRevisions=699466
11.35	     nbUselessRevisions=608718  nbAssignments=1583  nbFailedAssignments=58  nbBacktracks=375  nbVisitedNodes=1702
11.35	     nbRestartNogoods=12  mapSize=104  nbInferences=0  nbTooLargeKeys=0
11.35	       =>  wckTime=8.806  cpuTime=8.68  mem=54M503
13.07	   
13.08	   search
13.08	     run=7  nbConstraintChecks=263608  nbValidityChecks=168320  nbPropagations=147361  nbRevisions=918466
13.08	     nbUselessRevisions=797374  nbAssignments=1909  nbFailedAssignments=78  nbBacktracks=551  nbVisitedNodes=2072
13.08	     nbRestartNogoods=14  mapSize=147  nbInferences=0  nbTooLargeKeys=0
13.08	       =>  wckTime=10.528  cpuTime=10.4  mem=55M491
15.43	   
15.43	   search
15.43	     run=8  nbConstraintChecks=472657  nbValidityChecks=271353  nbPropagations=203903  nbRevisions=1310121
15.43	     nbUselessRevisions=1134027  nbAssignments=2320  nbFailedAssignments=131  nbBacktracks=819  nbVisitedNodes=2617
15.43	     nbRestartNogoods=15  mapSize=279  nbInferences=0  nbTooLargeKeys=0
15.43	       =>  wckTime=12.886  cpuTime=12.74  mem=55M491
18.40	   
18.40	   search
18.40	     run=9  nbConstraintChecks=650430  nbValidityChecks=373646  nbPropagations=279584  nbRevisions=1853584
18.40	     nbUselessRevisions=1599977  nbAssignments=2884  nbFailedAssignments=219  nbBacktracks=1207  nbVisitedNodes=3360
18.40	     nbRestartNogoods=17  mapSize=456  nbInferences=0  nbTooLargeKeys=0
18.40	       =>  wckTime=15.848  cpuTime=15.69  mem=55M491
22.33	   
22.33	   search
22.34	     run=10  nbConstraintChecks=1169569  nbValidityChecks=622010  nbPropagations=418130  nbRevisions=2828683
22.34	     nbUselessRevisions=2427366  nbAssignments=3691  nbFailedAssignments=381  nbBacktracks=1783  nbVisitedNodes=4493
22.34	     nbRestartNogoods=19  mapSize=777  nbInferences=0  nbTooLargeKeys=0
22.34	       =>  wckTime=19.788  cpuTime=19.59  mem=56M479
25.31	   
25.31	   INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=57M467)
25.82	   
25.82	   search
25.82	     run=11  nbConstraintChecks=2084522  nbValidityChecks=893919  nbPropagations=711866  nbRevisions=4638180
25.82	     nbUselessRevisions=3920269  nbAssignments=4751  nbFailedAssignments=528  nbBacktracks=2651  nbVisitedNodes=5835
25.82	     nbRestartNogoods=24
25.82	       =>  wckTime=23.275  cpuTime=23.07  mem=57M467
27.94	   
27.95	   search
27.95	     run=12  nbConstraintChecks=3018069  nbValidityChecks=1135008  nbPropagations=1168606  nbRevisions=7275019
27.95	     nbUselessRevisions=6066924  nbAssignments=6209  nbFailedAssignments=653  nbBacktracks=3958  nbVisitedNodes=7558
27.95	     nbRestartNogoods=28
27.95	       =>  wckTime=25.398  cpuTime=25.19  mem=57M467
31.84	   
31.84	   search
31.84	     run=13  nbConstraintChecks=4804018  nbValidityChecks=1667229  nbPropagations=1922968  nbRevisions=11503824
31.84	     nbUselessRevisions=9489250  nbAssignments=8467  nbFailedAssignments=892  nbBacktracks=5928  nbVisitedNodes=10324
31.84	     nbRestartNogoods=33
31.84	       =>  wckTime=29.29  cpuTime=29.05  mem=57M467
35.99	   
35.99	   search
35.99	     run=14  nbConstraintChecks=6143716  nbValidityChecks=2096161  nbPropagations=2884256  nbRevisions=16933348
35.99	     nbUselessRevisions=13883485  nbAssignments=11788  nbFailedAssignments=1260  nbBacktracks=8864  nbVisitedNodes=14489
35.99	     nbRestartNogoods=38
35.99	       =>  wckTime=33.446  cpuTime=33.19  mem=57M467
47.29	   
47.29	   search
47.29	     run=15  nbConstraintChecks=11815618  nbValidityChecks=3777283  nbPropagations=4746713  nbRevisions=27414528
47.29	     nbUselessRevisions=22328320  nbAssignments=17104  nbFailedAssignments=2178  nbBacktracks=13242
47.29	     nbVisitedNodes=21612  nbRestartNogoods=41
47.29	       =>  wckTime=44.742  cpuTime=44.43  mem=57M467
58.68	   
58.68	   search
58.68	     run=16  nbConstraintChecks=16029693  nbValidityChecks=5171327  nbPropagations=7234688  nbRevisions=41495789
58.68	     nbUselessRevisions=33686779  nbAssignments=24903  nbFailedAssignments=3370  nbBacktracks=19815
58.68	     nbVisitedNodes=31762  nbRestartNogoods=48
58.68	       =>  wckTime=56.133  cpuTime=55.76  mem=57M467
75.41	   
75.41	   search
75.41	     run=17  nbConstraintChecks=23272820  nbValidityChecks=7268487  nbPropagations=10915953  nbRevisions=61911233
75.41	     nbUselessRevisions=50088228  nbAssignments=35818  nbFailedAssignments=4389  nbBacktracks=29676
75.41	     nbVisitedNodes=45004  nbRestartNogoods=56
75.41	       =>  wckTime=72.861  cpuTime=72.41  mem=57M467
119.69	   
119.69	   search
119.69	     run=18  nbConstraintChecks=45507756  nbValidityChecks=14145944  nbPropagations=17970588  nbRevisions=100596861
119.69	     nbUselessRevisions=81095025  nbAssignments=53378  nbFailedAssignments=7114  nbBacktracks=44458
119.69	     nbVisitedNodes=69051  nbRestartNogoods=64
119.69	       =>  wckTime=117.14  cpuTime=116.47  mem=57M467
169.95	   
169.95	   search
169.95	     run=19  nbConstraintChecks=69247498  nbValidityChecks=21724005  nbPropagations=28910555  nbRevisions=160850670
169.95	     nbUselessRevisions=129589139  nbAssignments=79543  nbFailedAssignments=11033  nbBacktracks=66650
169.95	     nbVisitedNodes=103877  nbRestartNogoods=75
169.95	       =>  wckTime=167.401  cpuTime=166.5  mem=57M467
228.57	   
228.57	   search
228.57	     run=20  nbConstraintChecks=93383774  nbValidityChecks=29154338  nbPropagations=43641161  nbRevisions=241610973
228.57	     nbUselessRevisions=194485078  nbAssignments=116731  nbFailedAssignments=14929  nbBacktracks=99902
228.57	     nbVisitedNodes=150487  nbRestartNogoods=83
228.57	       =>  wckTime=226.02  cpuTime=224.84  mem=57M467
331.95	   
331.95	   search
331.95	     run=21  nbConstraintChecks=142519780  nbValidityChecks=44281659  nbPropagations=66244788  nbRevisions=363887582
331.95	     nbUselessRevisions=292262809  nbAssignments=175250  nbFailedAssignments=23518  nbBacktracks=149780
331.95	     nbVisitedNodes=225668  nbRestartNogoods=91
331.95	       =>  wckTime=329.4  cpuTime=327.72  mem=57M467
475.86	   
475.86	   search
475.86	     run=22  nbConstraintChecks=203117563  nbValidityChecks=63667309  nbPropagations=98098871  nbRevisions=537021932
475.86	     nbUselessRevisions=430903678  nbAssignments=260075  nbFailedAssignments=33437  nbBacktracks=224605
475.86	     nbVisitedNodes=331327  nbRestartNogoods=96
475.86	       =>  wckTime=473.317  cpuTime=470.95  mem=57M467
673.43	   
673.43	   search
673.43	     run=23  nbConstraintChecks=279975053  nbValidityChecks=92103709  nbPropagations=142045438  nbRevisions=780363202
673.43	     nbUselessRevisions=626324579  nbAssignments=388119  nbFailedAssignments=49130  nbBacktracks=336839
673.43	     nbVisitedNodes=492482  nbRestartNogoods=107
673.43	       =>  wckTime=670.879  cpuTime=667.57  mem=57M467
959.35	   
959.35	   search
959.35	     run=24  nbConstraintChecks=404745218  nbValidityChecks=128356349  nbPropagations=206538957  nbRevisions=1131060374
959.35	     nbUselessRevisions=906665393  nbAssignments=575049  nbFailedAssignments=67650  nbBacktracks=505200
959.35	     nbVisitedNodes=716982  nbRestartNogoods=126
959.35	       =>  wckTime=956.799  cpuTime=952.13  mem=57M467
1405.32	   
1405.32	   search
1405.32	     run=25  nbConstraintChecks=563399488  nbValidityChecks=188713692  nbPropagations=293409556  nbRevisions=1613642619
1405.32	     nbUselessRevisions=1293853440  nbAssignments=859827  nbFailedAssignments=99815  nbBacktracks=757740
1405.32	     nbVisitedNodes=1073154  nbRestartNogoods=132
1405.32	       =>  wckTime=1402.773  cpuTime=1395.98  mem=57M467

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/node15/watcher-210711-1168075163 -o ROOT/results/node15/solver-210711-1168075163 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210711-1168075163/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.75 1.57 1.74 4/93 15011
/proc/meminfo: memFree=969120/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=18540 CPUtime=0
/proc/15010/stat : 15010 (runsolver) R 15008 15010 14943 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155911201 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15010/statm: 4635 279 244 17 0 2626 0

[startup+0.107823 s]
/proc/loadavg: 1.75 1.57 1.74 4/93 15011
/proc/meminfo: memFree=969120/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=907676 CPUtime=0.04
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 2287 0 1 0 3 1 0 0 16 0 4 0 155911201 929460224 2034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153548452 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 226919 2034 1147 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676

[startup+0.515896 s]
/proc/loadavg: 1.75 1.57 1.74 4/93 15011
/proc/meminfo: memFree=969120/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915328 CPUtime=0.44
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 6259 0 1 0 38 6 0 0 18 0 8 0 155911201 937295872 5998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 228832 5998 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.33903 s]
/proc/loadavg: 1.75 1.57 1.74 3/100 15018
/proc/meminfo: memFree=908072/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915644 CPUtime=1.26
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 17672 0 1 0 107 19 0 0 24 0 8 0 155911201 937619456 17410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 228911 17410 2178 14 0 215381 0
[pid=15010/tid=15012] ppid=15008 vsize=915644 CPUtime=0.04
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 1057 0 0 0 4 0 0 0 17 0 8 0 155911210 937619456 17410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915644 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937619456 17410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915644 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937619456 17410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915644 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937619456 17410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915644 CPUtime=0.2
/proc/15010/task/15016/stat : 15016 (java) R 15008 15010 14943 0 -1 64 422 0 0 0 19 1 0 0 16 0 8 0 155911214 937619456 17410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153056149 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915644 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937619456 17410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915644 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937619456 17410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915644

[startup+2.99232 s]
/proc/loadavg: 1.75 1.57 1.74 3/100 15018
/proc/meminfo: memFree=898664/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=2.89
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20416 0 1 0 241 48 0 0 25 0 8 0 155911201 937717760 20137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074162163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 228935 20137 2534 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3284 0 0 0 15 0 0 0 18 0 8 0 155911210 937717760 20137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.37
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 518 0 0 0 35 2 0 0 16 0 8 0 155911214 937717760 20137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915740

[startup+6.27788 s]
/proc/loadavg: 1.77 1.57 1.74 3/100 15018
/proc/meminfo: memFree=898216/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=6.17
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20429 0 1 0 568 49 0 0 25 0 8 0 155911201 937717760 20147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074156516 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 228935 20147 2538 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3285 0 0 0 15 0 0 0 16 0 8 0 155911210 937717760 20147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.38
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 523 0 0 0 36 2 0 0 16 0 8 0 155911214 937717760 20147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915740

[startup+12.771 s]
/proc/loadavg: 1.79 1.58 1.74 3/100 15018
/proc/meminfo: memFree=898224/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=12.63
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20445 0 1 0 1214 49 0 0 25 0 8 0 155911201 937717760 20158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074162138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 228935 20158 2538 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3285 0 0 0 15 0 0 0 17 0 8 0 155911210 937717760 20158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.4
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 536 0 0 0 38 2 0 0 15 0 8 0 155911214 937717760 20158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915740

[startup+25.6322 s]
/proc/loadavg: 1.84 1.60 1.74 3/100 15018
/proc/meminfo: memFree=898224/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=25.43
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20458 0 1 0 2494 49 0 0 25 0 8 0 155911201 937717760 20165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 228935 20165 2538 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3285 0 0 0 15 0 0 0 16 0 8 0 155911210 937717760 20165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.41
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 544 0 0 0 39 2 0 0 16 0 8 0 155911214 937717760 20165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915740

[startup+51.2636 s]
/proc/loadavg: 1.89 1.63 1.75 3/100 15018
/proc/meminfo: memFree=898288/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=50.94
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20462 0 1 0 5044 50 0 0 25 0 8 0 155911201 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073884263 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 228935 20167 2538 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3285 0 0 0 15 0 0 0 16 0 8 0 155911210 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.42
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 546 0 0 0 40 2 0 0 16 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915740

[startup+102.518 s]
/proc/loadavg: 1.95 1.69 1.76 3/100 15018
/proc/meminfo: memFree=898224/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=101.94
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20462 0 1 0 10144 50 0 0 25 0 8 0 155911201 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073884960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 228935 20167 2538 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3285 0 0 0 15 0 0 0 16 0 8 0 155911210 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.42
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 546 0 0 0 40 2 0 0 16 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915740

[startup+162.536 s]
/proc/loadavg: 1.98 1.74 1.77 3/100 15018
/proc/meminfo: memFree=895856/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=161.68
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20462 0 1 0 16117 51 0 0 25 0 8 0 155911201 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074223316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1415.88
Current children cumulated vsize (KiB) 915740

[startup+1482.76 s]
/proc/loadavg: 2.00 2.01 1.92 3/100 15018
/proc/meminfo: memFree=873712/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=1475.61
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20462 0 1 0 147499 62 0 0 25 0 8 0 155911201 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 228935 20167 2538 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3285 0 0 0 15 0 0 0 16 0 8 0 155911210 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.42
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 546 0 0 0 40 2 0 0 16 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.61
Current children cumulated vsize (KiB) 915740

[startup+1542.77 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 15018
/proc/meminfo: memFree=873776/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=1535.33
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20462 0 1 0 153470 63 0 0 25 0 8 0 155911201 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074177938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 228935 20167 2538 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3285 0 0 0 15 0 0 0 16 0 8 0 155911210 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.42
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 546 0 0 0 40 2 0 0 16 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.33
Current children cumulated vsize (KiB) 915740

[startup+1602.78 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 15018
/proc/meminfo: memFree=873776/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=1595.05
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20462 0 1 0 159442 63 0 0 25 0 8 0 155911201 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 228935 20167 2538 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3285 0 0 0 15 0 0 0 16 0 8 0 155911210 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.42
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 546 0 0 0 40 2 0 0 16 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.05
Current children cumulated vsize (KiB) 915740

[startup+1662.78 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 15018
/proc/meminfo: memFree=873712/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=1654.77
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20462 0 1 0 165414 63 0 0 25 0 8 0 155911201 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15010/statm: 228935 20167 2538 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3285 0 0 0 15 0 0 0 16 0 8 0 155911210 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.42
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 546 0 0 0 40 2 0 0 16 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.77
Current children cumulated vsize (KiB) 915740

[startup+1722.88 s]
/proc/loadavg: 2.05 2.01 1.93 3/100 15076
/proc/meminfo: memFree=860016/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=1714.68
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20462 0 1 0 171404 64 0 0 25 0 8 0 155911201 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074153292 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15010/statm: 228935 20167 2538 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3285 0 0 0 15 0 0 0 16 0 8 0 155911210 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.42
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 546 0 0 0 40 2 0 0 16 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.68
Current children cumulated vsize (KiB) 915740

[startup+1782.93 s]
/proc/loadavg: 2.02 2.01 1.93 3/100 15076
/proc/meminfo: memFree=860144/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=1774.64
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20462 0 1 0 177399 65 0 0 25 0 8 0 155911201 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173796 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15010/statm: 228935 20167 2538 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3285 0 0 0 15 0 0 0 16 0 8 0 155911210 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.42
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 546 0 0 0 40 2 0 0 16 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.64
Current children cumulated vsize (KiB) 915740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.33 s]
/proc/loadavg: 2.01 2.00 1.93 3/100 15076
/proc/meminfo: memFree=860080/2055920 swapFree=4174172/4192956
[pid=15010] ppid=15008 vsize=915740 CPUtime=1800.04
/proc/15010/stat : 15010 (java) R 15008 15010 14943 0 -1 0 20462 0 1 0 179939 65 0 0 25 0 8 0 155911201 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074159736 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15010/statm: 228935 20167 2538 14 0 215405 0
[pid=15010/tid=15012] ppid=15008 vsize=915740 CPUtime=0.15
/proc/15010/task/15012/stat : 15012 (java) S 15008 15010 14943 0 -1 64 3285 0 0 0 15 0 0 0 16 0 8 0 155911210 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15013] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15013/stat : 15013 (java) S 15008 15010 14943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15014] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15014/stat : 15014 (java) S 15008 15010 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155911211 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15015] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15015/stat : 15015 (java) S 15008 15010 14943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15016] ppid=15008 vsize=915740 CPUtime=0.42
/proc/15010/task/15016/stat : 15016 (java) S 15008 15010 14943 0 -1 64 546 0 0 0 40 2 0 0 16 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15017] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15017/stat : 15017 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15010/tid=15018] ppid=15008 vsize=915740 CPUtime=0
/proc/15010/task/15018/stat : 15018 (java) S 15008 15010 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155911214 937717760 20167 18446744073709551615 134512640 134570532 4294956464 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) 915740

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

Child status: 143
Real time (s): 1808.42
CPU time (s): 1800.13
CPU user time (s): 1799.46
CPU system time (s): 0.668898
CPU usage (%): 99.5417
Max. virtual memory (cumulated for all children) (KiB): 915976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.668898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21177
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= 38333
involuntary context switches= 92780

runsolver used 2.48362 s user time and 5.52516 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat Jan  6 09:19:24 UTC 2007


IDJOB= 210711
IDBENCH= 4640
FILE ID= node15/210711-1168075163

PBS_JOBID= 3475801

Free space on /tmp= 66282 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-tag8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210711-1168075163/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-210711-1168075163 -o ROOT/results/node15/solver-210711-1168075163 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210711-1168075163/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c2e87330c14820a926dade61c5e24ffe

RANDOM SEED= 369118111

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.276
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.276
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:        969600 kB
Buffers:         85316 kB
Cached:         819368 kB
SwapCached:       7128 kB
Active:         391348 kB
Inactive:       591136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        969600 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:            3188 kB
Writeback:           0 kB
Mapped:          96484 kB
Slab:            88304 kB
Committed_AS:  4963312 kB
PageTables:       2528 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= 66282 MiB



End job on node15 on Sat Jan  6 09:49:32 UTC 2007