Trace number 203462

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

General information on the benchmark

Namefrb/frb53-24/
frb53-24-3-mgd_ext.xml
MD5SUM5c9d57efea59fceec688fbd5b5a88700
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables53
Number of constraints470
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension470
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/203462-1168160032/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=53  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.41	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.41	   
0.41	   relations being loaded...
0.56	   
0.56	   constraints being loaded...
0.70	     nbConstraints=470  nbRelationTypes=470  nbExtensionStructures=470  nbSharedExtensionStructures=0
0.70	     nbConflictsStructures=470  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1181  maxDegree=26
0.70	     maxArity=2
0.70	       =>  wckTime=0.388  cpuTime=0.29  mem=18M851
0.74	   
0.74	   solver IterativeSystematicSolver being built... 
0.90	       =>  wckTime=0.59  cpuTime=0.43  mem=15M593
0.96	   
0.96	   preprocessing
0.96	     nbConstraintChecks=131785  nbPropagations=1339  nbRevisions=11369  nbUselessRevisions=9632  nbSingletonTests=68
0.96	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
0.96	       =>  wckTime=0.061  cpuTime=0.04  mem=15M593
0.99	   
0.99	   search
0.99	     run=0  nbConstraintChecks=53380  nbPropagations=1944  nbRevisions=19225  nbUselessRevisions=16151  nbAssignments=28
0.99	     nbFailedAssignments=7  nbBacktracks=12  nbVisitedNodes=44  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.99	     nbTooLargeKeys=0
0.99	       =>  wckTime=0.091  cpuTime=0.06  mem=15M593
1.02	   
1.02	   search
1.02	     run=1  nbConstraintChecks=146130  nbPropagations=4899  nbRevisions=49382  nbUselessRevisions=41241
1.02	     nbAssignments=76  nbFailedAssignments=14  nbBacktracks=30  nbVisitedNodes=92  nbRestartNogoods=2  mapSize=21
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.115  cpuTime=0.08  mem=15M593
1.04	   
1.04	   search
1.04	     run=2  nbConstraintChecks=238554  nbPropagations=9013  nbRevisions=95260  nbUselessRevisions=79173
1.04	     nbAssignments=124  nbFailedAssignments=29  nbBacktracks=53  nbVisitedNodes=173  nbRestartNogoods=4  mapSize=43
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.133  cpuTime=0.09  mem=15M593
1.06	   
1.06	   search
1.06	     run=3  nbConstraintChecks=351763  nbPropagations=14522  nbRevisions=160354  nbUselessRevisions=132966
1.06	     nbAssignments=189  nbFailedAssignments=49  nbBacktracks=87  nbVisitedNodes=279  nbRestartNogoods=7  mapSize=71
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.156  cpuTime=0.12  mem=15M593
1.10	   
1.10	   search
1.10	     run=4  nbConstraintChecks=555369  nbPropagations=22173  nbRevisions=258027  nbUselessRevisions=213262
1.10	     nbAssignments=294  nbFailedAssignments=93  nbBacktracks=138  nbVisitedNodes=460  nbRestartNogoods=11  mapSize=114
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.191  cpuTime=0.15  mem=15M593
1.15	   
1.15	   search
1.15	     run=5  nbConstraintChecks=786054  nbPropagations=32690  nbRevisions=397573  nbUselessRevisions=327903
1.15	     nbAssignments=441  nbFailedAssignments=151  nbBacktracks=213  nbVisitedNodes=706  nbRestartNogoods=13  mapSize=172
1.15	     nbInferences=0  nbTooLargeKeys=0
1.15	       =>  wckTime=0.242  cpuTime=0.19  mem=15M593
1.20	   
1.20	   search
1.20	     run=6  nbConstraintChecks=1116916  nbPropagations=47307  nbRevisions=598291  nbUselessRevisions=493062
1.20	     nbAssignments=644  nbFailedAssignments=229  nbBacktracks=326  nbVisitedNodes=1049  nbRestartNogoods=19  mapSize=267
1.20	     nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.3  cpuTime=0.25  mem=15M593
1.30	   
1.30	   search
1.30	     run=7  nbConstraintChecks=1767195  nbPropagations=68993  nbRevisions=898011  nbUselessRevisions=739040
1.30	     nbAssignments=974  nbFailedAssignments=334  nbBacktracks=496  nbVisitedNodes=1538  nbRestartNogoods=25  mapSize=407
1.30	     nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.4  cpuTime=0.35  mem=15M593
1.41	   
1.41	   search
1.41	     run=8  nbConstraintChecks=2305972  nbPropagations=97877  nbRevisions=1297304  nbUselessRevisions=1066083
1.41	     nbAssignments=1374  nbFailedAssignments=466  nbBacktracks=756  nbVisitedNodes=2188  nbRestartNogoods=30
1.41	     mapSize=596  nbInferences=0  nbTooLargeKeys=0
1.41	       =>  wckTime=0.502  cpuTime=0.44  mem=15M593
1.62	   
1.62	   search
1.62	     run=9  nbConstraintChecks=3622737  nbPropagations=140507  nbRevisions=1908886  nbUselessRevisions=1564107
1.62	     nbAssignments=2006  nbFailedAssignments=703  nbBacktracks=1142  nbVisitedNodes=3264  nbRestartNogoods=35
1.62	     mapSize=901  nbInferences=0  nbTooLargeKeys=0
1.62	       =>  wckTime=0.712  cpuTime=0.64  mem=16M568
1.70	   
1.70	   INFO : Stopping hyperNogood (mapSize=1046, nbTooLargekeys=0, mem=16M568)
1.87	   
1.87	   search
1.87	     run=10  nbConstraintChecks=5258368  nbPropagations=203298  nbRevisions=2819558  nbUselessRevisions=2308085
1.87	     nbAssignments=2959  nbFailedAssignments=1054  nbBacktracks=1720  nbVisitedNodes=4880  nbRestartNogoods=43
1.87	       =>  wckTime=0.97  cpuTime=0.88  mem=16M568
2.23	   
2.23	   search
2.23	     run=11  nbConstraintChecks=7753864  nbPropagations=294972  nbRevisions=4152584  nbUselessRevisions=3394178
2.23	     nbAssignments=4317  nbFailedAssignments=1534  nbBacktracks=2587  nbVisitedNodes=7189  nbRestartNogoods=45
2.23	       =>  wckTime=1.324  cpuTime=1.23  mem=16M568
2.81	   
2.81	   search
2.81	     run=12  nbConstraintChecks=11982290  nbPropagations=433692  nbRevisions=6197530  nbUselessRevisions=5057732
2.81	     nbAssignments=6508  nbFailedAssignments=2418  nbBacktracks=3887  nbVisitedNodes=10989  nbRestartNogoods=53
2.81	       =>  wckTime=1.909  cpuTime=1.81  mem=16M568
3.67	   
3.67	   search
3.67	     run=13  nbConstraintChecks=18175457  nbPropagations=641578  nbRevisions=9289542  nbUselessRevisions=7574530
3.67	     nbAssignments=9688  nbFailedAssignments=3638  nbBacktracks=5837  nbVisitedNodes=16494  nbRestartNogoods=56
3.67	       =>  wckTime=2.77  cpuTime=2.67  mem=16M568
4.87	   
4.87	   search
4.87	     run=14  nbConstraintChecks=26973334  nbPropagations=948041  nbRevisions=13833368  nbUselessRevisions=11266308
4.87	     nbAssignments=14276  nbFailedAssignments=5297  nbBacktracks=8757  nbVisitedNodes=24283  nbRestartNogoods=67
4.88	       =>  wckTime=3.972  cpuTime=3.86  mem=16M568
6.68	   
6.68	   search
6.68	     run=15  nbConstraintChecks=39653911  nbPropagations=1403440  nbRevisions=20635066  nbUselessRevisions=16801913
6.68	     nbAssignments=21404  nbFailedAssignments=8036  nbBacktracks=13135  nbVisitedNodes=36524  nbRestartNogoods=75
6.68	       =>  wckTime=5.778  cpuTime=5.66  mem=16M568
9.28	   
9.28	   search
9.28	     run=16  nbConstraintChecks=57980475  nbPropagations=2074083  nbRevisions=30650745  nbUselessRevisions=24956516
9.28	     nbAssignments=31905  nbFailedAssignments=11956  nbBacktracks=19703  nbVisitedNodes=54320  nbRestartNogoods=89
9.28	       =>  wckTime=8.382  cpuTime=8.25  mem=16M568
13.29	   
13.29	   search
13.29	     run=17  nbConstraintChecks=86066347  nbPropagations=3081024  nbRevisions=45806479  nbUselessRevisions=37321756
13.29	     nbAssignments=48449  nbFailedAssignments=18616  nbBacktracks=29555  nbVisitedNodes=82858  nbRestartNogoods=99
13.29	       =>  wckTime=12.387  cpuTime=12.24  mem=16M568
19.95	   
19.95	   search
19.95	     run=18  nbConstraintChecks=134467451  nbPropagations=4620118  nbRevisions=69305279  nbUselessRevisions=56500579
19.95	     nbAssignments=73607  nbFailedAssignments=28989  nbBacktracks=44333  nbVisitedNodes=126722  nbRestartNogoods=111
19.95	       =>  wckTime=19.049  cpuTime=18.84  mem=16M568
28.75	   
28.75	   search
28.75	     run=19  nbConstraintChecks=196074787  nbPropagations=6883271  nbRevisions=103861316  nbUselessRevisions=84702184
28.75	     nbAssignments=109044  nbFailedAssignments=42246  nbBacktracks=66503  nbVisitedNodes=187138  nbRestartNogoods=123
28.75	       =>  wckTime=27.848  cpuTime=27.59  mem=16M568
41.43	   
41.43	   search
41.43	     run=20  nbConstraintChecks=283281225  nbPropagations=10217382  nbRevisions=154404711  nbUselessRevisions=125961819
41.44	     nbAssignments=162543  nbFailedAssignments=62463  nbBacktracks=99756  nbVisitedNodes=278346  nbRestartNogoods=138
41.44	       =>  wckTime=40.532  cpuTime=40.21  mem=16M568
63.16	   
63.16	   search
63.16	     run=21  nbConstraintChecks=443190046  nbPropagations=15298453  nbRevisions=231790570  nbUselessRevisions=189083211
63.16	     nbAssignments=245256  nbFailedAssignments=95251  nbBacktracks=149634  nbVisitedNodes=421554  nbRestartNogoods=157
63.16	       =>  wckTime=62.259  cpuTime=61.85  mem=16M568
93.62	   
93.62	   search
93.62	     run=22  nbConstraintChecks=658367040  nbPropagations=22907409  nbRevisions=347496138  nbUselessRevisions=283508646
93.62	     nbAssignments=366687  nbFailedAssignments=141833  nbBacktracks=224452  nbVisitedNodes=630341  nbRestartNogoods=176
93.62	       =>  wckTime=92.713  cpuTime=92.12  mem=16M568
140.35	   
140.35	   search
140.35	     run=23  nbConstraintChecks=997441391  nbPropagations=34263353  nbRevisions=520890489  nbUselessRevisions=424856372
140.35	     nbAssignments=547600  nbFailedAssignments=210507  nbBacktracks=336679  nbVisitedNodes=938906  nbRestartNogoods=188
140.35	       =>  wckTime=139.449  cpuTime=138.6  mem=16M568
209.72	   
209.72	   search
209.72	     run=24  nbConstraintChecks=1494760091  nbPropagations=51316049  nbRevisions=780993146  nbUselessRevisions=636990332
209.72	     nbAssignments=819598  nbFailedAssignments=314122  nbBacktracks=505020  nbVisitedNodes=1404940  nbRestartNogoods=203
209.72	       =>  wckTime=208.817  cpuTime=207.58  mem=16M568
325.31	   
325.31	   search
325.31	     run=25  nbConstraintChecks=2329710196  nbPropagations=77573005  nbRevisions=1185026317
325.31	     nbUselessRevisions=966670143  nbAssignments=1252530  nbFailedAssignments=494533  nbBacktracks=757531
325.31	     nbVisitedNodes=2162458  nbRestartNogoods=213
325.31	       =>  wckTime=324.411  cpuTime=322.56  mem=16M568
476.39	   
476.41	   search
476.41	     run=26  nbConstraintChecks=3394397773  nbPropagations=116387501  nbRevisions=1779395799
476.41	     nbUselessRevisions=1451830442  nbAssignments=1861677  nbFailedAssignments=724905  nbBacktracks=1136300
476.41	     nbVisitedNodes=3205188  nbRestartNogoods=232
476.41	       =>  wckTime=475.483  cpuTime=472.73  mem=16M568
717.28	   
717.28	   search
717.28	     run=27  nbConstraintChecks=5134057638  nbPropagations=174648556  nbRevisions=2670128735
717.28	     nbUselessRevisions=2178093700  nbAssignments=2782081  nbFailedAssignments=1077151  nbBacktracks=1704451
717.28	     nbVisitedNodes=4781123  nbRestartNogoods=246
717.28	       =>  wckTime=716.379  cpuTime=712.31  mem=16M568
1070.82	   
1070.82	   search
1070.82	     run=28  nbConstraintChecks=7702406313  nbPropagations=261668480  nbRevisions=3992042532
1070.82	     nbUselessRevisions=3254112509  nbAssignments=4154260  nbFailedAssignments=1597093  nbBacktracks=2556677
1070.82	     nbVisitedNodes=7127590  nbRestartNogoods=256
1070.82	       =>  wckTime=1069.917  cpuTime=1063.92  mem=16M568
1606.20	   
1606.20	   search
1606.20	     run=29  nbConstraintChecks=11641860880  nbPropagations=392276139  nbRevisions=5970938021
1606.20	     nbUselessRevisions=4863696128  nbAssignments=6209211  nbFailedAssignments=2373695  nbBacktracks=3835018
1606.20	     nbVisitedNodes=10635241  nbRestartNogoods=276
1606.20	       =>  wckTime=1605.293  cpuTime=1596.38  mem=16M568

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

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

/proc/loadavg: 0.92 0.98 0.99 5/82 15173
/proc/meminfo: memFree=1518624/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=168 CPUtime=0
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 164398555 172032 23 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 2605860 0 0 4096 0 0 0 0 17 1 0 0
/proc/15171/statm: 42 23 18 14 0 2 0

[startup+0.107997 s]
/proc/loadavg: 0.92 0.98 0.99 5/82 15173
/proc/meminfo: memFree=1518624/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=913228 CPUtime=0.07
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 2920 0 1 0 6 1 0 0 23 0 8 0 164398555 935145472 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228

[startup+0.517042 s]
/proc/loadavg: 0.92 0.98 0.99 5/82 15173
/proc/meminfo: memFree=1518624/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915328 CPUtime=0.48
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 7253 0 1 0 43 5 0 0 25 0 8 0 164398555 937295872 6992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228832 6992 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33813 s]
/proc/loadavg: 0.92 0.98 0.99 3/101 15193
/proc/meminfo: memFree=1476872/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1.29
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9951 0 1 0 121 8 0 0 25 0 8 0 164398555 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9689 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.2
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 383 0 0 0 19 1 0 0 15 0 8 0 164398564 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460

[startup+2.9753 s]
/proc/loadavg: 0.92 0.98 0.99 3/101 15193
/proc/meminfo: memFree=1476744/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=2.92
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9968 0 1 0 284 8 0 0 25 0 8 0 164398555 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9704 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 17 0 8 0 164398560 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.23
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 399 0 0 0 22 1 0 0 15 0 8 0 164398564 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460

[startup+6.26065 s]
/proc/loadavg: 1.09 1.02 1.01 3/101 15193
/proc/meminfo: memFree=1476616/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=6.19
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9970 0 1 0 611 8 0 0 25 0 8 0 164398555 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9705 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.23
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 400 0 0 0 22 1 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460

[startup+12.7404 s]
/proc/loadavg: 1.23 1.05 1.02 3/101 15193
/proc/meminfo: memFree=1476616/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=12.64
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9970 0 1 0 1256 8 0 0 25 0 8 0 164398555 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9705 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.23
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 400 0 0 0 22 1 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915460

[startup+25.6027 s]
/proc/loadavg: 1.34 1.08 1.02 3/101 15193
/proc/meminfo: memFree=1476680/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=25.41
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9970 0 1 0 2533 8 0 0 25 0 8 0 164398555 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9705 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.23
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 400 0 0 0 22 1 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915460

[startup+51.2085 s]
/proc/loadavg: 1.65 1.17 1.05 3/101 15193
/proc/meminfo: memFree=1476744/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=50.89
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9970 0 1 0 5081 8 0 0 25 0 8 0 164398555 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9705 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.23
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 400 0 0 0 22 1 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915460

[startup+102.511 s]
/proc/loadavg: 1.93 1.31 1.11 3/101 15193
/proc/meminfo: memFree=1476680/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=101.92
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9972 0 1 0 10184 8 0 0 25 0 8 0 164398555 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823659 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9706 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915460

[startup+162.557 s]
/proc/loadavg: 1.97 1.43 1.16 3/101 15193
/proc/meminfo: memFree=1476744/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=161.62
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9972 0 1 0 16153 9 0 0 25 0 8 0 164398555 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.58 s]
/proc/loadavg: 2.00 2.00 1.79 3/101 15391
/proc/meminfo: memFree=1476360/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1475.39
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 147518 21 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.39
Current children cumulated vsize (KiB) 915460

[startup+1543.63 s]
/proc/loadavg: 2.00 2.00 1.80 3/101 15393
/proc/meminfo: memFree=1476296/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1535.11
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 153490 21 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.11
Current children cumulated vsize (KiB) 915460

[startup+1603.67 s]
/proc/loadavg: 2.00 2.00 1.81 3/101 15393
/proc/meminfo: memFree=1476360/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1594.82
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 159461 21 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.82
Current children cumulated vsize (KiB) 915460

[startup+1663.72 s]
/proc/loadavg: 2.00 2.00 1.82 3/101 15393
/proc/meminfo: memFree=1476296/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1654.55
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 165434 21 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.55
Current children cumulated vsize (KiB) 915460

[startup+1723.77 s]
/proc/loadavg: 2.00 2.00 1.83 3/101 15393
/proc/meminfo: memFree=1476296/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1714.27
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 171406 21 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.27
Current children cumulated vsize (KiB) 915460

[startup+1783.81 s]
/proc/loadavg: 2.09 2.03 1.84 3/101 15393
/proc/meminfo: memFree=1476296/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1773.98
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 177376 22 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.98
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.03 s]
/proc/loadavg: 2.06 2.03 1.84 2/88 15407
/proc/meminfo: memFree=1489264/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1800.07
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 179985 22 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1810.09
CPU time (s): 1800.13
CPU user time (s): 1799.9
CPU system time (s): 0.231964
CPU usage (%): 99.4499
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.231964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9992
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= 37815
involuntary context switches= 71088

runsolver used 2.45263 s user time and 5.56715 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Sun Jan  7 08:53:53 UTC 2007


IDJOB= 203462
IDBENCH= 3964
FILE ID= node24/203462-1168160032

PBS_JOBID= 3478564

Free space on /tmp= 66473 MiB

BENCH NAME= HOME/pub/bench/CPAI06/frb/frb53-24/frb53-24-3-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203462-1168160032/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-203462-1168160032 -o ROOT/results/node24/solver-203462-1168160032 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203462-1168160032/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5c9d57efea59fceec688fbd5b5a88700

RANDOM SEED= 686546626

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1519232 kB
Buffers:         54312 kB
Cached:         357224 kB
SwapCached:          0 kB
Active:         215008 kB
Inactive:       253800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1519232 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3028 kB
Writeback:           4 kB
Mapped:          76248 kB
Slab:            52808 kB
Committed_AS:  3309148 kB
PageTables:       2196 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= 66474 MiB



End job on node24 on Sun Jan  7 09:24:03 UTC 2007