Trace number 231949

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 503.625 503.93

DiagnosticValue
CHECKS3369245681
NODES2272965

General information on the benchmark

Namerandom/rand-2-25/
rand-25-25-300-147-50021_ext.xml
MD5SUM6e0cd599045b4119b48c7ab3c5e0399c
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 benchmark134.869
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables25
Number of constraints300
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension300
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/231949-1168318871/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=25  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.39	       =>  wckTime=0.095  cpuTime=0.07  mem=6M951
0.39	   
0.39	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.61	     nbConstraints=300  nbRelationTypes=300  nbExtensionStructures=300  nbSharedExtensionStructures=0
0.61	     nbConflictsStructures=300  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=896  maxDegree=24
0.61	     maxArity=2
0.61	       =>  wckTime=0.313  cpuTime=0.22  mem=13M778
0.65	   
0.65	   solver IterativeSystematicSolver being built... 
0.79	       =>  wckTime=0.5  cpuTime=0.34  mem=15M170
0.84	   
0.84	   preprocessing
0.84	     nbConstraintChecks=55193  nbPropagations=664  nbRevisions=6600  nbUselessRevisions=5787  nbSingletonTests=33
0.84	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.84	       =>  wckTime=0.041  cpuTime=0.03  mem=15M170
0.86	   
0.86	   search
0.86	     run=0  nbConstraintChecks=48890  nbPropagations=1202  nbRevisions=16373  nbUselessRevisions=14310  nbAssignments=28
0.86	     nbFailedAssignments=12  nbBacktracks=11  nbVisitedNodes=50  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.86	     nbTooLargeKeys=0
0.86	       =>  wckTime=0.066  cpuTime=0.05  mem=15M170
0.88	   
0.88	   search
0.88	     run=1  nbConstraintChecks=101190  nbPropagations=2966  nbRevisions=42961  nbUselessRevisions=37492
0.88	     nbAssignments=65  nbFailedAssignments=28  nbBacktracks=26  nbVisitedNodes=113  nbRestartNogoods=5  mapSize=26
0.88	     nbInferences=0  nbTooLargeKeys=0
0.88	       =>  wckTime=0.081  cpuTime=0.06  mem=15M170
0.89	   
0.89	   search
0.89	     run=2  nbConstraintChecks=164713  nbPropagations=5462  nbRevisions=82893  nbUselessRevisions=72220
0.89	     nbAssignments=111  nbFailedAssignments=47  nbBacktracks=48  nbVisitedNodes=195  nbRestartNogoods=8  mapSize=48
0.89	     nbInferences=0  nbTooLargeKeys=0
0.89	       =>  wckTime=0.098  cpuTime=0.08  mem=15M170
0.92	   
0.92	   search
0.92	     run=3  nbConstraintChecks=265790  nbPropagations=9070  nbRevisions=144520  nbUselessRevisions=125805
0.92	     nbAssignments=184  nbFailedAssignments=81  nbBacktracks=81  nbVisitedNodes=327  nbRestartNogoods=10  mapSize=81
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.121  cpuTime=0.09  mem=15M170
0.95	   
0.95	   search
0.95	     run=4  nbConstraintChecks=435437  nbPropagations=14516  nbRevisions=240024  nbUselessRevisions=208833
0.95	     nbAssignments=296  nbFailedAssignments=127  nbBacktracks=131  nbVisitedNodes=510  nbRestartNogoods=15  mapSize=131
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.149  cpuTime=0.12  mem=15M170
0.99	   
0.99	   search
0.99	     run=5  nbConstraintChecks=645087  nbPropagations=22311  nbRevisions=382410  nbUselessRevisions=332643
0.99	     nbAssignments=457  nbFailedAssignments=208  nbBacktracks=207  nbVisitedNodes=804  nbRestartNogoods=19  mapSize=205
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.19  cpuTime=0.16  mem=15M170
1.04	   
1.04	   search
1.04	     run=6  nbConstraintChecks=964988  nbPropagations=33622  nbRevisions=595666  nbUselessRevisions=518019
1.04	     nbAssignments=685  nbFailedAssignments=317  nbBacktracks=321  nbVisitedNodes=1226  nbRestartNogoods=23  mapSize=317
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.245  cpuTime=0.21  mem=15M170
1.13	   
1.13	   search
1.13	     run=7  nbConstraintChecks=1473163  nbPropagations=50356  nbRevisions=920299  nbUselessRevisions=800095
1.13	     nbAssignments=1035  nbFailedAssignments=491  nbBacktracks=491  nbVisitedNodes=1878  nbRestartNogoods=28
1.13	     mapSize=485  nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.331  cpuTime=0.29  mem=15M170
1.27	   
1.27	   search
1.27	     run=8  nbConstraintChecks=2237289  nbPropagations=75191  nbRevisions=1412772  nbUselessRevisions=1228332
1.27	     nbAssignments=1557  nbFailedAssignments=751  nbBacktracks=747  nbVisitedNodes=2854  nbRestartNogoods=34
1.27	     mapSize=738  nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.475  cpuTime=0.43  mem=15M170
1.41	   
1.41	   INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=15M170)
1.45	   
1.45	   search
1.45	     run=9  nbConstraintChecks=3283702  nbPropagations=111341  nbRevisions=2138426  nbUselessRevisions=1859463
1.45	     nbAssignments=2316  nbFailedAssignments=1121  nbBacktracks=1131  nbVisitedNodes=4262  nbRestartNogoods=41
1.45	       =>  wckTime=0.649  cpuTime=0.59  mem=15M170
1.71	   
1.71	   search
1.71	     run=10  nbConstraintChecks=4910640  nbPropagations=164798  nbRevisions=3224220  nbUselessRevisions=2804317
1.71	     nbAssignments=3449  nbFailedAssignments=1673  nbBacktracks=1708  nbVisitedNodes=6349  nbRestartNogoods=51
1.71	       =>  wckTime=0.909  cpuTime=0.84  mem=15M170
2.07	   
2.07	   search
2.07	     run=11  nbConstraintChecks=7265930  nbPropagations=244017  nbRevisions=4839250  nbUselessRevisions=4208993
2.07	     nbAssignments=5173  nbFailedAssignments=2527  nbBacktracks=2572  nbVisitedNodes=9558  nbRestartNogoods=55
2.07	       =>  wckTime=1.272  cpuTime=1.2  mem=15M170
2.65	   
2.65	   search
2.65	     run=12  nbConstraintChecks=11129802  nbPropagations=363666  nbRevisions=7305012  nbUselessRevisions=6354096
2.65	     nbAssignments=7794  nbFailedAssignments=3845  nbBacktracks=3869  nbVisitedNodes=14449  nbRestartNogoods=68
2.65	       =>  wckTime=1.853  cpuTime=1.78  mem=15M170
3.48	   
3.48	   search
3.48	     run=13  nbConstraintChecks=16563961  nbPropagations=542032  nbRevisions=10986778  nbUselessRevisions=9558584
3.48	     nbAssignments=11650  nbFailedAssignments=5735  nbBacktracks=5816  nbVisitedNodes=21619  nbRestartNogoods=83
3.48	       =>  wckTime=2.683  cpuTime=2.61  mem=15M170
4.71	   
4.71	   search
4.71	     run=14  nbConstraintChecks=24589509  nbPropagations=807240  nbRevisions=16487789  nbUselessRevisions=14352182
4.71	     nbAssignments=17372  nbFailedAssignments=8532  nbBacktracks=8735  nbVisitedNodes=32253  nbRestartNogoods=94
4.71	       =>  wckTime=3.916  cpuTime=3.84  mem=15M170
6.62	   
6.62	   search
6.62	     run=15  nbConstraintChecks=37173911  nbPropagations=1206689  nbRevisions=24795478  nbUselessRevisions=21592221
6.62	     nbAssignments=26073  nbFailedAssignments=12851  nbBacktracks=13114  nbVisitedNodes=48520  nbRestartNogoods=104
6.62	       =>  wckTime=5.822  cpuTime=5.75  mem=15M170
9.47	   
9.47	   search
9.47	     run=16  nbConstraintChecks=55911056  nbPropagations=1805119  nbRevisions=37248824  nbUselessRevisions=32441142
9.47	     nbAssignments=38944  nbFailedAssignments=19147  nbBacktracks=19683  nbVisitedNodes=72540  nbRestartNogoods=117
9.47	       =>  wckTime=8.673  cpuTime=8.58  mem=15M170
13.63	   
13.63	   search
13.63	     run=17  nbConstraintChecks=83530477  nbPropagations=2698628  nbRevisions=55832549  nbUselessRevisions=48628891
13.63	     nbAssignments=58196  nbFailedAssignments=28541  nbBacktracks=29535  nbVisitedNodes=108386  nbRestartNogoods=127
13.63	       =>  wckTime=12.829  cpuTime=12.72  mem=15M170
19.86	   
19.86	   search
19.86	     run=18  nbConstraintChecks=124847835  nbPropagations=4035135  nbRevisions=83650849  nbUselessRevisions=72866173
19.86	     nbAssignments=87068  nbFailedAssignments=42630  nbBacktracks=44314  nbVisitedNodes=162144  nbRestartNogoods=140
19.86	       =>  wckTime=19.066  cpuTime=18.94  mem=15M170
29.32	   
29.32	   search
29.32	     run=19  nbConstraintChecks=187087803  nbPropagations=6037462  nbRevisions=125383344  nbUselessRevisions=109232699
29.32	     nbAssignments=130408  nbFailedAssignments=63797  nbBacktracks=66482  nbVisitedNodes=242882  nbRestartNogoods=151
29.32	       =>  wckTime=28.523  cpuTime=28.38  mem=15M170
43.67	   
43.67	   search
43.67	     run=20  nbConstraintChecks=282953581  nbPropagations=9051100  nbRevisions=188388317  nbUselessRevisions=164149378
43.67	     nbAssignments=195772  nbFailedAssignments=95903  nbBacktracks=99736  nbVisitedNodes=364821  nbRestartNogoods=167
43.67	       =>  wckTime=42.876  cpuTime=42.72  mem=15M170
65.19	   
65.19	   search
65.19	     run=21  nbConstraintChecks=425919881  nbPropagations=13577711  nbRevisions=283161911  nbUselessRevisions=246769976
65.19	     nbAssignments=293999  nbFailedAssignments=144246  nbBacktracks=149615  nbVisitedNodes=548019  nbRestartNogoods=184
65.19	       =>  wckTime=64.393  cpuTime=64.21  mem=15M170
97.35	   
97.35	   search
97.35	     run=22  nbConstraintChecks=640324308  nbPropagations=20366666  nbRevisions=425514351  nbUselessRevisions=370888308
97.35	     nbAssignments=441225  nbFailedAssignments=216648  nbBacktracks=224433  nbVisitedNodes=822188  nbRestartNogoods=208
97.35	       =>  wckTime=96.557  cpuTime=96.33  mem=15M170
145.95	   
145.95	   search
145.95	     run=23  nbConstraintChecks=965085998  nbPropagations=30569769  nbRevisions=640074614  nbUselessRevisions=558026595
145.95	     nbAssignments=661872  nbFailedAssignments=325063  nbBacktracks=336661  nbVisitedNodes=1233409  nbRestartNogoods=222
145.95	       =>  wckTime=145.157  cpuTime=144.92  mem=15M170
218.64	   
218.64	   search
218.64	     run=24  nbConstraintChecks=1450417312  nbPropagations=45887933  nbRevisions=962610639  nbUselessRevisions=839387978
218.64	     nbAssignments=992935  nbFailedAssignments=487779  nbBacktracks=505002  nbVisitedNodes=1850817  nbRestartNogoods=240
218.64	       =>  wckTime=217.842  cpuTime=217.6  mem=15M170
329.16	   
329.16	   search
329.16	     run=25  nbConstraintChecks=2193735845  nbPropagations=68938757  nbRevisions=1449624996
329.16	     nbUselessRevisions=1264331462  nbAssignments=1490139  nbFailedAssignments=732467  nbBacktracks=757513
329.16	     nbVisitedNodes=2778396  nbRestartNogoods=261
329.16	       =>  wckTime=328.368  cpuTime=328.09  mem=15M170
495.34	   
495.34	   search
495.34	     run=26  nbConstraintChecks=3311254856  nbPropagations=103593482  nbRevisions=2184426633
495.34	     nbUselessRevisions=1905719366  nbAssignments=2235575  nbFailedAssignments=1099131  nbBacktracks=1136281
495.34	     nbVisitedNodes=4168839  nbRestartNogoods=276
495.34	       =>  wckTime=494.547  cpuTime=494.23  mem=15M170
503.87	   
503.87	   search
503.87	     run=27  nbConstraintChecks=3369190488  nbPropagations=138837417  nbRevisions=2931967461
503.87	     nbUselessRevisions=2558236416  nbAssignments=2272965  nbFailedAssignments=1117795  nbBacktracks=1155008
503.87	     nbVisitedNodes=4238822  nbRestartNogoods=290
503.87	       =>  wckTime=503.071  cpuTime=502.76  mem=15M170
503.87	   
503.87	   global
503.87	     nbConstraintChecks=3369245681  nbPropagations=138838081  nbRevisions=2931974061  nbUselessRevisions=2558242203
503.87	     nbRestartNogoods=290  solvingWckTime=503.072  solvingCpuTime=502.76  expiredTime=no  totalExploration=yes
503.87	     nbFoundSolutions=0  globalCpuTime=503.16
503.87	       =>  wckTime=503.575  cpuTime=503.1  mem=15M170
503.87	   
503.87	s UNSATISFIABLE
503.87	d NODES 2272965
503.87	d CHECKS 3369245681
503.87	   
503.87	   totalWckTime=503.652  totalCpuTime=503.17

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/node52/watcher-231949-1168318871 -o ROOT/results/node52/solver-231949-1168318871 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231949-1168318871/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.30 0.74 1.09 3/74 21500
/proc/meminfo: memFree=1483696/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=308 CPUtime=0
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 234 0 0 0 0 0 0 0 19 0 1 0 180285991 315392 40 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4309924 0 0 4096 0 0 0 0 17 1 0 0
/proc/21499/statm: 374 46 36 14 0 7 0

[startup+0.107245 s]
/proc/loadavg: 0.30 0.74 1.09 3/74 21500
/proc/meminfo: memFree=1483696/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915848 CPUtime=0.09
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 3084 0 1 0 7 2 0 0 16 0 8 0 180285991 937828352 2830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 228962 2830 1457 14 0 215457 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 915848

[startup+0.515269 s]
/proc/loadavg: 0.30 0.74 1.09 3/74 21500
/proc/meminfo: memFree=1483696/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916076 CPUtime=0.49
/proc/21499/stat : 21499 (java) S 21497 21499 21039 0 -1 0 7143 0 1 0 44 5 0 0 16 0 8 0 180285991 938061824 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21499/statm: 229019 6882 2138 14 0 215489 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916076

[startup+1.33633 s]
/proc/loadavg: 0.30 0.74 1.09 2/81 21507
/proc/meminfo: memFree=1459448/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=1.31
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8785 0 1 0 124 7 0 0 16 0 8 0 180285991 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8523 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 17 0 8 0 180285994 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.19
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 391 0 0 0 19 0 0 0 16 0 8 0 180285998 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916216

[startup+2.97443 s]
/proc/loadavg: 0.36 0.74 1.09 2/81 21518
/proc/meminfo: memFree=1459128/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=2.94
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8793 0 1 0 287 7 0 0 17 0 8 0 180285991 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806341 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8529 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.2
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 397 0 0 0 20 0 0 0 15 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 916216

[startup+6.17665 s]
/proc/loadavg: 0.36 0.74 1.09 2/81 21562
/proc/meminfo: memFree=1458616/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=6.14
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8793 0 1 0 607 7 0 0 18 0 8 0 180285991 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8529 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.2
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 916216

[startup+12.6441 s]
/proc/loadavg: 0.54 0.77 1.09 3/94 21600
/proc/meminfo: memFree=1448072/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=12.58
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8793 0 1 0 1251 7 0 0 25 0 8 0 180285991 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8529 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.2
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 916216

[startup+25.502 s]
/proc/loadavg: 0.76 0.81 1.10 3/94 21628
/proc/meminfo: memFree=1448144/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=25.41
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8799 0 1 0 2534 7 0 0 25 0 8 0 180285991 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812485 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8534 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.2
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 180285998 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8534 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) 916216

[startup+51.1097 s]
/proc/loadavg: 1.18 0.90 1.13 3/94 21648
/proc/meminfo: memFree=1448216/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=50.99
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8804 0 1 0 5092 7 0 0 25 0 8 0 180285991 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787798 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8539 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.2
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 180285998 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 916216

[startup+102.41 s]
/proc/loadavg: 1.67 1.08 1.17 3/88 21690
/proc/meminfo: memFree=1449224/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=102.23
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8810 0 1 0 10215 8 0 0 25 0 8 0 180285991 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8545 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 916216

[startup+162.431 s]
/proc/loadavg: 1.88 1.25 1.22 3/88 21690
/proc/meminfo: memFree=1449224/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=162.24
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8812 0 1 0 16216 8 0 0 25 0 8 0 180285991 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792205 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8547 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 916216

[startup+222.491 s]
/proc/loadavg: 1.95 1.38 1.27 3/88 21690
/proc/meminfo: memFree=1449224/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=222.29
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8815 0 1 0 22221 8 0 0 25 0 8 0 180285991 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8550 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 916216

[startup+282.551 s]
/proc/loadavg: 2.05 1.51 1.32 3/88 21690
/proc/meminfo: memFree=1449224/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=282.33
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8815 0 1 0 28225 8 0 0 25 0 8 0 180285991 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8550 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 916216

[startup+342.609 s]
/proc/loadavg: 2.02 1.59 1.36 3/88 21690
/proc/meminfo: memFree=1449224/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=342.37
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8817 0 1 0 34229 8 0 0 25 0 8 0 180285991 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787782 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8552 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.37
Current children cumulated vsize (KiB) 916216

[startup+402.658 s]
/proc/loadavg: 2.07 1.68 1.40 3/88 21690
/proc/meminfo: memFree=1449232/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=402.42
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8817 0 1 0 40233 9 0 0 25 0 8 0 180285991 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8552 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.42
Current children cumulated vsize (KiB) 916216

[startup+462.689 s]
/proc/loadavg: 2.02 1.74 1.43 3/88 21690
/proc/meminfo: memFree=1449232/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=462.43
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8817 0 1 0 46234 9 0 0 25 0 8 0 180285991 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8552 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.43
Current children cumulated vsize (KiB) 916216

Child status: 0
Real time (s): 503.93
CPU time (s): 503.625
CPU user time (s): 503.527
CPU system time (s): 0.097985
CPU usage (%): 99.9396
Max. virtual memory (cumulated for all children) (KiB): 916216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 503.527
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8909
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= 10989
involuntary context switches= 1841

runsolver used 0.563914 s user time and 1.38479 s system time

The end

Launcher Data (download as text)

Begin job on node52 on Tue Jan  9 05:01:14 UTC 2007


IDJOB= 231949
IDBENCH= 6493
FILE ID= node52/231949-1168318871

PBS_JOBID= 3502853

Free space on /tmp= 66557 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-50021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231949-1168318871/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-231949-1168318871 -o ROOT/results/node52/solver-231949-1168318871 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231949-1168318871/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6e0cd599045b4119b48c7ab3c5e0399c

RANDOM SEED= 897326852

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.232
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.232
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:       1484056 kB
Buffers:         72464 kB
Cached:         417816 kB
SwapCached:          0 kB
Active:         197452 kB
Inactive:       313688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1484056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1988 kB
Writeback:           0 kB
Mapped:          31516 kB
Slab:            45944 kB
Committed_AS:  4166304 kB
PageTables:       1952 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= 66557 MiB



End job on node52 on Tue Jan  9 05:09:39 UTC 2007