Trace number 198760

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 240.339 242.612

DiagnosticValue
CHECKS735592897
NODES686974

General information on the benchmark

Namerlfap/rlfapScens11/
scen11-f3.xml
MD5SUMef05de44bc17daaf25b5294ac4693534
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark53.3299
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables680
Number of constraints4103
Maximum constraint arity2
Maximum domain size41
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4103
Global constraints used (with number of constraints)

Solver Data (download as text)

0.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=esac.xml
0.44	   
0.44	   instance
0.44	     name=/tmp/evaluation/198760-1168130789/unknown.xml
0.47	   
0.47	   domains being loaded...
0.48	   
0.48	   variables being loaded...
0.58	     nbVariables=680  nbDomainTypes=5  minDomainSize=6  maxDomainSize=41
0.58	       =>  wckTime=0.176  cpuTime=0.13  mem=8M837
0.58	   
0.58	   predicates being loaded...
0.58	   
0.58	   constraints being loaded...
1.35	     nbConstraints=4103  nbConvertedConstraints=4103  nbConvertConstraintsChecks=206531  nbExtensionStructures=173
1.35	     nbSharedExtensionStructures=3930  nbConflictsStructures=173  nbSharedConflictsStructures=3930
1.35	     nbSharedBinaryRepresentations=11469  maxDegree=62  maxArity=2
1.35	       =>  wckTime=0.951  cpuTime=0.76  mem=29M316
1.43	   
1.43	   solver IterativeSystematicSolver being built... 
1.64	       =>  wckTime=1.241  cpuTime=0.93  mem=20M301
1.86	   
1.86	   preprocessing
1.86	     nbConstraintChecks=286865  nbPropagations=4698  nbRevisions=11665  nbUselessRevisions=5969  nbSingletonTests=725
1.86	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=1664  detectedInconsistency=no
1.86	       =>  wckTime=0.217  cpuTime=0.19  mem=20M301
1.93	   
1.93	   search
1.93	     run=0  nbConstraintChecks=50942  nbPropagations=5243  nbRevisions=14421  nbUselessRevisions=7484  nbAssignments=46
1.93	     nbFailedAssignments=12  nbBacktracks=10  nbVisitedNodes=62  nbRestartNogoods=0  mapSize=4  nbInferences=0
1.93	     nbTooLargeKeys=0
1.93	       =>  wckTime=0.284  cpuTime=0.25  mem=21M276
1.96	   
1.96	   search
1.96	     run=1  nbConstraintChecks=120983  nbPropagations=11206  nbRevisions=33028  nbUselessRevisions=17422
1.96	     nbAssignments=102  nbFailedAssignments=28  nbBacktracks=26  nbVisitedNodes=141  nbRestartNogoods=2  mapSize=12
1.96	     nbInferences=0  nbTooLargeKeys=0
1.96	       =>  wckTime=0.313  cpuTime=0.27  mem=21M276
1.99	   
1.99	   search
1.99	     run=2  nbConstraintChecks=211389  nbPropagations=18001  nbRevisions=57656  nbUselessRevisions=31127
1.99	     nbAssignments=175  nbFailedAssignments=59  nbBacktracks=48  nbVisitedNodes=256  nbRestartNogoods=3  mapSize=23
1.99	     nbInferences=0  nbTooLargeKeys=0
1.99	       =>  wckTime=0.347  cpuTime=0.3  mem=21M276
2.04	   
2.04	   search
2.04	     run=3  nbConstraintChecks=324346  nbPropagations=25799  nbRevisions=90120  nbUselessRevisions=49521
2.04	     nbAssignments=273  nbFailedAssignments=105  nbBacktracks=82  nbVisitedNodes=415  nbRestartNogoods=6  mapSize=40
2.04	     nbInferences=0  nbTooLargeKeys=0
2.04	       =>  wckTime=0.393  cpuTime=0.35  mem=21M276
2.10	   
2.10	   search
2.10	     run=4  nbConstraintChecks=489565  nbPropagations=35196  nbRevisions=135141  nbUselessRevisions=75574
2.10	     nbAssignments=434  nbFailedAssignments=176  nbBacktracks=133  nbVisitedNodes=643  nbRestartNogoods=15  mapSize=64
2.10	     nbInferences=2  nbTooLargeKeys=0
2.10	       =>  wckTime=0.453  cpuTime=0.41  mem=22M250
2.18	   
2.18	   search
2.18	     run=5  nbConstraintChecks=671701  nbPropagations=46264  nbRevisions=196649  nbUselessRevisions=111721
2.18	     nbAssignments=662  nbFailedAssignments=316  nbBacktracks=209  nbVisitedNodes=1042  nbRestartNogoods=22  mapSize=102
2.18	     nbInferences=2  nbTooLargeKeys=0
2.18	       =>  wckTime=0.536  cpuTime=0.48  mem=22M250
2.31	   
2.31	   search
2.31	     run=6  nbConstraintChecks=1033286  nbPropagations=60373  nbRevisions=283541  nbUselessRevisions=163442
2.31	     nbAssignments=958  nbFailedAssignments=479  nbBacktracks=325  nbVisitedNodes=1562  nbRestartNogoods=29  mapSize=159
2.31	     nbInferences=9  nbTooLargeKeys=0
2.31	       =>  wckTime=0.664  cpuTime=0.6  mem=23M224
2.46	   
2.46	   search
2.46	     run=7  nbConstraintChecks=1483150  nbPropagations=78034  nbRevisions=402447  nbUselessRevisions=235752
2.46	     nbAssignments=1330  nbFailedAssignments=668  nbBacktracks=495  nbVisitedNodes=2204  nbRestartNogoods=37
2.46	     mapSize=244  nbInferences=14  nbTooLargeKeys=0
2.46	       =>  wckTime=0.813  cpuTime=0.75  mem=24M198
2.70	   
2.70	   search
2.70	     run=8  nbConstraintChecks=2096306  nbPropagations=101061  nbRevisions=563339  nbUselessRevisions=331977
2.70	     nbAssignments=1924  nbFailedAssignments=981  nbBacktracks=751  nbVisitedNodes=3234  nbRestartNogoods=48
2.70	     mapSize=371  nbInferences=29  nbTooLargeKeys=0
2.70	       =>  wckTime=1.051  cpuTime=0.97  mem=25M172
3.07	   
3.07	   search
3.07	     run=9  nbConstraintChecks=3367444  nbPropagations=136267  nbRevisions=818762  nbUselessRevisions=489319
3.07	     nbAssignments=2871  nbFailedAssignments=1425  nbBacktracks=1135  nbVisitedNodes=4765  nbRestartNogoods=65
3.07	     mapSize=563  nbInferences=63  nbTooLargeKeys=0
3.07	       =>  wckTime=1.425  cpuTime=1.34  mem=27M121
3.61	   
3.61	   search
3.61	     run=10  nbConstraintChecks=5163379  nbPropagations=189175  nbRevisions=1216301  nbUselessRevisions=743162
3.61	     nbAssignments=4219  nbFailedAssignments=2137  nbBacktracks=1711  nbVisitedNodes=7168  nbRestartNogoods=82
3.61	     mapSize=890  nbInferences=108  nbTooLargeKeys=0
3.61	       =>  wckTime=1.967  cpuTime=1.86  mem=31M17
4.48	   
4.48	   search
4.48	     run=11  nbConstraintChecks=7498007  nbPropagations=262843  nbRevisions=1819409  nbUselessRevisions=1115202
4.48	     nbAssignments=6964  nbFailedAssignments=3975  nbBacktracks=2575  nbVisitedNodes=12168  nbRestartNogoods=100
4.48	     mapSize=1323  nbInferences=143  nbTooLargeKeys=0
4.48	       =>  wckTime=2.835  cpuTime=2.72  mem=34M914
5.59	   
5.59	   search
5.59	     run=12  nbConstraintChecks=10606564  nbPropagations=369195  nbRevisions=2661515  nbUselessRevisions=1640630
5.59	     nbAssignments=9696  nbFailedAssignments=5079  nbBacktracks=3874  nbVisitedNodes=16714  nbRestartNogoods=111
5.59	     mapSize=1943  nbInferences=459  nbTooLargeKeys=0
5.59	       =>  wckTime=3.948  cpuTime=3.82  mem=43M681
7.37	   
7.37	   search
7.37	     run=13  nbConstraintChecks=15678476  nbPropagations=525847  nbRevisions=3927028  nbUselessRevisions=2441786
7.37	     nbAssignments=14463  nbFailedAssignments=7657  nbBacktracks=5821  nbVisitedNodes=25088  nbRestartNogoods=123
7.37	     mapSize=2923  nbInferences=684  nbTooLargeKeys=0
7.37	       =>  wckTime=5.728  cpuTime=5.55  mem=21M439
10.06	   
10.06	   search
10.06	     run=14  nbConstraintChecks=23770093  nbPropagations=759549  nbRevisions=5893670  nbUselessRevisions=3689171
10.06	     nbAssignments=21907  nbFailedAssignments=11953  nbBacktracks=8741  nbVisitedNodes=38337  nbRestartNogoods=146
10.06	     mapSize=4374  nbInferences=908  nbTooLargeKeys=0
10.06	       =>  wckTime=8.412  cpuTime=8.21  mem=37M244
14.26	   
14.26	   search
14.26	     run=15  nbConstraintChecks=36244157  nbPropagations=1116113  nbRevisions=8814900  nbUselessRevisions=5529558
14.26	     nbAssignments=32977  nbFailedAssignments=17524  nbBacktracks=13119  nbVisitedNodes=57741  nbRestartNogoods=166
14.26	     mapSize=6540  nbInferences=2013  nbTooLargeKeys=0
14.26	       =>  wckTime=12.617  cpuTime=12.38  mem=63M914
20.46	   
20.46	   search
20.46	     run=16  nbConstraintChecks=55096208  nbPropagations=1654636  nbRevisions=13261851  nbUselessRevisions=8354752
20.46	     nbAssignments=48996  nbFailedAssignments=25856  nbBacktracks=19687  nbVisitedNodes=85857  nbRestartNogoods=195
20.47	     mapSize=9824  nbInferences=3075  nbTooLargeKeys=0
20.47	       =>  wckTime=18.82  cpuTime=18.47  mem=73M527
29.59	   
29.59	   search
29.59	     run=17  nbConstraintChecks=83457707  nbPropagations=2462153  nbRevisions=19980716  nbUselessRevisions=12665273
29.59	     nbAssignments=73744  nbFailedAssignments=39363  nbBacktracks=29539  nbVisitedNodes=129838  nbRestartNogoods=209
29.59	     mapSize=14836  nbInferences=4459  nbTooLargeKeys=0
29.59	       =>  wckTime=27.946  cpuTime=27.46  mem=102M530
43.34	   
43.34	   search
43.34	     run=18  nbConstraintChecks=126830690  nbPropagations=3684433  nbRevisions=30275669  nbUselessRevisions=19331993
43.34	     nbAssignments=109538  nbFailedAssignments=58952  nbBacktracks=44317  nbVisitedNodes=193360  nbRestartNogoods=210
43.34	     mapSize=22402  nbInferences=5880  nbTooLargeKeys=0
43.34	       =>  wckTime=41.696  cpuTime=40.97  mem=130M3
63.74	   
63.74	   search
63.74	     run=19  nbConstraintChecks=186338585  nbPropagations=5467711  nbRevisions=45685446  nbUselessRevisions=29276887
63.74	     nbAssignments=166151  nbFailedAssignments=91025  nbBacktracks=66485  nbVisitedNodes=293890  nbRestartNogoods=229
63.74	     mapSize=33548  nbInferences=8235  nbTooLargeKeys=0
63.74	       =>  wckTime=62.097  cpuTime=61.01  mem=172M542
94.38	   
94.39	   search
94.39	     run=20  nbConstraintChecks=275532197  nbPropagations=8098914  nbRevisions=68926355  nbUselessRevisions=44258087
94.39	     nbAssignments=250933  nbFailedAssignments=138750  nbBacktracks=99738  nbVisitedNodes=444139  nbRestartNogoods=255
94.39	     mapSize=50130  nbInferences=12016  nbTooLargeKeys=0
94.39	       =>  wckTime=92.74  cpuTime=91.23  mem=275M404
138.58	   
138.58	   search
138.58	     run=21  nbConstraintChecks=404839423  nbPropagations=11978557  nbRevisions=103603786  nbUselessRevisions=66766383
138.58	     nbAssignments=369732  nbFailedAssignments=202998  nbBacktracks=149617  nbVisitedNodes=653023  nbRestartNogoods=285
138.58	     mapSize=75176  nbInferences=16679  nbTooLargeKeys=0
138.58	       =>  wckTime=136.937  cpuTime=134.7  mem=390M327
203.66	   
203.66	   search
203.66	     run=22  nbConstraintChecks=591719894  nbPropagations=17647116  nbRevisions=155658207  nbUselessRevisions=100821020
203.66	     nbAssignments=548384  nbFailedAssignments=301783  nbBacktracks=224435  nbVisitedNodes=968046  nbRestartNogoods=304
203.66	     mapSize=112947  nbInferences=21717  nbTooLargeKeys=0
203.66	       =>  wckTime=202.018  cpuTime=198.72  mem=582M815
206.64	   
206.64	   INFO : Stopping hyperNogood (mapSize=114506, nbTooLargekeys=0, mem=600M201)
242.50	   
242.50	   search
242.50	     run=23  nbConstraintChecks=735306032  nbPropagations=24703169  nbRevisions=221632184  nbUselessRevisions=144309081
242.50	     nbAssignments=686974  nbFailedAssignments=379186  nbBacktracks=285276  nbVisitedNodes=1211393  nbRestartNogoods=323
242.50	       =>  wckTime=240.852  cpuTime=237.2  mem=600M201
242.50	   
242.50	   global
242.50	     nbConstraintChecks=735592897  nbPropagations=24707867  nbRevisions=221643849  nbUselessRevisions=144315050
242.50	     nbRestartNogoods=323  solvingWckTime=240.853  solvingCpuTime=237.2  expiredTime=no  totalExploration=yes
242.50	     nbFoundSolutions=0  globalCpuTime=238.18
242.50	       =>  wckTime=242.097  cpuTime=238.13  mem=600M201
242.50	   
242.50	s UNSATISFIABLE
242.50	d NODES 686974
242.50	d CHECKS 735592897
242.50	   
242.50	   totalWckTime=242.179  totalCpuTime=238.18

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/node13/watcher-198760-1168130789 -o ROOT/results/node13/solver-198760-1168130789 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198760-1168130789/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.85 1.97 1.91 4/86 23153
/proc/meminfo: memFree=1384984/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=18540 CPUtime=0
/proc/23152/stat : 23152 (runsolver) R 23150 23152 22787 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 161474159 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23152/statm: 4635 279 244 17 0 2626 0

[startup+0.106986 s]
/proc/loadavg: 1.85 1.97 1.91 4/86 23153
/proc/meminfo: memFree=1384984/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=907808 CPUtime=0.05
/proc/23152/stat : 23152 (java) D 23150 23152 22787 0 -1 0 2505 0 1 0 4 1 0 0 17 0 4 0 161474159 929595392 2252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 226952 2252 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.515041 s]
/proc/loadavg: 1.85 1.97 1.91 4/86 23153
/proc/meminfo: memFree=1384984/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915328 CPUtime=0.41
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 6045 0 1 0 37 4 0 0 18 0 8 0 161474159 937295872 5784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228832 5784 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328

[startup+1.34115 s]
/proc/loadavg: 1.85 1.97 1.91 3/93 23160
/proc/meminfo: memFree=1350880/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915628 CPUtime=1.22
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 11782 0 1 0 97 25 0 0 24 0 8 0 161474159 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228907 11520 2177 14 0 215377 0
[pid=23152/tid=23154] ppid=23150 vsize=915628 CPUtime=0
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 161474166 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915628 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 161474166 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915628 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 161474166 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915628 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915628 CPUtime=0.2
/proc/23152/task/23158/stat : 23158 (java) R 23150 23152 22787 0 -1 64 430 0 0 0 20 0 0 0 15 0 8 0 161474172 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153140192 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915628 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915628 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915628

[startup+2.99037 s]
/proc/loadavg: 1.85 1.97 1.91 3/93 23160
/proc/meminfo: memFree=1342880/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=2.85
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 13253 0 1 0 258 27 0 0 25 0 8 0 161474159 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074053839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 12989 2541 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=0.06
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 885 0 0 0 6 0 0 0 17 0 8 0 161474166 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.33
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 495 0 0 0 32 1 0 0 15 0 8 0 161474172 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915720

[startup+6.26981 s]
/proc/loadavg: 1.86 1.97 1.91 3/93 23160
/proc/meminfo: memFree=1332576/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=6.1
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 16789 0 1 0 581 29 0 0 25 0 8 0 161474159 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074052081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 16523 2541 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=0.06
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 885 0 0 0 6 0 0 0 17 0 8 0 161474166 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.34
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 501 0 0 0 33 1 0 0 15 0 8 0 161474172 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915720

[startup+12.7657 s]
/proc/loadavg: 1.87 1.97 1.91 3/93 23160
/proc/meminfo: memFree=1309088/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=12.54
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 21689 0 1 0 1222 32 0 0 25 0 8 0 161474159 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073993033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 21422 2545 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=0.09
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 4553 0 0 0 8 1 0 0 16 0 8 0 161474166 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.34
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 501 0 0 0 33 1 0 0 15 0 8 0 161474172 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915720

[startup+25.6164 s]
/proc/loadavg: 1.90 1.97 1.91 3/93 23160
/proc/meminfo: memFree=1262368/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=25.27
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 33378 0 1 0 2490 37 0 0 25 0 8 0 161474159 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018980 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 33109 2545 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=0.2
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 16237 0 0 0 13 7 0 0 16 0 8 0 161474166 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.35
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 161474172 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915720

[startup+51.2368 s]
/proc/loadavg: 2.00 1.99 1.91 3/93 23160
/proc/meminfo: memFree=1196256/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=50.66
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 49878 0 1 0 5020 46 0 0 25 0 8 0 161474159 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 49606 2545 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=0.37
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 32734 0 0 0 22 15 0 0 16 0 8 0 161474166 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.35
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 161474172 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915720

[startup+102.473 s]
/proc/loadavg: 2.00 1.99 1.91 3/93 23160
/proc/meminfo: memFree=1067296/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=101.44
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 82080 0 1 0 10083 61 0 0 25 0 8 0 161474159 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074089111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 81801 2545 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=0.71
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 64928 0 0 0 41 30 0 0 16 0 8 0 161474166 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.35
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 503 0 0 0 34 1 0 0 16 0 8 0 161474172 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 81801 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) 915720

[startup+162.476 s]
/proc/loadavg: 2.00 1.99 1.91 3/93 23160
/proc/meminfo: memFree=890208/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=160.92
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 126275 0 1 0 16012 80 0 0 25 0 8 0 161474159 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074089192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 125988 2545 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=1.16
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 109115 0 0 0 68 48 0 0 16 0 8 0 161474166 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.35
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 503 0 0 0 34 1 0 0 16 0 8 0 161474172 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 915720

[startup+222.494 s]
/proc/loadavg: 2.00 1.99 1.91 3/93 23160
/proc/meminfo: memFree=776096/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=220.39
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 154747 0 1 0 21946 93 0 0 25 0 8 0 161474159 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074033626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 154455 2545 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=1.46
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 137582 0 0 0 86 60 0 0 16 0 8 0 161474166 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.35
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 503 0 0 0 34 1 0 0 16 0 8 0 161474172 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 915720

Child status: 0
Real time (s): 242.612
CPU time (s): 240.339
CPU user time (s): 239.306
CPU system time (s): 1.03384
CPU usage (%): 99.0633
Max. virtual memory (cumulated for all children) (KiB): 915720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 239.306
system time used= 1.03384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154755
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= 6601
involuntary context switches= 11389

runsolver used 0.321951 s user time and 0.768883 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sun Jan  7 00:46:32 UTC 2007


IDJOB= 198760
IDBENCH= 3574
FILE ID= node13/198760-1168130789

PBS_JOBID= 3477728

Free space on /tmp= 66316 MiB

BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198760-1168130789/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-198760-1168130789 -o ROOT/results/node13/solver-198760-1168130789 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198760-1168130789/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ef05de44bc17daaf25b5294ac4693534

RANDOM SEED= 986967758

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.247
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.247
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:       1385400 kB
Buffers:         47312 kB
Cached:         370004 kB
SwapCached:          0 kB
Active:         289212 kB
Inactive:       302444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1385400 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2284 kB
Writeback:           0 kB
Mapped:         196684 kB
Slab:            63140 kB
Committed_AS:  4056144 kB
PageTables:       2588 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= 66316 MiB



End job on node13 on Sun Jan  7 00:50:35 UTC 2007