Trace number 208463

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 173.057 175.158

DiagnosticValue
CHECKS1046911372
NODES823526

General information on the benchmark

Namerandom/rand-2-40-19-fcd/
rand-2-40-19-443-230-fcd-35_ext.xml
MD5SUMfec419f8420a70dd65f42166152302ec
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark54.1358
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints343
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension343
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.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/208463-1168187751/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.43	       =>  wckTime=0.103  cpuTime=0.08  mem=6M951
0.43	   
0.43	   relations being loaded...
0.54	   
0.54	   constraints being loaded...
0.65	     nbConstraints=343  nbRelationTypes=343  nbExtensionStructures=343  nbSharedExtensionStructures=0
0.65	     nbConflictsStructures=343  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=3071  maxDegree=21
0.66	     maxArity=2
0.66	       =>  wckTime=0.328  cpuTime=0.23  mem=12M804
0.70	   
0.70	   solver IterativeSystematicSolver being built... 
0.86	       =>  wckTime=0.536  cpuTime=0.37  mem=15M21
0.92	   
0.92	   preprocessing
0.92	     nbConstraintChecks=67617  nbPropagations=940  nbRevisions=6845  nbUselessRevisions=5550  nbSingletonTests=50
0.92	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
0.92	       =>  wckTime=0.051  cpuTime=0.03  mem=15M21
0.95	   
0.95	   search
0.95	     run=0  nbConstraintChecks=44281  nbPropagations=1564  nbRevisions=14422  nbUselessRevisions=11649  nbAssignments=31
0.95	     nbFailedAssignments=10  nbBacktracks=12  nbVisitedNodes=49  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.95	     nbTooLargeKeys=0
0.95	       =>  wckTime=0.081  cpuTime=0.05  mem=15M21
0.96	   
0.96	   search
0.96	     run=1  nbConstraintChecks=84177  nbPropagations=3700  nbRevisions=35842  nbUselessRevisions=28978  nbAssignments=65
0.96	     nbFailedAssignments=20  nbBacktracks=28  nbVisitedNodes=100  nbRestartNogoods=5  mapSize=21  nbInferences=0
0.96	     nbTooLargeKeys=0
0.97	       =>  wckTime=0.098  cpuTime=0.07  mem=15M21
0.98	   
0.98	   search
0.98	     run=2  nbConstraintChecks=139642  nbPropagations=6623  nbRevisions=66962  nbUselessRevisions=54068
0.98	     nbAssignments=108  nbFailedAssignments=32  nbBacktracks=51  nbVisitedNodes=170  nbRestartNogoods=7  mapSize=42
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.115  cpuTime=0.08  mem=15M21
1.00	   
1.00	   search
1.00	     run=3  nbConstraintChecks=231147  nbPropagations=10797  nbRevisions=115132  nbUselessRevisions=93127
1.00	     nbAssignments=179  nbFailedAssignments=59  nbBacktracks=85  nbVisitedNodes=289  nbRestartNogoods=9  mapSize=74
1.00	     nbInferences=0  nbTooLargeKeys=0
1.00	       =>  wckTime=0.134  cpuTime=0.1  mem=15M21
1.02	   
1.02	   search
1.02	     run=4  nbConstraintChecks=330773  nbPropagations=16386  nbRevisions=181699  nbUselessRevisions=147196
1.02	     nbAssignments=266  nbFailedAssignments=86  nbBacktracks=135  nbVisitedNodes=430  nbRestartNogoods=14  mapSize=114
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.157  cpuTime=0.12  mem=15M21
1.06	   
1.06	   search
1.06	     run=5  nbConstraintChecks=507311  nbPropagations=24442  nbRevisions=277686  nbUselessRevisions=224979
1.06	     nbAssignments=408  nbFailedAssignments=126  nbBacktracks=210  nbVisitedNodes=638  nbRestartNogoods=19  mapSize=179
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.197  cpuTime=0.16  mem=15M21
1.11	   
1.11	   search
1.11	     run=6  nbConstraintChecks=738337  nbPropagations=35818  nbRevisions=419352  nbUselessRevisions=340371
1.11	     nbAssignments=593  nbFailedAssignments=192  nbBacktracks=323  nbVisitedNodes=953  nbRestartNogoods=23  mapSize=272
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.243  cpuTime=0.21  mem=15M21
1.19	   
1.19	   search
1.19	     run=7  nbConstraintChecks=1101994  nbPropagations=52496  nbRevisions=637053  nbUselessRevisions=518130
1.19	     nbAssignments=897  nbFailedAssignments=319  nbBacktracks=493  nbVisitedNodes=1488  nbRestartNogoods=27  mapSize=419
1.19	     nbInferences=0  nbTooLargeKeys=0
1.19	       =>  wckTime=0.322  cpuTime=0.28  mem=15M21
1.29	   
1.29	   search
1.29	     run=8  nbConstraintChecks=1584938  nbPropagations=75989  nbRevisions=947388  nbUselessRevisions=770237
1.29	     nbAssignments=1299  nbFailedAssignments=456  nbBacktracks=750  nbVisitedNodes=2167  nbRestartNogoods=34
1.29	     mapSize=624  nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.422  cpuTime=0.37  mem=15M21
1.45	   
1.45	   search
1.45	     run=9  nbConstraintChecks=2322704  nbPropagations=110178  nbRevisions=1406375  nbUselessRevisions=1143887
1.45	     nbAssignments=1930  nbFailedAssignments=679  nbBacktracks=1135  nbVisitedNodes=3207  nbRestartNogoods=44
1.45	     mapSize=940  nbInferences=0  nbTooLargeKeys=0
1.45	       =>  wckTime=0.58  cpuTime=0.51  mem=15M21
1.49	   
1.49	   INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M21)
1.66	   
1.66	   search
1.66	     run=10  nbConstraintChecks=3492471  nbPropagations=160941  nbRevisions=2098935  nbUselessRevisions=1708350
1.66	     nbAssignments=2866  nbFailedAssignments=1031  nbBacktracks=1712  nbVisitedNodes=4822  nbRestartNogoods=49
1.66	       =>  wckTime=0.795  cpuTime=0.71  mem=15M21
1.94	   
1.94	   search
1.94	     run=11  nbConstraintChecks=5088574  nbPropagations=235030  nbRevisions=3123698  nbUselessRevisions=2544630
1.94	     nbAssignments=4241  nbFailedAssignments=1532  nbBacktracks=2578  nbVisitedNodes=7170  nbRestartNogoods=52
1.94	       =>  wckTime=1.07  cpuTime=0.98  mem=15M21
2.39	   
2.39	   search
2.39	     run=12  nbConstraintChecks=7780479  nbPropagations=346667  nbRevisions=4687542  nbUselessRevisions=3819347
2.39	     nbAssignments=6367  nbFailedAssignments=2352  nbBacktracks=3877  nbVisitedNodes=10834  nbRestartNogoods=57
2.39	       =>  wckTime=1.522  cpuTime=1.42  mem=15M21
3.05	   
3.05	   search
3.05	     run=13  nbConstraintChecks=11755031  nbPropagations=514372  nbRevisions=7045846  nbUselessRevisions=5741536
3.05	     nbAssignments=9545  nbFailedAssignments=3577  nbBacktracks=5823  nbVisitedNodes=16302  nbRestartNogoods=61
3.05	       =>  wckTime=2.188  cpuTime=2.08  mem=15M21
4.08	   
4.08	   search
4.08	     run=14  nbConstraintChecks=18059828  nbPropagations=768809  nbRevisions=10595177  nbUselessRevisions=8621869
4.08	     nbAssignments=14336  nbFailedAssignments=5443  nbBacktracks=8743  nbVisitedNodes=24575  nbRestartNogoods=67
4.08	       =>  wckTime=3.216  cpuTime=3.1  mem=15M21
5.54	   
5.54	   search
5.54	     run=15  nbConstraintChecks=26734721  nbPropagations=1146387  nbRevisions=15899939  nbUselessRevisions=12934471
5.54	     nbAssignments=21465  nbFailedAssignments=8184  nbBacktracks=13126  nbVisitedNodes=36815  nbRestartNogoods=76
5.54	       =>  wckTime=4.671  cpuTime=4.55  mem=15M21
7.75	   
7.75	   search
7.75	     run=16  nbConstraintChecks=39592532  nbPropagations=1709939  nbRevisions=23861762  nbUselessRevisions=19419657
7.75	     nbAssignments=32357  nbFailedAssignments=12497  nbBacktracks=19696  nbVisitedNodes=55636  nbRestartNogoods=83
7.75	       =>  wckTime=6.881  cpuTime=6.74  mem=15M21
11.38	   
11.39	   search
11.39	     run=17  nbConstraintChecks=61772158  nbPropagations=2573271  nbRevisions=36113910  nbUselessRevisions=29394155
11.39	     nbAssignments=48832  nbFailedAssignments=19109  nbBacktracks=29550  nbVisitedNodes=84337  nbRestartNogoods=94
11.39	       =>  wckTime=10.519  cpuTime=10.34  mem=15M996
16.14	   
16.14	   search
16.14	     run=18  nbConstraintChecks=89862872  nbPropagations=3835214  nbRevisions=53984907  nbUselessRevisions=43945403
16.14	     nbAssignments=72060  nbFailedAssignments=27512  nbBacktracks=44329  nbVisitedNodes=123757  nbRestartNogoods=106
16.14	       =>  wckTime=15.278  cpuTime=15.05  mem=15M996
23.43	   
23.43	   search
23.43	     run=19  nbConstraintChecks=133492929  nbPropagations=5717282  nbRevisions=80522070  nbUselessRevisions=65536001
23.43	     nbAssignments=107698  nbFailedAssignments=40972  nbBacktracks=66500  nbVisitedNodes=184932  nbRestartNogoods=111
23.43	       =>  wckTime=22.565  cpuTime=22.27  mem=15M996
35.38	   
35.38	   search
35.38	     run=20  nbConstraintChecks=205565960  nbPropagations=8596071  nbRevisions=121334904  nbUselessRevisions=98771939
35.38	     nbAssignments=163201  nbFailedAssignments=63215  nbBacktracks=99753  nbVisitedNodes=281525  nbRestartNogoods=121
35.38	       =>  wckTime=34.513  cpuTime=34.1  mem=15M996
51.97	   
51.97	   search
51.97	     run=21  nbConstraintChecks=303955862  nbPropagations=12871947  nbRevisions=182006530  nbUselessRevisions=148214492
51.97	     nbAssignments=243318  nbFailedAssignments=93448  nbBacktracks=149631  nbVisitedNodes=419192  nbRestartNogoods=138
51.97	       =>  wckTime=51.106  cpuTime=50.53  mem=15M996
78.96	   
78.96	   search
78.96	     run=22  nbConstraintChecks=469005376  nbPropagations=19386663  nbRevisions=274577433  nbUselessRevisions=223579976
78.96	     nbAssignments=367495  nbFailedAssignments=142800  nbBacktracks=224449  nbVisitedNodes=635051  nbRestartNogoods=152
78.96	       =>  wckTime=78.098  cpuTime=77.16  mem=15M996
117.30	   
117.31	   search
117.31	     run=23  nbConstraintChecks=697631317  nbPropagations=29111135  nbRevisions=413307535  nbUselessRevisions=336672967
117.31	     nbAssignments=549798  nbFailedAssignments=212868  nbBacktracks=336676  nbVisitedNodes=949382  nbRestartNogoods=167
117.31	       =>  wckTime=116.439  cpuTime=115.02  mem=15M996
174.96	   
174.96	   search
174.96	     run=24  nbConstraintChecks=1046051535  nbPropagations=43651365  nbRevisions=620433962  nbUselessRevisions=505404092
174.96	     nbAssignments=822858  nbFailedAssignments=317577  nbBacktracks=505021  nbVisitedNodes=1419775  nbRestartNogoods=183
174.96	       =>  wckTime=174.092  cpuTime=171.97  mem=15M996
175.09	   
175.09	   search
175.09	     run=25  nbConstraintChecks=1046843755  nbPropagations=58202922  nbRevisions=827720508  nbUselessRevisions=674266476
175.09	     nbAssignments=823526  nbFailedAssignments=317807  nbBacktracks=505419  nbVisitedNodes=1420877  nbRestartNogoods=197
175.09	       =>  wckTime=174.228  cpuTime=172.1  mem=15M996
175.10	   
175.10	   global
175.10	     nbConstraintChecks=1046911372  nbPropagations=58203862  nbRevisions=827727353  nbUselessRevisions=674272026
175.10	     nbRestartNogoods=197  solvingWckTime=174.229  solvingCpuTime=172.1  expiredTime=no  totalExploration=no
175.10	     nbFoundSolutions=1  globalCpuTime=172.53
175.10	       =>  wckTime=174.769  cpuTime=172.47  mem=15M996
175.10	   
175.10	s SATISFIABLE
175.10	v 4 5 15 12 11 18 6 7 5 13 0 15 2 9 8 0 17 7 14 1 2 13 4 5 12 14 15 2 17 9 16 1 14 2 12 14 16 2 2 6 
175.10	d NODES 823526
175.10	d CHECKS 1046911372
175.10	   
175.10	   totalWckTime=174.855  totalCpuTime=172.54

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-208463-1168187751 -o ROOT/results/node15/solver-208463-1168187751 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208463-1168187751/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: 2.03 2.01 2.00 4/98 20276
/proc/meminfo: memFree=1543904/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=906644 CPUtime=0.02
/proc/20275/stat : 20275 (java) S 20273 20275 19387 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 167169952 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 226661 1818 1036 14 0 214244 0
[pid=20275/tid=20277] ppid=20273 vsize=906644 CPUtime=0
/proc/20275/task/20277/stat : 20277 (java) R 20273 20275 19387 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 167169955 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.102727 s]
/proc/loadavg: 2.03 2.01 2.00 4/98 20276
/proc/meminfo: memFree=1543904/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=914988 CPUtime=0.08
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 2974 0 1 0 7 1 0 0 17 0 8 0 167169952 936947712 2720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228747 2720 1421 14 0 215242 0
[pid=20275/tid=20277] ppid=20273 vsize=914988 CPUtime=0
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 167169955 936947712 2720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514799 s]
/proc/loadavg: 2.03 2.01 2.00 4/98 20276
/proc/meminfo: memFree=1543904/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915328 CPUtime=0.49
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 6698 0 1 0 45 4 0 0 18 0 8 0 167169952 937295872 6437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228832 6437 2137 14 0 215302 0
[pid=20275/tid=20277] ppid=20273 vsize=915328 CPUtime=0
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 167169955 937295872 6437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34394 s]
/proc/loadavg: 2.03 2.01 2.00 3/105 20283
/proc/meminfo: memFree=1519976/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=1.31
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8734 0 1 0 125 6 0 0 24 0 8 0 167169952 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8472 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.22
/proc/20275/task/20281/stat : 20281 (java) R 20273 20275 19387 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 167169959 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152958166 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456

[startup+2.98122 s]
/proc/loadavg: 2.03 2.01 2.00 3/105 20283
/proc/meminfo: memFree=1519656/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=2.93
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8773 0 1 0 286 7 0 0 25 0 8 0 167169952 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8510 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 167169959 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456

[startup+6.27678 s]
/proc/loadavg: 2.03 2.01 2.00 3/105 20283
/proc/meminfo: memFree=1519528/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=6.2
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8780 0 1 0 613 7 0 0 25 0 8 0 167169952 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8517 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 167169959 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456

[startup+12.7549 s]
/proc/loadavg: 2.03 2.01 2.00 3/105 20283
/proc/meminfo: memFree=1519656/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=12.61
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8787 0 1 0 1254 7 0 0 25 0 8 0 167169952 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8523 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 167169959 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456

[startup+25.6051 s]
/proc/loadavg: 2.02 2.01 2.00 3/105 20283
/proc/meminfo: memFree=1519720/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=25.35
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8792 0 1 0 2528 7 0 0 25 0 8 0 167169952 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8528 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 167169959 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915456

[startup+51.236 s]
/proc/loadavg: 2.01 2.01 2.00 3/105 20283
/proc/meminfo: memFree=1519656/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=50.71
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8794 0 1 0 5064 7 0 0 25 0 8 0 167169952 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8530 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 167169959 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915456

[startup+102.46 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 20283
/proc/meminfo: memFree=1450536/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=101.28
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8799 0 1 0 10120 8 0 0 25 0 8 0 167169952 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8535 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 167169959 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.28
Current children cumulated vsize (KiB) 915456

[startup+162.545 s]
/proc/loadavg: 2.00 2.00 2.00 4/105 20283
/proc/meminfo: memFree=1450536/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=160.6
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8802 0 1 0 16052 8 0 0 25 0 8 0 167169952 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8538 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 167169959 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.6
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 175.158
CPU time (s): 173.057
CPU user time (s): 172.961
CPU system time (s): 0.095985
CPU usage (%): 98.8005
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.961
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8896
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= 4667
involuntary context switches= 13470

runsolver used 0.421935 s user time and 0.78388 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sun Jan  7 16:35:51 UTC 2007


IDJOB= 208463
IDBENCH= 4396
FILE ID= node15/208463-1168187751

PBS_JOBID= 3478943

Free space on /tmp= 66326 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208463-1168187751/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-208463-1168187751 -o ROOT/results/node15/solver-208463-1168187751 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208463-1168187751/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  fec419f8420a70dd65f42166152302ec

RANDOM SEED= 654152642

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:       1544320 kB
Buffers:         66640 kB
Cached:         251864 kB
SwapCached:       6400 kB
Active:         239616 kB
Inactive:       214672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1544320 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:            1888 kB
Writeback:           0 kB
Mapped:         155052 kB
Slab:            41452 kB
Committed_AS:  5422332 kB
PageTables:       2632 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= 66326 MiB



End job on node15 on Sun Jan  7 16:38:46 UTC 2007