Trace number 217751

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACUNSAT 297.752 300.412

DiagnosticValue
CHECKS947463057
NODES55646

General information on the benchmark

NamegolombRuler/golombRulerArity3/
ruler-55-11-a3.xml
MD5SUM6caf16780145de405cd4e27ecb1d3953
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark69.0525
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables66
Number of constraints1595
Maximum constraint arity3
Maximum domain size56
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1595
Global constraints used (with number of constraints)

Solver Data (download as text)

0.42	   
0.42	Abscon 109 (November, 2006)
0.42	   
0.42	   configuration
0.42	     name=esac.xml
0.45	   
0.45	   instance
0.45	     name=/tmp/evaluation/217751-1168248759/unknown.xml
0.48	   
0.48	   domains being loaded...
0.49	   
0.49	   variables being loaded...
0.53	     nbVariables=66  nbDomainTypes=2  minDomainSize=55  maxDomainSize=56
0.53	       =>  wckTime=0.107  cpuTime=0.09  mem=6M951
0.53	   
0.53	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
0.97	     nbConstraints=1595  nbConvertedConstraints=1540  nbConvertConstraintsChecks=6161  nbExtensionStructures=2
0.97	     nbSharedExtensionStructures=1538  nbConflictsStructures=2  nbSharedConflictsStructures=1538
0.97	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=57  nbEvaluationManagers=1
0.97	     nbSharedEvaluationManagers=54  maxDegree=55  maxArity=3
0.97	       =>  wckTime=0.541  cpuTime=0.39  mem=12M803
1.01	   
1.01	   solver IterativeSystematicSolver being built... 
1.19	       =>  wckTime=0.764  cpuTime=0.53  mem=15M232
44.10	   
44.10	   INFO : Stopping ESAC
44.10	   
44.10	   preprocessing
44.10	     nbConstraintChecks=141432163  nbValidityChecks=3398972  nbPropagations=17084  nbRevisions=181623
44.10	     nbUselessRevisions=126362  nbSingletonTests=287  nbEffectiveSingletonTests=10  nbESACBranches=92
44.10	     nbRemovedValues=477  detectedInconsistency=no
44.10	       =>  wckTime=42.913  cpuTime=42.53  mem=15M232
45.75	   
45.75	   search
45.75	     run=0  nbConstraintChecks=5177967  nbValidityChecks=292695  nbPropagations=19769  nbRevisions=210661
45.75	     nbUselessRevisions=147146  nbAssignments=34  nbFailedAssignments=20  nbBacktracks=10  nbVisitedNodes=65
45.75	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
45.75	       =>  wckTime=44.562  cpuTime=44.15  mem=16M224
46.40	   
46.40	   search
46.40	     run=1  nbConstraintChecks=7218515  nbValidityChecks=422943  nbPropagations=40879  nbRevisions=433705
46.40	     nbUselessRevisions=303234  nbAssignments=67  nbFailedAssignments=34  nbBacktracks=26  nbVisitedNodes=117
46.40	     nbRestartNogoods=8  mapSize=15  nbInferences=0  nbTooLargeKeys=0
46.40	       =>  wckTime=45.21  cpuTime=44.78  mem=16M224
49.98	   
49.98	   search
49.98	     run=2  nbConstraintChecks=19169893  nbValidityChecks=872818  nbPropagations=66454  nbRevisions=691839
49.98	     nbUselessRevisions=484896  nbAssignments=150  nbFailedAssignments=63  nbBacktracks=49  nbVisitedNodes=214
49.98	     nbRestartNogoods=16  mapSize=29  nbInferences=0  nbTooLargeKeys=0
49.98	       =>  wckTime=48.788  cpuTime=48.33  mem=16M224
50.79	   
50.79	   search
50.79	     run=3  nbConstraintChecks=21704464  nbValidityChecks=1013695  nbPropagations=94133  nbRevisions=966173
50.79	     nbUselessRevisions=677963  nbAssignments=211  nbFailedAssignments=85  nbBacktracks=84  nbVisitedNodes=307
50.79	     nbRestartNogoods=19  mapSize=42  nbInferences=0  nbTooLargeKeys=0
50.79	       =>  wckTime=49.595  cpuTime=49.13  mem=16M224
55.04	   
55.04	   search
55.04	     run=4  nbConstraintChecks=35753490  nbValidityChecks=1529878  nbPropagations=128451  nbRevisions=1298819
55.04	     nbUselessRevisions=914015  nbAssignments=336  nbFailedAssignments=136  nbBacktracks=137  nbVisitedNodes=499
55.04	     nbRestartNogoods=25  mapSize=77  nbInferences=0  nbTooLargeKeys=0
55.04	       =>  wckTime=53.852  cpuTime=53.34  mem=16M224
58.03	   
58.03	   search
58.03	     run=5  nbConstraintChecks=45494676  nbValidityChecks=2066446  nbPropagations=170697  nbRevisions=1700441
58.03	     nbUselessRevisions=1200464  nbAssignments=516  nbFailedAssignments=213  nbBacktracks=214  nbVisitedNodes=760
58.03	     nbRestartNogoods=33  mapSize=104  nbInferences=0  nbTooLargeKeys=0
58.03	       =>  wckTime=56.841  cpuTime=56.3  mem=16M224
62.05	   
62.05	   search
62.05	     run=6  nbConstraintChecks=58558215  nbValidityChecks=2655797  nbPropagations=224670  nbRevisions=2193666
62.05	     nbUselessRevisions=1554011  nbAssignments=766  nbFailedAssignments=320  nbBacktracks=327  nbVisitedNodes=1144
62.05	     nbRestartNogoods=48  mapSize=154  nbInferences=0  nbTooLargeKeys=0
62.05	       =>  wckTime=60.864  cpuTime=60.3  mem=16M224
64.23	   
64.23	   search
64.23	     run=7  nbConstraintChecks=65585945  nbValidityChecks=3111538  nbPropagations=288459  nbRevisions=2775176
64.23	     nbUselessRevisions=1970651  nbAssignments=1054  nbFailedAssignments=425  nbBacktracks=498  nbVisitedNodes=1585
64.23	     nbRestartNogoods=55  mapSize=221  nbInferences=0  nbTooLargeKeys=0
64.23	       =>  wckTime=63.037  cpuTime=62.45  mem=16M224
66.75	   
66.75	   search
66.75	     run=8  nbConstraintChecks=73443912  nbValidityChecks=3572912  nbPropagations=365997  nbRevisions=3484913
66.75	     nbUselessRevisions=2483019  nbAssignments=1478  nbFailedAssignments=568  nbBacktracks=754  nbVisitedNodes=2215
66.75	     nbRestartNogoods=71  mapSize=307  nbInferences=0  nbTooLargeKeys=0
66.75	       =>  wckTime=65.562  cpuTime=64.94  mem=16M224
74.98	   
74.98	   search
74.98	     run=9  nbConstraintChecks=100919439  nbValidityChecks=5379364  nbPropagations=466985  nbRevisions=4394821
74.98	     nbUselessRevisions=3129555  nbAssignments=2185  nbFailedAssignments=841  nbBacktracks=1139  nbVisitedNodes=3298
74.98	     nbRestartNogoods=83  mapSize=499  nbInferences=0  nbTooLargeKeys=0
74.98	       =>  wckTime=73.789  cpuTime=73.08  mem=16M224
80.73	   
80.73	   search
80.73	     run=10  nbConstraintChecks=120250059  nbValidityChecks=6883584  nbPropagations=595770  nbRevisions=5563665
80.73	     nbUselessRevisions=3946558  nbAssignments=3115  nbFailedAssignments=1177  nbBacktracks=1716  nbVisitedNodes=4741
80.73	     nbRestartNogoods=90  mapSize=737  nbInferences=0  nbTooLargeKeys=0
80.73	       =>  wckTime=79.54  cpuTime=78.78  mem=17M199
84.66	   
84.66	   INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=17M199)
85.27	   
85.27	   search
85.27	     run=11  nbConstraintChecks=134825840  nbValidityChecks=8264116  nbPropagations=770256  nbRevisions=7190700
85.27	     nbUselessRevisions=5090171  nbAssignments=4555  nbFailedAssignments=1734  nbBacktracks=2581  nbVisitedNodes=7003
85.27	     nbRestartNogoods=101
85.27	       =>  wckTime=84.084  cpuTime=83.28  mem=17M199
106.17	   
106.17	   search
106.17	     run=12  nbConstraintChecks=203194364  nbValidityChecks=11981374  nbPropagations=1026878  nbRevisions=9491497
106.17	     nbUselessRevisions=6676295  nbAssignments=6753  nbFailedAssignments=2613  nbBacktracks=3884  nbVisitedNodes=10574
106.17	     nbRestartNogoods=125
106.17	       =>  wckTime=104.986  cpuTime=104.01  mem=17M199
126.20	   
126.20	   search
126.20	     run=13  nbConstraintChecks=268736410  nbValidityChecks=17215394  nbPropagations=1422146  nbRevisions=13125784
126.20	     nbUselessRevisions=9151202  nbAssignments=10243  nbFailedAssignments=4150  nbBacktracks=5833  nbVisitedNodes=16519
126.20	     nbRestartNogoods=130
126.20	       =>  wckTime=125.008  cpuTime=123.86  mem=17M199
157.54	   
157.54	   search
157.54	     run=14  nbConstraintChecks=367144609  nbValidityChecks=24974344  nbPropagations=2072584  nbRevisions=19225162
157.54	     nbUselessRevisions=13355036  nbAssignments=16111  nbFailedAssignments=7093  nbBacktracks=8752  nbVisitedNodes=26893
157.54	     nbRestartNogoods=140
157.54	       =>  wckTime=156.347  cpuTime=154.94  mem=17M199
193.13	   
193.13	   search
193.13	     run=15  nbConstraintChecks=477941527  nbValidityChecks=36179813  nbPropagations=3115179  nbRevisions=29560593
193.13	     nbUselessRevisions=20597155  nbAssignments=25442  nbFailedAssignments=12037  nbBacktracks=13130
193.13	     nbVisitedNodes=43685  nbRestartNogoods=163
193.13	       =>  wckTime=191.944  cpuTime=190.23  mem=17M199
249.28	   
249.28	   search
249.28	     run=16  nbConstraintChecks=651516395  nbValidityChecks=54537971  nbPropagations=4778321  nbRevisions=46388749
249.28	     nbUselessRevisions=32461902  nbAssignments=39739  nbFailedAssignments=19762  nbBacktracks=19698
249.28	     nbVisitedNodes=69715  nbRestartNogoods=182
249.28	       =>  wckTime=248.093  cpuTime=245.89  mem=17M199
300.39	   
300.39	   search
300.39	     run=17  nbConstraintChecks=806030894  nbValidityChecks=71794481  nbPropagations=7072649  nbRevisions=69742327
300.39	     nbUselessRevisions=48979797  nbAssignments=55646  nbFailedAssignments=28549  nbBacktracks=26816
300.39	     nbVisitedNodes=98072  nbRestartNogoods=193
300.39	       =>  wckTime=299.199  cpuTime=296.58  mem=17M199
300.39	   
300.39	   global
300.39	     nbConstraintChecks=947463057  nbValidityChecks=75193453  nbPropagations=7089733  nbRevisions=69923950
300.39	     nbUselessRevisions=49106159  nbRestartNogoods=193  solvingWckTime=299.201  solvingCpuTime=296.58  expiredTime=no
300.39	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=297.16
300.39	       =>  wckTime=299.967  cpuTime=297.11  mem=17M199
300.39	   
300.39	s UNSATISFIABLE
300.39	d NODES 55646
300.39	d CHECKS 947463057
300.39	   
300.39	   totalWckTime=300.053  totalCpuTime=297.16

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-217751-1168248759 -o ROOT/results/node18/solver-217751-1168248759 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217751-1168248759/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.83 1.96 1.98 2/86 20607
/proc/meminfo: memFree=1659864/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=18540 CPUtime=0
/proc/20606/stat : 20606 (runsolver) R 20604 20606 20257 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 173270746 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20606/statm: 4635 279 244 17 0 2626 0

[startup+0.101756 s]
/proc/loadavg: 1.83 1.96 1.98 2/86 20607
/proc/meminfo: memFree=1659864/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=911488 CPUtime=0.06
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 2583 0 1 0 4 2 0 0 20 0 8 0 173270746 933363712 2330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 227872 2330 1270 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.509795 s]
/proc/loadavg: 1.83 1.96 1.98 2/86 20607
/proc/meminfo: memFree=1659864/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915328 CPUtime=0.37
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 5994 0 1 0 33 4 0 0 18 0 8 0 173270746 937295872 5733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153604294 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228832 5733 2133 14 0 215302 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 915328

[startup+1.33087 s]
/proc/loadavg: 1.83 1.96 1.98 3/93 20614
/proc/meminfo: memFree=1636640/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=1.19
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 8848 0 1 0 106 13 0 0 23 0 8 0 173270746 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073766760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 8586 2540 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 17 0 8 0 173270750 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.23
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 406 0 0 0 22 1 0 0 15 0 8 0 173270756 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915576

[startup+2.96902 s]
/proc/loadavg: 1.84 1.96 1.98 3/93 20614
/proc/meminfo: memFree=1635296/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=2.81
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 8859 0 1 0 268 13 0 0 25 0 8 0 173270746 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073766760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 8596 2540 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.25
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 416 0 0 0 24 1 0 0 15 0 8 0 173270756 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 915576

[startup+6.26534 s]
/proc/loadavg: 1.84 1.96 1.98 3/93 20614
/proc/meminfo: memFree=1635168/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=6.08
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 8876 0 1 0 595 13 0 0 25 0 8 0 173270746 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 8610 2542 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 17 0 8 0 173270750 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.26
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 425 0 0 0 25 1 0 0 16 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915576

[startup+12.737 s]
/proc/loadavg: 1.86 1.97 1.98 3/93 20614
/proc/meminfo: memFree=1635168/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=12.5
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 8878 0 1 0 1237 13 0 0 25 0 8 0 173270746 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 8610 2542 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.26
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 426 0 0 0 25 1 0 0 16 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915576

[startup+25.6072 s]
/proc/loadavg: 1.88 1.97 1.98 3/93 20614
/proc/meminfo: memFree=1635232/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=25.26
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 8880 0 1 0 2513 13 0 0 25 0 8 0 173270746 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948848 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 8612 2542 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.26
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 428 0 0 0 25 1 0 0 15 0 8 0 173270756 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915576

[startup+51.2147 s]
/proc/loadavg: 1.92 1.97 1.98 3/93 20614
/proc/meminfo: memFree=1634848/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=50.65
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 9002 0 1 0 5051 14 0 0 25 0 8 0 173270746 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 8731 2543 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.28
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 435 0 0 0 27 1 0 0 16 0 8 0 173270756 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915576

[startup+102.434 s]
/proc/loadavg: 2.02 1.99 1.99 3/93 20614
/proc/meminfo: memFree=1633504/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=101.44
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 9359 0 1 0 10128 16 0 0 25 0 8 0 173270746 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073767520 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 9079 2543 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.32
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 455 0 0 0 31 1 0 0 17 0 8 0 173270756 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915576

[startup+162.497 s]
/proc/loadavg: 2.01 1.99 1.99 3/93 20614
/proc/meminfo: memFree=1633440/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=161.01
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 9368 0 1 0 16085 16 0 0 25 0 8 0 173270746 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 9087 2543 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.32
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 456 0 0 0 31 1 0 0 16 0 8 0 173270756 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 915576

[startup+222.56 s]
/proc/loadavg: 2.05 2.00 1.99 3/93 20614
/proc/meminfo: memFree=1633376/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=220.55
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 9371 0 1 0 22038 17 0 0 25 0 8 0 173270746 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 9090 2543 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.32
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 456 0 0 0 31 1 0 0 16 0 8 0 173270756 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.55
Current children cumulated vsize (KiB) 915576

[startup+282.621 s]
/proc/loadavg: 2.02 2.00 1.99 3/93 20614
/proc/meminfo: memFree=1633376/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=280.1
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 9374 0 1 0 27993 17 0 0 25 0 8 0 173270746 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 9093 2543 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.32
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 456 0 0 0 31 1 0 0 16 0 8 0 173270756 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (KiB) 915576

Child status: 0
Real time (s): 300.412
CPU time (s): 297.752
CPU user time (s): 297.565
CPU system time (s): 0.186971
CPU usage (%): 99.1145
Max. virtual memory (cumulated for all children) (KiB): 915576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 297.565
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9466
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= 7655
involuntary context switches= 13268

runsolver used 0.39394 s user time and 0.945856 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Mon Jan  8 09:32:40 UTC 2007


IDJOB= 217751
IDBENCH= 5169
FILE ID= node18/217751-1168248759

PBS_JOBID= 3481649

Free space on /tmp= 66301 MiB

BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-55-11-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217751-1168248759/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-217751-1168248759 -o ROOT/results/node18/solver-217751-1168248759 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217751-1168248759/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6caf16780145de405cd4e27ecb1d3953

RANDOM SEED= 525140759

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1660280 kB
Buffers:         69024 kB
Cached:         207192 kB
SwapCached:          0 kB
Active:         192224 kB
Inactive:       146848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1660280 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1976 kB
Writeback:           0 kB
Mapped:          85244 kB
Slab:            41564 kB
Committed_AS:  5005360 kB
PageTables:       2040 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= 66301 MiB



End job on node18 on Mon Jan  8 09:37:41 UTC 2007