Trace number 199491

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 ACSAT 309.53 312.472

DiagnosticValue
CHECKS637816850
NODES1264587

General information on the benchmark

NameallIntervalSeries/
series-15.xml
MD5SUMc3c020e92582c095fcd4287156ec48b1
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.022995
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables29
Number of constraints210
Maximum constraint arity3
Maximum domain size15
Number of constraints which are defined in extension0
Number of constraints which are defined in intension210
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/199491-1168071438/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=29  nbDomainTypes=2  minDomainSize=14  maxDomainSize=15
0.42	       =>  wckTime=0.101  cpuTime=0.09  mem=6M951
0.42	   
0.42	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
0.56	     nbConstraints=210  nbConvertedConstraints=196  nbConvertConstraintsChecks=3571  nbExtensionStructures=2
0.56	     nbSharedExtensionStructures=194  nbConflictsStructures=3  nbSharedConflictsStructures=207
0.56	     nbSharedBinaryRepresentations=29  nbEvaluationManagers=1  nbSharedEvaluationManagers=13  maxDegree=16  maxArity=3
0.56	       =>  wckTime=0.245  cpuTime=0.2  mem=7M927
0.60	   
0.60	   solver IterativeSystematicSolver being built... 
0.77	       =>  wckTime=0.447  cpuTime=0.33  mem=13M403
0.77	   
0.77	   preprocessing
0.77	     nbConstraintChecks=0  nbPropagations=29  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.77	     detectedInconsistency=no
0.77	       =>  wckTime=0.0030  cpuTime=0.01  mem=13M403
0.83	   
0.84	   search
0.84	     run=0  nbConstraintChecks=28577  nbValidityChecks=3424  nbPropagations=357  nbRevisions=977  nbUselessRevisions=494
0.84	     nbAssignments=27  nbFailedAssignments=6  nbBacktracks=10  nbVisitedNodes=40  nbRestartNogoods=0  mapSize=7
0.84	     nbInferences=0  nbTooLargeKeys=0
0.84	       =>  wckTime=0.066  cpuTime=0.05  mem=14M378
0.87	   
0.87	   search
0.87	     run=1  nbConstraintChecks=50676  nbValidityChecks=7625  nbPropagations=1085  nbRevisions=3034
0.87	     nbUselessRevisions=1502  nbAssignments=61  nbFailedAssignments=13  nbBacktracks=27  nbVisitedNodes=88
0.87	     nbRestartNogoods=3  mapSize=16  nbInferences=0  nbTooLargeKeys=0
0.87	       =>  wckTime=0.101  cpuTime=0.08  mem=14M378
0.90	   
0.90	   search
0.90	     run=2  nbConstraintChecks=74755  nbValidityChecks=12177  nbPropagations=2260  nbRevisions=6453
0.90	     nbUselessRevisions=3100  nbAssignments=100  nbFailedAssignments=20  nbBacktracks=52  nbVisitedNodes=142
0.90	     nbRestartNogoods=6  mapSize=27  nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.129  cpuTime=0.09  mem=14M378
0.92	   
0.92	   search
0.93	     run=3  nbConstraintChecks=114418  nbValidityChecks=21218  nbPropagations=4593  nbRevisions=13976
0.93	     nbUselessRevisions=6663  nbAssignments=170  nbFailedAssignments=47  nbBacktracks=85  nbVisitedNodes=263
0.93	     nbRestartNogoods=8  mapSize=55  nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.157  cpuTime=0.12  mem=14M378
0.95	   
0.95	   search
0.95	     run=4  nbConstraintChecks=159568  nbValidityChecks=29271  nbPropagations=7854  nbRevisions=24569
0.95	     nbUselessRevisions=11611  nbAssignments=261  nbFailedAssignments=76  nbBacktracks=136  nbVisitedNodes=407
0.95	     nbRestartNogoods=13  mapSize=88  nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.185  cpuTime=0.15  mem=14M378
1.01	   
1.01	   search
1.01	     run=5  nbConstraintChecks=265961  nbValidityChecks=49681  nbPropagations=13380  nbRevisions=43724
1.01	     nbUselessRevisions=20648  nbAssignments=407  nbFailedAssignments=139  nbBacktracks=211  nbVisitedNodes=652
1.01	     nbRestartNogoods=18  mapSize=136  nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.247  cpuTime=0.2  mem=14M378
1.07	   
1.07	   search
1.07	     run=6  nbConstraintChecks=349317  nbValidityChecks=65226  nbPropagations=21009  nbRevisions=70001
1.07	     nbUselessRevisions=32813  nbAssignments=592  nbFailedAssignments=199  nbBacktracks=324  nbVisitedNodes=951
1.07	     nbRestartNogoods=22  mapSize=213  nbInferences=1  nbTooLargeKeys=0
1.07	       =>  wckTime=0.299  cpuTime=0.25  mem=14M378
1.14	   
1.14	   search
1.14	     run=7  nbConstraintChecks=447541  nbValidityChecks=88750  nbPropagations=32122  nbRevisions=108432
1.14	     nbUselessRevisions=50644  nbAssignments=874  nbFailedAssignments=301  nbBacktracks=495  nbVisitedNodes=1411
1.14	     nbRestartNogoods=27  mapSize=317  nbInferences=1  nbTooLargeKeys=0
1.14	       =>  wckTime=0.371  cpuTime=0.32  mem=14M378
1.26	   
1.26	   search
1.26	     run=8  nbConstraintChecks=644271  nbValidityChecks=130135  nbPropagations=49100  nbRevisions=169936
1.26	     nbUselessRevisions=79545  nbAssignments=1300  nbFailedAssignments=463  nbBacktracks=751  nbVisitedNodes=2118
1.26	     nbRestartNogoods=33  mapSize=489  nbInferences=1  nbTooLargeKeys=0
1.26	       =>  wckTime=0.494  cpuTime=0.43  mem=14M378
1.59	   
1.59	   search
1.59	     run=9  nbConstraintChecks=1332184  nbValidityChecks=238443  nbPropagations=77860  nbRevisions=286898
1.59	     nbUselessRevisions=134013  nbAssignments=2002  nbFailedAssignments=772  nbBacktracks=1137  nbVisitedNodes=3314
1.59	     nbRestartNogoods=41  mapSize=739  nbInferences=1  nbTooLargeKeys=0
1.59	       =>  wckTime=0.822  cpuTime=0.75  mem=14M378
1.76	   
1.76	   INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=14M378)
1.82	   
1.82	   search
1.82	     run=10  nbConstraintChecks=1725683  nbValidityChecks=318995  nbPropagations=118664  nbRevisions=447675
1.82	     nbUselessRevisions=207358  nbAssignments=3009  nbFailedAssignments=1191  nbBacktracks=1713  nbVisitedNodes=5016
1.82	     nbRestartNogoods=49
1.82	       =>  wckTime=1.049  cpuTime=0.96  mem=14M378
2.12	   
2.12	   search
2.12	     run=11  nbConstraintChecks=2294730  nbValidityChecks=446028  nbPropagations=178171  nbRevisions=675831
2.12	     nbUselessRevisions=310458  nbAssignments=4453  nbFailedAssignments=1760  nbBacktracks=2580  nbVisitedNodes=7488
2.12	     nbRestartNogoods=60
2.12	       =>  wckTime=1.352  cpuTime=1.26  mem=14M378
2.58	   
2.58	   search
2.58	     run=12  nbConstraintChecks=3167069  nbValidityChecks=641461  nbPropagations=265690  nbRevisions=1008109
2.58	     nbUselessRevisions=462227  nbAssignments=6665  nbFailedAssignments=2665  nbBacktracks=3877  nbVisitedNodes=11221
2.58	     nbRestartNogoods=68
2.58	       =>  wckTime=1.811  cpuTime=1.71  mem=14M378
3.13	   
3.13	   search
3.13	     run=13  nbConstraintChecks=4196202  nbValidityChecks=872572  nbPropagations=389861  nbRevisions=1474883
3.13	     nbUselessRevisions=676782  nbAssignments=9789  nbFailedAssignments=3829  nbBacktracks=5823  nbVisitedNodes=16474
3.13	     nbRestartNogoods=80
3.13	       =>  wckTime=2.363  cpuTime=2.26  mem=14M378
3.87	   
3.87	   search
3.87	     run=14  nbConstraintChecks=5571331  nbValidityChecks=1180117  nbPropagations=562977  nbRevisions=2110234
3.87	     nbUselessRevisions=966407  nbAssignments=14337  nbFailedAssignments=5447  nbBacktracks=8742  nbVisitedNodes=23943
3.87	     nbRestartNogoods=88
3.87	       =>  wckTime=3.105  cpuTime=3.0  mem=14M378
5.39	   
5.39	   search
5.39	     run=15  nbConstraintChecks=8455861  nbValidityChecks=1860033  nbPropagations=833273  nbRevisions=3119914
5.39	     nbUselessRevisions=1430542  nbAssignments=21651  nbFailedAssignments=8375  nbBacktracks=13120  nbVisitedNodes=36309
5.39	     nbRestartNogoods=100
5.39	       =>  wckTime=4.622  cpuTime=4.5  mem=14M378
7.16	   
7.16	   search
7.16	     run=16  nbConstraintChecks=11771968  nbValidityChecks=2584454  nbPropagations=1222199  nbRevisions=4546572
7.16	     nbUselessRevisions=2079675  nbAssignments=32060  nbFailedAssignments=12204  nbBacktracks=19688
7.16	     nbVisitedNodes=53568  nbRestartNogoods=116
7.16	       =>  wckTime=6.392  cpuTime=6.25  mem=14M378
11.23	   
11.23	   search
11.23	     run=17  nbConstraintChecks=20206257  nbValidityChecks=4279600  nbPropagations=1829174  nbRevisions=6840516
11.23	     nbUselessRevisions=3142877  nbAssignments=48199  nbFailedAssignments=18480  nbBacktracks=29540
11.23	     nbVisitedNodes=80519  nbRestartNogoods=131
11.23	       =>  wckTime=10.46  cpuTime=10.28  mem=14M378
16.95	   
16.95	   search
16.95	     run=18  nbConstraintChecks=31258680  nbValidityChecks=6911365  nbPropagations=2793303  nbRevisions=10505862
16.96	     nbUselessRevisions=4843487  nbAssignments=73289  nbFailedAssignments=28783  nbBacktracks=44318
16.96	     nbVisitedNodes=123374  nbRestartNogoods=150
16.96	       =>  wckTime=16.187  cpuTime=15.95  mem=14M378
27.39	   
27.39	   search
27.39	     run=19  nbConstraintChecks=53610441  nbValidityChecks=11278328  nbPropagations=4309238  nbRevisions=16502476
27.39	     nbUselessRevisions=7642110  nbAssignments=110930  nbFailedAssignments=44247  nbBacktracks=66486
27.39	     nbVisitedNodes=186741  nbRestartNogoods=164
27.39	       =>  wckTime=26.624  cpuTime=26.29  mem=14M378
43.99	   
43.99	   search
43.99	     run=20  nbConstraintChecks=89357368  nbValidityChecks=18214604  nbPropagations=6693640  nbRevisions=26120429
43.99	     nbUselessRevisions=12152373  nbAssignments=168254  nbFailedAssignments=68309  nbBacktracks=99738
43.99	     nbVisitedNodes=283882  nbRestartNogoods=176
43.99	       =>  wckTime=43.224  cpuTime=42.73  mem=14M378
65.66	   
65.66	   search
65.66	     run=21  nbConstraintChecks=133626184  nbValidityChecks=27622441  nbPropagations=10334455  nbRevisions=40791448
65.66	     nbUselessRevisions=19091667  nbAssignments=254763  nbFailedAssignments=104926  nbBacktracks=149616
65.66	     nbVisitedNodes=432216  nbRestartNogoods=186
65.66	       =>  wckTime=64.893  cpuTime=64.21  mem=14M378
94.36	   
94.36	   search
94.36	     run=22  nbConstraintChecks=190791913  nbValidityChecks=40294108  nbPropagations=15732731  nbRevisions=62396590
94.36	     nbUselessRevisions=29327523  nbAssignments=381865  nbFailedAssignments=157200  nbBacktracks=224435
94.36	     nbVisitedNodes=648684  nbRestartNogoods=207
94.36	       =>  wckTime=93.593  cpuTime=92.64  mem=14M378
147.67	   
147.67	   search
147.67	     run=23  nbConstraintChecks=303045665  nbValidityChecks=63150504  nbPropagations=24029521  nbRevisions=95839643
147.67	     nbUselessRevisions=45183317  nbAssignments=574362  nbFailedAssignments=237461  nbBacktracks=336663
147.67	     nbVisitedNodes=976670  nbRestartNogoods=221
147.67	       =>  wckTime=146.901  cpuTime=145.46  mem=14M378
204.15	   
204.15	   search
204.15	     run=24  nbConstraintChecks=409397536  nbValidityChecks=89265732  nbPropagations=36170940  nbRevisions=143743560
204.15	     nbUselessRevisions=67711019  nbAssignments=856570  nbFailedAssignments=351319  nbBacktracks=505004
204.15	     nbVisitedNodes=1454971  nbRestartNogoods=234
204.15	       =>  wckTime=203.383  cpuTime=201.43  mem=14M378
312.40	   
312.40	   search
312.40	     run=25  nbConstraintChecks=637816850  nbValidityChecks=135890830  nbPropagations=54231224  nbRevisions=216063970
312.40	     nbUselessRevisions=101782470  nbAssignments=1264587  nbFailedAssignments=514849  nbBacktracks=749462
312.40	     nbVisitedNodes=2141034  nbRestartNogoods=252
312.40	       =>  wckTime=311.635  cpuTime=308.67  mem=14M378
312.40	   
312.40	   global
312.40	     nbConstraintChecks=637816850  nbValidityChecks=135890830  nbPropagations=54231253  nbRevisions=216063970
312.40	     nbUselessRevisions=101782470  nbRestartNogoods=252  solvingWckTime=311.636  solvingCpuTime=308.67  expiredTime=no
312.40	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=309.05
312.40	       =>  wckTime=312.086  cpuTime=309.0  mem=14M378
312.41	   
312.41	s SATISFIABLE
312.41	v 6 9 5 4 11 3 14 0 13 1 10 8 2 12 7 2 3 0 6 7 10 13 12 11 8 1 5 9 4 
312.41	d NODES 1264587
312.41	d CHECKS 637816850
312.41	   
312.41	   totalWckTime=312.169  totalCpuTime=309.05

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/node19/watcher-199491-1168071438 -o ROOT/results/node19/solver-199491-1168071438 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199491-1168071438/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.00 2.00 1.96 4/93 21449
/proc/meminfo: memFree=1222440/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=1784 CPUtime=0
/proc/21448/stat : 21448 (java) D 21446 21448 20716 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 155538458 1826816 163 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 7484196 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/21448/statm: 2437 412 333 14 0 1140 0

[startup+0.10329 s]
/proc/loadavg: 2.00 2.00 1.96 4/93 21449
/proc/meminfo: memFree=1222440/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=914988 CPUtime=0.09
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 2980 0 1 0 7 2 0 0 17 0 8 0 155538458 936947712 2726 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072897196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511363 s]
/proc/loadavg: 2.00 2.00 1.96 4/93 21449
/proc/meminfo: memFree=1222440/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915328 CPUtime=0.49
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 6428 0 1 0 45 4 0 0 18 0 8 0 155538458 937295872 6167 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228832 6167 2165 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33251 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21456
/proc/meminfo: memFree=1199536/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=1.3
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8495 0 1 0 122 8 0 0 24 0 8 0 155538458 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073758172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8232 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.19
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 362 0 0 0 17 2 0 0 15 0 8 0 155538466 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8232 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.98382 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21456
/proc/meminfo: memFree=1199280/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=2.94
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8540 0 1 0 286 8 0 0 25 0 8 0 155538458 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073604286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8276 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.21
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 376 0 0 0 19 2 0 0 15 0 8 0 155538466 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8276 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.26844 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21456
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=6.19
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8548 0 1 0 611 8 0 0 25 0 8 0 155538458 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073615496 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8284 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.21
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 376 0 0 0 19 2 0 0 15 0 8 0 155538466 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8284 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460

[startup+12.7517 s]
/proc/loadavg: 2.07 2.02 1.97 3/100 21456
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=12.62
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8556 0 1 0 1253 9 0 0 25 0 8 0 155538458 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073611108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8291 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.21
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 377 0 0 0 19 2 0 0 16 0 8 0 155538466 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8291 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460

[startup+25.6011 s]
/proc/loadavg: 2.06 2.02 1.97 3/100 21456
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=25.35
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8558 0 1 0 2526 9 0 0 25 0 8 0 155538458 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073746499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8293 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.21
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 377 0 0 0 19 2 0 0 16 0 8 0 155538466 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8293 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8293 18446744073709551615 134512640 134570532 4294956384 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) 915460

[startup+51.2059 s]
/proc/loadavg: 2.04 2.01 1.97 3/100 21456
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=50.72
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8564 0 1 0 5063 9 0 0 25 0 8 0 155538458 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073717240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8299 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.22
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 378 0 0 0 20 2 0 0 16 0 8 0 155538466 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8299 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915460

[startup+102.408 s]
/proc/loadavg: 2.08 2.02 1.97 3/100 21458
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=101.44
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8570 0 1 0 10135 9 0 0 25 0 8 0 155538458 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073613235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8305 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.22
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 378 0 0 0 20 2 0 0 16 0 8 0 155538466 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8305 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8305 18446744073709551615 134512640 134570532 4294956384 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) 915460

[startup+162.458 s]
/proc/loadavg: 2.03 2.02 1.97 3/100 21458
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=160.95
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8573 0 1 0 16085 10 0 0 25 0 8 0 155538458 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8308 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.22
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 378 0 0 0 20 2 0 0 16 0 8 0 155538466 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8308 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 915460

[startup+222.51 s]
/proc/loadavg: 2.01 2.01 1.97 3/100 21458
/proc/meminfo: memFree=1199216/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=220.44
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8575 0 1 0 22034 10 0 0 25 0 8 0 155538458 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073716149 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8310 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.22
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 378 0 0 0 20 2 0 0 16 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.44
Current children cumulated vsize (KiB) 915460

[startup+282.554 s]
/proc/loadavg: 2.00 2.01 1.97 3/100 21458
/proc/meminfo: memFree=1199152/2055920 swapFree=4171232/4192956
[pid=21448] ppid=21446 vsize=915460 CPUtime=279.93
/proc/21448/stat : 21448 (java) R 21446 21448 20716 0 -1 0 8575 0 1 0 27983 10 0 0 25 0 8 0 155538458 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073612783 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21448/statm: 228865 8310 2533 14 0 215335 0
[pid=21448/tid=21450] ppid=21446 vsize=915460 CPUtime=0.02
/proc/21448/task/21450/stat : 21450 (java) S 21446 21448 20716 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 155538462 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21451] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21451/stat : 21451 (java) S 21446 21448 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155538462 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21452] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21452/stat : 21452 (java) S 21446 21448 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155538462 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21453] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21453/stat : 21453 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21454] ppid=21446 vsize=915460 CPUtime=0.22
/proc/21448/task/21454/stat : 21454 (java) S 21446 21448 20716 0 -1 64 378 0 0 0 20 2 0 0 16 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21455] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21455/stat : 21455 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21448/tid=21456] ppid=21446 vsize=915460 CPUtime=0
/proc/21448/task/21456/stat : 21456 (java) S 21446 21448 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155538466 937431040 8310 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 312.472
CPU time (s): 309.53
CPU user time (s): 309.411
CPU system time (s): 0.118981
CPU usage (%): 99.0586
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.411
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8668
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= 7420
involuntary context switches= 19920

runsolver used 0.336948 s user time and 1.05584 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan  6 08:17:18 UTC 2007


IDJOB= 199491
IDBENCH= 3621
FILE ID= node19/199491-1168071438

PBS_JOBID= 3475425

Free space on /tmp= 66308 MiB

BENCH NAME= HOME/pub/bench/CPAI06/allIntervalSeries/series-15.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199491-1168071438/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-199491-1168071438 -o ROOT/results/node19/solver-199491-1168071438 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199491-1168071438/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c3c020e92582c095fcd4287156ec48b1

RANDOM SEED= 2467458

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.260
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.260
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:       1222856 kB
Buffers:         69876 kB
Cached:         543104 kB
SwapCached:      10036 kB
Active:         348076 kB
Inactive:       384092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1222856 kB
SwapTotal:     4192956 kB
SwapFree:      4171232 kB
Dirty:            1768 kB
Writeback:           0 kB
Mapped:         138508 kB
Slab:            85212 kB
Committed_AS:  4339244 kB
PageTables:       2584 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= 66308 MiB



End job on node19 on Sat Jan  6 08:22:31 UTC 2007