Trace number 247477

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 283.768 284.013

DiagnosticValue
CHECKS93368732
NODES217455

General information on the benchmark

Namerandom/rand-8-20-5/
rand-8-20-5-18-800-1_ext.xml
MD5SUM6c2ec320160e3910acae4606bd2d6fff
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 benchmark155.889
SatisfiableYES
(Un)Satisfiability was proved
Number of variables20
Number of constraints18
Maximum constraint arity8
Maximum domain size5
Number of constraints which are defined in extension18
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/247477-1168392789/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=20  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.40	       =>  wckTime=0.1  cpuTime=0.09  mem=6M951
0.40	   
0.40	   relations being loaded...
3.93	   
3.94	   INFO : Contraction of relations, mem = 103M208
6.16	   
6.16	   constraints being loaded...
9.47	     nbConstraints=18  nbRelationTypes=18  nbExtensionStructures=18  nbSharedExtensionStructures=0
9.47	     nbConflictsStructures=18  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=11  maxArity=8
9.47	       =>  wckTime=9.167  cpuTime=7.44  mem=229M637
10.30	   
10.30	   solver IterativeSystematicSolver being built... 
10.46	       =>  wckTime=10.162  cpuTime=7.58  mem=143M841
10.51	   
10.51	   preprocessing
10.51	     nbConstraintChecks=4402  nbValidityChecks=8261  nbPropagations=55  nbRevisions=1027  nbUselessRevisions=988
10.51	     nbSingletonTests=23  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
10.51	       =>  wckTime=0.046  cpuTime=0.03  mem=143M841
10.57	   
10.57	   search
10.57	     run=0  nbConstraintChecks=10542  nbValidityChecks=17664  nbPropagations=197  nbRevisions=3383
10.57	     nbUselessRevisions=3047  nbAssignments=31  nbFailedAssignments=11  nbBacktracks=14  nbVisitedNodes=51
10.57	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
10.57	       =>  wckTime=0.101  cpuTime=0.08  mem=143M841
10.62	   
10.62	   search
10.62	     run=1  nbConstraintChecks=22872  nbValidityChecks=38915  nbPropagations=573  nbRevisions=9644
10.62	     nbUselessRevisions=8562  nbAssignments=66  nbFailedAssignments=24  nbBacktracks=29  nbVisitedNodes=109
10.62	     nbRestartNogoods=1  mapSize=24  nbInferences=0  nbTooLargeKeys=0
10.62	       =>  wckTime=0.154  cpuTime=0.12  mem=143M841
10.71	   
10.71	   search
10.71	     run=2  nbConstraintChecks=47838  nbValidityChecks=80946  nbPropagations=1282  nbRevisions=21396
10.71	     nbUselessRevisions=18787  nbAssignments=129  nbFailedAssignments=57  nbBacktracks=52  nbVisitedNodes=219
10.71	     nbRestartNogoods=3  mapSize=44  nbInferences=0  nbTooLargeKeys=0
10.71	       =>  wckTime=0.248  cpuTime=0.21  mem=143M841
10.83	   
10.83	   search
10.83	     run=3  nbConstraintChecks=81160  nbValidityChecks=134134  nbPropagations=2415  nbRevisions=39880
10.83	     nbUselessRevisions=34836  nbAssignments=204  nbFailedAssignments=91  nbBacktracks=85  nbVisitedNodes=347
10.83	     nbRestartNogoods=6  mapSize=72  nbInferences=0  nbTooLargeKeys=0
10.83	       =>  wckTime=0.361  cpuTime=0.32  mem=143M841
10.99	   
10.99	   search
10.99	     run=4  nbConstraintChecks=131327  nbValidityChecks=212679  nbPropagations=4239  nbRevisions=68472
10.99	     nbUselessRevisions=59555  nbAssignments=315  nbFailedAssignments=144  nbBacktracks=136  nbVisitedNodes=546
10.99	     nbRestartNogoods=10  mapSize=117  nbInferences=0  nbTooLargeKeys=0
10.99	       =>  wckTime=0.525  cpuTime=0.48  mem=143M841
11.19	   
11.19	   search
11.19	     run=5  nbConstraintChecks=191603  nbValidityChecks=314422  nbPropagations=6889  nbRevisions=110735
11.19	     nbUselessRevisions=96218  nbAssignments=477  nbFailedAssignments=209  nbBacktracks=211  nbVisitedNodes=801
11.19	     nbRestartNogoods=17  mapSize=173  nbInferences=0  nbTooLargeKeys=0
11.19	       =>  wckTime=0.727  cpuTime=0.68  mem=143M841
11.49	   
11.49	   search
11.49	     run=6  nbConstraintChecks=283486  nbValidityChecks=466897  nbPropagations=10855  nbRevisions=173506
11.49	     nbUselessRevisions=150314  nbAssignments=719  nbFailedAssignments=331  nbBacktracks=324  nbVisitedNodes=1229
11.49	     nbRestartNogoods=21  mapSize=264  nbInferences=0  nbTooLargeKeys=0
11.49	       =>  wckTime=1.02  cpuTime=0.96  mem=143M841
11.86	   
11.86	   search
11.86	     run=7  nbConstraintChecks=405159  nbValidityChecks=678383  nbPropagations=16613  nbRevisions=266866
11.86	     nbUselessRevisions=230968  nbAssignments=1048  nbFailedAssignments=483  nbBacktracks=496  nbVisitedNodes=1794
11.86	     nbRestartNogoods=26  mapSize=397  nbInferences=0  nbTooLargeKeys=0
11.86	       =>  wckTime=1.399  cpuTime=1.34  mem=143M841
12.51	   
12.51	   search
12.51	     run=8  nbConstraintChecks=605999  nbValidityChecks=1011467  nbPropagations=25226  nbRevisions=405693
12.51	     nbUselessRevisions=350973  nbAssignments=1531  nbFailedAssignments=703  nbBacktracks=752  nbVisitedNodes=2642
12.51	     nbRestartNogoods=30  mapSize=606  nbInferences=0  nbTooLargeKeys=0
12.51	       =>  wckTime=2.042  cpuTime=1.96  mem=143M841
13.47	   
13.47	   search
13.47	     run=9  nbConstraintChecks=915653  nbValidityChecks=1529941  nbPropagations=38399  nbRevisions=615678
13.47	     nbUselessRevisions=532356  nbAssignments=2267  nbFailedAssignments=1035  nbBacktracks=1137  nbVisitedNodes=3932
13.47	     nbRestartNogoods=38  mapSize=931  nbInferences=0  nbTooLargeKeys=0
13.47	       =>  wckTime=3.009  cpuTime=2.92  mem=143M841
13.75	   
13.75	   INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=143M841)
14.80	   
14.80	   search
14.80	     run=10  nbConstraintChecks=1334104  nbValidityChecks=2235501  nbPropagations=57891  nbRevisions=923469
14.80	     nbUselessRevisions=798136  nbAssignments=3340  nbFailedAssignments=1524  nbBacktracks=1714  nbVisitedNodes=5809
14.80	     nbRestartNogoods=40
14.80	       =>  wckTime=4.338  cpuTime=4.23  mem=143M841
16.81	   
16.81	   search
16.81	     run=11  nbConstraintChecks=2017025  nbValidityChecks=3355435  nbPropagations=87230  nbRevisions=1383398
16.81	     nbUselessRevisions=1194941  nbAssignments=5002  nbFailedAssignments=2315  nbBacktracks=2578  nbVisitedNodes=8756
16.81	     nbRestartNogoods=50
16.81	       =>  wckTime=6.343  cpuTime=6.24  mem=143M841
19.86	   
19.86	   search
19.86	     run=12  nbConstraintChecks=3061784  nbValidityChecks=5070186  nbPropagations=131520  nbRevisions=2074474
19.86	     nbUselessRevisions=1790472  nbAssignments=7535  nbFailedAssignments=3542  nbBacktracks=3875  nbVisitedNodes=13253
19.86	     nbRestartNogoods=60
19.86	       =>  wckTime=9.39  cpuTime=9.29  mem=143M841
24.80	   
24.80	   search
24.80	     run=13  nbConstraintChecks=4759101  nbValidityChecks=7845925  nbPropagations=199417  nbRevisions=3136701
24.80	     nbUselessRevisions=2704865  nbAssignments=11487  nbFailedAssignments=5540  nbBacktracks=5822  nbVisitedNodes=20358
24.80	     nbRestartNogoods=71
24.80	       =>  wckTime=14.334  cpuTime=14.23  mem=143M841
32.13	   
32.13	   search
32.13	     run=14  nbConstraintChecks=7229338  nbValidityChecks=11912206  nbPropagations=302299  nbRevisions=4750635
32.13	     nbUselessRevisions=4095047  nbAssignments=17275  nbFailedAssignments=8402  nbBacktracks=8741  nbVisitedNodes=30731
32.13	     nbRestartNogoods=80
32.13	       =>  wckTime=21.667  cpuTime=21.55  mem=143M841
42.70	   
42.70	   search
42.70	     run=15  nbConstraintChecks=10814161  nbValidityChecks=17823299  nbPropagations=456688  nbRevisions=7170141
42.70	     nbUselessRevisions=6178985  nbAssignments=25758  nbFailedAssignments=12499  nbBacktracks=13120
42.70	     nbVisitedNodes=45878  nbRestartNogoods=90
42.70	       =>  wckTime=32.231  cpuTime=32.11  mem=144M505
58.52	   
58.52	   search
58.52	     run=16  nbConstraintChecks=16261925  nbValidityChecks=26687809  nbPropagations=687412  nbRevisions=10770584
58.52	     nbUselessRevisions=9276661  nbAssignments=38626  nbFailedAssignments=18791  nbBacktracks=19688
58.52	     nbVisitedNodes=68848  nbRestartNogoods=104
58.52	       =>  wckTime=48.053  cpuTime=47.92  mem=144M505
82.69	   
82.69	   search
82.69	     run=17  nbConstraintChecks=24506308  nbValidityChecks=40172545  nbPropagations=1035009  nbRevisions=16187774
82.69	     nbUselessRevisions=13937208  nbAssignments=57824  nbFailedAssignments=28132  nbBacktracks=29540
82.69	     nbVisitedNodes=103271  nbRestartNogoods=117
82.69	       =>  wckTime=72.229  cpuTime=72.08  mem=144M505
118.33	   
118.33	   search
118.33	     run=18  nbConstraintChecks=36841838  nbValidityChecks=60163887  nbPropagations=1551030  nbRevisions=24252290
118.33	     nbUselessRevisions=20872756  nbAssignments=87035  nbFailedAssignments=42557  nbBacktracks=44318
118.33	     nbVisitedNodes=155269  nbRestartNogoods=126
118.33	       =>  wckTime=107.863  cpuTime=107.7  mem=144M505
174.47	   
174.47	   search
174.47	     run=19  nbConstraintChecks=56106266  nbValidityChecks=91497511  nbPropagations=2339355  nbRevisions=36539402
174.47	     nbUselessRevisions=31434785  nbAssignments=130727  nbFailedAssignments=64074  nbBacktracks=66486
174.47	     nbVisitedNodes=233999  nbRestartNogoods=141
174.47	       =>  wckTime=164.0  cpuTime=163.79  mem=144M505
257.35	   
257.35	   search
257.35	     run=20  nbConstraintChecks=84407736  nbValidityChecks=137623510  nbPropagations=3522855  nbRevisions=54998992
257.35	     nbUselessRevisions=47303005  nbAssignments=196634  nbFailedAssignments=96722  nbBacktracks=99739
257.35	     nbVisitedNodes=351977  nbRestartNogoods=150
257.35	       =>  wckTime=246.887  cpuTime=246.63  mem=144M505
283.96	   
283.96	   search
283.96	     run=21  nbConstraintChecks=93364330  nbValidityChecks=152381060  nbPropagations=4834877  nbRevisions=75468507
283.96	     nbUselessRevisions=64902887  nbAssignments=217455  nbFailedAssignments=106956  nbBacktracks=110306
283.96	     nbVisitedNodes=389396  nbRestartNogoods=158
283.96	       =>  wckTime=273.497  cpuTime=273.21  mem=144M505
283.96	   
283.96	   global
283.96	     nbConstraintChecks=93368732  nbValidityChecks=152389321  nbPropagations=4834932  nbRevisions=75469534
283.96	     nbUselessRevisions=64903875  nbRestartNogoods=158  solvingWckTime=273.498  solvingCpuTime=273.21  expiredTime=no
283.96	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=280.84
283.96	       =>  wckTime=283.662  cpuTime=280.79  mem=144M505
283.97	   
283.97	s SATISFIABLE
283.97	v 1 0 2 2 3 2 4 1 2 4 3 3 1 3 0 1 0 2 4 2 
283.97	d NODES 217455
283.97	d CHECKS 93368732
283.97	   
283.97	   totalWckTime=283.738  totalCpuTime=280.85

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/node15/watcher-247477-1168392789 -o ROOT/results/node15/solver-247477-1168392789 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247477-1168392789/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.03 1.65 1.86 3/78 18201
/proc/meminfo: memFree=1703312/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=18540 CPUtime=0
/proc/18200/stat : 18200 (runsolver) R 18198 18200 17678 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 187673825 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/18200/statm: 4635 279 244 17 0 2626 0

[startup+0.103579 s]
/proc/loadavg: 1.03 1.65 1.86 3/78 18201
/proc/meminfo: memFree=1703312/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=914988 CPUtime=0.08
/proc/18200/stat : 18200 (java) S 18198 18200 17678 0 -1 0 2997 0 1 0 7 1 0 0 23 0 8 0 187673825 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511642 s]
/proc/loadavg: 1.03 1.65 1.86 3/78 18201
/proc/meminfo: memFree=1703312/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915328 CPUtime=0.47
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 9862 0 1 0 42 5 0 0 17 0 8 0 187673825 937295872 9601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18200/statm: 228832 9602 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33278 s]
/proc/loadavg: 1.03 1.65 1.86 2/85 18208
/proc/meminfo: memFree=1632984/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915328 CPUtime=1.29
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 19898 0 1 0 120 9 0 0 19 0 8 0 187673825 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18200/statm: 228832 19636 2147 14 0 215302 0
[pid=18200/tid=18202] ppid=18198 vsize=915328 CPUtime=0.03
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 3487 0 0 0 3 0 0 0 17 0 8 0 187673829 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 9 0 0 0 0 0 0 0 21 0 8 0 187673830 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 187673830 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915328 CPUtime=0.06
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 304 0 0 0 6 0 0 0 16 0 8 0 187673833 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328

[startup+2.98407 s]
/proc/loadavg: 1.03 1.65 1.86 2/85 18208
/proc/meminfo: memFree=1609624/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915328 CPUtime=2.94
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 30341 0 1 0 280 14 0 0 18 0 8 0 187673825 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18200/statm: 228832 30075 2147 14 0 215302 0
[pid=18200/tid=18202] ppid=18198 vsize=915328 CPUtime=0.21
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 13924 0 0 0 16 5 0 0 16 0 8 0 187673829 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 9 0 0 0 0 0 0 0 21 0 8 0 187673830 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 187673830 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915328 CPUtime=0.06
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 306 0 0 0 6 0 0 0 16 0 8 0 187673833 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937295872 30075 18446744073709551615 134512640 134570532 4294956464 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) 915328

[startup+6.27483 s]
/proc/loadavg: 1.11 1.66 1.86 2/85 18208
/proc/meminfo: memFree=1556376/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=6.23
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 40793 0 1 0 603 20 0 0 16 0 8 0 187673825 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073636296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18200/statm: 228850 38946 2160 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=0.92
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 24338 0 0 0 83 9 0 0 16 0 8 0 187673829 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.08
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 315 0 0 0 8 0 0 0 16 0 8 0 187673833 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915400

[startup+12.7699 s]
/proc/loadavg: 1.10 1.65 1.86 2/85 18208
/proc/meminfo: memFree=1462560/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=12.7
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64503 0 1 0 1240 30 0 0 17 0 8 0 187673825 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62647 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 17 0 8 0 187673829 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.19
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 383 0 0 0 19 0 0 0 15 0 8 0 187673833 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915400

[startup+25.6051 s]
/proc/loadavg: 1.08 1.62 1.84 2/85 18208
/proc/meminfo: memFree=1462560/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=25.53
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64512 0 1 0 2522 31 0 0 25 0 8 0 187673825 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62653 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 16 0 8 0 187673829 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.2
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 390 0 0 0 20 0 0 0 16 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915400

[startup+51.3015 s]
/proc/loadavg: 1.12 1.58 1.83 2/85 18208
/proc/meminfo: memFree=1462368/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=51.2
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64512 0 1 0 5089 31 0 0 25 0 8 0 187673825 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62653 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 16 0 8 0 187673829 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.2
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 390 0 0 0 20 0 0 0 16 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915400

[startup+102.585 s]
/proc/loadavg: 1.05 1.49 1.78 2/85 18208
/proc/meminfo: memFree=1462432/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=102.46
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64512 0 1 0 10215 31 0 0 25 0 8 0 187673825 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62653 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 16 0 8 0 187673829 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.2
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 390 0 0 0 20 0 0 0 16 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915400

[startup+162.604 s]
/proc/loadavg: 1.02 1.40 1.73 2/85 18208
/proc/meminfo: memFree=1462432/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=162.44
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64512 0 1 0 16213 31 0 0 25 0 8 0 187673825 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761581 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62653 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 16 0 8 0 187673829 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.2
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 390 0 0 0 20 0 0 0 16 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.44
Current children cumulated vsize (KiB) 915400

[startup+222.626 s]
/proc/loadavg: 1.00 1.32 1.68 2/85 18208
/proc/meminfo: memFree=1462368/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=222.42
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64512 0 1 0 22211 31 0 0 25 0 8 0 187673825 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62653 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 16 0 8 0 187673829 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.2
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 390 0 0 0 20 0 0 0 16 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.42
Current children cumulated vsize (KiB) 915400

[startup+282.652 s]
/proc/loadavg: 1.00 1.26 1.63 2/85 18208
/proc/meminfo: memFree=1462304/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=282.4
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64512 0 1 0 28209 31 0 0 25 0 8 0 187673825 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62653 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 16 0 8 0 187673829 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.2
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 390 0 0 0 20 0 0 0 16 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.4
Current children cumulated vsize (KiB) 915400

Child status: 0
Real time (s): 284.013
CPU time (s): 283.768
CPU user time (s): 283.412
CPU system time (s): 0.355945
CPU usage (%): 99.9136
Max. virtual memory (cumulated for all children) (KiB): 919404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.412
system time used= 0.355945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64520
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= 6660
involuntary context switches= 11456

runsolver used 0.365944 s user time and 0.6559 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Wed Jan 10 01:33:10 UTC 2007


IDJOB= 247477
IDBENCH= 11130
FILE ID= node15/247477-1168392789

PBS_JOBID= 3522782

Free space on /tmp= 66541 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247477-1168392789/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-247477-1168392789 -o ROOT/results/node15/solver-247477-1168392789 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247477-1168392789/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6c2ec320160e3910acae4606bd2d6fff

RANDOM SEED= 526667056

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.276
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.276
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:       1703792 kB
Buffers:         40484 kB
Cached:         226092 kB
SwapCached:       5900 kB
Active:         195136 kB
Inactive:       101980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1703792 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:           23748 kB
Writeback:           0 kB
Mapped:          40388 kB
Slab:            40364 kB
Committed_AS:  6405928 kB
PageTables:       2000 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= 66541 MiB



End job on node15 on Wed Jan 10 01:37:54 UTC 2007