Trace number 221858

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 ESACUNSAT 228.635 228.739

DiagnosticValue
CHECKS1553737166
NODES1098163

General information on the benchmark

Namerandom/rand-2-24/
rand-24-24-276-139-49021_ext.xml
MD5SUM018906158a3534888a95e4e4a84176ab
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark56.0685
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables24
Number of constraints276
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension276
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/221858-1168262826/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.39	       =>  wckTime=0.094  cpuTime=0.09  mem=6M951
0.39	   
0.39	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.60	     nbConstraints=276  nbRelationTypes=276  nbExtensionStructures=276  nbSharedExtensionStructures=0
0.60	     nbConflictsStructures=276  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=854  maxDegree=23
0.60	     maxArity=2
0.60	       =>  wckTime=0.3  cpuTime=0.22  mem=13M794
0.64	   
0.64	   solver IterativeSystematicSolver being built... 
0.79	       =>  wckTime=0.492  cpuTime=0.35  mem=15M99
0.84	   
0.84	   preprocessing
0.84	     nbConstraintChecks=51835  nbPropagations=636  nbRevisions=6481  nbUselessRevisions=5716  nbSingletonTests=34
0.84	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.84	       =>  wckTime=0.042  cpuTime=0.03  mem=15M99
0.86	   
0.86	   search
0.86	     run=0  nbConstraintChecks=38614  nbPropagations=1102  nbRevisions=14496  nbUselessRevisions=12614  nbAssignments=28
0.86	     nbFailedAssignments=12  nbBacktracks=10  nbVisitedNodes=50  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.86	     nbTooLargeKeys=0
0.86	       =>  wckTime=0.064  cpuTime=0.04  mem=15M99
0.88	   
0.88	   search
0.88	     run=1  nbConstraintChecks=98121  nbPropagations=2863  nbRevisions=41163  nbUselessRevisions=35785  nbAssignments=65
0.88	     nbFailedAssignments=29  nbBacktracks=25  nbVisitedNodes=116  nbRestartNogoods=3  mapSize=25  nbInferences=0
0.88	     nbTooLargeKeys=0
0.88	       =>  wckTime=0.082  cpuTime=0.05  mem=15M99
0.90	   
0.90	   search
0.90	     run=2  nbConstraintChecks=174616  nbPropagations=5475  nbRevisions=83946  nbUselessRevisions=72983
0.90	     nbAssignments=114  nbFailedAssignments=51  nbBacktracks=48  nbVisitedNodes=206  nbRestartNogoods=9  mapSize=48
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.102  cpuTime=0.07  mem=15M99
0.92	   
0.92	   search
0.92	     run=3  nbConstraintChecks=251317  nbPropagations=9075  nbRevisions=143987  nbUselessRevisions=125125
0.92	     nbAssignments=179  nbFailedAssignments=76  nbBacktracks=83  nbVisitedNodes=323  nbRestartNogoods=14  mapSize=79
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.122  cpuTime=0.09  mem=15M99
0.95	   
0.95	   search
0.95	     run=4  nbConstraintChecks=411502  nbPropagations=14364  nbRevisions=236369  nbUselessRevisions=205031
0.95	     nbAssignments=285  nbFailedAssignments=126  nbBacktracks=136  nbVisitedNodes=519  nbRestartNogoods=18  mapSize=130
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.15  cpuTime=0.11  mem=15M99
0.98	   
0.98	   search
0.98	     run=5  nbConstraintChecks=614503  nbPropagations=21981  nbRevisions=372829  nbUselessRevisions=322920
0.98	     nbAssignments=435  nbFailedAssignments=195  nbBacktracks=211  nbVisitedNodes=795  nbRestartNogoods=22  mapSize=202
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.191  cpuTime=0.15  mem=15M99
1.04	   
1.04	   search
1.04	     run=6  nbConstraintChecks=922271  nbPropagations=33070  nbRevisions=577428  nbUselessRevisions=499839
1.04	     nbAssignments=665  nbFailedAssignments=305  nbBacktracks=325  nbVisitedNodes=1221  nbRestartNogoods=29  mapSize=313
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.247  cpuTime=0.2  mem=15M99
1.13	   
1.13	   search
1.13	     run=7  nbConstraintChecks=1402020  nbPropagations=49506  nbRevisions=886594  nbUselessRevisions=767124
1.13	     nbAssignments=1010  nbFailedAssignments=477  nbBacktracks=495  nbVisitedNodes=1868  nbRestartNogoods=35
1.13	     mapSize=483  nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.334  cpuTime=0.29  mem=15M99
1.25	   
1.25	   search
1.25	     run=8  nbConstraintChecks=2009759  nbPropagations=73113  nbRevisions=1334178  nbUselessRevisions=1154395
1.25	     nbAssignments=1507  nbFailedAssignments=713  nbBacktracks=751  nbVisitedNodes=2779  nbRestartNogoods=39
1.25	     mapSize=736  nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.454  cpuTime=0.39  mem=15M99
1.38	   
1.38	   INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=15M99)
1.42	   
1.42	   search
1.42	     run=9  nbConstraintChecks=3009657  nbPropagations=108372  nbRevisions=2010246  nbUselessRevisions=1740121
1.42	     nbAssignments=2267  nbFailedAssignments=1083  nbBacktracks=1135  nbVisitedNodes=4205  nbRestartNogoods=46
1.42	       =>  wckTime=0.624  cpuTime=0.57  mem=15M99
1.67	   
1.67	   search
1.67	     run=10  nbConstraintChecks=4604143  nbPropagations=161442  nbRevisions=3041143  nbUselessRevisions=2633672
1.67	     nbAssignments=3444  nbFailedAssignments=1680  nbBacktracks=1711  nbVisitedNodes=6412  nbRestartNogoods=56
1.67	       =>  wckTime=0.876  cpuTime=0.81  mem=15M99
2.02	   
2.02	   search
2.02	     run=11  nbConstraintChecks=6945858  nbPropagations=240506  nbRevisions=4593038  nbUselessRevisions=3978862
2.02	     nbAssignments=5182  nbFailedAssignments=2548  nbBacktracks=2575  nbVisitedNodes=9645  nbRestartNogoods=68
2.02	       =>  wckTime=1.23  cpuTime=1.16  mem=15M99
2.52	   
2.52	   search
2.52	     run=12  nbConstraintChecks=10346356  nbPropagations=357875  nbRevisions=6902974  nbUselessRevisions=5981147
2.52	     nbAssignments=7744  nbFailedAssignments=3807  nbBacktracks=3873  nbVisitedNodes=14401  nbRestartNogoods=76
2.52	       =>  wckTime=1.725  cpuTime=1.65  mem=15M99
3.27	   
3.27	   search
3.27	     run=13  nbConstraintChecks=15604701  nbPropagations=534051  nbRevisions=10388189  nbUselessRevisions=9003169
3.27	     nbAssignments=11595  nbFailedAssignments=5707  nbBacktracks=5819  nbVisitedNodes=21623  nbRestartNogoods=87
3.27	       =>  wckTime=2.473  cpuTime=2.4  mem=15M99
4.35	   
4.35	   search
4.35	     run=14  nbConstraintChecks=23299988  nbPropagations=796206  nbRevisions=15595659  nbUselessRevisions=13519681
4.35	     nbAssignments=17340  nbFailedAssignments=8528  nbBacktracks=8738  nbVisitedNodes=32326  nbRestartNogoods=98
4.35	       =>  wckTime=3.555  cpuTime=3.48  mem=15M99
6.01	   
6.01	   search
6.01	     run=15  nbConstraintChecks=35163553  nbPropagations=1191035  nbRevisions=23460564  nbUselessRevisions=20341287
6.01	     nbAssignments=26121  nbFailedAssignments=12926  nbBacktracks=13117  nbVisitedNodes=48769  nbRestartNogoods=106
6.01	       =>  wckTime=5.213  cpuTime=5.13  mem=15M99
8.66	   
8.66	   search
8.66	     run=16  nbConstraintChecks=52926411  nbPropagations=1783809  nbRevisions=35282593  nbUselessRevisions=30594247
8.66	     nbAssignments=39224  nbFailedAssignments=19455  nbBacktracks=19686  nbVisitedNodes=73252  nbRestartNogoods=112
8.66	       =>  wckTime=7.867  cpuTime=7.78  mem=15M99
12.68	   
12.68	   search
12.68	     run=17  nbConstraintChecks=80118705  nbPropagations=2675378  nbRevisions=53137243  nbUselessRevisions=46082592
12.68	     nbAssignments=58757  nbFailedAssignments=29131  nbBacktracks=29538  nbVisitedNodes=109763  nbRestartNogoods=120
12.68	       =>  wckTime=11.883  cpuTime=11.8  mem=15M99
18.58	   
18.58	   search
18.58	     run=18  nbConstraintChecks=120044641  nbPropagations=4009374  nbRevisions=79895198  nbUselessRevisions=69295604
18.58	     nbAssignments=88048  nbFailedAssignments=43640  nbBacktracks=44316  nbVisitedNodes=164435  nbRestartNogoods=136
18.58	       =>  wckTime=17.788  cpuTime=17.7  mem=15M99
27.55	   
27.55	   search
27.55	     run=19  nbConstraintChecks=180292198  nbPropagations=6011139  nbRevisions=120121594  nbUselessRevisions=104203567
27.55	     nbAssignments=132121  nbFailedAssignments=65540  nbBacktracks=66484  nbVisitedNodes=246830  nbRestartNogoods=158
27.55	       =>  wckTime=26.752  cpuTime=26.66  mem=15M99
41.05	   
41.05	   search
41.05	     run=20  nbConstraintChecks=272004046  nbPropagations=9017571  nbRevisions=180677562  nbUselessRevisions=156756245
41.05	     nbAssignments=198362  nbFailedAssignments=98526  nbBacktracks=99736  nbVisitedNodes=370460  nbRestartNogoods=180
41.05	       =>  wckTime=40.257  cpuTime=40.16  mem=15M99
61.49	   
61.49	   search
61.49	     run=21  nbConstraintChecks=410702911  nbPropagations=13542923  nbRevisions=271928328  nbUselessRevisions=235943992
61.49	     nbAssignments=297917  nbFailedAssignments=148198  nbBacktracks=149614  nbVisitedNodes=556779  nbRestartNogoods=194
61.49	       =>  wckTime=60.693  cpuTime=60.59  mem=15M99
92.20	   
92.20	   search
92.20	     run=22  nbConstraintChecks=619102843  nbPropagations=20341120  nbRevisions=409403608  nbUselessRevisions=355285261
92.20	     nbAssignments=446727  nbFailedAssignments=222186  nbBacktracks=224432  nbVisitedNodes=835025  nbRestartNogoods=211
92.20	       =>  wckTime=91.405  cpuTime=91.29  mem=15M99
138.68	   
138.68	   search
138.68	     run=23  nbConstraintChecks=935475749  nbPropagations=30579090  nbRevisions=616995363  nbUselessRevisions=535521672
138.68	     nbAssignments=671551  nbFailedAssignments=334779  nbBacktracks=336659  nbVisitedNodes=1255602  nbRestartNogoods=222
138.68	       =>  wckTime=137.89  cpuTime=137.76  mem=15M99
209.39	   
209.39	   search
209.39	     run=24  nbConstraintChecks=1419834608  nbPropagations=46010095  nbRevisions=931250453  nbUselessRevisions=808423697
209.39	     nbAssignments=1007893  nbFailedAssignments=502775  nbBacktracks=505002  nbVisitedNodes=1885374
209.39	     nbRestartNogoods=234
209.39	       =>  wckTime=208.596  cpuTime=208.45  mem=15M99
228.71	   
228.71	   search
228.71	     run=25  nbConstraintChecks=1553685331  nbPropagations=62848562  nbRevisions=1274724143
228.71	     nbUselessRevisions=1106720127  nbAssignments=1098163  nbFailedAssignments=548071  nbBacktracks=549977
228.71	     nbVisitedNodes=2054601  nbRestartNogoods=248
228.71	       =>  wckTime=227.913  cpuTime=227.76  mem=15M99
228.71	   
228.71	   global
228.71	     nbConstraintChecks=1553737166  nbPropagations=62849198  nbRevisions=1274730624  nbUselessRevisions=1106725843
228.71	     nbRestartNogoods=248  solvingWckTime=227.914  solvingCpuTime=227.76  expiredTime=no  totalExploration=yes
228.71	     nbFoundSolutions=0  globalCpuTime=228.16
228.71	       =>  wckTime=228.409  cpuTime=228.11  mem=15M99
228.71	   
228.71	s UNSATISFIABLE
228.71	d NODES 1098163
228.71	d CHECKS 1553737166
228.71	   
228.71	   totalWckTime=228.487  totalCpuTime=228.16

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node9/watcher-221858-1168262826 -o ROOT/results/node9/solver-221858-1168262826 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221858-1168262826/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.01 1.00 1.00 2/78 23195
/proc/meminfo: memFree=1797424/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=72 CPUtime=0
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 174677704 73728 2 18446744073709551615 0 0 4294956875 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23194/statm: 41 8 4 14 0 1 0

[startup+0.105141 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 23195
/proc/meminfo: memFree=1797424/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=914988 CPUtime=0.08
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 3036 0 1 0 6 2 0 0 22 0 8 0 174677704 936947712 2782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228747 2782 1441 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513182 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 23195
/proc/meminfo: memFree=1797424/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915328 CPUtime=0.48
/proc/23194/stat : 23194 (java) S 23192 23194 21772 0 -1 0 7013 0 1 0 43 5 0 0 16 0 8 0 174677704 937295872 6752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228832 6752 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33427 s]
/proc/loadavg: 1.01 1.00 1.00 3/85 23202
/proc/meminfo: memFree=1773432/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=1.32
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8726 0 1 0 125 7 0 0 16 0 8 0 174677704 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820519 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8464 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.22
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 174677712 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452

[startup+2.97146 s]
/proc/loadavg: 1.01 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773240/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=2.95
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8745 0 1 0 288 7 0 0 17 0 8 0 174677704 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23194/statm: 228863 8482 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452

[startup+6.27183 s]
/proc/loadavg: 1.01 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773112/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=6.24
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8755 0 1 0 617 7 0 0 17 0 8 0 174677704 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8491 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915452

[startup+12.7474 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773120/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=12.71
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8761 0 1 0 1264 7 0 0 24 0 8 0 174677704 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8496 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915452

[startup+25.5988 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773056/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=25.56
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8763 0 1 0 2549 7 0 0 25 0 8 0 174677704 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8498 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915452

[startup+51.2817 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773056/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=51.23
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8768 0 1 0 5116 7 0 0 25 0 8 0 174677704 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8503 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915452

[startup+102.54 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773056/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=102.47
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8773 0 1 0 10240 7 0 0 25 0 8 0 174677704 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8508 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.47
Current children cumulated vsize (KiB) 915452

[startup+162.634 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773056/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=162.55
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8776 0 1 0 16248 7 0 0 25 0 8 0 174677704 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8511 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.55
Current children cumulated vsize (KiB) 915452

[startup+222.733 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1772992/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=222.64
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8778 0 1 0 22256 8 0 0 25 0 8 0 174677704 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8513 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.64
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 228.739
CPU time (s): 228.635
CPU user time (s): 228.545
CPU system time (s): 0.089986
CPU usage (%): 99.9548
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 228.545
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8870
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= 5473
involuntary context switches= 788

runsolver used 0.233964 s user time and 0.58691 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Mon Jan  8 13:27:06 UTC 2007


IDJOB= 221858
IDBENCH= 5470
FILE ID= node9/221858-1168262826

PBS_JOBID= 3482414

Free space on /tmp= 66547 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-49021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221858-1168262826/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-221858-1168262826 -o ROOT/results/node9/solver-221858-1168262826 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221858-1168262826/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  018906158a3534888a95e4e4a84176ab

RANDOM SEED= 153359645

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.231
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.231
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:       1797776 kB
Buffers:         48876 kB
Cached:         108068 kB
SwapCached:        408 kB
Active:         122940 kB
Inactive:        76976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797776 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1908 kB
Writeback:           0 kB
Mapped:          54488 kB
Slab:            43580 kB
Committed_AS:  4951460 kB
PageTables:       1932 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= 66547 MiB



End job on node9 on Mon Jan  8 13:30:54 UTC 2007