Trace number 195740

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 ESACSAT 345.468 346.297

DiagnosticValue
CHECKS254099312
NODES217040

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-7_ext.xml
MD5SUM3f9f0987ecc8bd6debbfdcbc6b845084
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.9484
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints74
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension74
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/195740-1168113452/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.43	       =>  wckTime=0.102  cpuTime=0.09  mem=6M951
0.43	   
0.43	   relations being loaded...
1.09	   
1.09	   constraints being loaded...
1.37	     nbConstraints=74  nbRelationTypes=74  nbExtensionStructures=74  nbSharedExtensionStructures=0
1.37	     nbConflictsStructures=74  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.37	       =>  wckTime=1.045  cpuTime=0.91  mem=47M699
1.51	   
1.51	   solver IterativeSystematicSolver being built... 
1.69	       =>  wckTime=1.364  cpuTime=1.06  mem=34M221
1.80	   
1.80	   preprocessing
1.80	     nbConstraintChecks=28135  nbValidityChecks=48489  nbPropagations=205  nbRevisions=2110  nbUselessRevisions=1809
1.80	     nbSingletonTests=32  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.80	       =>  wckTime=0.106  cpuTime=0.08  mem=34M221
1.87	   
1.87	   search
1.87	     run=0  nbConstraintChecks=31432  nbValidityChecks=62220  nbPropagations=571  nbRevisions=6147
1.87	     nbUselessRevisions=5026  nbAssignments=31  nbFailedAssignments=14  nbBacktracks=14  nbVisitedNodes=54
1.87	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
1.87	       =>  wckTime=0.179  cpuTime=0.14  mem=35M224
1.94	   
1.94	   search
1.94	     run=1  nbConstraintChecks=69737  nbValidityChecks=146736  nbPropagations=1639  nbRevisions=18274
1.94	     nbUselessRevisions=14863  nbAssignments=74  nbFailedAssignments=36  nbBacktracks=31  nbVisitedNodes=131
1.94	     nbRestartNogoods=1  mapSize=27  nbInferences=0  nbTooLargeKeys=0
1.94	       =>  wckTime=0.252  cpuTime=0.21  mem=35M224
2.06	   
2.06	   search
2.06	     run=2  nbConstraintChecks=129412  nbValidityChecks=261878  nbPropagations=3380  nbRevisions=38066
2.06	     nbUselessRevisions=30821  nbAssignments=130  nbFailedAssignments=65  nbBacktracks=53  nbVisitedNodes=231
2.06	     nbRestartNogoods=2  mapSize=45  nbInferences=0  nbTooLargeKeys=0
2.06	       =>  wckTime=0.367  cpuTime=0.31  mem=35M224
2.26	   
2.26	   search
2.26	     run=3  nbConstraintChecks=259006  nbValidityChecks=503484  nbPropagations=6260  nbRevisions=72534
2.26	     nbUselessRevisions=58396  nbAssignments=237  nbFailedAssignments=132  nbBacktracks=87  nbVisitedNodes=433
2.26	     nbRestartNogoods=6  mapSize=77  nbInferences=0  nbTooLargeKeys=0
2.26	       =>  wckTime=0.564  cpuTime=0.5  mem=35M224
2.44	   
2.44	   search
2.44	     run=4  nbConstraintChecks=370422  nbValidityChecks=717332  nbPropagations=10465  nbRevisions=122508
2.44	     nbUselessRevisions=98219  nbAssignments=346  nbFailedAssignments=189  nbBacktracks=137  nbVisitedNodes=630
2.44	     nbRestartNogoods=15  mapSize=118  nbInferences=0  nbTooLargeKeys=0
2.44	       =>  wckTime=0.75  cpuTime=0.68  mem=35M224
2.74	   
2.74	   search
2.74	     run=5  nbConstraintChecks=557131  nbValidityChecks=1077804  nbPropagations=16945  nbRevisions=198400
2.74	     nbUselessRevisions=158362  nbAssignments=521  nbFailedAssignments=285  nbBacktracks=213  nbVisitedNodes=951
2.74	     nbRestartNogoods=16  mapSize=182  nbInferences=0  nbTooLargeKeys=0
2.74	       =>  wckTime=1.052  cpuTime=0.97  mem=35M224
3.51	   
3.51	   search
3.51	     run=6  nbConstraintChecks=1047739  nbValidityChecks=2055303  nbPropagations=27401  nbRevisions=328623
3.51	     nbUselessRevisions=261877  nbAssignments=890  nbFailedAssignments=536  nbBacktracks=326  nbVisitedNodes=1664
3.51	     nbRestartNogoods=19  mapSize=293  nbInferences=0  nbTooLargeKeys=0
3.51	       =>  wckTime=1.819  cpuTime=1.74  mem=35M224
4.22	   
4.22	   search
4.22	     run=7  nbConstraintChecks=1499616  nbValidityChecks=2937297  nbPropagations=43229  nbRevisions=521163
4.22	     nbUselessRevisions=414744  nbAssignments=1312  nbFailedAssignments=763  nbBacktracks=496  nbVisitedNodes=2404
4.22	     nbRestartNogoods=34  mapSize=434  nbInferences=0  nbTooLargeKeys=0
4.22	       =>  wckTime=2.528  cpuTime=2.45  mem=35M224
5.82	   
5.82	   search
5.82	     run=8  nbConstraintChecks=2528120  nbValidityChecks=4880717  nbPropagations=67717  nbRevisions=825509
5.82	     nbUselessRevisions=656710  nbAssignments=2032  nbFailedAssignments=1221  nbBacktracks=753  nbVisitedNodes=3773
5.82	     nbRestartNogoods=40  mapSize=670  nbInferences=0  nbTooLargeKeys=0
5.82	       =>  wckTime=4.131  cpuTime=4.02  mem=35M224
7.11	   
7.11	   search
7.11	     run=9  nbConstraintChecks=3351521  nbValidityChecks=6521758  nbPropagations=102611  nbRevisions=1250209
7.11	     nbUselessRevisions=992994  nbAssignments=2862  nbFailedAssignments=1644  nbBacktracks=1137  nbVisitedNodes=5246
7.11	     nbRestartNogoods=51  mapSize=989  nbInferences=0  nbTooLargeKeys=0
7.11	       =>  wckTime=5.423  cpuTime=5.29  mem=35M224
7.29	   
7.29	   INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=35M224)
9.22	   
9.22	   search
9.22	     run=10  nbConstraintChecks=4730133  nbValidityChecks=9232674  nbPropagations=154120  nbRevisions=1859060
9.22	     nbUselessRevisions=1472610  nbAssignments=4183  nbFailedAssignments=2382  nbBacktracks=1716  nbVisitedNodes=7667
9.22	     nbRestartNogoods=62
9.22	       =>  wckTime=7.53  cpuTime=7.38  mem=35M224
14.60	   
14.60	   search
14.60	     run=11  nbConstraintChecks=8311529  nbValidityChecks=16313472  nbPropagations=234568  nbRevisions=2868347
14.60	     nbUselessRevisions=2273828  nbAssignments=6801  nbFailedAssignments=4131  nbBacktracks=2580  nbVisitedNodes=12712
14.60	     nbRestartNogoods=74
14.60	       =>  wckTime=12.909  cpuTime=12.74  mem=35M224
20.56	   
20.56	   search
20.56	     run=12  nbConstraintChecks=12174662  nbValidityChecks=23810488  nbPropagations=355370  nbRevisions=4356105
20.56	     nbUselessRevisions=3451609  nbAssignments=9973  nbFailedAssignments=5988  nbBacktracks=3878  nbVisitedNodes=18589
20.56	     nbRestartNogoods=87
20.56	       =>  wckTime=18.865  cpuTime=18.66  mem=35M224
27.80	   
27.80	   search
27.80	     run=13  nbConstraintChecks=16917809  nbValidityChecks=33108334  nbPropagations=531166  nbRevisions=6455204
27.80	     nbUselessRevisions=5105264  nbAssignments=14139  nbFailedAssignments=8204  nbBacktracks=5824  nbVisitedNodes=26235
27.80	     nbRestartNogoods=94
27.80	       =>  wckTime=26.114  cpuTime=25.87  mem=35M224
42.26	   
42.26	   search
42.26	     run=14  nbConstraintChecks=27068668  nbValidityChecks=52827744  nbPropagations=794176  nbRevisions=9723471
42.26	     nbUselessRevisions=7693212  nbAssignments=21574  nbFailedAssignments=12715  nbBacktracks=8744  nbVisitedNodes=40251
42.26	     nbRestartNogoods=101
42.26	       =>  wckTime=40.569  cpuTime=40.26  mem=35M224
56.46	   
56.46	   search
56.46	     run=15  nbConstraintChecks=37084091  nbValidityChecks=72620771  nbPropagations=1181264  nbRevisions=14376436
56.46	     nbUselessRevisions=11364523  nbAssignments=30891  nbFailedAssignments=17648  nbBacktracks=13123
56.46	     nbVisitedNodes=57182  nbRestartNogoods=110
56.46	       =>  wckTime=54.769  cpuTime=54.39  mem=35M224
87.83	   
87.84	   search
87.84	     run=16  nbConstraintChecks=60287479  nbValidityChecks=117570618  nbPropagations=1796102  nbRevisions=21922068
87.84	     nbUselessRevisions=17327525  nbAssignments=50062  nbFailedAssignments=30229  nbBacktracks=19691
87.84	     nbVisitedNodes=93584  nbRestartNogoods=135
87.84	       =>  wckTime=86.145  cpuTime=85.59  mem=35M224
119.71	   
119.71	   search
119.71	     run=17  nbConstraintChecks=83707264  nbValidityChecks=163613805  nbPropagations=2687201  nbRevisions=32625206
119.71	     nbUselessRevisions=25768134  nbAssignments=70193  nbFailedAssignments=40502  nbBacktracks=29544
119.71	     nbVisitedNodes=130011  nbRestartNogoods=146
119.71	       =>  wckTime=118.021  cpuTime=117.44  mem=35M224
184.75	   
184.75	   search
184.75	     run=18  nbConstraintChecks=134406600  nbValidityChecks=261213443  nbPropagations=4038239  nbRevisions=49478759
184.75	     nbUselessRevisions=39169149  nbAssignments=110081  nbFailedAssignments=65582  nbBacktracks=44323
184.75	     nbVisitedNodes=205324  nbRestartNogoods=168
184.75	       =>  wckTime=183.059  cpuTime=182.38  mem=35M224
252.73	   
252.73	   search
252.73	     run=19  nbConstraintChecks=184934623  nbValidityChecks=360692886  nbPropagations=6010594  nbRevisions=73279564
252.73	     nbUselessRevisions=58004277  nbAssignments=156696  nbFailedAssignments=90023  nbBacktracks=66491
252.73	     nbVisitedNodes=290220  nbRestartNogoods=192
252.73	       =>  wckTime=251.043  cpuTime=250.27  mem=35M224
346.24	   
346.24	   search
346.24	     run=20  nbConstraintChecks=254071177  nbValidityChecks=496944597  nbPropagations=8796971  nbRevisions=106375383
346.24	     nbUselessRevisions=84127448  nbAssignments=217040  nbFailedAssignments=121938  nbBacktracks=94896
346.24	     nbVisitedNodes=400339  nbRestartNogoods=215
346.24	       =>  wckTime=344.547  cpuTime=343.66  mem=35M224
346.24	   
346.24	   global
346.24	     nbConstraintChecks=254099312  nbValidityChecks=496993086  nbPropagations=8797176  nbRevisions=106377493
346.24	     nbUselessRevisions=84129257  nbRestartNogoods=215  solvingWckTime=344.548  solvingCpuTime=343.66  expiredTime=no
346.24	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=344.77
346.24	       =>  wckTime=345.916  cpuTime=344.72  mem=35M224
346.24	   
346.24	s SATISFIABLE
346.24	v 1 3 12 21 2 21 23 11 19 16 20 3 12 7 17 12 11 11 12 15 4 7 11 18 
346.24	d NODES 217040
346.24	d CHECKS 254099312
346.24	   
346.24	   totalWckTime=346.0  totalCpuTime=344.77

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node61/watcher-195740-1168113452 -o ROOT/results/node61/solver-195740-1168113452 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195740-1168113452/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.43 1.29 1.54 2/81 19349
/proc/meminfo: memFree=1173720/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=9948 CPUtime=0
/proc/19348/stat : 19348 (java) S 19346 19348 18663 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 159743109 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/19348/statm: 2487 472 386 14 0 1142 0

[startup+0.103239 s]
/proc/loadavg: 1.43 1.29 1.54 2/81 19349
/proc/meminfo: memFree=1173720/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=914988 CPUtime=0.08
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 2967 0 1 0 6 2 0 0 17 0 8 0 159743109 936947712 2713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228747 2713 1419 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512313 s]
/proc/loadavg: 1.43 1.29 1.54 2/81 19349
/proc/meminfo: memFree=1173720/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915328 CPUtime=0.49
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 7267 0 1 0 44 5 0 0 19 0 8 0 159743109 937295872 7006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073556602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228832 7006 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34146 s]
/proc/loadavg: 1.43 1.29 1.54 3/88 19356
/proc/meminfo: memFree=1106336/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915328 CPUtime=1.32
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 19118 0 1 0 120 12 0 0 25 0 8 0 159743109 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625332 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228832 18856 2160 14 0 215302 0
[pid=19348/tid=19350] ppid=19346 vsize=915328 CPUtime=0.06
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 2657 0 0 0 5 1 0 0 17 0 8 0 159743113 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915328 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915328 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 159743114 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915328 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915328 CPUtime=0.09
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 319 0 0 0 9 0 0 0 16 0 8 0 159743117 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915328 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915328 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915328

[startup+2.98074 s]
/proc/loadavg: 1.43 1.29 1.54 3/88 19356
/proc/meminfo: memFree=1090336/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=2.95
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23407 0 1 0 280 15 0 0 25 0 8 0 159743109 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228854 23143 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 17 0 8 0 159743113 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.21
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 370 0 0 0 20 1 0 0 15 0 8 0 159743117 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915416

[startup+6.28232 s]
/proc/loadavg: 1.47 1.31 1.55 3/88 19356
/proc/meminfo: memFree=1089120/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=6.23
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23422 0 1 0 607 16 0 0 25 0 8 0 159743109 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228854 23155 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 17 0 8 0 159743113 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.23
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 384 0 0 0 22 1 0 0 15 0 8 0 159743117 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915416

[startup+12.7675 s]
/proc/loadavg: 1.52 1.32 1.55 3/88 19356
/proc/meminfo: memFree=1087456/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=12.68
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23427 0 1 0 1252 16 0 0 25 0 8 0 159743109 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228854 23159 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915416

[startup+25.6387 s]
/proc/loadavg: 1.69 1.37 1.56 3/88 19356
/proc/meminfo: memFree=1084448/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=25.5
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 2533 17 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915416

[startup+51.2722 s]
/proc/loadavg: 1.86 1.43 1.58 3/88 19356
/proc/meminfo: memFree=1028128/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=51
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 5083 17 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915416

[startup+102.532 s]
/proc/loadavg: 1.87 1.50 1.59 3/79 19421
/proc/meminfo: memFree=1012072/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=102.05
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 10184 21 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749975 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 915416

[startup+162.549 s]
/proc/loadavg: 1.95 1.59 1.61 3/80 19428
/proc/meminfo: memFree=909088/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=162
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 16179 21 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 915416

[startup+222.563 s]
/proc/loadavg: 2.01 1.67 1.64 3/87 19503
/proc/meminfo: memFree=897992/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=221.91
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 22165 26 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630176 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.91
Current children cumulated vsize (KiB) 915416

[startup+282.601 s]
/proc/loadavg: 2.04 1.75 1.66 3/87 19595
/proc/meminfo: memFree=897896/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=281.87
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 28149 38 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.87
Current children cumulated vsize (KiB) 915416

[startup+342.637 s]
/proc/loadavg: 2.01 1.79 1.68 3/81 19627
/proc/meminfo: memFree=898968/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=341.84
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 34143 41 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630183 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.84
Current children cumulated vsize (KiB) 915416

Child status: 0
Real time (s): 346.297
CPU time (s): 345.468
CPU user time (s): 345.04
CPU system time (s): 0.428934
CPU usage (%): 99.7607
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 345.04
system time used= 0.428934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23436
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= 8105
involuntary context switches= 5222

runsolver used 0.45693 s user time and 1.08983 s system time

The end

Launcher Data (download as text)

Begin job on node61 on Sat Jan  6 19:57:33 UTC 2007


IDJOB= 195740
IDBENCH= 3298
FILE ID= node61/195740-1168113452

PBS_JOBID= 3477406

Free space on /tmp= 66504 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195740-1168113452/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-195740-1168113452 -o ROOT/results/node61/solver-195740-1168113452 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195740-1168113452/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3f9f0987ecc8bd6debbfdcbc6b845084

RANDOM SEED= 205727079

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1174072 kB
Buffers:         55872 kB
Cached:         653980 kB
SwapCached:          0 kB
Active:         232356 kB
Inactive:       563976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1174072 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4640 kB
Writeback:           0 kB
Mapped:         105424 kB
Slab:            70608 kB
Committed_AS:  3950964 kB
PageTables:       1976 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= 66500 MiB



End job on node61 on Sat Jan  6 20:03:19 UTC 2007