Trace number 200142

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namefrb/frb56-25/
frb56-25-2-mgd_ext.xml
MD5SUMcb7c842f84cd39cfc114262beb9913c4
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
SatisfiableYES
(Un)Satisfiability was proved
Number of variables56
Number of constraints511
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension511
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=esac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/200142-1168141470/unknown.xml
0.39	   
0.39	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.44	     nbVariables=56  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.44	       =>  wckTime=0.107  cpuTime=0.09  mem=6M951
0.44	   
0.44	   relations being loaded...
0.62	   
0.62	   constraints being loaded...
0.79	     nbConstraints=511  nbRelationTypes=511  nbExtensionStructures=511  nbSharedExtensionStructures=0
0.79	     nbConflictsStructures=511  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=988  maxDegree=26
0.79	     maxArity=2
0.79	       =>  wckTime=0.457  cpuTime=0.33  mem=20M621
0.84	   
0.84	   solver IterativeSystematicSolver being built... 
1.01	       =>  wckTime=0.681  cpuTime=0.47  mem=15M706
1.08	   
1.08	   preprocessing
1.08	     nbConstraintChecks=155849  nbPropagations=1472  nbRevisions=13118  nbUselessRevisions=11306  nbSingletonTests=72
1.08	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
1.08	       =>  wckTime=0.07  cpuTime=0.05  mem=15M706
1.12	   
1.12	   search
1.12	     run=0  nbConstraintChecks=68268  nbPropagations=2171  nbRevisions=22530  nbUselessRevisions=19000  nbAssignments=31
1.12	     nbFailedAssignments=12  nbBacktracks=10  nbVisitedNodes=50  nbRestartNogoods=0  mapSize=9  nbInferences=0
1.12	     nbTooLargeKeys=0
1.12	       =>  wckTime=0.103  cpuTime=0.08  mem=15M706
1.15	   
1.15	   search
1.15	     run=1  nbConstraintChecks=137254  nbPropagations=5035  nbRevisions=53828  nbUselessRevisions=45200
1.15	     nbAssignments=63  nbFailedAssignments=20  nbBacktracks=27  nbVisitedNodes=98  nbRestartNogoods=1  mapSize=22
1.15	     nbInferences=0  nbTooLargeKeys=0
1.15	       =>  wckTime=0.131  cpuTime=0.09  mem=15M706
1.16	   
1.16	   search
1.17	     run=2  nbConstraintChecks=245405  nbPropagations=8949  nbRevisions=100544  nbUselessRevisions=83995
1.17	     nbAssignments=110  nbFailedAssignments=36  nbBacktracks=49  nbVisitedNodes=173  nbRestartNogoods=2  mapSize=41
1.17	     nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.151  cpuTime=0.11  mem=15M706
1.19	   
1.19	   search
1.19	     run=3  nbConstraintChecks=376583  nbPropagations=14201  nbRevisions=165900  nbUselessRevisions=137639
1.19	     nbAssignments=170  nbFailedAssignments=55  nbBacktracks=83  nbVisitedNodes=270  nbRestartNogoods=6  mapSize=67
1.19	     nbInferences=0  nbTooLargeKeys=0
1.19	       =>  wckTime=0.176  cpuTime=0.13  mem=15M706
1.23	   
1.23	   search
1.23	     run=4  nbConstraintChecks=575200  nbPropagations=21626  nbRevisions=262747  nbUselessRevisions=216927
1.23	     nbAssignments=273  nbFailedAssignments=94  nbBacktracks=136  nbVisitedNodes=442  nbRestartNogoods=8  mapSize=112
1.23	     nbInferences=0  nbTooLargeKeys=0
1.23	       =>  wckTime=0.212  cpuTime=0.17  mem=15M706
1.29	   
1.29	   search
1.29	     run=5  nbConstraintChecks=896963  nbPropagations=32296  nbRevisions=409526  nbUselessRevisions=336757
1.29	     nbAssignments=418  nbFailedAssignments=154  nbBacktracks=211  nbVisitedNodes=693  nbRestartNogoods=14  mapSize=178
1.29	     nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.271  cpuTime=0.22  mem=15M706
1.35	   
1.35	   search
1.35	     run=6  nbConstraintChecks=1274738  nbPropagations=47124  nbRevisions=613844  nbUselessRevisions=503456
1.35	     nbAssignments=630  nbFailedAssignments=221  nbBacktracks=326  nbVisitedNodes=1000  nbRestartNogoods=20  mapSize=260
1.35	     nbInferences=0  nbTooLargeKeys=0
1.35	       =>  wckTime=0.336  cpuTime=0.29  mem=15M706
1.46	   
1.46	   search
1.46	     run=7  nbConstraintChecks=1966614  nbPropagations=69149  nbRevisions=926168  nbUselessRevisions=757668
1.46	     nbAssignments=969  nbFailedAssignments=356  nbBacktracks=496  nbVisitedNodes=1557  nbRestartNogoods=25  mapSize=406
1.46	     nbInferences=0  nbTooLargeKeys=0
1.46	       =>  wckTime=0.449  cpuTime=0.4  mem=15M706
1.61	   
1.61	   search
1.61	     run=8  nbConstraintChecks=2848356  nbPropagations=100467  nbRevisions=1375252  nbUselessRevisions=1122793
1.61	     nbAssignments=1402  nbFailedAssignments=502  nbBacktracks=753  nbVisitedNodes=2248  nbRestartNogoods=31
1.61	     mapSize=611  nbInferences=0  nbTooLargeKeys=0
1.61	       =>  wckTime=0.597  cpuTime=0.54  mem=16M681
1.83	   
1.84	   search
1.84	     run=9  nbConstraintChecks=4178255  nbPropagations=145638  nbRevisions=2037760  nbUselessRevisions=1661805
1.84	     nbAssignments=2043  nbFailedAssignments=752  nbBacktracks=1137  nbVisitedNodes=3337  nbRestartNogoods=36
1.84	     mapSize=922  nbInferences=0  nbTooLargeKeys=0
1.84	       =>  wckTime=0.82  cpuTime=0.75  mem=16M681
1.91	   
1.91	   INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=16M681)
2.17	   
2.17	   search
2.17	     run=10  nbConstraintChecks=6416277  nbPropagations=212733  nbRevisions=3025768  nbUselessRevisions=2460536
2.17	     nbAssignments=3003  nbFailedAssignments=1127  nbBacktracks=1714  nbVisitedNodes=4992  nbRestartNogoods=39
2.17	       =>  wckTime=1.154  cpuTime=1.06  mem=16M681
2.63	   
2.63	   search
2.63	     run=11  nbConstraintChecks=9587164  nbPropagations=312738  nbRevisions=4527917  nbUselessRevisions=3676241
2.63	     nbAssignments=4513  nbFailedAssignments=1764  nbBacktracks=2579  nbVisitedNodes=7610  nbRestartNogoods=44
2.63	       =>  wckTime=1.616  cpuTime=1.51  mem=16M681
3.25	   
3.25	   search
3.25	     run=12  nbConstraintChecks=13953710  nbPropagations=457265  nbRevisions=6712859  nbUselessRevisions=5444369
3.25	     nbAssignments=6578  nbFailedAssignments=2524  nbBacktracks=3876  nbVisitedNodes=11096  nbRestartNogoods=52
3.25	       =>  wckTime=2.236  cpuTime=2.13  mem=16M681
4.25	   
4.25	   search
4.25	     run=13  nbConstraintChecks=21095977  nbPropagations=673759  nbRevisions=10016071  nbUselessRevisions=8121914
4.25	     nbAssignments=9819  nbFailedAssignments=3794  nbBacktracks=5822  nbVisitedNodes=16643  nbRestartNogoods=61
4.25	       =>  wckTime=3.232  cpuTime=3.11  mem=16M681
5.69	   
5.69	   search
5.69	     run=14  nbConstraintChecks=31371523  nbPropagations=994031  nbRevisions=14923171  nbUselessRevisions=12103658
5.69	     nbAssignments=14479  nbFailedAssignments=5521  nbBacktracks=8747  nbVisitedNodes=24587  nbRestartNogoods=66
5.69	       =>  wckTime=4.677  cpuTime=4.54  mem=16M681
7.93	   
7.93	   search
7.93	     run=15  nbConstraintChecks=46645685  nbPropagations=1477706  nbRevisions=22429453  nbUselessRevisions=18210579
7.93	     nbAssignments=22135  nbFailedAssignments=8785  nbBacktracks=13125  nbVisitedNodes=37986  nbRestartNogoods=75
7.93	       =>  wckTime=6.914  cpuTime=6.75  mem=16M681
11.26	   
11.26	   search
11.26	     run=16  nbConstraintChecks=70079920  nbPropagations=2200478  nbRevisions=33583132  nbUselessRevisions=27269595
11.26	     nbAssignments=32805  nbFailedAssignments=12876  nbBacktracks=19694  nbVisitedNodes=56291  nbRestartNogoods=87
11.26	       =>  wckTime=10.248  cpuTime=10.06  mem=16M681
16.45	   
16.45	   search
16.45	     run=17  nbConstraintChecks=105933428  nbPropagations=3298821  nbRevisions=50597223  nbUselessRevisions=41101316
16.45	     nbAssignments=49442  nbFailedAssignments=19651  nbBacktracks=29547  nbVisitedNodes=85215  nbRestartNogoods=100
16.45	       =>  wckTime=15.441  cpuTime=15.21  mem=16M681
23.88	   
23.88	   search
23.88	     run=18  nbConstraintChecks=158349842  nbPropagations=4931072  nbRevisions=75871640  nbUselessRevisions=61626349
23.88	     nbAssignments=74026  nbFailedAssignments=29447  nbBacktracks=44325  nbVisitedNodes=127652  nbRestartNogoods=110
23.88	       =>  wckTime=22.865  cpuTime=22.56  mem=16M681
34.80	   
34.80	   search
34.80	     run=19  nbConstraintChecks=234951373  nbPropagations=7349351  nbRevisions=113327143  nbUselessRevisions=92033584
34.80	     nbAssignments=110461  nbFailedAssignments=43705  nbBacktracks=66493  nbVisitedNodes=190159  nbRestartNogoods=123
34.80	       =>  wckTime=33.782  cpuTime=33.38  mem=16M681
50.96	   
50.96	   search
50.96	     run=20  nbConstraintChecks=347862690  nbPropagations=10934109  nbRevisions=168967719  nbUselessRevisions=137229069
50.96	     nbAssignments=164394  nbFailedAssignments=64374  nbBacktracks=99745  nbVisitedNodes=282244  nbRestartNogoods=134
50.96	       =>  wckTime=49.946  cpuTime=49.4  mem=16M681
76.71	   
76.71	   search
76.71	     run=21  nbConstraintChecks=526398084  nbPropagations=16379333  nbRevisions=254121598  nbUselessRevisions=206524802
76.71	     nbAssignments=249172  nbFailedAssignments=99249  nbBacktracks=149623  nbVisitedNodes=429593  nbRestartNogoods=148
76.71	       =>  wckTime=75.695  cpuTime=74.91  mem=16M681
113.52	   
113.52	   search
113.52	     run=22  nbConstraintChecks=788018492  nbPropagations=24480541  nbRevisions=379788285  nbUselessRevisions=308570259
113.52	     nbAssignments=369542  nbFailedAssignments=144788  nbBacktracks=224444  nbVisitedNodes=635425  nbRestartNogoods=159
113.52	       =>  wckTime=112.504  cpuTime=111.38  mem=16M681
168.97	   
168.97	   search
168.97	     run=23  nbConstraintChecks=1176030983  nbPropagations=36594307  nbRevisions=567982242  nbUselessRevisions=461489393
168.97	     nbAssignments=554020  nbFailedAssignments=217031  nbBacktracks=336671  nbVisitedNodes=952469  nbRestartNogoods=170
168.97	       =>  wckTime=167.96  cpuTime=166.32  mem=16M681
250.29	   
250.29	   search
250.29	     run=24  nbConstraintChecks=1746188909  nbPropagations=54592424  nbRevisions=847643966  nbUselessRevisions=688820675
250.29	     nbAssignments=826957  nbFailedAssignments=321617  nbBacktracks=505012  nbVisitedNodes=1419058  nbRestartNogoods=189
250.29	       =>  wckTime=249.271  cpuTime=246.89  mem=16M681
374.36	   
374.36	   search
374.36	     run=25  nbConstraintChecks=2603393551  nbPropagations=81587070  nbRevisions=1267013039
374.36	     nbUselessRevisions=1029858169  nbAssignments=1239260  nbFailedAssignments=481403  nbBacktracks=757523
374.36	     nbVisitedNodes=2126058  nbRestartNogoods=210
374.36	       =>  wckTime=373.344  cpuTime=369.83  mem=16M681
568.43	   
568.43	   search
568.43	     run=26  nbConstraintChecks=3938250922  nbPropagations=122663919  nbRevisions=1910545458
568.43	     nbUselessRevisions=1554471168  nbAssignments=1873607  nbFailedAssignments=736971  nbBacktracks=1136291
568.43	     nbVisitedNodes=3227711  nbRestartNogoods=220
568.43	       =>  wckTime=567.417  cpuTime=562.13  mem=16M681
849.72	   
849.72	   search
849.72	     run=27  nbConstraintChecks=5885438454  nbPropagations=184058734  nbRevisions=2874309127
849.72	     nbUselessRevisions=2340411596  nbAssignments=2817992  nbFailedAssignments=1113194  nbBacktracks=1704442
849.72	     nbVisitedNodes=4852732  nbRestartNogoods=242
849.72	       =>  wckTime=848.711  cpuTime=840.85  mem=16M681
1263.11	   
1263.11	   search
1263.11	     run=28  nbConstraintChecks=8731180228  nbPropagations=275323752  nbRevisions=4305273997
1263.11	     nbUselessRevisions=3507518849  nbAssignments=4198214  nbFailedAssignments=1641180  nbBacktracks=2556669
1263.11	     nbVisitedNodes=7209342  nbRestartNogoods=264
1263.11	       =>  wckTime=1262.098  cpuTime=1250.22  mem=16M681

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

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

/proc/loadavg: 1.87 2.01 2.13 2/88 28432
/proc/meminfo: memFree=1057720/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=18540 CPUtime=0
/proc/28431/stat : 28431 (runsolver) R 28429 28431 24923 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 162541568 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28431/statm: 4635 279 244 17 0 2626 0

[startup+0.102238 s]
/proc/loadavg: 1.87 2.01 2.13 2/88 28432
/proc/meminfo: memFree=1057720/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=912760 CPUtime=0.07
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 2774 0 1 0 6 1 0 0 17 0 8 0 162541568 934666240 2520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072940952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228190 2520 1386 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760

[startup+0.510302 s]
/proc/loadavg: 1.87 2.01 2.13 2/88 28432
/proc/meminfo: memFree=1057720/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915328 CPUtime=0.47
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 6696 0 1 0 44 3 0 0 18 0 8 0 162541568 937295872 6435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228832 6435 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33743 s]
/proc/loadavg: 1.87 2.01 2.13 3/95 28439
/proc/meminfo: memFree=1027072/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=1.29
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10371 0 1 0 124 5 0 0 24 0 8 0 162541568 937529344 10109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10109 2524 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.24
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 387 0 0 0 24 0 0 0 15 0 8 0 162541576 937529344 10109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915556

[startup+2.97768 s]
/proc/loadavg: 1.87 2.01 2.13 3/95 28439
/proc/meminfo: memFree=1026944/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=2.91
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10390 0 1 0 286 5 0 0 25 0 8 0 162541568 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10127 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 17 0 8 0 162541572 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.29
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 404 0 0 0 28 1 0 0 15 0 8 0 162541576 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915556

[startup+6.27418 s]
/proc/loadavg: 1.88 2.01 2.12 3/95 28439
/proc/meminfo: memFree=1026944/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=6.18
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10391 0 1 0 612 6 0 0 25 0 8 0 162541568 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863961 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10127 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.29
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 404 0 0 0 28 1 0 0 16 0 8 0 162541576 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915556

[startup+12.7552 s]
/proc/loadavg: 1.89 2.01 2.12 3/95 28439
/proc/meminfo: memFree=1026944/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=12.6
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10391 0 1 0 1254 6 0 0 25 0 8 0 162541568 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10127 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.29
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 404 0 0 0 28 1 0 0 16 0 8 0 162541576 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915556

[startup+25.6152 s]
/proc/loadavg: 1.91 2.01 2.12 3/95 28439
/proc/meminfo: memFree=1027008/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=25.35
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10392 0 1 0 2529 6 0 0 25 0 8 0 162541568 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842121 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10128 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.29
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 405 0 0 0 28 1 0 0 16 0 8 0 162541576 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915556

[startup+51.2341 s]
/proc/loadavg: 1.94 2.01 2.12 3/95 28439
/proc/meminfo: memFree=1027136/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=50.73
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10393 0 1 0 5067 6 0 0 25 0 8 0 162541568 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10128 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.29
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 405 0 0 0 28 1 0 0 16 0 8 0 162541576 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915556

[startup+102.46 s]
/proc/loadavg: 1.97 2.00 2.11 3/95 28439
/proc/meminfo: memFree=1027200/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=101.48
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10393 0 1 0 10142 6 0 0 25 0 8 0 162541568 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073897944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10128 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.29
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 405 0 0 0 28 1 0 0 16 0 8 0 162541576 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915556

[startup+162.53 s]
/proc/loadavg: 1.99 2.00 2.09 3/95 28439
/proc/meminfo: memFree=1027136/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=161.01
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10394 0 1 0 16094 7 0 0 25 0 8 0 162541568 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1410.85
Current children cumulated vsize (KiB) 915556

[startup+1484.22 s]
/proc/loadavg: 2.02 2.03 2.01 3/95 28637
/proc/meminfo: memFree=1026752/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=1470.42
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10395 0 1 0 147024 18 0 0 25 0 8 0 162541568 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842167 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10129 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.3
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.42
Current children cumulated vsize (KiB) 915556

[startup+1544.29 s]
/proc/loadavg: 2.01 2.02 2.00 3/95 28637
/proc/meminfo: memFree=1026816/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=1530.21
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10395 0 1 0 153002 19 0 0 25 0 8 0 162541568 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10129 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.3
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.21
Current children cumulated vsize (KiB) 915556

[startup+1604.37 s]
/proc/loadavg: 2.00 2.01 2.00 3/95 28637
/proc/meminfo: memFree=1026816/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=1590
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10395 0 1 0 158981 19 0 0 25 0 8 0 162541568 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10129 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.3
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590
Current children cumulated vsize (KiB) 915556

[startup+1664.45 s]
/proc/loadavg: 2.04 2.02 2.00 3/95 28637
/proc/meminfo: memFree=1026816/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=1649.8
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10395 0 1 0 164960 20 0 0 25 0 8 0 162541568 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10129 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.3
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.8
Current children cumulated vsize (KiB) 915556

[startup+1724.53 s]
/proc/loadavg: 2.01 2.02 2.00 3/95 28637
/proc/meminfo: memFree=1026816/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=1709.59
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10395 0 1 0 170939 20 0 0 25 0 8 0 162541568 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10129 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.3
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.59
Current children cumulated vsize (KiB) 915556

[startup+1784.61 s]
/proc/loadavg: 2.07 2.03 2.00 3/95 28637
/proc/meminfo: memFree=1026816/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=1769.39
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10395 0 1 0 176918 21 0 0 25 0 8 0 162541568 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853310 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28431/statm: 228889 10129 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.3
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.39
Current children cumulated vsize (KiB) 915556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.36 s]
/proc/loadavg: 1.70 1.94 1.98 2/88 28874
/proc/meminfo: memFree=1031440/2055920 swapFree=4157532/4192956
[pid=28431] ppid=28429 vsize=915556 CPUtime=1800.06
/proc/28431/stat : 28431 (java) R 28429 28431 24923 0 -1 0 10395 0 1 0 179984 22 0 0 25 0 8 0 162541568 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853459 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28431/statm: 228889 10129 2525 14 0 215359 0
[pid=28431/tid=28433] ppid=28429 vsize=915556 CPUtime=0.04
/proc/28431/task/28433/stat : 28433 (java) S 28429 28431 24923 0 -1 64 460 0 0 0 4 0 0 0 16 0 8 0 162541572 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28434] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28434/stat : 28434 (java) S 28429 28431 24923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28435] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28435/stat : 28435 (java) S 28429 28431 24923 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162541573 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28436] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28436/stat : 28436 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28437] ppid=28429 vsize=915556 CPUtime=0.3
/proc/28431/task/28437/stat : 28437 (java) S 28429 28431 24923 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28438] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28438/stat : 28438 (java) S 28429 28431 24923 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28431/tid=28439] ppid=28429 vsize=915556 CPUtime=0
/proc/28431/task/28439/stat : 28439 (java) S 28429 28431 24923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162541576 937529344 10129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915556

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

Child status: 143
Real time (s): 1815.4
CPU time (s): 1800.11
CPU user time (s): 1799.88
CPU system time (s): 0.229965
CPU usage (%): 99.1576
Max. virtual memory (cumulated for all children) (KiB): 915556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.229965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10412
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= 37951
involuntary context switches= 77330

runsolver used 2.31965 s user time and 5.71613 s system time

The end

Launcher Data (download as text)

Begin job on node22 on Sun Jan  7 03:44:31 UTC 2007


IDJOB= 200142
IDBENCH= 3691
FILE ID= node22/200142-1168141470

PBS_JOBID= 3478035

Free space on /tmp= 66551 MiB

BENCH NAME= HOME/pub/bench/CPAI06/frb/frb56-25/frb56-25-2-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200142-1168141470/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-200142-1168141470 -o ROOT/results/node22/solver-200142-1168141470 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200142-1168141470/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cb7c842f84cd39cfc114262beb9913c4

RANDOM SEED= 506065555

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.279
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.279
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:       1058200 kB
Buffers:         55156 kB
Cached:         817136 kB
SwapCached:      13680 kB
Active:         234860 kB
Inactive:       687632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1058200 kB
SwapTotal:     4192956 kB
SwapFree:      4157532 kB
Dirty:            4296 kB
Writeback:           0 kB
Mapped:          67048 kB
Slab:            60028 kB
Committed_AS:  2851608 kB
PageTables:       2300 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= 66550 MiB



End job on node22 on Sun Jan  7 04:14:49 UTC 2007