Trace number 203690

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.15 1808.32

General information on the benchmark

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

Solver Data (download as text)

0.38	   
0.38	Abscon 109 (November, 2006)
0.38	   
0.38	   configuration
0.38	     name=esac.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/203690-1168163371/unknown.xml
0.45	   
0.45	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.49	     nbVariables=27  nbDomainTypes=1  minDomainSize=27  maxDomainSize=27
0.49	       =>  wckTime=0.107  cpuTime=0.1  mem=6M951
0.49	   
0.49	   relations being loaded...
0.62	   
0.62	   constraints being loaded...
0.75	     nbConstraints=351  nbRelationTypes=351  nbExtensionStructures=351  nbSharedExtensionStructures=0
0.75	     nbConflictsStructures=351  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=889  maxDegree=26
0.75	     maxArity=2
0.75	       =>  wckTime=0.374  cpuTime=0.29  mem=15M761
0.80	   
0.80	   solver IterativeSystematicSolver being built... 
0.97	       =>  wckTime=0.587  cpuTime=0.42  mem=15M374
1.02	   
1.02	   preprocessing
1.02	     nbConstraintChecks=72787  nbPropagations=820  nbRevisions=8665  nbUselessRevisions=7696  nbSingletonTests=38
1.02	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
1.02	       =>  wckTime=0.052  cpuTime=0.03  mem=15M374
1.05	   
1.05	   search
1.05	     run=0  nbConstraintChecks=57719  nbPropagations=1417  nbRevisions=19868  nbUselessRevisions=17518  nbAssignments=29
1.05	     nbFailedAssignments=12  nbBacktracks=11  nbVisitedNodes=53  nbRestartNogoods=0  mapSize=11  nbInferences=0
1.05	     nbTooLargeKeys=0
1.05	       =>  wckTime=0.083  cpuTime=0.05  mem=15M374
1.07	   
1.07	   search
1.07	     run=1  nbConstraintChecks=121894  nbPropagations=3500  nbRevisions=52696  nbUselessRevisions=46420
1.07	     nbAssignments=62  nbFailedAssignments=24  nbBacktracks=27  nbVisitedNodes=111  nbRestartNogoods=4  mapSize=27
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.101  cpuTime=0.06  mem=15M374
1.09	   
1.09	   search
1.09	     run=2  nbConstraintChecks=195503  nbPropagations=6357  nbRevisions=101083  nbUselessRevisions=88876
1.09	     nbAssignments=111  nbFailedAssignments=46  nbBacktracks=49  nbVisitedNodes=197  nbRestartNogoods=7  mapSize=48
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.123  cpuTime=0.08  mem=15M374
1.12	   
1.12	   search
1.12	     run=3  nbConstraintChecks=300438  nbPropagations=10319  nbRevisions=172326  nbUselessRevisions=151257
1.12	     nbAssignments=180  nbFailedAssignments=76  nbBacktracks=83  nbVisitedNodes=321  nbRestartNogoods=9  mapSize=81
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.151  cpuTime=0.1  mem=15M374
1.16	   
1.16	   search
1.16	     run=4  nbConstraintChecks=437106  nbPropagations=15756  nbRevisions=273983  nbUselessRevisions=240389
1.16	     nbAssignments=279  nbFailedAssignments=119  nbBacktracks=133  nbVisitedNodes=497  nbRestartNogoods=12  mapSize=129
1.16	     nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.186  cpuTime=0.13  mem=15M374
1.21	   
1.21	   search
1.21	     run=5  nbConstraintChecks=667832  nbPropagations=23628  nbRevisions=427851  nbUselessRevisions=375657
1.21	     nbAssignments=429  nbFailedAssignments=187  nbBacktracks=208  nbVisitedNodes=772  nbRestartNogoods=15  mapSize=202
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.237  cpuTime=0.17  mem=15M374
1.27	   
1.27	   search
1.27	     run=6  nbConstraintChecks=999136  nbPropagations=35007  nbRevisions=658304  nbUselessRevisions=578419
1.27	     nbAssignments=659  nbFailedAssignments=297  nbBacktracks=321  nbVisitedNodes=1193  nbRestartNogoods=21  mapSize=313
1.27	     nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.304  cpuTime=0.24  mem=15M374
1.37	   
1.37	   search
1.37	     run=7  nbConstraintChecks=1500260  nbPropagations=51551  nbRevisions=1001279  nbUselessRevisions=879972
1.37	     nbAssignments=991  nbFailedAssignments=452  nbBacktracks=491  nbVisitedNodes=1800  nbRestartNogoods=25  mapSize=482
1.37	     nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.401  cpuTime=0.33  mem=15M374
1.52	   
1.52	   search
1.52	     run=8  nbConstraintChecks=2260075  nbPropagations=75573  nbRevisions=1510644  nbUselessRevisions=1327361
1.52	     nbAssignments=1476  nbFailedAssignments=675  nbBacktracks=747  nbVisitedNodes=2683  nbRestartNogoods=32
1.52	     mapSize=729  nbInferences=0  nbTooLargeKeys=0
1.52	       =>  wckTime=0.553  cpuTime=0.48  mem=15M374
1.70	   
1.70	   INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=15M374)
1.75	   
1.75	   search
1.75	     run=9  nbConstraintChecks=3480080  nbPropagations=111612  nbRevisions=2294286  nbUselessRevisions=2016300
1.75	     nbAssignments=2237  nbFailedAssignments=1046  nbBacktracks=1131  nbVisitedNodes=4094  nbRestartNogoods=37
1.75	       =>  wckTime=0.777  cpuTime=0.68  mem=15M374
2.12	   
2.12	   search
2.12	     run=10  nbConstraintChecks=5183875  nbPropagations=165239  nbRevisions=3461136  nbUselessRevisions=3042323
2.12	     nbAssignments=3348  nbFailedAssignments=1561  nbBacktracks=1708  nbVisitedNodes=6129  nbRestartNogoods=45
2.12	       =>  wckTime=1.148  cpuTime=1.04  mem=15M374
2.67	   
2.67	   search
2.67	     run=11  nbConstraintChecks=7657727  nbPropagations=244082  nbRevisions=5187002  nbUselessRevisions=4559918
2.67	     nbAssignments=4993  nbFailedAssignments=2334  nbBacktracks=2572  nbVisitedNodes=9157  nbRestartNogoods=48
2.67	       =>  wckTime=1.699  cpuTime=1.58  mem=15M374
3.51	   
3.51	   search
3.51	     run=12  nbConstraintChecks=11427807  nbPropagations=361672  nbRevisions=7780531  nbUselessRevisions=6840718
3.51	     nbAssignments=7494  nbFailedAssignments=3531  nbBacktracks=3869  nbVisitedNodes=13796  nbRestartNogoods=63
3.51	       =>  wckTime=2.536  cpuTime=2.41  mem=15M374
4.81	   
4.81	   search
4.81	     run=13  nbConstraintChecks=17512785  nbPropagations=539494  nbRevisions=11729176  nbUselessRevisions=10311992
4.81	     nbAssignments=11295  nbFailedAssignments=5379  nbBacktracks=5815  nbVisitedNodes=20872  nbRestartNogoods=73
4.81	       =>  wckTime=3.843  cpuTime=3.71  mem=15M374
6.69	   
6.69	   search
6.69	     run=14  nbConstraintChecks=26020917  nbPropagations=804636  nbRevisions=17614578  nbUselessRevisions=15486065
6.69	     nbAssignments=16890  nbFailedAssignments=8037  nbBacktracks=8734  nbVisitedNodes=31209  nbRestartNogoods=90
6.69	       =>  wckTime=5.721  cpuTime=5.57  mem=15M374
9.57	   
9.57	   search
9.57	     run=15  nbConstraintChecks=39346615  nbPropagations=1201807  nbRevisions=26479264  nbUselessRevisions=23281450
9.57	     nbAssignments=25229  nbFailedAssignments=11991  nbBacktracks=13114  nbVisitedNodes=46648  nbRestartNogoods=97
9.57	       =>  wckTime=8.597  cpuTime=8.42  mem=15M374
13.68	   
13.68	   search
13.68	     run=16  nbConstraintChecks=58495096  nbPropagations=1792236  nbRevisions=39647996  nbUselessRevisions=34861357
13.68	     nbAssignments=37618  nbFailedAssignments=17807  nbBacktracks=19682  nbVisitedNodes=69552  nbRestartNogoods=110
13.68	       =>  wckTime=12.711  cpuTime=12.5  mem=15M374
20.00	   
20.00	   search
20.00	     run=17  nbConstraintChecks=88007153  nbPropagations=2675483  nbRevisions=59376194  nbUselessRevisions=52205667
20.00	     nbAssignments=56225  nbFailedAssignments=26555  nbBacktracks=29534  nbVisitedNodes=103903  nbRestartNogoods=127
20.00	       =>  wckTime=19.031  cpuTime=18.76  mem=15M374
29.56	   
29.56	   search
29.56	     run=18  nbConstraintChecks=132031671  nbPropagations=3999985  nbRevisions=89035513  nbUselessRevisions=78288867
29.56	     nbAssignments=84511  nbFailedAssignments=40040  nbBacktracks=44314  nbVisitedNodes=156191  nbRestartNogoods=138
29.56	       =>  wckTime=28.592  cpuTime=28.23  mem=15M374
44.08	   
44.08	   search
44.08	     run=19  nbConstraintChecks=199717611  nbPropagations=5995709  nbRevisions=133808236  nbUselessRevisions=117659796
44.08	     nbAssignments=127118  nbFailedAssignments=60472  nbBacktracks=66482  nbVisitedNodes=235195  nbRestartNogoods=148
44.08	       =>  wckTime=43.112  cpuTime=42.62  mem=15M374
66.32	   
66.32	   search
66.32	     run=20  nbConstraintChecks=303282116  nbPropagations=9005773  nbRevisions=201699087  nbUselessRevisions=177374028
66.32	     nbAssignments=191279  nbFailedAssignments=91374  nbBacktracks=99735  nbVisitedNodes=354213  nbRestartNogoods=161
66.32	       =>  wckTime=65.349  cpuTime=64.65  mem=15M374
98.89	   
98.89	   search
98.89	     run=21  nbConstraintChecks=454311548  nbPropagations=13521095  nbRevisions=303429747  nbUselessRevisions=266839702
98.89	     nbAssignments=287205  nbFailedAssignments=137417  nbBacktracks=149613  nbVisitedNodes=532068  nbRestartNogoods=179
98.89	       =>  wckTime=97.921  cpuTime=96.92  mem=15M374
146.72	   
146.72	   search
146.72	     run=22  nbConstraintChecks=674932204  nbPropagations=20262229  nbRevisions=455047072  nbUselessRevisions=400189812
146.72	     nbAssignments=430460  nbFailedAssignments=205847  nbBacktracks=224431  nbVisitedNodes=797280  nbRestartNogoods=191
146.72	       =>  wckTime=145.754  cpuTime=144.32  mem=15M374
220.99	   
220.99	   search
220.99	     run=23  nbConstraintChecks=1022641459  nbPropagations=30417126  nbRevisions=684245591  nbUselessRevisions=601803014
220.99	     nbAssignments=646032  nbFailedAssignments=309185  nbBacktracks=336658  nbVisitedNodes=1197228  nbRestartNogoods=209
220.99	       =>  wckTime=220.024  cpuTime=217.89  mem=15M374
332.31	   
332.32	   search
332.32	     run=24  nbConstraintChecks=1543415418  nbPropagations=45694953  nbRevisions=1029532050
332.32	     nbUselessRevisions=905515171  nbAssignments=970250  nbFailedAssignments=465055  nbBacktracks=505002
332.32	     nbVisitedNodes=1798663  nbRestartNogoods=223
332.32	       =>  wckTime=331.345  cpuTime=328.2  mem=15M374
497.07	   
497.07	   search
497.07	     run=25  nbConstraintChecks=2304525679  nbPropagations=68552491  nbRevisions=1545965220
497.07	     nbUselessRevisions=1359835565  nbAssignments=1454174  nbFailedAssignments=696462  nbBacktracks=757513
497.07	     nbVisitedNodes=2695354  nbRestartNogoods=242
497.07	       =>  wckTime=496.095  cpuTime=491.43  mem=15M374
744.92	   
744.92	   search
744.92	     run=26  nbConstraintChecks=3463088705  nbPropagations=102850259  nbRevisions=2322095587
744.92	     nbUselessRevisions=2042736995  nbAssignments=2181369  nbFailedAssignments=1044883  nbBacktracks=1136280
744.92	     nbVisitedNodes=4043581  nbRestartNogoods=264
744.92	       =>  wckTime=743.947  cpuTime=736.97  mem=15M374
1083.23	   
1083.23	   search
1083.23	     run=27  nbConstraintChecks=5222412514  nbPropagations=154372727  nbRevisions=3490061517
1083.23	     nbUselessRevisions=3070534546  nbAssignments=3272349  nbFailedAssignments=1567707  nbBacktracks=1704431
1083.23	     nbVisitedNodes=6064568  nbRestartNogoods=275
1083.23	       =>  wckTime=1082.262  cpuTime=1074.9  mem=15M374
1591.71	   
1591.71	   search
1591.71	     run=28  nbConstraintChecks=7854905139  nbPropagations=231779621  nbRevisions=5247045833
1591.71	     nbUselessRevisions=4616949093  nbAssignments=4912668  nbFailedAssignments=2355795  nbBacktracks=2556657
1591.71	     nbVisitedNodes=9105295  nbRestartNogoods=294
1591.71	       =>  wckTime=1590.737  cpuTime=1582.8  mem=15M374

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/node2/watcher-203690-1168163371 -o ROOT/results/node2/solver-203690-1168163371 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203690-1168163371/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.00 2.00 2.00 2/88 2875
/proc/meminfo: memFree=1216616/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=18540 CPUtime=0
/proc/2874/stat : 2874 (runsolver) R 2872 2874 2327 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 164732721 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2874/statm: 4635 279 244 17 0 2626 0

[startup+0.103044 s]
/proc/loadavg: 2.00 2.00 2.00 2/88 2875
/proc/meminfo: memFree=1216616/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=907808 CPUtime=0.06
/proc/2874/stat : 2874 (java) D 2872 2874 2327 0 -1 0 2506 0 1 0 5 1 0 0 17 0 4 0 164732721 929595392 2253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/2874/statm: 226952 2253 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.515118 s]
/proc/loadavg: 2.00 2.00 2.00 2/88 2875
/proc/meminfo: memFree=1216616/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915328 CPUtime=0.43
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 6147 0 1 0 40 3 0 0 18 0 8 0 164732721 937295872 5886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2874/statm: 228832 5886 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.34027 s]
/proc/loadavg: 2.08 2.02 2.01 3/95 2882
/proc/meminfo: memFree=1190704/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=1.25
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9215 0 1 0 119 6 0 0 24 0 8 0 164732721 937426944 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2874/statm: 228864 8953 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.21
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 376 0 0 0 20 1 0 0 15 0 8 0 164732734 937426944 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915456

[startup+2.97757 s]
/proc/loadavg: 2.08 2.02 2.01 3/95 2882
/proc/meminfo: memFree=1190576/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=2.87
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9233 0 1 0 280 7 0 0 25 0 8 0 164732721 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2874/statm: 228864 8969 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 17 0 8 0 164732725 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.25
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 393 0 0 0 23 2 0 0 15 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915456

[startup+6.27717 s]
/proc/loadavg: 2.08 2.02 2.01 3/95 2882
/proc/meminfo: memFree=1190512/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=6.14
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9233 0 1 0 607 7 0 0 25 0 8 0 164732721 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2874/statm: 228864 8969 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.25
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 393 0 0 0 23 2 0 0 15 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915456

[startup+12.7534 s]
/proc/loadavg: 2.07 2.02 2.00 3/95 2882
/proc/meminfo: memFree=1190512/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=12.56
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9233 0 1 0 1249 7 0 0 25 0 8 0 164732721 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2874/statm: 228864 8969 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.25
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 393 0 0 0 23 2 0 0 16 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915456

[startup+25.6127 s]
/proc/loadavg: 2.06 2.01 2.00 3/95 2882
/proc/meminfo: memFree=1190512/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=25.29
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9233 0 1 0 2522 7 0 0 25 0 8 0 164732721 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2874/statm: 228864 8969 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.25
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 393 0 0 0 23 2 0 0 16 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915456

[startup+51.2354 s]
/proc/loadavg: 2.03 2.01 2.00 3/95 2882
/proc/meminfo: memFree=1190512/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=50.68
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9235 0 1 0 5060 8 0 0 25 0 8 0 164732721 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795007 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2874/statm: 228864 8970 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.25
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 394 0 0 0 23 2 0 0 16 0 8 0 164732734 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915456

[startup+102.462 s]
/proc/loadavg: 2.01 2.01 2.00 4/95 2882
/proc/meminfo: memFree=1190256/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=101.44
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9235 0 1 0 10136 8 0 0 25 0 8 0 164732721 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2874/statm: 228864 8970 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.25
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 394 0 0 0 23 2 0 0 16 0 8 0 164732734 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915456

[startup+162.517 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 2882
/proc/meminfo: memFree=1190000/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=160.95
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9235 0 1 0 16086 9 0 0 25 0 8 0 164732721 937426944 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.91 s]
/proc/loadavg: 2.06 2.02 2.00 4/100 3171
/proc/meminfo: memFree=1193680/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=1476.12
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9236 0 1 0 147592 20 0 0 25 0 8 0 164732721 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798326 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2874/statm: 228864 8971 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.26
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 395 0 0 0 24 2 0 0 16 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.12
Current children cumulated vsize (KiB) 915456

[startup+1543.96 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 3171
/proc/meminfo: memFree=1193680/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=1536.09
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9236 0 1 0 153589 20 0 0 25 0 8 0 164732721 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2874/statm: 228864 8971 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.26
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 395 0 0 0 24 2 0 0 16 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.09
Current children cumulated vsize (KiB) 915456

[startup+1604.01 s]
/proc/loadavg: 2.05 2.02 2.00 3/100 3171
/proc/meminfo: memFree=1193680/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=1596.07
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9236 0 1 0 159587 20 0 0 25 0 8 0 164732721 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793975 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2874/statm: 228864 8971 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.26
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 395 0 0 0 24 2 0 0 16 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.07
Current children cumulated vsize (KiB) 915456

[startup+1664.07 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 3171
/proc/meminfo: memFree=1193680/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=1656.07
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9236 0 1 0 165587 20 0 0 25 0 8 0 164732721 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2874/statm: 228864 8971 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.26
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 395 0 0 0 24 2 0 0 16 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.07
Current children cumulated vsize (KiB) 915456

[startup+1724.13 s]
/proc/loadavg: 2.05 2.02 2.00 3/100 3171
/proc/meminfo: memFree=1193680/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=1716.06
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9236 0 1 0 171586 20 0 0 25 0 8 0 164732721 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2874/statm: 228864 8971 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.26
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 395 0 0 0 24 2 0 0 16 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.06
Current children cumulated vsize (KiB) 915456

[startup+1784.19 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 3173
/proc/meminfo: memFree=1193488/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=1776.06
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9236 0 1 0 177586 20 0 0 25 0 8 0 164732721 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2874/statm: 228864 8971 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.26
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 395 0 0 0 24 2 0 0 16 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.06
Current children cumulated vsize (KiB) 915456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.25 s]
/proc/loadavg: 2.01 2.02 2.00 4/100 3173
/proc/meminfo: memFree=1193488/2055920 swapFree=4191880/4192956
[pid=2874] ppid=2872 vsize=915456 CPUtime=1800.08
/proc/2874/stat : 2874 (java) R 2872 2874 2327 0 -1 0 9236 0 1 0 179988 20 0 0 25 0 8 0 164732721 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804053 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2874/statm: 228864 8971 2524 14 0 215334 0
[pid=2874/tid=2876] ppid=2872 vsize=915456 CPUtime=0.03
/proc/2874/task/2876/stat : 2876 (java) S 2872 2874 2327 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164732725 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2877] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2877/stat : 2877 (java) S 2872 2874 2327 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2878] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2878/stat : 2878 (java) S 2872 2874 2327 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164732726 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2879] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2879/stat : 2879 (java) S 2872 2874 2327 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2880] ppid=2872 vsize=915456 CPUtime=0.26
/proc/2874/task/2880/stat : 2880 (java) S 2872 2874 2327 0 -1 64 395 0 0 0 24 2 0 0 16 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2874/tid=2881] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2881/stat : 2881 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2874/tid=2882] ppid=2872 vsize=915456 CPUtime=0
/proc/2874/task/2882/stat : 2882 (java) S 2872 2874 2327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164732734 937426944 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915456

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

Child status: 143
Real time (s): 1808.32
CPU time (s): 1800.15
CPU user time (s): 1799.94
CPU system time (s): 0.211967
CPU usage (%): 99.5484
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.211967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9254
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= 37724
involuntary context switches= 49101

runsolver used 2.52761 s user time and 5.49916 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sun Jan  7 09:49:31 UTC 2007


IDJOB= 203690
IDBENCH= 3976
FILE ID= node2/203690-1168163371

PBS_JOBID= 3478291

Free space on /tmp= 66330 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  efed073a0a3c2af7b527e64c2ccead53

RANDOM SEED= 521244510

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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
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:       1217096 kB
Buffers:         76824 kB
Cached:         603884 kB
SwapCached:        448 kB
Active:         386908 kB
Inactive:       382892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1217096 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2008 kB
Writeback:           0 kB
Mapped:         108036 kB
Slab:            53592 kB
Committed_AS:  3938500 kB
PageTables:       2448 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= 66332 MiB



End job on node2 on Sun Jan  7 10:19:41 UTC 2007