Trace number 212754

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.15 1803.58

General information on the benchmark

NamepseudoSeries/
primesDimacs/hanoi5.xml
MD5SUMab2361f6e7b80549959dd1fae73f3a41
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.81951
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3862
Number of constraints16034
Maximum constraint arity8
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension16034
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/212754-1168077277/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.59	     nbVariables=3862  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.59	       =>  wckTime=0.277  cpuTime=0.19  mem=13M729
0.59	   
0.59	   predicates being loaded...
0.60	   
0.60	   constraints being loaded...
2.48	     nbConstraints=13028  nbMergedConstraints=3006  nbSingletonDomainVariables=355  nbConvertedConstraints=6115
2.48	     nbConvertConstraintsChecks=361  nbExtensionStructures=8  nbSharedExtensionStructures=6107  nbConflictsStructures=19
2.48	     nbSharedConflictsStructures=13009  nbSharedBinaryRepresentations=22  nbEvaluationManagers=11
2.48	     nbSharedEvaluationManagers=6902  maxDegree=29  maxArity=8
2.48	       =>  wckTime=2.167  cpuTime=1.8  mem=18M925
2.60	   
2.60	   solver IterativeSystematicSolver being built... 
3.06	       =>  wckTime=2.743  cpuTime=2.16  mem=34M720
3.13	   
3.13	   preprocessing
3.13	     nbConstraintChecks=1683  nbValidityChecks=73  nbPropagations=4358  nbRevisions=1294  nbUselessRevisions=787
3.13	     nbRemovedValues=507  detectedInconsistency=no
3.13	       =>  wckTime=0.06  cpuTime=0.04  mem=34M720
4.22	   
4.22	   search
4.22	     run=0  nbConstraintChecks=11356  nbValidityChecks=1679  nbPropagations=6164  nbRevisions=12674
4.22	     nbUselessRevisions=10379  nbAssignments=242  nbFailedAssignments=3  nbBacktracks=35  nbVisitedNodes=249
4.22	     nbRestartNogoods=0  mapSize=4  nbInferences=0  nbTooLargeKeys=0
4.22	       =>  wckTime=1.156  cpuTime=1.09  mem=35M752
5.19	   
5.19	   search
5.19	     run=1  nbConstraintChecks=17498  nbValidityChecks=5663  nbPropagations=13816  nbRevisions=34158
5.19	     nbUselessRevisions=28145  nbAssignments=478  nbFailedAssignments=4  nbBacktracks=52  nbVisitedNodes=487
5.19	     nbRestartNogoods=2  mapSize=5  nbInferences=0  nbTooLargeKeys=0
5.19	       =>  wckTime=2.126  cpuTime=2.05  mem=36M767
6.34	   
6.34	   search
6.34	     run=2  nbConstraintChecks=25173  nbValidityChecks=10258  nbPropagations=23181  nbRevisions=66393
6.34	     nbUselessRevisions=54995  nbAssignments=740  nbFailedAssignments=6  nbBacktracks=110  nbVisitedNodes=753
6.34	     nbRestartNogoods=3  mapSize=8  nbInferences=0  nbTooLargeKeys=0
6.34	       =>  wckTime=3.274  cpuTime=3.19  mem=36M767
7.51	   
7.51	   search
7.51	     run=3  nbConstraintChecks=32820  nbValidityChecks=15031  nbPropagations=34277  nbRevisions=109536
7.51	     nbUselessRevisions=91068  nbAssignments=1006  nbFailedAssignments=8  nbBacktracks=144  nbVisitedNodes=1023
7.51	     nbRestartNogoods=4  mapSize=10  nbInferences=0  nbTooLargeKeys=0
7.51	       =>  wckTime=4.446  cpuTime=4.34  mem=36M767
8.84	   
8.84	   search
8.84	     run=4  nbConstraintChecks=41006  nbValidityChecks=19939  nbPropagations=47172  nbRevisions=164229
8.84	     nbUselessRevisions=136940  nbAssignments=1295  nbFailedAssignments=10  nbBacktracks=200  nbVisitedNodes=1316
8.84	     nbRestartNogoods=6  mapSize=12  nbInferences=0  nbTooLargeKeys=0
8.84	       =>  wckTime=5.773  cpuTime=5.65  mem=37M783
10.12	   
10.12	   search
10.12	     run=5  nbConstraintChecks=50855  nbValidityChecks=25226  nbPropagations=62020  nbRevisions=232603
10.12	     nbUselessRevisions=194537  nbAssignments=1583  nbFailedAssignments=14  nbBacktracks=286  nbVisitedNodes=1612
10.12	     nbRestartNogoods=8  mapSize=19  nbInferences=0  nbTooLargeKeys=0
10.12	       =>  wckTime=7.058  cpuTime=6.91  mem=37M783
11.08	   
11.08	   search
11.08	     run=6  nbConstraintChecks=70809  nbValidityChecks=35266  nbPropagations=80499  nbRevisions=328559
11.08	     nbUselessRevisions=275926  nbAssignments=1850  nbFailedAssignments=27  nbBacktracks=404  nbVisitedNodes=1901
11.08	     nbRestartNogoods=9  mapSize=40  nbInferences=0  nbTooLargeKeys=0
11.08	       =>  wckTime=8.01  cpuTime=7.85  mem=38M799
13.03	   
13.03	   search
13.03	     run=7  nbConstraintChecks=84172  nbValidityChecks=42195  nbPropagations=101339  nbRevisions=441743
13.03	     nbUselessRevisions=372099  nbAssignments=2267  nbFailedAssignments=35  nbBacktracks=584  nbVisitedNodes=2335
13.03	     nbRestartNogoods=10  mapSize=55  nbInferences=0  nbTooLargeKeys=0
13.03	       =>  wckTime=9.968  cpuTime=9.79  mem=38M799
15.18	   
15.18	   search
15.18	     run=8  nbConstraintChecks=106595  nbValidityChecks=52430  nbPropagations=125729  nbRevisions=584152
15.18	     nbUselessRevisions=493692  nbAssignments=2728  nbFailedAssignments=52  nbBacktracks=841  nbVisitedNodes=2830
15.18	     nbRestartNogoods=12  mapSize=88  nbInferences=0  nbTooLargeKeys=0
15.18	       =>  wckTime=12.115  cpuTime=11.91  mem=39M814
18.58	   
18.58	   search
18.58	     run=9  nbConstraintChecks=130113  nbValidityChecks=63847  nbPropagations=153947  nbRevisions=757448
18.58	     nbUselessRevisions=642080  nbAssignments=3362  nbFailedAssignments=69  nbBacktracks=1232  nbVisitedNodes=3499
18.58	     nbRestartNogoods=13  mapSize=122  nbInferences=0  nbTooLargeKeys=0
18.58	       =>  wckTime=15.516  cpuTime=15.28  mem=40M830
25.07	   
25.07	   search
25.07	     run=10  nbConstraintChecks=174828  nbValidityChecks=88197  nbPropagations=190156  nbRevisions=995013
25.07	     nbUselessRevisions=846207  nbAssignments=4325  nbFailedAssignments=97  nbBacktracks=1834  nbVisitedNodes=4522
25.07	     nbRestartNogoods=14  mapSize=176  nbInferences=0  nbTooLargeKeys=0
25.07	       =>  wckTime=22.008  cpuTime=21.7  mem=42M861
33.87	   
33.87	   search
33.87	     run=11  nbConstraintChecks=265848  nbValidityChecks=137078  nbPropagations=241679  nbRevisions=1364084
33.87	     nbUselessRevisions=1164849  nbAssignments=5681  nbFailedAssignments=222  nbBacktracks=2711  nbVisitedNodes=6067
33.87	     nbRestartNogoods=20  mapSize=352  nbInferences=0  nbTooLargeKeys=0
33.87	       =>  wckTime=30.801  cpuTime=30.41  mem=44M893
46.57	   
46.57	   search
46.57	     run=12  nbConstraintChecks=366269  nbValidityChecks=190640  nbPropagations=310910  nbRevisions=1869887
46.57	     nbUselessRevisions=1601091  nbAssignments=7454  nbFailedAssignments=295  nbBacktracks=4024  nbVisitedNodes=7994
46.57	     nbRestartNogoods=27  mapSize=499  nbInferences=0  nbTooLargeKeys=0
46.57	       =>  wckTime=43.508  cpuTime=43.0  mem=46M924
57.78	   
57.78	   search
57.78	     run=13  nbConstraintChecks=548673  nbValidityChecks=288199  nbPropagations=414666  nbRevisions=2636428
57.78	     nbUselessRevisions=2260713  nbAssignments=9777  nbFailedAssignments=463  nbBacktracks=5998  nbVisitedNodes=10635
57.78	     nbRestartNogoods=34  mapSize=813  nbInferences=0  nbTooLargeKeys=0
57.79	       =>  wckTime=54.719  cpuTime=54.1  mem=49M971
66.41	   
66.41	   INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=53M18)
67.81	   
67.81	   search
67.81	     run=14  nbConstraintChecks=823664  nbValidityChecks=439580  nbPropagations=574325  nbRevisions=3802337
67.81	     nbUselessRevisions=3261442  nbAssignments=13139  nbFailedAssignments=646  nbBacktracks=8927  nbVisitedNodes=14345
67.81	     nbRestartNogoods=38
67.81	       =>  wckTime=64.745  cpuTime=64.04  mem=53M18
73.00	   
73.00	   search
73.00	     run=15  nbConstraintChecks=1293492  nbValidityChecks=697762  nbPropagations=825084  nbRevisions=5667454
73.00	     nbUselessRevisions=4865935  nbAssignments=17867  nbFailedAssignments=902  nbBacktracks=13367  nbVisitedNodes=19581
73.00	     nbRestartNogoods=43
73.00	       =>  wckTime=69.937  cpuTime=69.19  mem=53M18
80.05	   
80.05	   search
80.05	     run=16  nbConstraintChecks=1665564  nbValidityChecks=902309  nbPropagations=1141135  nbRevisions=8061439
80.05	     nbUselessRevisions=6928759  nbAssignments=25447  nbFailedAssignments=1227  nbBacktracks=19982  nbVisitedNodes=27818
80.05	     nbRestartNogoods=44
80.05	       =>  wckTime=76.981  cpuTime=76.17  mem=53M18
90.42	   
90.42	   search
90.42	     run=17  nbConstraintChecks=2392993  nbValidityChecks=1302955  nbPropagations=1589424  nbRevisions=11472666
90.42	     nbUselessRevisions=9866478  nbAssignments=36416  nbFailedAssignments=1678  nbBacktracks=29876  nbVisitedNodes=39716
90.42	     nbRestartNogoods=57
90.42	       =>  wckTime=87.354  cpuTime=86.44  mem=53M18
108.32	   
108.33	   search
108.33	     run=18  nbConstraintChecks=4136405  nbValidityChecks=2280873  nbPropagations=2350692  nbRevisions=17588733
108.33	     nbUselessRevisions=15170053  nbAssignments=52972  nbFailedAssignments=3109  nbBacktracks=44655
108.33	     nbVisitedNodes=58775  nbRestartNogoods=68
108.33	       =>  wckTime=105.259  cpuTime=104.18  mem=53M18
136.43	   
136.43	   search
136.43	     run=19  nbConstraintChecks=7036775  nbValidityChecks=3855487  nbPropagations=3660468  nbRevisions=28157053
136.43	     nbUselessRevisions=24344917  nbAssignments=77158  nbFailedAssignments=4926  nbBacktracks=66842
136.43	     nbVisitedNodes=86246  nbRestartNogoods=78
136.43	       =>  wckTime=133.365  cpuTime=132.03  mem=53M18
178.21	   
178.21	   search
178.21	     run=20  nbConstraintChecks=11277950  nbValidityChecks=6218615  nbPropagations=5788320  nbRevisions=45360514
178.21	     nbUselessRevisions=39277006  nbAssignments=113491  nbFailedAssignments=7938  nbBacktracks=100102
178.21	     nbVisitedNodes=128123  nbRestartNogoods=92
178.21	       =>  wckTime=175.145  cpuTime=173.43  mem=53M18
237.49	   
237.49	   search
237.49	     run=21  nbConstraintChecks=19303419  nbValidityChecks=10442174  nbPropagations=9337996  nbRevisions=74670383
237.49	     nbUselessRevisions=64793951  nbAssignments=169318  nbFailedAssignments=13270  nbBacktracks=150002
237.49	     nbVisitedNodes=192980  nbRestartNogoods=99
237.49	       =>  wckTime=234.428  cpuTime=232.49  mem=53M18
326.66	   
326.66	   search
326.66	     run=22  nbConstraintChecks=30952700  nbValidityChecks=16652519  nbPropagations=14918424  nbRevisions=121632797
326.66	     nbUselessRevisions=105762597  nbAssignments=252021  nbFailedAssignments=20791  nbBacktracks=224851
326.66	     nbVisitedNodes=289048  nbRestartNogoods=109
326.66	       =>  wckTime=323.592  cpuTime=321.56  mem=53M18
454.47	   
454.47	   search
454.47	     run=23  nbConstraintChecks=43535538  nbValidityChecks=24339050  nbPropagations=23147248  nbRevisions=189846359
454.47	     nbUselessRevisions=165208777  nbAssignments=372997  nbFailedAssignments=29351  nbBacktracks=337088
454.47	     nbVisitedNodes=424943  nbRestartNogoods=122
454.47	       =>  wckTime=451.402  cpuTime=449.21  mem=53M18
646.31	   
646.31	   search
646.31	     run=24  nbConstraintChecks=63410649  nbValidityChecks=35416578  nbPropagations=35232368  nbRevisions=289369473
646.31	     nbUselessRevisions=251922053  nbAssignments=556417  nbFailedAssignments=44289  nbBacktracks=505429
646.31	     nbVisitedNodes=634710  nbRestartNogoods=133
646.31	       =>  wckTime=643.243  cpuTime=640.86  mem=53M18
938.90	   
938.90	   search
938.90	     run=25  nbConstraintChecks=99710670  nbValidityChecks=54638594  nbPropagations=53894187  nbRevisions=444026053
938.90	     nbUselessRevisions=386747192  nbAssignments=830928  nbFailedAssignments=65998  nbBacktracks=757944
938.90	     nbVisitedNodes=948529  nbRestartNogoods=143
938.90	       =>  wckTime=935.832  cpuTime=933.15  mem=53M18
1380.70	   
1380.71	   search
1380.71	     run=26  nbConstraintChecks=153502325  nbValidityChecks=84244579  nbPropagations=82555579  nbRevisions=682517022
1380.71	     nbUselessRevisions=594678661  nbAssignments=1244516  nbFailedAssignments=100400  nbBacktracks=1136731
1380.71	     nbVisitedNodes=1423962  nbRestartNogoods=164
1380.71	       =>  wckTime=1377.639  cpuTime=1374.53  mem=53M18

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/node41/watcher-212754-1168077277 -o ROOT/results/node41/solver-212754-1168077277 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212754-1168077277/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: 2.03 1.99 1.82 4/80 7441
/proc/meminfo: memFree=1582936/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=11820 CPUtime=0
/proc/7440/stat : 7440 (java) D 7438 7440 7071 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 156127026 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 1962788 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/7440/statm: 2955 510 421 14 0 1602 0

[startup+0.104208 s]
/proc/loadavg: 2.03 1.99 1.82 4/80 7441
/proc/meminfo: memFree=1582936/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=914988 CPUtime=0.09
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 2995 0 1 0 7 2 0 0 17 0 8 0 156127026 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512241 s]
/proc/loadavg: 2.03 1.99 1.82 4/80 7441
/proc/meminfo: memFree=1582936/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915328 CPUtime=0.49
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 6557 0 1 0 45 4 0 0 18 0 8 0 156127026 937295872 6296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228832 6296 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33732 s]
/proc/loadavg: 2.03 1.99 1.82 3/87 7448
/proc/meminfo: memFree=1521376/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915640 CPUtime=1.3
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 17801 0 1 0 118 12 0 0 25 0 8 0 156127026 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228910 17539 2178 14 0 215380 0
[pid=7440/tid=7442] ppid=7438 vsize=915640 CPUtime=0.05
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 1190 0 0 0 5 0 0 0 17 0 8 0 156127030 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915640 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915640 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915640 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915640 CPUtime=0.17
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 418 0 0 0 17 0 0 0 16 0 8 0 156127034 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915640 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915640 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937615360 17539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915640

[startup+2.98346 s]
/proc/loadavg: 2.03 1.99 1.82 4/87 7448
/proc/meminfo: memFree=1513120/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=2.94
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23339 0 1 0 228 66 0 0 25 0 8 0 156127026 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074021037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228935 23051 2521 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6272 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.28
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 156127034 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915740

[startup+6.26274 s]
/proc/loadavg: 2.03 1.99 1.82 3/87 7448
/proc/meminfo: memFree=1500064/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=6.19
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23408 0 1 0 552 67 0 0 25 0 8 0 156127026 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074108442 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228935 23117 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.34
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 511 0 0 0 33 1 0 0 16 0 8 0 156127034 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915740

[startup+12.7573 s]
/proc/loadavg: 2.03 1.99 1.82 3/87 7448
/proc/meminfo: memFree=1500072/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=12.62
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23423 0 1 0 1195 67 0 0 25 0 8 0 156127026 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074108607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228935 23128 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.36
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 523 0 0 0 35 1 0 0 16 0 8 0 156127034 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915740

[startup+25.6164 s]
/proc/loadavg: 2.02 1.99 1.82 3/87 7448
/proc/meminfo: memFree=1500200/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=25.36
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23432 0 1 0 2469 67 0 0 25 0 8 0 156127026 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228935 23134 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 17 0 8 0 156127030 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.38
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 529 0 0 0 37 1 0 0 16 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915740

[startup+51.2447 s]
/proc/loadavg: 2.01 1.99 1.83 4/87 7448
/proc/meminfo: memFree=1500264/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=50.75
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23434 0 1 0 5008 67 0 0 25 0 8 0 156127026 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074133157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228935 23134 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.38
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 529 0 0 0 37 1 0 0 16 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915740

[startup+102.495 s]
/proc/loadavg: 2.00 1.99 1.83 3/87 7448
/proc/meminfo: memFree=1500328/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=101.54
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 10086 68 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074243966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.38
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 37 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915740

[startup+162.596 s]
/proc/loadavg: 2.00 1.99 1.84 3/87 7448
/proc/meminfo: memFree=1500328/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=161.1
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 16042 68 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074099776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.43 s]
/proc/loadavg: 2.02 2.01 1.92 3/87 7706
/proc/meminfo: memFree=1485224/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1480.29
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 147942 87 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074243982 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1480.29
Current children cumulated vsize (KiB) 915740

[startup+1543.46 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 7706
/proc/meminfo: memFree=1485224/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1540.28
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 153941 87 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074243927 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.28
Current children cumulated vsize (KiB) 915740

[startup+1603.49 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 7706
/proc/meminfo: memFree=1485160/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1600.23
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 159936 87 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074251139 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.23
Current children cumulated vsize (KiB) 915740

[startup+1663.53 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 7706
/proc/meminfo: memFree=1485160/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1660.22
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 165934 88 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134634 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.22
Current children cumulated vsize (KiB) 915740

[startup+1723.56 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 7706
/proc/meminfo: memFree=1485160/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1720.21
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 171933 88 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074132999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.21
Current children cumulated vsize (KiB) 915740

[startup+1783.6 s]
/proc/loadavg: 2.03 2.01 1.93 3/87 7706
/proc/meminfo: memFree=1485160/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1780.17
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 177929 88 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074130468 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.17
Current children cumulated vsize (KiB) 915740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.53 s]
/proc/loadavg: 2.02 2.01 1.93 3/87 7706
/proc/meminfo: memFree=1485096/2055920 swapFree=4192812/4192956
[pid=7440] ppid=7438 vsize=915740 CPUtime=1800.1
/proc/7440/stat : 7440 (java) R 7438 7440 7071 0 -1 0 23439 0 1 0 179922 88 0 0 25 0 8 0 156127026 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074138129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7440/statm: 228935 23137 2537 14 0 215405 0
[pid=7440/tid=7442] ppid=7438 vsize=915740 CPUtime=0.3
/proc/7440/task/7442/stat : 7442 (java) S 7438 7440 7071 0 -1 64 6273 0 0 0 28 2 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7443] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7443/stat : 7443 (java) S 7438 7440 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7444] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7444/stat : 7444 (java) S 7438 7440 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156127030 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7445] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7445/stat : 7445 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7446] ppid=7438 vsize=915740 CPUtime=0.39
/proc/7440/task/7446/stat : 7446 (java) S 7438 7440 7071 0 -1 64 531 0 0 0 38 1 0 0 16 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7440/tid=7447] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7447/stat : 7447 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7440/tid=7448] ppid=7438 vsize=915740 CPUtime=0
/proc/7440/task/7448/stat : 7448 (java) S 7438 7440 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156127034 937717760 23137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915740

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

Child status: 143
Real time (s): 1803.58
CPU time (s): 1800.15
CPU user time (s): 1799.26
CPU system time (s): 0.895863
CPU usage (%): 99.8097
Max. virtual memory (cumulated for all children) (KiB): 915960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.895863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23454
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= 38213
involuntary context switches= 49740

runsolver used 2.27965 s user time and 4.47032 s system time

The end

Launcher Data (download as text)

Begin job on node41 on Sat Jan  6 09:54:38 UTC 2007


IDJOB= 212754
IDBENCH= 4795
FILE ID= node41/212754-1168077277

PBS_JOBID= 3476046

Free space on /tmp= 66527 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ab2361f6e7b80549959dd1fae73f3a41

RANDOM SEED= 92586963

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1583416 kB
Buffers:         33612 kB
Cached:         278508 kB
SwapCached:          0 kB
Active:         129936 kB
Inactive:       266724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1583416 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3848 kB
Writeback:           0 kB
Mapped:         104792 kB
Slab:            61044 kB
Committed_AS:  3344516 kB
PageTables:       2048 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= 66527 MiB



End job on node41 on Sat Jan  6 10:24:41 UTC 2007